Tomorrow, Tested

Experiment CP-001 · Revision 2 · rejected

CP-001 corrected single-axis measurement audit

Do two implementations report the same simulated spacecraft motion, and do seven registered scenarios stay within their timing, pointing, rotation-rate, wheel-momentum, and evidence limits?

In plain English

Understanding this experiment

What is being measured?
The experiment simulates a spacecraft rotating around one axis. It compares the retained motion with an independent replay using the same inputs, then checks whether seven scenarios stay inside their registered timing, pointing, rotation-rate, wheel-momentum, and evidence limits.
Why does it matter?
Agreement between the retained observations and the independent replay increases confidence that the published result follows from the registered model and inputs. Boundary crossings expose where the tested controller or evidence is insufficient; they do not establish hardware safety or flight readiness.
How does the title relate?
Single-axis means rotation around one axis rather than a complete three-axis spacecraft. Measurement audit means comparing retained observations with a matched-input replay. Corrected records that revision 2 fixes the earlier measurement interpretation while preserving revision 1 evidence.
  • Outcome: rejected
  • Evaluators: owner-maintained simulation, native instruments not invoked
  • Evidence 2f08...b3db

Picture the experiment

Check the motion. Then check whether it stays within the limits.

What we change or check
Compare two calculations of the same single-axis motion, then check the registered timing and physical limits.
What the test aims to establish
Check that the two calculations agree, and separately determine whether every scenario meets the registered physical and controller limits.
01 · The physical modelA reaction wheel exchanges rotation with the spacecraft bodyThe single-axis model represents a spacecraft and an internal reaction wheel. Torque changes wheel momentum and body rotation. This is a schematic of the model, not a measured spacecraft pose.Body rotationInternal reaction wheel

Control one axis of rotation

The controller commands an internal wheel. The test tracks the simulated body angle, rotation rate and wheel momentum as commands and faults occur.

Inspect the model and reproduction path
02 · The measurement auditThe same inputs enter retained simulation and independent replayCommands and fault inputs are shared by two calculation paths. Their resulting motion is compared before the registered obligations are assessed. Agreement is a consistency check.Same inputsRetainedsimulationIndependentreplayCompare the motion

Agreement is one part of the goal

Two paths receive the same inputs. Their agreement checks the reported motion, while separate obligations decide whether that motion stays within the limits.

Inspect the matched-input comparison
03 · The physical limitPointing can cross the registered envelopeA dashed target direction and a solid displaced spacecraft illustrate pointing error. The highlighted region marks a limit conceptually; the exact retained crossing is in the worked example. Angles are exaggerated for explanation.TargetLimitCheck the pointing error

Look for a boundary crossing

In the highlighted retained case, the pointing limit is crossed. A correct replay preserves that failure so readers can see why the overall result is rejected.

Follow the retained failure step by step
Conceptual illustration of the registered model. Shapes, angles and arrow lengths are schematic, not measured magnitudes. Read the retained model and claim boundaries. The result and exact measurements follow below.

Result in brief

What the evidence establishes

01 · Verdict

rejected

An obligation is a rule fixed before the run. 2 of 63 rules have reproducible counterexamples, so this result cannot be accepted.

02 · Decisive evidence

S-003 crossed the attitude bound

At 1.010 s, the retained measurement reached 0.051 rad against the registered 0.050 rad limit.

03 · Scope

Bounded result, not certification

This result covers the registered single-axis model and seven scenarios. It does not establish hardware safety, flight readiness, or universal controller correctness.

Synchronized experiment evidence

Evidence instrumentS-003 · physical-failure
Measured attitude trajectory for S-003registered bound0 s10.0 s
Measured retained states plus exact event states. Connecting lines guide reading and are not interpolated evidence.
Technical readout

Quaternion w,x,y,z (nano): 999674893, 25497237, 0, 0

Input 1010000000 ns · safe mode true · sensor valid true · watchdog expired false · command 0 nano N m.

