{"baseline_identities":{"S-001":"sha256:5119e9007c9daa030f3d1d831661f52e9f674dc966095e8b4c8f0c56905793a4","S-002":"sha256:cbfe0edec203b1543cfb3cd0ca5e63e9d1e37e5fc214b2562ad50f198ea315eb","S-003":"sha256:656ed3f8c1451f84ab3c40339b2f626ec3eb078c1db17380c4ea7d2b04938138","S-004":"sha256:1cde5ce63ce8514a5705a63f674e98840aafd990df6804408d51b57ea3ed3afb","S-005":"sha256:8660c027da7e7e2204a4f0e4d9e363460d9e4943ae060b9bba53a74ca1e345fe","S-006":"sha256:c04e6d6333574affb288a93ff2671d4e01942e949bb343c44b90869e2d4bb4b0","S-007":"sha256:c806c108ee7739d17a9153fb187dd239d85597b8270ee83125f2c233fbd11361"},"contract_identity":"sha256:d9b93481f8d2840c8a522ef459a65b1050a519a737716deafc188419297521f0","diagnostics":["S-001 OBL-DEADLINE: horizon_completed","S-001 OBL-WATCHDOG: No three-invalid-sample trigger observed; conditional guarantee is vacuous, not a watchdog challenge pass","S-001 OBL-TORQUE: horizon_completed","S-001 OBL-MOMENTUM: horizon_completed","S-001 OBL-ATTITUDE: horizon_completed","S-001 OBL-RATE: horizon_completed","S-001 OBL-COVERAGE: Complete bounded observation coverage, not a count of assigned states","S-001 OBL-BASELINE: Matched-input RK4 quaternion and rate comparison","S-001 OBL-COMPOSITION: This revision measures domain obligations; cross-domain composition remains unestablished","S-002 OBL-DEADLINE: horizon_completed","S-002 OBL-WATCHDOG: No three-invalid-sample trigger observed; conditional guarantee is vacuous, not a watchdog challenge pass","S-002 OBL-TORQUE: horizon_completed","S-002 OBL-MOMENTUM: horizon_completed","S-002 OBL-ATTITUDE: horizon_completed","S-002 OBL-RATE: horizon_completed","S-002 OBL-COVERAGE: Complete bounded observation coverage, not a count of assigned states","S-002 OBL-BASELINE: Matched-input RK4 quaternion and rate comparison","S-002 OBL-COMPOSITION: This revision measures domain obligations; cross-domain composition remains unestablished","S-003 OBL-DEADLINE: horizon_completed","S-003 OBL-WATCHDOG: horizon_completed","S-003 OBL-TORQUE: horizon_completed","S-003 OBL-MOMENTUM: horizon_completed","S-003 OBL-ATTITUDE: horizon_completed","S-003 OBL-RATE: horizon_completed","S-003 OBL-COVERAGE: Complete bounded observation coverage, not a count of assigned states","S-003 OBL-BASELINE: Matched-input RK4 quaternion and rate comparison","S-003 OBL-COMPOSITION: This revision measures domain obligations; cross-domain composition remains unestablished","S-004 OBL-DEADLINE: horizon_completed","S-004 OBL-WATCHDOG: No three-invalid-sample trigger observed; conditional guarantee is vacuous, not a watchdog challenge pass","S-004 OBL-TORQUE: horizon_completed","S-004 OBL-MOMENTUM: horizon_completed","S-004 OBL-ATTITUDE: horizon_completed","S-004 OBL-RATE: horizon_completed","S-004 OBL-COVERAGE: Complete bounded observation coverage, not a count of assigned states","S-004 OBL-BASELINE: Matched-input RK4 quaternion and rate comparison","S-004 OBL-COMPOSITION: This revision measures domain obligations; cross-domain composition remains unestablished","S-005 OBL-DEADLINE: unsupported_between_sample_validity","S-005 OBL-WATCHDOG: No three-invalid-sample trigger observed; conditional guarantee is vacuous, not a watchdog challenge pass","S-005 OBL-TORQUE: unsupported_between_sample_validity","S-005 OBL-MOMENTUM: unsupported_between_sample_validity","S-005 OBL-ATTITUDE: unsupported_between_sample_validity","S-005 OBL-RATE: unsupported_between_sample_validity","S-005 OBL-COVERAGE: Complete bounded observation coverage, not a count of assigned states","S-005 OBL-BASELINE: Matched-input RK4 quaternion and rate comparison","S-005 OBL-COMPOSITION: This revision measures domain obligations; cross-domain composition remains unestablished","S-006 OBL-DEADLINE: horizon_completed","S-006 OBL-WATCHDOG: No three-invalid-sample trigger observed; conditional guarantee is vacuous, not a watchdog challenge pass","S-006 OBL-TORQUE: horizon_completed","S-006 OBL-MOMENTUM: horizon_completed","S-006 OBL-ATTITUDE: horizon_completed","S-006 OBL-RATE: horizon_completed","S-006 OBL-COVERAGE: Complete bounded observation coverage, not a count of assigned states","S-006 OBL-BASELINE: Matched-input RK4 quaternion and rate comparison","S-006 OBL-COMPOSITION: This revision measures domain obligations; cross-domain composition remains unestablished","S-007 OBL-DEADLINE: trace_row_ceiling","S-007 OBL-WATCHDOG: No three-invalid-sample trigger observed; conditional guarantee is vacuous, not a watchdog challenge pass","S-007 OBL-TORQUE: trace_row_ceiling","S-007 OBL-MOMENTUM: trace_row_ceiling","S-007 OBL-ATTITUDE: trace_row_ceiling","S-007 OBL-RATE: trace_row_ceiling","S-007 OBL-COVERAGE: Complete bounded observation coverage, not a count of assigned states","S-007 OBL-BASELINE: Matched-input RK4 quaternion and rate comparison","S-007 OBL-COMPOSITION: This revision measures domain obligations; cross-domain composition remains unestablished"],"execution_identity":"sha256:5a63b0947b21298e4f3074809b37ac111c5afd6ef49b00808a514f1b2f61e464","experiment_identity":"sha256:6a80069440597c54d4d4c1c22a645c2fd78275e0a9e472a6ed0bc9dd9ffdb510","failure":null,"instrument_identities":{"S-001":"sha256:2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c","S-002":"sha256:05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1","S-003":"sha256:7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86","S-004":"sha256:47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae","S-005":"sha256:aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c","S-006":"sha256:bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb","S-007":"sha256:02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460"},"limits":{"horizon_steps":1000,"input_bytes":1048576,"memory_bytes":536870912,"output_bytes":67108864,"processes":1,"retries":0,"trace_rows":10000,"wall_time_ms":60000},"obligations":[{"evidence":["sha256:2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c"],"id":"S-001-OBL-DEADLINE","state":"accepted"},{"evidence":["sha256:2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c"],"id":"S-001-OBL-WATCHDOG","state":"accepted"},{"evidence":["sha256:2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c"],"id":"S-001-OBL-TORQUE","state":"accepted"},{"evidence":["sha256:2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c"],"id":"S-001-OBL-MOMENTUM","state":"accepted"},{"evidence":["sha256:2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c"],"id":"S-001-OBL-ATTITUDE","state":"accepted"},{"evidence":["sha256:2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c"],"id":"S-001-OBL-RATE","state":"accepted"},{"evidence":["sha256:2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c"],"id":"S-001-OBL-COVERAGE","state":"accepted"},{"evidence":["sha256:994e23d30e942ef6f8fcd39de859ef47c7fd0f797e7c1a68ae814b1a4d31a8a0"],"id":"S-001-OBL-BASELINE","state":"accepted"},{"evidence":["sha256:5a0a827417682c957921012ab8d98622393eb897186c1e02144810a7aa0bab15"],"id":"S-001-OBL-COMPOSITION","state":"inconclusive"},{"evidence":["sha256:05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1"],"id":"S-002-OBL-DEADLINE","state":"rejected"},{"evidence":["sha256:05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1"],"id":"S-002-OBL-WATCHDOG","state":"accepted"},{"evidence":["sha256:05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1"],"id":"S-002-OBL-TORQUE","state":"accepted"},{"evidence":["sha256:05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1"],"id":"S-002-OBL-MOMENTUM","state":"accepted"},{"evidence":["sha256:05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1"],"id":"S-002-OBL-ATTITUDE","state":"accepted"},{"evidence":["sha256:05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1"],"id":"S-002-OBL-RATE","state":"accepted"},{"evidence":["sha256:05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1"],"id":"S-002-OBL-COVERAGE","state":"accepted"},{"evidence":["sha256:e435ea23727ef21b0d9fe3017235dfc78410416271408fa31806945f984f608e"],"id":"S-002-OBL-BASELINE","state":"accepted"},{"evidence":["sha256:5a0a827417682c957921012ab8d98622393eb897186c1e02144810a7aa0bab15"],"id":"S-002-OBL-COMPOSITION","state":"inconclusive"},{"evidence":["sha256:7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86"],"id":"S-003-OBL-DEADLINE","state":"accepted"},{"evidence":["sha256:7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86"],"id":"S-003-OBL-WATCHDOG","state":"accepted"},{"evidence":["sha256:7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86"],"id":"S-003-OBL-TORQUE","state":"accepted"},{"evidence":["sha256:7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86"],"id":"S-003-OBL-MOMENTUM","state":"accepted"},{"evidence":["sha256:7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86"],"id":"S-003-OBL-ATTITUDE","state":"rejected"},{"evidence":["sha256:7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86"],"id":"S-003-OBL-RATE","state":"accepted"},{"evidence":["sha256:7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86"],"id":"S-003-OBL-COVERAGE","state":"accepted"},{"evidence":["sha256:e3721ae3ba6fd557102d73630cf68e369c1635c5691277c45efbd4b862ce7d3d"],"id":"S-003-OBL-BASELINE","state":"accepted"},{"evidence":["sha256:5a0a827417682c957921012ab8d98622393eb897186c1e02144810a7aa0bab15"],"id":"S-003-OBL-COMPOSITION","state":"inconclusive"},{"evidence":["sha256:47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae"],"id":"S-004-OBL-DEADLINE","state":"accepted"},{"evidence":["sha256:47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae"],"id":"S-004-OBL-WATCHDOG","state":"accepted"},{"evidence":["sha256:47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae"],"id":"S-004-OBL-TORQUE","state":"accepted"},{"evidence":["sha256:47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae"],"id":"S-004-OBL-MOMENTUM","state":"accepted"},{"evidence":["sha256:47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae"],"id":"S-004-OBL-ATTITUDE","state":"accepted"},{"evidence":["sha256:47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae"],"id":"S-004-OBL-RATE","state":"accepted"},{"evidence":["sha256:47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae"],"id":"S-004-OBL-COVERAGE","state":"accepted"},{"evidence":["sha256:a469d29dfd3600b2b27f75f9e691e39a9e37b42bba202655c6631dbe7f123ed7"],"id":"S-004-OBL-BASELINE","state":"accepted"},{"evidence":["sha256:5a0a827417682c957921012ab8d98622393eb897186c1e02144810a7aa0bab15"],"id":"S-004-OBL-COMPOSITION","state":"inconclusive"},{"evidence":["sha256:aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c"],"id":"S-005-OBL-DEADLINE","state":"refused"},{"evidence":["sha256:aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c"],"id":"S-005-OBL-WATCHDOG","state":"refused"},{"evidence":["sha256:aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c"],"id":"S-005-OBL-TORQUE","state":"refused"},{"evidence":["sha256:aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c"],"id":"S-005-OBL-MOMENTUM","state":"refused"},{"evidence":["sha256:aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c"],"id":"S-005-OBL-ATTITUDE","state":"refused"},{"evidence":["sha256:aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c"],"id":"S-005-OBL-RATE","state":"refused"},{"evidence":["sha256:aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c"],"id":"S-005-OBL-COVERAGE","state":"inconclusive"},{"evidence":["sha256:adb7a88b1d08eb6585b44356685bb13e366ace719e10bce28777a8eaa9cb4275"],"id":"S-005-OBL-BASELINE","state":"inconclusive"},{"evidence":["sha256:5a0a827417682c957921012ab8d98622393eb897186c1e02144810a7aa0bab15"],"id":"S-005-OBL-COMPOSITION","state":"inconclusive"},{"evidence":["sha256:bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb"],"id":"S-006-OBL-DEADLINE","state":"accepted"},{"evidence":["sha256:bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb"],"id":"S-006-OBL-WATCHDOG","state":"accepted"},{"evidence":["sha256:bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb"],"id":"S-006-OBL-TORQUE","state":"accepted"},{"evidence":["sha256:bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb"],"id":"S-006-OBL-MOMENTUM","state":"accepted"},{"evidence":["sha256:bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb"],"id":"S-006-OBL-ATTITUDE","state":"inconclusive"},{"evidence":["sha256:bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb"],"id":"S-006-OBL-RATE","state":"accepted"},{"evidence":["sha256:bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb"],"id":"S-006-OBL-COVERAGE","state":"accepted"},{"evidence":["sha256:8ca3abd7159837d3f59cba34971723f38c6e054d3cd6bf02880d5acb614e6034"],"id":"S-006-OBL-BASELINE","state":"accepted"},{"evidence":["sha256:5a0a827417682c957921012ab8d98622393eb897186c1e02144810a7aa0bab15"],"id":"S-006-OBL-COMPOSITION","state":"inconclusive"},{"evidence":["sha256:02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460"],"id":"S-007-OBL-DEADLINE","state":"operational_failure"},{"evidence":["sha256:02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460"],"id":"S-007-OBL-WATCHDOG","state":"operational_failure"},{"evidence":["sha256:02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460"],"id":"S-007-OBL-TORQUE","state":"operational_failure"},{"evidence":["sha256:02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460"],"id":"S-007-OBL-MOMENTUM","state":"operational_failure"},{"evidence":["sha256:02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460"],"id":"S-007-OBL-ATTITUDE","state":"operational_failure"},{"evidence":["sha256:02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460"],"id":"S-007-OBL-RATE","state":"operational_failure"},{"evidence":["sha256:02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460"],"id":"S-007-OBL-COVERAGE","state":"inconclusive"},{"evidence":["sha256:bf0d8ef7007f8a99bbab563b6c94e8295e14b39c9b994cfa25088b1c48381f66"],"id":"S-007-OBL-BASELINE","state":"inconclusive"},{"evidence":["sha256:5a0a827417682c957921012ab8d98622393eb897186c1e02144810a7aa0bab15"],"id":"S-007-OBL-COMPOSITION","state":"inconclusive"}],"output_identities":["sha256:8bfdbfb1eac8b1e77749181a3c304b10d72ecd5ddebe7e2782b1b9a563ea34f3","sha256:02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460","sha256:05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1","sha256:1cde5ce63ce8514a5705a63f674e98840aafd990df6804408d51b57ea3ed3afb","sha256:2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c","sha256:2ce4fe68371caecbe7dfc235da24e247be9a08b5f4658821d5bd97f360617756","sha256:34565841e606abc202671caba215ea5a37d7f7a385ee78ffb14f159aeebde531","sha256:3e046416ecf4f13ba1a42b2478c4766e9d0b413b25337358b53a099001e984ff","sha256:47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae","sha256:5119e9007c9daa030f3d1d831661f52e9f674dc966095e8b4c8f0c56905793a4","sha256:52d3d18b5707b05941e8c07c7419ff14ee229ed7814db8928d93ac7ffae68459","sha256:5a0a827417682c957921012ab8d98622393eb897186c1e02144810a7aa0bab15","sha256:62075df49efb58ef384984ca529f9f5a8b462dc372c3cec9c6d37b23177608ac","sha256:656ed3f8c1451f84ab3c40339b2f626ec3eb078c1db17380c4ea7d2b04938138","sha256:6a80069440597c54d4d4c1c22a645c2fd78275e0a9e472a6ed0bc9dd9ffdb510","sha256:7636b4dc970517f4650fbe8a35f5fb5efe54b9fdd4d431782485b26694d9838e","sha256:7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86","sha256:7f4a4b57cf0a66d8628874733f5f2d87785085bebec191570889183bcfc00fa2","sha256:8660c027da7e7e2204a4f0e4d9e363460d9e4943ae060b9bba53a74ca1e345fe","sha256:8ca3abd7159837d3f59cba34971723f38c6e054d3cd6bf02880d5acb614e6034","sha256:994e23d30e942ef6f8fcd39de859ef47c7fd0f797e7c1a68ae814b1a4d31a8a0","sha256:a3dfbb17c1e96a21f4bd03277419391765be894d16a0a7080ddc3d60fda84b48","sha256:a469d29dfd3600b2b27f75f9e691e39a9e37b42bba202655c6631dbe7f123ed7","sha256:a92e29e84f77c32143fd851e7260588ff5ec3a72b9877ed0d0ef2abb1f582ec6","sha256:aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c","sha256:adb7a88b1d08eb6585b44356685bb13e366ace719e10bce28777a8eaa9cb4275","sha256:bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb","sha256:bf0d8ef7007f8a99bbab563b6c94e8295e14b39c9b994cfa25088b1c48381f66","sha256:c04e6d6333574affb288a93ff2671d4e01942e949bb343c44b90869e2d4bb4b0","sha256:c806c108ee7739d17a9153fb187dd239d85597b8270ee83125f2c233fbd11361","sha256:cbfe0edec203b1543cfb3cd0ca5e63e9d1e37e5fc214b2562ad50f198ea315eb","sha256:d9b93481f8d2840c8a522ef459a65b1050a519a737716deafc188419297521f0","sha256:e3721ae3ba6fd557102d73630cf68e369c1635c5691277c45efbd4b862ce7d3d","sha256:e435ea23727ef21b0d9fe3017235dfc78410416271408fa31806945f984f608e","sha256:f8f069b8f92c578771bf806b244fcd101b70cb614132f41c72f4e7abeb815349","sha256:fbcb784254ce900db534fd4cf1ca65a1a27238b22d93c3f9180f07d66a497c20","sha256:fc0dbc3d058d6acbc37f039de417c24a9c4ddbfd8e2b2c72e509c6076b8e5aa6"],"schema_version":"tt.result.v1","seeds":[1101,1102,1103,1104,1105,1106,1107],"state":"rejected","tolerances":{"deadline-miss-count":"0","max-attitude-error-rad":"0.0005","max-body-rate-rad-s":"0.001","max-wheel-momentum-nms":"0.0001","obligation-coverage":"0"},"warnings":["Revision 2 supersedes measurement interpretation, never historical bytes. Single-axis software simulation only; native instruments absent.","Seed values label deterministic scenarios; one primary execution each, zero stochastic samples and zero retries.","Cross-domain composition is unestablished; inertia sensitivity is not baseline disagreement."]}