Independent External-State Acquisition

Externally sourced condition is required to establish the proposition; authored or caller-supplied state is not promoted to observed fact.

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

RECORD

Executed at

2026-08-23T21:00:00.000Z

Route

TA14-ROUTE-025

1. Frozen specification / input

{
  "schemaVersion": "ta14.execution-spec.v1",
  "artifactId": "TA14-EA-000025",
  "routeId": "TA14-ROUTE-025",
  "title": "Independent External-State Acquisition",
  "frozenAt": "2026-08-23T19:36:00.000Z",
  "input": {
    "proposition": "A claimed external condition may acquire execution standing only from a qualifying external observation.",
    "assertedExternalState": "CONDITION_PRESENT",
    "assertedBy": "test-vector",
    "qualifyingExternalObservationAttached": false,
    "boundary": "Synthetic bounded governance test; no external event is claimed as independently observed."
  },
  "predicates": [
    {
      "id": "EA25-REALITY-BOUNDED",
      "stage": "REALITY",
      "description": "The proposition and synthetic test boundary are explicitly identified.",
      "required": true,
      "observed": true,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#input.boundary"
    },
    {
      "id": "EA25-RECORD-EXTERNAL-OBSERVATION",
      "stage": "RECORD",
      "description": "A qualifying external observation exists independently of caller-authored or test-vector state.",
      "required": true,
      "observed": false,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#input.qualifyingExternalObservationAttached"
    },
    {
      "id": "EA25-CONTINUITY-PRESERVED",
      "stage": "CONTINUITY",
      "description": "Qualifying observation continuity can be established from acquisition through decision time.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD"
    },
    {
      "id": "EA25-ADMISSIBILITY-CORRESPONDENCE",
      "stage": "ADMISSIBILITY",
      "description": "The qualifying observation corresponds to the proposition for which it is offered.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD"
    }
  ],
  "expectedDetermination": "HOLD",
  "claimsBoundary": "Demonstrates evidence-class gating between asserted state and qualifying external observation. It does not claim an external event was independently observed."
}

2. Executed eight-stage trace

01REALITYPASSAll required predicates at this stage have standing.

02RECORDHOLDRequired predicate standing failed at RECORD; governed determination is HOLD.

03CONTINUITYNOT_REACHEDPrior governed determination prevented progression.

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-000025",
  "routeId": "TA14-ROUTE-025",
  "specificationHash": "sha256:1760ba8099d1b7d0da077da2dd4bd8bd9a41ad82c6ac880bd8168aba6db364e3",
  "determination": "HOLD",
  "terminalStage": "RECORD",
  "traceHash": "sha256:a60c531974b2ad8120a505f6441b4325a4e26feda4a3a109baa43c13d8ed20ed",
  "executedAt": "2026-08-23T21:00:00.000Z"
}

4. Evidence manifest

[
  {
    "name": "specification.json",
    "sha256": "sha256:1760ba8099d1b7d0da077da2dd4bd8bd9a41ad82c6ac880bd8168aba6db364e3"
  },
  {
    "name": "trace.json",
    "sha256": "sha256:a60c531974b2ad8120a505f6441b4325a4e26feda4a3a109baa43c13d8ed20ed"
  },
  {
    "name": "receipt.json",
    "sha256": "sha256:60a2f1f07d18ec5f8c31b7d47a342d9c0ccde960dc25c31f51d86ecfbbb4b3f1"
  }
]

5. Cryptographic package root

sha256:a3804aea389a38e9fb04d977e84ef048978302bcd4c04091ec7a50c6339d5caf

6. Source code / reproduce it

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

CLAIMS BOUNDARY

Demonstrates evidence-class gating between asserted state and qualifying external observation. It does not claim an external event was independently observed.

← Artifact Registry