Layer two · Understand the result

Decisive event, claims, and scenarios

Exact event timeline · S-003

  1. Observation opens

    Rate 0 nanorad/s.

  2. Safe mode engaged

    Command 0 nano N m; sensor valid false.

  3. Watchdog expired

    The retained input records the watchdog transition.

  4. Peak retained body rate

    Rate 100000000 nanorad/s.

  5. Attitude bound crossed

    Absolute attitude error first exceeds 50000000 nanorad.

  6. Observation ends: horizon_completed

    1001 retained states.

Scenarios

S-001 · nominalSeed 1101 · horizon completedinconclusive

acceptedacceptedacceptedacceptedacceptedacceptedacceptedacceptedinconclusive

Max attitude error
0.040 rad (40000000 nanorad)
Max body rate
0.012 rad/s (12386689 nanorad/s)
Deadline misses
0
Watchdog triggers / violations
0 / 0
Baseline comparison
agreed, max rate difference 225 nanorad/s
Observation
2c04...d18c
S-002 · discrete-failureSeed 1102 · horizon completedrejectedinconclusive

rejectedacceptedacceptedacceptedacceptedacceptedacceptedacceptedinconclusive

Max attitude error
0.040 rad (40000000 nanorad)
Max body rate
0.012 rad/s (12386689 nanorad/s)
Deadline misses
1000
Watchdog triggers / violations
0 / 0
Baseline comparison
agreed, max rate difference 225 nanorad/s
Observation
05d1...58d1
S-003 · physical-failureSeed 1103 · horizon completedrejectedinconclusive

acceptedacceptedacceptedacceptedrejectedacceptedacceptedacceptedinconclusive

Max attitude error
0.950 rad (950000000 nanorad)
Max body rate
0.100 rad/s (100000000 nanorad/s)
Deadline misses
0
Watchdog triggers / violations
1 / 0
Baseline comparison
agreed, max rate difference 0 nanorad/s
Observation
7a44...9f86
S-004 · inertia-sensitivitySeed 1104 · horizon completedinconclusive

acceptedacceptedacceptedacceptedacceptedacceptedacceptedacceptedinconclusive

Max attitude error
0.040 rad (40000000 nanorad)
Max body rate
0.012 rad/s (12351783 nanorad/s)
Deadline misses
0
Watchdog triggers / violations
0 / 0
Baseline comparison
agreed, max rate difference 434 nanorad/s
Observation
4716...4bae
S-005 · refusalSeed 1105 · unsupported between sample validityrefusedinconclusive

refusedrefusedrefusedrefusedrefusedrefusedinconclusiveinconclusiveinconclusive

Max attitude error
0.040 rad (40000000 nanorad)
Max body rate
0.000 rad/s (0 nanorad/s)
Deadline misses
0
Watchdog triggers / violations
0 / 0
Baseline comparison
unavailable, max rate difference 0 nanorad/s
Observation
aa8c...de5c
S-006 · inconclusiveSeed 1106 · horizon completedinconclusive

acceptedacceptedacceptedacceptedinconclusiveacceptedacceptedacceptedinconclusive

Max attitude error
0.050 rad (50200000 nanorad)
Max body rate
0.016 rad/s (15524968 nanorad/s)
Deadline misses
0
Watchdog triggers / violations
0 / 0
Baseline comparison
agreed, max rate difference 228 nanorad/s
Observation
bce9...3aeb
S-007 · operational-failureSeed 1107 · trace row ceilingoperational_failureinconclusive

operational_failureoperational_failureoperational_failureoperational_failureoperational_failureoperational_failureinconclusiveinconclusiveinconclusive

Max attitude error
0.000 rad (0 nanorad)
Max body rate
0.000 rad/s (0 nanorad/s)
Deadline misses
0
Watchdog triggers / violations
0 / 0
Baseline comparison
unavailable, max rate difference 0 nanorad/s
Observation
02d8...6460

