Changed state revalidated and authorized execution succeeds

A material state change was detected before execution, the prior standing was withdrawn, the changed state was independently re-recorded and re-admitted, authority was revalidated, a new commit was sealed, and the bounded execution completed with verified correspondence and outcome closure.

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

ALLOW

Terminal stage

OUTCOME

Executed at

2026-08-23T21:00:00.000Z

Route

TA14-ROUTE-024

1. Frozen specification / input

{
  "schemaVersion": "ta14.execution-spec.v1",
  "artifactId": "TA14-EA-000024",
  "routeId": "TA14-ROUTE-024",
  "title": "Changed state revalidated and authorized execution succeeds",
  "frozenAt": "2026-08-23T20:18:00.000Z",
  "input": {
    "testVector": "TA-14 second execution-artifact corpus",
    "case": 24,
    "synthetic": true
  },
  "predicates": [
    {
      "id": "EA24-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": "EA24-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": "EA24-CONTINUITY-STANDING",
      "stage": "CONTINUITY",
      "description": "Required continuity standing is present in the frozen test vector.",
      "required": true,
      "observed": true,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.CONTINUITY-STANDING"
    },
    {
      "id": "EA24-ADMISSIBILITY-STANDING",
      "stage": "ADMISSIBILITY",
      "description": "Required admissibility standing is present in the frozen test vector.",
      "required": true,
      "observed": true,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.ADMISSIBILITY-STANDING"
    },
    {
      "id": "EA24-BINDING-STANDING",
      "stage": "BINDING",
      "description": "Required binding standing is present in the frozen test vector.",
      "required": true,
      "observed": true,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.BINDING-STANDING"
    },
    {
      "id": "EA24-COMMIT-STANDING",
      "stage": "COMMIT",
      "description": "Required commit standing is present in the frozen test vector.",
      "required": true,
      "observed": true,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.COMMIT-STANDING"
    },
    {
      "id": "EA24-EXECUTION-STANDING",
      "stage": "EXECUTION",
      "description": "Required execution standing is present in the frozen test vector.",
      "required": true,
      "observed": true,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.EXECUTION-STANDING"
    },
    {
      "id": "EA24-OUTCOME-CORRESPONDENCE",
      "stage": "OUTCOME",
      "description": "The revalidated execution has qualifying outcome correspondence and governed closure.",
      "required": true,
      "observed": true,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.OUTCOME-CORRESPONDENCE"
    }
  ],
  "expectedDetermination": "ALLOW",
  "claimsBoundary": "Demonstrates bounded full-chain recovery after changed conditions only when every configured predicate passes; does not establish universal architecture performance or certification."
}

2. Executed eight-stage trace

01REALITYPASSAll required predicates at this stage have standing.

02RECORDPASSAll required predicates at this stage have standing.

03CONTINUITYPASSAll required predicates at this stage have standing.

04ADMISSIBILITYPASSAll required predicates at this stage have standing.

05BINDINGPASSAll required predicates at this stage have standing.

06COMMITPASSAll required predicates at this stage have standing.

07EXECUTIONPASSAll required predicates at this stage have standing.

08OUTCOMEPASSAll required predicates at this stage have standing.

3. Machine-generated execution receipt

{
  "schemaVersion": "ta14.execution-receipt.v1",
  "artifactId": "TA14-EA-000024",
  "routeId": "TA14-ROUTE-024",
  "specificationHash": "sha256:9a382cc2dc867ef1e68c74e598f34435f2c4e6c6d1eb6c472bcec14aefa6f22c",
  "determination": "ALLOW",
  "terminalStage": "OUTCOME",
  "traceHash": "sha256:3f1da3b8be76c20677a0efbc172bb2010244440df6504058c1ca57eed7af3272",
  "executedAt": "2026-08-23T21:00:00.000Z"
}

4. Evidence manifest

[
  {
    "name": "specification.json",
    "sha256": "sha256:9a382cc2dc867ef1e68c74e598f34435f2c4e6c6d1eb6c472bcec14aefa6f22c"
  },
  {
    "name": "trace.json",
    "sha256": "sha256:3f1da3b8be76c20677a0efbc172bb2010244440df6504058c1ca57eed7af3272"
  },
  {
    "name": "receipt.json",
    "sha256": "sha256:9bc29022c33555e22f82767b499e8b75af2f317c8ecc7a6fc3357f7cc94d9cec"
  }
]

5. Cryptographic package root

sha256:862dba0e099d0b6fa99b77421970a0c25f79b41ed98ef6da60e04fa49e3b9708

6. Source code / reproduce it

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

CLAIMS BOUNDARY

Demonstrates bounded full-chain recovery after changed conditions only when every configured predicate passes; does not establish universal architecture performance or certification.

← Artifact Registry