04 / EXTERNAL STATEGROUNDED DI FIELD LAB

Every hash matches.
The decision still changed.

Freeze the artifact. Change one external condition. See why identity, truth, authority, and permission must remain separate.

Why the green wall is not enough

Synthetic fixed records. Browser-local hashing. No live model call. No external lookup. No production action.

Outside the HashA Grounded DI External-State Lab
ARTIFACT TAPE / 64INSTRUMENT TESTING
01020304050607080910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364
ARTIFACT DIGESTUNAVAILABLE
WRITE AUTHORITYACTIVE → REVOKED

MATCHING ARTIFACTS DO NOT FREEZE EXTERNAL REALITY.

A digest can close one question: “Are these declared bytes identical?”

It cannot answer the next one: “May these bytes govern this action now?”

01 / LOCK THE TERMS

The object gets a boundary. So does the claim.

The artifact receipt, external-state receipt, and evaluation receipt never collapse into one unexplained seal.

CONTROL CONTRACTOTH-CONTRACT-1.0
SIMULATED_ONLY
Contract
OTH-CONTRACT-1.0
Input
OTH-SYNTHETIC-CANDIDATE-001
Artifact schema
grounded-di.candidate-artifact.v1
Canonicalization
RFC 8785-style recursive key ordering
Encoding
UTF-8
Verification object
exact canonical candidate-artifact JSON
Digest
SHA-256 via browser Web Crypto
External schema
grounded-di.synthetic-external-state.v1
Freshness
observation must be no older than 24 hours
Evaluation rule
OTH-EVAL-1.0
Instrument gate
SHA-256 known-answer test over UTF-8 abc
Status
SIMULATED_ONLY
SUPPLIED INPUTFixed candidate instruction
GENERATED ARTIFACTCandidate record JSON
HASHED OBJECTExact canonical artifact
EXCLUDEDExternal truth + authority

02 / RUN THE COUNTERFACTUAL

One artifact. Two worlds.

GUIDED RECORDAwaiting run
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
INSTRUMENTNOT YET TESTEDPENDING
BASELINE / OTH-BASELINE-001

OTH-ARTIFACT-001

RELEASE_READY

ONE DECLARED OBJECTDIGEST PENDINGExact canonical candidate-artifact JSON
COUNTERFACTUAL / OTH-CF-01-001

OTH-ARTIFACT-001

RELEASE_READY

64-CHECKPOINT ARTIFACT IDENTITY WALLSEALED
MatchUnavailable
SELECTED CHECKPOINT01
Local receipt
PENDING
Chain receipt
PENDING
Recorded bytes
Artifact divergence
PENDING

The wall represents artifact receipts only. It does not represent source currency, authority, destination permission, or truth.

03 / OUTSIDE THE DECLARED OBJECT

The bytes hold still. The control condition does not.

RAIL SEALED
BASELINE EXTERNAL STATESEALED
Source revision
LOCKED
Freshness
LOCKED
Destination
LOCKED
Write authority
LOCKED
External checks
LOCKED
Conflict state
LOCKED
Evaluator
LOCKED
EXTERNAL-STATE RAILSEALED
COUNTERFACTUAL EXTERNAL STATESEALED
Source revision
LOCKED
Freshness
LOCKED
Destination
LOCKED
Write authority
LOCKED
External checks
LOCKED
Conflict state
LOCKED
Evaluator
LOCKED
BASELINE ACTIONPENDING
EXTERNAL CONDITION
COUNTERFACTUAL ACTIONPENDING

THE ARTIFACT DID NOT CHANGE.
THE PERMITTED ACTION DID.

GROUNDED DI DISPOSITIONPENDING

04 / THREE RECEIPTS, THREE PROPOSITIONS

No receipt inherits the credibility of another.

Each digest binds one declared browser-generated object—and nothing beyond it.

01

Artifact receipt

UNAVAILABLE

Establishes byte identity of the exact canonical candidate artifact only.

Baseline
DIGEST UNAVAILABLE
byte length unavailable
Counterfactual
DIGEST UNAVAILABLE
byte length unavailable
02

External-state receipt

UNAVAILABLE

Establishes byte identity of each synthetic external-state record—not real-world truth.

Baseline
DIGEST UNAVAILABLE
byte length unavailable
Counterfactual
DIGEST UNAVAILABLE
byte length unavailable
03

Evaluation receipt

UNAVAILABLE

Binds artifact, external state, rule, disposition, surviving proposition, and permitted action.

Baseline
DIGEST UNAVAILABLE
byte length unavailable
Counterfactual
DIGEST UNAVAILABLE
byte length unavailable
EXACT OBJECT INSPECTION
BASELINE
COMPUTING…
COUNTERFACTUAL
COMPUTING…

05 / CASE LIBRARY

Keep the artifact fixed. Move one condition.

Six controlled comparisons separate identity evidence from the state required to release or act.

06 / FREE EXPLORATION

The artifact lock stays on.

Choose one external condition at a time. The exact artifact and all artifact receipts remain frozen.

NEED TO CHANGE THE ARTIFACT?That is a different forensic question.
Open First Divergence

07 / FINAL COUNTERFACTUAL RECORD

What the record can still support.

GROUNDED DI / OUTSIDE THE HASHPREPARING RECORD
DISPOSITIONPENDING
SURVIVING PROPOSITION

The counterfactual record is being computed.

FINAL RECORD DIGESTDIGEST UNAVAILABLENo digest-dependent claim is preserved when the instrument gate fails.
SIMULATED_ONLY

The displayed digests establish byte identity of their respective browser-generated synthetic records only. They do not establish real-world truth, source authenticity, legal correctness, independent certification, production readiness, or universal model determinism.

08 / WHY THIS MATTERS

Green receipts answer a narrow question.

01

Identity is not truth.

A matching digest establishes identity of declared bytes. It does not establish that the claim inside those bytes is correct.

02

Reality does not freeze.

Sources can be superseded, observations can expire, and external records can conflict while the artifact stays unchanged.

03

Authority has its own state.

A correct candidate value still cannot authorize itself, select its destination, or grant permission to commit.

04

The decision binds both.

Grounded DI limits the final disposition to the artifact and the controlling state actually established.

09 / THE GROUNDED DI CONTROL PATH

From broad claim to governed action.

THE FINAL COMMIT BOUNDARY

The artifact is fixed.
The external state is bounded.
Now govern the commit.