Claims and limits

Supported

  • Single-axis X rotation from rest and identity attitude; zero gyro bias, noise, and wheel scale error. Integer midpoint rigid-body plant with unclipped wheel momentum and momentum-limit safe mode. Independent floating-point RK4 quaternion replay uses the same applied torque, inertia, initial state, epoch, and step. Inertia sensitivity is a separate open-loop replay, not implementation disagreement. Watchdog latches safe mode after the second consecutive invalid sample and records expiration on the third. All physical maxima include the terminal state.

Prohibited

  • Hardware safety, flight readiness, flight qualification, certification, or real-spacecraft performance.
  • Unbounded stability, universal controller correctness, or validity outside the registered model and cohort.
  • Independent validation merely because owner-built instruments or baselines agree.

Model boundaries

  • Single-axis X rotation only; zero bias, noise and torque scale error. No three-axis or uncertainty-envelope verification.
  • No native instruments, hardware evidence, or independent third-party validation.
  • Cross-domain composition is not established by this measurement revision.

Result states

  • accepted: Accepted: every required bounded obligation passed.
  • rejected: Rejected: a registered obligation has a reproducible counterexample.
  • refused: Refused: semantics, evidence, mapping, or scope are unsupported.
  • inconclusive: Inconclusive: valid execution could not distinguish the hypotheses.
  • operational_failure: Operational failure: evaluation did not complete.
Layer threeTechnical evidence and reproducibilityComplete baselines, artefacts, obligations, identities, and diagnostics

Baselines

Matched-input quaternion replay agrees within 20000 nanorad/s and 20000 nanorad unless stated. Stopping rule: Qualify historical inputs, then execute each declared revision2 scenario once in order. Retain refusal and incomplete resource-bound evidence and continue to the next declared scenario. Unexpected arithmetic, identity, time, or output-bound failure aborts without emitting a canonical result. No retries or hidden repeat trials.

Baseline comparison per scenario
ScenarioStatusRate differenceAttitude differenceMatched inputs
S-001agreed225 nanorad/s614 nanoradtrue
S-002agreed225 nanorad/s614 nanoradtrue
S-003agreed0 nanorad/s0 nanoradtrue
S-004agreed434 nanorad/s1498 nanoradtrue
S-005unavailable0 nanorad/s0 nanoradtrue
S-006agreed228 nanorad/s570 nanoradtrue
S-007unavailable0 nanorad/s0 nanoradtrue

Raw artefacts

Bulk evidence is served as digest-addressed files. Every link below was validated at build time against a digest bound in the canonical result.

