00
EXACT ARTIFACT IDENTITY
The clean replay
The recorded artifact chains are byte-identical under the declared synthetic contract.
DISPOSITIONPROVED
RUNTIME FORENSICSSIMULATED_ONLY
FIRST DIVERGENCE01 / 64
47 mismatches.One first failure.
Lock the run. Break one condition. Find the last good state—and the exact proposition the record still supports.
Guided runtime cross · about 60 seconds
Synthetic 64-checkpoint execution. Browser-local computation. No live model call. No production action.
GUIDED RUNTIME FORENSICS
A mismatch count is not a diagnosis.
The contract is fixed. Every digest shown is computed locally after the instrument gate completes. Unknown never becomes inferred.
RUN CONTRACT / FD-CONTRACT-1.0OPEN
RUN CONTRACTFD-CONTRACT-1.0
FIXED INPUTR4K9 / ROUTE_HOLD
RULE VERSIONRULESET-4.2
SERIALIZATIONSORTED-KEY COMPACT JSON
ENCODINGUTF-8
NEWLINE POLICYNO TRAILING NEWLINE
VERIFICATION OBJECTDECLARED PER PRESET
DIGESTSHA-256 / BROWSER WEB CRYPTO
TOOL INTEGRITYKNOWN-ANSWER TEST REQUIRED
CHECKPOINTS64
AUTHORITYEXTERNAL GATE / NOT HASH-BOUND
STATUSSIMULATED_ONLY
SUPPLIED INPUTGENERATED LOCAL STATEHASHED OBJECTEXCLUDED CONTENTEXTERNAL AUTHORITY
64-CHECKPOINT EXECUTION WALLBASELINE / REPLAY
MATCHPRIMARYPROPAGATED
MATCHED PREFIX—
PRIMARY—
PROPAGATED—
CHAIN MISMATCHES—
LAST GOOD STATE—
FIRST-DIVERGENCE INSPECTION
Checkpoint 18NOT YET COMPARED
RECORD NOT YET COMPUTED
Lock the contract and generate the baseline. Exact bytes and digests remain hidden until the instrument gate completes.
FREE EXPLORATION
Break one condition at a time.
Each preset is deterministic and mutually exclusive. Selecting a new fault clears the prior record before another comparison.
CASE LIBRARY
Five records. Five different limits.
The wall can fail, match, or disappear entirely. The supported proposition depends on which gate actually completed.
01
PRIMARY + PROPAGATED
The invisible byte
One added LF creates one primary divergence and 46 downstream chain mismatches.
DISPOSITIONREVIEW
02
INSTRUMENT GATE
The untrusted instrument
A failed instrument gate establishes nothing about whether the artifacts match.
DISPOSITIONUNRESOLVED
03
OBJECT SCOPE
The perfect wrong match
Every receipt matches, but only because generated content was outside the verified object.
DISPOSITIONNARROWED
04
COMMIT BOUNDARY
The match that cannot commit
Artifact identity survives. Operative authority does not.
DISPOSITIONBLOCKED
FINAL DIVERGENCE RECORD
The last proposition the record can support.
This card binds the observed result to its evidence scope without borrowing credibility for anything upstream or excluded.
RECORD OPEN
Complete a trusted comparison—or encounter a fail-closed instrument gate—to generate the bounded final record.
WHY THIS MATTERS
Find the cause before naming the failure.
Counts are symptoms.
A wall of red does not identify the first unsupported transition.
Chains propagate.
One local change can alter every downstream chain receipt.
Tools are gates.
An untrusted instrument establishes nothing about object identity.
Objects define scope.
A perfect digest can bind the wrong evidence perfectly.
Authority remains separate.
A matching replay still cannot authorize an operative action.
Grounded DI locates the first unsupported transition, separates primary divergence from downstream effects, and limits every conclusion to the evidence actually established.
THE GROUNDED DI CONTROL PATH
Claim. Record. Commit.
01ON THE RECORD
Bounds the proposition.
OPEN ↗02FIRST DIVERGENCE
03ACTIONGATELocates where the execution record changes.
CURRENTGoverns whether the bounded result may become an action.
OPEN ↗REPLAY / UNDERSTOODCOMMIT BOUNDARY / NEXT
THE NEXT BOUNDARY
The replay is understood.Now govern the commit.
First Divergence identifies what changed and what survives. ActionGate determines whether that bounded result may cross an operative boundary.
Pilot Studio destination was not separately recoverable from the supplied archive. Link placeholder retained for replacement.