Executed action differs from committed action

The runtime invocation materially diverged from the action fixed at commit. Execution correspondence failed and the divergent action was quarantined rather than treated as authorized performance.

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

DENY

Terminal stage

EXECUTION

Executed at

2026-08-23T21:00:00.000Z

Route

TA14-ROUTE-020

1. Frozen specification / input

{
  "schemaVersion": "ta14.execution-spec.v1",
  "artifactId": "TA14-EA-000020",
  "routeId": "TA14-ROUTE-020",
  "title": "Executed action differs from committed action",
  "frozenAt": "2026-08-23T20:18:00.000Z",
  "input": {
    "testVector": "TA-14 second execution-artifact corpus",
    "case": 20,
    "synthetic": true
  },
  "predicates": [
    {
      "id": "EA20-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": "EA20-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": "EA20-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": "EA20-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": "EA20-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": "EA20-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": "EA20-COMMIT-EXECUTION-CORRESPONDENCE",
      "stage": "EXECUTION",
      "description": "The runtime invocation materially corresponds to the action fixed at commit.",
      "required": true,
      "observed": false,
      "failureDetermination": "DENY",
      "evidenceRef": "specification.json#predicates.COMMIT-EXECUTION-CORRESPONDENCE"
    },
    {
      "id": "EA20-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": "DENY",
  "claimsBoundary": "Demonstrates commit-to-execution correspondence enforcement; does not assign cause or fault for divergence."
}

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.

07EXECUTIONDENYRequired predicate standing failed at EXECUTION; governed determination is DENY.

08OUTCOMENOT_REACHEDPrior governed determination prevented progression.

3. Machine-generated execution receipt

{
  "schemaVersion": "ta14.execution-receipt.v1",
  "artifactId": "TA14-EA-000020",
  "routeId": "TA14-ROUTE-020",
  "specificationHash": "sha256:56d0b53cb0c92ff8ca00089de2f95c2f9b02691039cc14a06477382be34c545c",
  "determination": "DENY",
  "terminalStage": "EXECUTION",
  "traceHash": "sha256:251bc1e3ee7756ed7671bd2f8ead2949ab9281e1b69dcd965e04753339a9d873",
  "executedAt": "2026-08-23T21:00:00.000Z"
}

4. Evidence manifest

[
  {
    "name": "specification.json",
    "sha256": "sha256:56d0b53cb0c92ff8ca00089de2f95c2f9b02691039cc14a06477382be34c545c"
  },
  {
    "name": "trace.json",
    "sha256": "sha256:251bc1e3ee7756ed7671bd2f8ead2949ab9281e1b69dcd965e04753339a9d873"
  },
  {
    "name": "receipt.json",
    "sha256": "sha256:066cb5381eaae26670c2be03a46bb4c28e26076c3aa73cb6b4894e23d1c4a9d6"
  }
]

5. Cryptographic package root

sha256:5bd3cb5a1397dabd849c8ab02f34167ccc71debd20d0d4880657d9db84460c0a

6. Source code / reproduce it

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

CLAIMS BOUNDARY

Demonstrates commit-to-execution correspondence enforcement; does not assign cause or fault for divergence.