Digest-bound archive artefacts
DigestBytesArtefact
sha256:02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460322242https://evidence.tomorrowtested.org/objects/sha256/02/02d824b2d4aa68d2553aa864a4cc688b2c0409ed30cb7d732034d9a05e9b6460
sha256:05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1306626https://evidence.tomorrowtested.org/objects/sha256/05/05d17ec70de7035de985ce3e5e786787fce269928052af8dcf4681d3387658d1
sha256:1cde5ce63ce8514a5705a63f674e98840aafd990df6804408d51b57ea3ed3afb142716https://evidence.tomorrowtested.org/objects/sha256/1c/1cde5ce63ce8514a5705a63f674e98840aafd990df6804408d51b57ea3ed3afb
sha256:2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c306614https://evidence.tomorrowtested.org/objects/sha256/2c/2c04cd9b59364f3a55874e99348cde65cb892e695965681a26e8ba44f057d18c
sha256:2ce4fe68371caecbe7dfc235da24e247be9a08b5f4658821d5bd97f360617756158601https://evidence.tomorrowtested.org/objects/sha256/2c/2ce4fe68371caecbe7dfc235da24e247be9a08b5f4658821d5bd97f360617756
sha256:2f08a13a6b263be1b78737bc76bd8729c4e13a02870ac4ec6aa068453356b3db17817https://evidence.tomorrowtested.org/objects/sha256/2f/2f08a13a6b263be1b78737bc76bd8729c4e13a02870ac4ec6aa068453356b3db
sha256:34565841e606abc202671caba215ea5a37d7f7a385ee78ffb14f159aeebde531158605https://evidence.tomorrowtested.org/objects/sha256/34/34565841e606abc202671caba215ea5a37d7f7a385ee78ffb14f159aeebde531
sha256:3e046416ecf4f13ba1a42b2478c4766e9d0b413b25337358b53a099001e984ff1091https://evidence.tomorrowtested.org/objects/sha256/3e/3e046416ecf4f13ba1a42b2478c4766e9d0b413b25337358b53a099001e984ff
sha256:47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae306666https://evidence.tomorrowtested.org/objects/sha256/47/47169bbbf3331d8c49a83d94f51166a80320632c2a4162265b36ecb1bce14bae
sha256:5119e9007c9daa030f3d1d831661f52e9f674dc966095e8b4c8f0c56905793a4142719https://evidence.tomorrowtested.org/objects/sha256/51/5119e9007c9daa030f3d1d831661f52e9f674dc966095e8b4c8f0c56905793a4
sha256:52d3d18b5707b05941e8c07c7419ff14ee229ed7814db8928d93ac7ffae684591599https://evidence.tomorrowtested.org/objects/sha256/52/52d3d18b5707b05941e8c07c7419ff14ee229ed7814db8928d93ac7ffae68459
sha256:5a0a827417682c957921012ab8d98622393eb897186c1e02144810a7aa0bab153082https://evidence.tomorrowtested.org/objects/sha256/5a/5a0a827417682c957921012ab8d98622393eb897186c1e02144810a7aa0bab15
sha256:62075df49efb58ef384984ca529f9f5a8b462dc372c3cec9c6d37b23177608ac499https://evidence.tomorrowtested.org/objects/sha256/62/62075df49efb58ef384984ca529f9f5a8b462dc372c3cec9c6d37b23177608ac
sha256:656ed3f8c1451f84ab3c40339b2f626ec3eb078c1db17380c4ea7d2b04938138146553https://evidence.tomorrowtested.org/objects/sha256/65/656ed3f8c1451f84ab3c40339b2f626ec3eb078c1db17380c4ea7d2b04938138
sha256:6a80069440597c54d4d4c1c22a645c2fd78275e0a9e472a6ed0bc9dd9ffdb5104019https://evidence.tomorrowtested.org/objects/sha256/6a/6a80069440597c54d4d4c1c22a645c2fd78275e0a9e472a6ed0bc9dd9ffdb510
sha256:7636b4dc970517f4650fbe8a35f5fb5efe54b9fdd4d431782485b26694d9838e164https://evidence.tomorrowtested.org/objects/sha256/76/7636b4dc970517f4650fbe8a35f5fb5efe54b9fdd4d431782485b26694d9838e
sha256:7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86300109https://evidence.tomorrowtested.org/objects/sha256/7a/7a44bb8ff61f27df7272879b46d773976a7db0df36d79cc6d062ece6d7899f86
sha256:7f4a4b57cf0a66d8628874733f5f2d87785085bebec191570889183bcfc00fa2142768https://evidence.tomorrowtested.org/objects/sha256/7f/7f4a4b57cf0a66d8628874733f5f2d87785085bebec191570889183bcfc00fa2
sha256:8660c027da7e7e2204a4f0e4d9e363460d9e4943ae060b9bba53a74ca1e345fe316https://evidence.tomorrowtested.org/objects/sha256/86/8660c027da7e7e2204a4f0e4d9e363460d9e4943ae060b9bba53a74ca1e345fe
sha256:8bfdbfb1eac8b1e77749181a3c304b10d72ecd5ddebe7e2782b1b9a563ea34f33773156local_archive_pending: experiments/cp-001/revision2/evidence.json
sha256:8ca3abd7159837d3f59cba34971723f38c6e054d3cd6bf02880d5acb614e6034306https://evidence.tomorrowtested.org/objects/sha256/8c/8ca3abd7159837d3f59cba34971723f38c6e054d3cd6bf02880d5acb614e6034
sha256:994e23d30e942ef6f8fcd39de859ef47c7fd0f797e7c1a68ae814b1a4d31a8a0306https://evidence.tomorrowtested.org/objects/sha256/99/994e23d30e942ef6f8fcd39de859ef47c7fd0f797e7c1a68ae814b1a4d31a8a0
sha256:a3dfbb17c1e96a21f4bd03277419391765be894d16a0a7080ddc3d60fda84b48158672https://evidence.tomorrowtested.org/objects/sha256/a3/a3dfbb17c1e96a21f4bd03277419391765be894d16a0a7080ddc3d60fda84b48
sha256:a469d29dfd3600b2b27f75f9e691e39a9e37b42bba202655c6631dbe7f123ed7307https://evidence.tomorrowtested.org/objects/sha256/a4/a469d29dfd3600b2b27f75f9e691e39a9e37b42bba202655c6631dbe7f123ed7
sha256:a92e29e84f77c32143fd851e7260588ff5ec3a72b9877ed0d0ef2abb1f582ec6153538https://evidence.tomorrowtested.org/objects/sha256/a9/a92e29e84f77c32143fd851e7260588ff5ec3a72b9877ed0d0ef2abb1f582ec6
sha256:aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c505https://evidence.tomorrowtested.org/objects/sha256/aa/aa8c52b41b760b185d54fb18369bac5c82971651876008b3db41a7c843a4de5c
sha256:adb7a88b1d08eb6585b44356685bb13e366ace719e10bce28777a8eaa9cb4275307https://evidence.tomorrowtested.org/objects/sha256/ad/adb7a88b1d08eb6585b44356685bb13e366ace719e10bce28777a8eaa9cb4275
sha256:bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb306983https://evidence.tomorrowtested.org/objects/sha256/bc/bce92d4a16f670bf6ab7a1f234b9735111ba984543ed1788aa297406a4523aeb
sha256:bf0d8ef7007f8a99bbab563b6c94e8295e14b39c9b994cfa25088b1c48381f66307https://evidence.tomorrowtested.org/objects/sha256/bf/bf0d8ef7007f8a99bbab563b6c94e8295e14b39c9b994cfa25088b1c48381f66
sha256:c04e6d6333574affb288a93ff2671d4e01942e949bb343c44b90869e2d4bb4b0142931https://evidence.tomorrowtested.org/objects/sha256/c0/c04e6d6333574affb288a93ff2671d4e01942e949bb343c44b90869e2d4bb4b0
sha256:c806c108ee7739d17a9153fb187dd239d85597b8270ee83125f2c233fbd11361103500https://evidence.tomorrowtested.org/objects/sha256/c8/c806c108ee7739d17a9153fb187dd239d85597b8270ee83125f2c233fbd11361
sha256:cbfe0edec203b1543cfb3cd0ca5e63e9d1e37e5fc214b2562ad50f198ea315eb142719https://evidence.tomorrowtested.org/objects/sha256/cb/cbfe0edec203b1543cfb3cd0ca5e63e9d1e37e5fc214b2562ad50f198ea315eb
sha256:d9b93481f8d2840c8a522ef459a65b1050a519a737716deafc188419297521f04921https://evidence.tomorrowtested.org/objects/sha256/d9/d9b93481f8d2840c8a522ef459a65b1050a519a737716deafc188419297521f0
sha256:e3721ae3ba6fd557102d73630cf68e369c1635c5691277c45efbd4b862ce7d3d302https://evidence.tomorrowtested.org/objects/sha256/e3/e3721ae3ba6fd557102d73630cf68e369c1635c5691277c45efbd4b862ce7d3d
sha256:e435ea23727ef21b0d9fe3017235dfc78410416271408fa31806945f984f608e306https://evidence.tomorrowtested.org/objects/sha256/e4/e435ea23727ef21b0d9fe3017235dfc78410416271408fa31806945f984f608e
sha256:f8f069b8f92c578771bf806b244fcd101b70cb614132f41c72f4e7abeb815349128217https://evidence.tomorrowtested.org/objects/sha256/f8/f8f069b8f92c578771bf806b244fcd101b70cb614132f41c72f4e7abeb815349
sha256:fbcb784254ce900db534fd4cf1ca65a1a27238b22d93c3f9180f07d66a497c20778https://evidence.tomorrowtested.org/objects/sha256/fb/fbcb784254ce900db534fd4cf1ca65a1a27238b22d93c3f9180f07d66a497c20
sha256:fc0dbc3d058d6acbc37f039de417c24a9c4ddbfd8e2b2c72e509c6076b8e5aa6158616https://evidence.tomorrowtested.org/objects/sha256/fc/fc0dbc3d058d6acbc37f039de417c24a9c4ddbfd8e2b2c72e509c6076b8e5aa6

