Material condition changes during final revalidation

A material environmental condition changed during final pre-execution revalidation. The prior chain was closed at the changed state and execution was withheld pending a new admissibility determination.

EXECUTABLE ARTIFACT · INSPECT THE PROOF

This is the artifact itself.

The determination below is generated by executing the frozen specification through the TA-14 eight-stage harness. The specification, predicates, trace, receipt, manifest and package root are exposed here for inspection and reproduction.

Generated determination

HOLD

Terminal stage

CONTINUITY

Executed at

2026-08-23T21:00:00.000Z

Route

TA14-ROUTE-021

1. Frozen specification / input

{
  "schemaVersion": "ta14.execution-spec.v1",
  "artifactId": "TA14-EA-000021",
  "routeId": "TA14-ROUTE-021",
  "title": "Material condition changes during final revalidation",
  "frozenAt": "2026-08-23T20:18:00.000Z",
  "input": {
    "testVector": "TA-14 second execution-artifact corpus",
    "case": 21,
    "synthetic": true
  },
  "predicates": [
    {
      "id": "EA21-REALITY-STANDING",
      "stage": "REALITY",
      "description": "Required reality standing is present in the frozen test vector.",
      "required": true,
      "observed": true,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.REALITY-STANDING"
    },
    {
      "id": "EA21-RECORD-STANDING",
      "stage": "RECORD",
      "description": "Required record standing is present in the frozen test vector.",
      "required": true,
      "observed": true,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.RECORD-STANDING"
    },
    {
      "id": "EA21-MATERIAL-STATE-CONTINUITY",
      "stage": "CONTINUITY",
      "description": "No material condition change invalidates the standing carried into final pre-execution revalidation.",
      "required": true,
      "observed": false,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.MATERIAL-STATE-CONTINUITY"
    },
    {
      "id": "EA21-ADMISSIBILITY-DOWNSTREAM",
      "stage": "ADMISSIBILITY",
      "description": "Downstream admissibility standing is evaluated only after prior-stage progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.ADMISSIBILITY-DOWNSTREAM"
    },
    {
      "id": "EA21-BINDING-DOWNSTREAM",
      "stage": "BINDING",
      "description": "Downstream binding standing is evaluated only after prior-stage progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.BINDING-DOWNSTREAM"
    },
    {
      "id": "EA21-COMMIT-DOWNSTREAM",
      "stage": "COMMIT",
      "description": "Downstream commit standing is evaluated only after prior-stage progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.COMMIT-DOWNSTREAM"
    },
    {
      "id": "EA21-EXECUTION-DOWNSTREAM",
      "stage": "EXECUTION",
      "description": "Downstream execution standing is evaluated only after prior-stage progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.EXECUTION-DOWNSTREAM"
    },
    {
      "id": "EA21-OUTCOME-DOWNSTREAM",
      "stage": "OUTCOME",
      "description": "Downstream outcome standing is evaluated only after prior-stage progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.OUTCOME-DOWNSTREAM"
    }
  ],
  "expectedDetermination": "HOLD",
  "claimsBoundary": "Demonstrates changed-reality invalidation of prior standing; does not establish whether intervention would be safe after new evaluation."
}

2. Executed eight-stage trace

01REALITYPASSAll required predicates at this stage have standing.

02RECORDPASSAll required predicates at this stage have standing.

03CONTINUITYHOLDRequired predicate standing failed at CONTINUITY; governed determination is HOLD.

04ADMISSIBILITYNOT_REACHEDPrior governed determination prevented progression.

05BINDINGNOT_REACHEDPrior governed determination prevented progression.

06COMMITNOT_REACHEDPrior governed determination prevented progression.

07EXECUTIONNOT_REACHEDPrior governed determination prevented progression.

08OUTCOMENOT_REACHEDPrior governed determination prevented progression.

3. Machine-generated execution receipt

{
  "schemaVersion": "ta14.execution-receipt.v1",
  "artifactId": "TA14-EA-000021",
  "routeId": "TA14-ROUTE-021",
  "specificationHash": "sha256:c067265210bcad0d09c1e4df09e2069a92b370a07299b15e9929660eee8312f2",
  "determination": "HOLD",
  "terminalStage": "CONTINUITY",
  "traceHash": "sha256:b54d938a12dd0ce266197bbe9404789a6552644a26563576563959a4169020a3",
  "executedAt": "2026-08-23T21:00:00.000Z"
}

4. Evidence manifest

[
  {
    "name": "specification.json",
    "sha256": "sha256:c067265210bcad0d09c1e4df09e2069a92b370a07299b15e9929660eee8312f2"
  },
  {
    "name": "trace.json",
    "sha256": "sha256:b54d938a12dd0ce266197bbe9404789a6552644a26563576563959a4169020a3"
  },
  {
    "name": "receipt.json",
    "sha256": "sha256:c7f1ca96260997543585469abf2bdecbcce9c5caacf508543578b6020c2013fa"
  }
]

5. Cryptographic package root

sha256:00924c523ce84616ad2e1994d20371627cac7ada77cda1e93be86b26a611f2e4

6. Source code / reproduce it

Execution harness ↗Frozen corpus specification ↗Evidence generator ↗Mutation / corpus tests ↗

CLAIMS BOUNDARY

Demonstrates changed-reality invalidation of prior standing; does not establish whether intervention would be safe after new evaluation.

← Artifact Registry