Dependency version changes after commit

A dependency identified in the committed execution snapshot changed before invocation. The committed determination remained preserved, but execution standing was withdrawn pending revalidation of the changed dependency.

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

COMMIT

Executed at

2026-08-23T21:00:00.000Z

Route

TA14-ROUTE-016

1. Frozen specification / input

{
  "schemaVersion": "ta14.execution-spec.v1",
  "artifactId": "TA14-EA-000016",
  "routeId": "TA14-ROUTE-016",
  "title": "Dependency version changes after commit",
  "frozenAt": "2026-08-23T20:18:00.000Z",
  "input": {
    "testVector": "TA-14 second execution-artifact corpus",
    "case": 16,
    "synthetic": true
  },
  "predicates": [
    {
      "id": "EA16-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": "EA16-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": "EA16-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": "EA16-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": "EA16-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": "EA16-COMMITTED-DEPENDENCY-CORRESPONDENCE",
      "stage": "COMMIT",
      "description": "Runtime dependency versions correspond to the dependency set fixed in the governed commit.",
      "required": true,
      "observed": false,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.COMMITTED-DEPENDENCY-CORRESPONDENCE"
    },
    {
      "id": "EA16-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": "EA16-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 withdrawal of execution standing after unreviewed dependency change; does not establish the new dependency is unsafe."
}

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.

06COMMITHOLDRequired predicate standing failed at COMMIT; governed determination is HOLD.

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-000016",
  "routeId": "TA14-ROUTE-016",
  "specificationHash": "sha256:42fe1b2cd8da02a263be75aa34418a3482a63bce6e94786ca722496d65e55e4b",
  "determination": "HOLD",
  "terminalStage": "COMMIT",
  "traceHash": "sha256:52a1313a84ad56a6d450c5178e64ae6a00403ac5312b163b40da70282e52c799",
  "executedAt": "2026-08-23T21:00:00.000Z"
}

4. Evidence manifest

[
  {
    "name": "specification.json",
    "sha256": "sha256:42fe1b2cd8da02a263be75aa34418a3482a63bce6e94786ca722496d65e55e4b"
  },
  {
    "name": "trace.json",
    "sha256": "sha256:52a1313a84ad56a6d450c5178e64ae6a00403ac5312b163b40da70282e52c799"
  },
  {
    "name": "receipt.json",
    "sha256": "sha256:b1ca94f4954034bddd71da9ece22b18f5124aebc68bfc27700b9dd28d3a3c7c4"
  }
]

5. Cryptographic package root

sha256:b33918a9417106366f5f3b547d2efa34c37c72d63904f3fc56baf15a59803629

6. Source code / reproduce it

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

CLAIMS BOUNDARY

Demonstrates withdrawal of execution standing after unreviewed dependency change; does not establish the new dependency is unsafe.