Obligations

Canonical obligations with fail-closed states
ObligationStateMeaning
S-001-OBL-DEADLINEacceptedAccepted: every required bounded obligation passed.
S-001-OBL-WATCHDOGacceptedAccepted: every required bounded obligation passed.
S-001-OBL-TORQUEacceptedAccepted: every required bounded obligation passed.
S-001-OBL-MOMENTUMacceptedAccepted: every required bounded obligation passed.
S-001-OBL-ATTITUDEacceptedAccepted: every required bounded obligation passed.
S-001-OBL-RATEacceptedAccepted: every required bounded obligation passed.
S-001-OBL-COVERAGEacceptedAccepted: every required bounded obligation passed.
S-001-OBL-BASELINEacceptedAccepted: every required bounded obligation passed.
S-001-OBL-COMPOSITIONinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-002-OBL-DEADLINErejectedRejected: a registered obligation has a reproducible counterexample.
S-002-OBL-WATCHDOGacceptedAccepted: every required bounded obligation passed.
S-002-OBL-TORQUEacceptedAccepted: every required bounded obligation passed.
S-002-OBL-MOMENTUMacceptedAccepted: every required bounded obligation passed.
S-002-OBL-ATTITUDEacceptedAccepted: every required bounded obligation passed.
S-002-OBL-RATEacceptedAccepted: every required bounded obligation passed.
S-002-OBL-COVERAGEacceptedAccepted: every required bounded obligation passed.
S-002-OBL-BASELINEacceptedAccepted: every required bounded obligation passed.
S-002-OBL-COMPOSITIONinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-003-OBL-DEADLINEacceptedAccepted: every required bounded obligation passed.
S-003-OBL-WATCHDOGacceptedAccepted: every required bounded obligation passed.
S-003-OBL-TORQUEacceptedAccepted: every required bounded obligation passed.
S-003-OBL-MOMENTUMacceptedAccepted: every required bounded obligation passed.
S-003-OBL-ATTITUDErejectedRejected: a registered obligation has a reproducible counterexample.
S-003-OBL-RATEacceptedAccepted: every required bounded obligation passed.
S-003-OBL-COVERAGEacceptedAccepted: every required bounded obligation passed.
S-003-OBL-BASELINEacceptedAccepted: every required bounded obligation passed.
S-003-OBL-COMPOSITIONinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-004-OBL-DEADLINEacceptedAccepted: every required bounded obligation passed.
S-004-OBL-WATCHDOGacceptedAccepted: every required bounded obligation passed.
S-004-OBL-TORQUEacceptedAccepted: every required bounded obligation passed.
S-004-OBL-MOMENTUMacceptedAccepted: every required bounded obligation passed.
S-004-OBL-ATTITUDEacceptedAccepted: every required bounded obligation passed.
S-004-OBL-RATEacceptedAccepted: every required bounded obligation passed.
S-004-OBL-COVERAGEacceptedAccepted: every required bounded obligation passed.
S-004-OBL-BASELINEacceptedAccepted: every required bounded obligation passed.
S-004-OBL-COMPOSITIONinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-005-OBL-DEADLINErefusedRefused: semantics, evidence, mapping, or scope are unsupported.
S-005-OBL-WATCHDOGrefusedRefused: semantics, evidence, mapping, or scope are unsupported.
S-005-OBL-TORQUErefusedRefused: semantics, evidence, mapping, or scope are unsupported.
S-005-OBL-MOMENTUMrefusedRefused: semantics, evidence, mapping, or scope are unsupported.
S-005-OBL-ATTITUDErefusedRefused: semantics, evidence, mapping, or scope are unsupported.
S-005-OBL-RATErefusedRefused: semantics, evidence, mapping, or scope are unsupported.
S-005-OBL-COVERAGEinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-005-OBL-BASELINEinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-005-OBL-COMPOSITIONinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-006-OBL-DEADLINEacceptedAccepted: every required bounded obligation passed.
S-006-OBL-WATCHDOGacceptedAccepted: every required bounded obligation passed.
S-006-OBL-TORQUEacceptedAccepted: every required bounded obligation passed.
S-006-OBL-MOMENTUMacceptedAccepted: every required bounded obligation passed.
S-006-OBL-ATTITUDEinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-006-OBL-RATEacceptedAccepted: every required bounded obligation passed.
S-006-OBL-COVERAGEacceptedAccepted: every required bounded obligation passed.
S-006-OBL-BASELINEacceptedAccepted: every required bounded obligation passed.
S-006-OBL-COMPOSITIONinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-007-OBL-DEADLINEoperational_failureOperational failure: evaluation did not complete.
S-007-OBL-WATCHDOGoperational_failureOperational failure: evaluation did not complete.
S-007-OBL-TORQUEoperational_failureOperational failure: evaluation did not complete.
S-007-OBL-MOMENTUMoperational_failureOperational failure: evaluation did not complete.
S-007-OBL-ATTITUDEoperational_failureOperational failure: evaluation did not complete.
S-007-OBL-RATEoperational_failureOperational failure: evaluation did not complete.
S-007-OBL-COVERAGEinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-007-OBL-BASELINEinconclusiveInconclusive: valid execution could not distinguish the hypotheses.
S-007-OBL-COMPOSITIONinconclusiveInconclusive: valid execution could not distinguish the hypotheses.

