Changed-Condition Requalification

Material external change withdraws prior standing and requires a new record, admissibility determination, authority check, and commit before execution can resume.

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

1. Frozen specification / input

{
  "schemaVersion": "ta14.execution-spec.v1",
  "artifactId": "TA14-EA-000032",
  "routeId": "TA14-ROUTE-032",
  "title": "Changed-Condition Requalification",
  "frozenAt": "2026-08-23T19:36:00.000Z",
  "input": {
    "testVector": "TA-14 evidence hardening corpus",
    "case": 32,
    "synthetic": true
  },
  "predicates": [
    {
      "id": "EA32-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": "EA32-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": "EA32-REQUALIFIED-AFTER-CHANGE",
      "stage": "CONTINUITY",
      "description": "A material changed condition has been requalified under a new governed record.",
      "required": true,
      "observed": false,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.REQUALIFIED-AFTER-CHANGE"
    },
    {
      "id": "EA32-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": "EA32-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": "EA32-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": "EA32-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": "EA32-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 withdrawal of prior standing after material change; does not establish the changed state without evidence."
}

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-000032",
  "routeId": "TA14-ROUTE-032",
  "specificationHash": "sha256:88583ac1d72727fe868d9b385a7de711c1933f27333b7c941f0fcd30ba697c8e",
  "determination": "HOLD",
  "terminalStage": "CONTINUITY",
  "traceHash": "sha256:1c1fe1f3bcc2785eba0af1cf131ecbcdb32f8b975a1e454f12faaff4c4efc734",
  "executedAt": "2026-08-23T21:00:00.000Z"
}

4. Evidence manifest

[
  {
    "name": "specification.json",
    "sha256": "sha256:88583ac1d72727fe868d9b385a7de711c1933f27333b7c941f0fcd30ba697c8e"
  },
  {
    "name": "trace.json",
    "sha256": "sha256:1c1fe1f3bcc2785eba0af1cf131ecbcdb32f8b975a1e454f12faaff4c4efc734"
  },
  {
    "name": "receipt.json",
    "sha256": "sha256:c51c44cc5cba5f4c859f3a895562de03554fb5f0939a846a561d1ccaa41f9404"
  }
]

5. Cryptographic package root

sha256:7694170d39f1d8e0ba169eb96d32fc937a721840b2a2eadcaea4148d6cda2bf6

6. Source code / reproduce it

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

CLAIMS BOUNDARY

Demonstrates withdrawal of prior standing after material change; does not establish the changed state without evidence.

← Artifact Registry