End-to-End Consequence-Bearing Proof — HOLD Path

The full consequence-bearing chain reaches a material uncertainty before execution and withholds consequence pending requalification.

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-037

1. Frozen specification / input

{
  "schemaVersion": "ta14.execution-spec.v1",
  "artifactId": "TA14-EA-000037",
  "routeId": "TA14-ROUTE-037",
  "title": "End-to-End Consequence-Bearing Proof — HOLD Path",
  "frozenAt": "2026-08-23T19:36:00.000Z",
  "input": {
    "testVector": "TA-14 evidence hardening corpus",
    "case": 37,
    "synthetic": true
  },
  "predicates": [
    {
      "id": "EA37-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": "EA37-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": "EA37-MATERIAL-UNCERTAINTY-RESOLVED",
      "stage": "CONTINUITY",
      "description": "Material uncertainty introduced after record formation has been requalified.",
      "required": true,
      "observed": false,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.MATERIAL-UNCERTAINTY-RESOLVED"
    },
    {
      "id": "EA37-ADMISSIBILITY-DOWNSTREAM",
      "stage": "ADMISSIBILITY",
      "description": "Downstream admissibility predicate is evaluated only if prior stages permit progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.ADMISSIBILITY-DOWNSTREAM"
    },
    {
      "id": "EA37-BINDING-DOWNSTREAM",
      "stage": "BINDING",
      "description": "Downstream binding predicate is evaluated only if prior stages permit progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.BINDING-DOWNSTREAM"
    },
    {
      "id": "EA37-COMMIT-DOWNSTREAM",
      "stage": "COMMIT",
      "description": "Downstream commit predicate is evaluated only if prior stages permit progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.COMMIT-DOWNSTREAM"
    },
    {
      "id": "EA37-EXECUTION-DOWNSTREAM",
      "stage": "EXECUTION",
      "description": "Downstream execution predicate is evaluated only if prior stages permit progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.EXECUTION-DOWNSTREAM"
    },
    {
      "id": "EA37-OUTCOME-DOWNSTREAM",
      "stage": "OUTCOME",
      "description": "Downstream outcome predicate is evaluated only if prior stages permit progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.OUTCOME-DOWNSTREAM"
    }
  ],
  "expectedDetermination": "HOLD",
  "claimsBoundary": "Demonstrates complete-chain HOLD behavior; withholding alone does not establish safety or truth."
}

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-000037",
  "routeId": "TA14-ROUTE-037",
  "specificationHash": "sha256:b4f3bfb3438046ca69cbbdae5a4b0316eebb2e8d97c767f5c2c258ac627b70e0",
  "determination": "HOLD",
  "terminalStage": "CONTINUITY",
  "traceHash": "sha256:0a90ab13dee3cba1120edd1f01afc045f33808df6ae8314a2b2705bb236ebb4c",
  "executedAt": "2026-08-23T21:00:00.000Z"
}

4. Evidence manifest

[
  {
    "name": "specification.json",
    "sha256": "sha256:b4f3bfb3438046ca69cbbdae5a4b0316eebb2e8d97c767f5c2c258ac627b70e0"
  },
  {
    "name": "trace.json",
    "sha256": "sha256:0a90ab13dee3cba1120edd1f01afc045f33808df6ae8314a2b2705bb236ebb4c"
  },
  {
    "name": "receipt.json",
    "sha256": "sha256:073174d10ddfede6993de88a87395607373aa4b8e05f9dceb3008ceef94802cb"
  }
]

5. Cryptographic package root

sha256:8cb80bc99bf9082df84a47a9f0cfed0375e6744af771e3ccfee8aa4a1885d907

6. Source code / reproduce it

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

CLAIMS BOUNDARY

Demonstrates complete-chain HOLD behavior; withholding alone does not establish safety or truth.

← Artifact Registry