Citation

Tomorrow, Tested. TT/CP-001 revision 2:CP-001 corrected single-axis measurement audit. Result rejected. Experiment identity sha256:6a80069440597c54d4d4c1c22a645c2fd78275e0a9e472a6ed0bc9dd9ffdb510. Result identity sha256:2f08a13a6b263be1b78737bc76bd8729c4e13a02870ac4ec6aa068453356b3db.

Revision

Contract sha256:d9b93481f8d2840c8a522ef459a65b1050a519a737716deafc188419297521f0. Historical revision 1 resultsha256:7284916be9b72873634c3e146c78ded672ada6be5af6a4b9285f3724bda47ae0. Revision 2 supersedes measurement interpretation without rewriting revision 1 bytes.

Reproduction

  1. Run cargo run --bin tt -- qualify-cp001.
  2. Run cargo run --bin tt -- execute-cp001 --revision 2 --evidence.
  3. Run pnpm --filter @tomorrow-tested/atlas run generate.
  4. Run pnpm --filter @tomorrow-tested/atlas run build.

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

Warning: Revision 2 supersedes measurement interpretation, never historical bytes. Single-axis software simulation only; native instruments absent.

Warning: Seed values label deterministic scenarios; one primary execution each, zero stochastic samples and zero retries.

Warning: Cross-domain composition is unestablished; inertia sensitivity is not baseline disagreement.