Assertion-Laundering Resistance

Internally consistent claims, hashes, receipts, and VERIFIED metadata are refused promotion into independently established facts without qualifying provenance.

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

ADMISSIBILITY

Executed at

2026-08-23T21:00:00.000Z

Route

TA14-ROUTE-034

1. Frozen specification / input

{
  "schemaVersion": "ta14.execution-spec.v1",
  "artifactId": "TA14-EA-000034",
  "routeId": "TA14-ROUTE-034",
  "title": "Assertion-Laundering Resistance",
  "frozenAt": "2026-08-23T19:36:00.000Z",
  "input": {
    "testVector": "TA-14 evidence hardening corpus",
    "case": 34,
    "synthetic": true
  },
  "predicates": [
    {
      "id": "EA34-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": "EA34-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": "EA34-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": "EA34-QUALIFYING-PROVENANCE",
      "stage": "ADMISSIBILITY",
      "description": "A VERIFIED assertion has qualifying provenance beyond internally authored metadata.",
      "required": true,
      "observed": false,
      "failureDetermination": "DENY",
      "evidenceRef": "specification.json#predicates.QUALIFYING-PROVENANCE"
    },
    {
      "id": "EA34-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": "EA34-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": "EA34-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": "EA34-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": "DENY",
  "claimsBoundary": "Demonstrates evidence-rung enforcement; rejection does not establish that an assertion is false."
}

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.

04ADMISSIBILITYDENYRequired predicate standing failed at ADMISSIBILITY; governed determination is DENY.

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-000034",
  "routeId": "TA14-ROUTE-034",
  "specificationHash": "sha256:4f3309f8c6d91a1014d2547aec70e4ff983cdc54ea2c0d52c7340eb503371758",
  "determination": "DENY",
  "terminalStage": "ADMISSIBILITY",
  "traceHash": "sha256:c0252c94f8acf9afc91c22fab2cea7394398c2d18376d6e227ad9f0cd8ded8db",
  "executedAt": "2026-08-23T21:00:00.000Z"
}

4. Evidence manifest

[
  {
    "name": "specification.json",
    "sha256": "sha256:4f3309f8c6d91a1014d2547aec70e4ff983cdc54ea2c0d52c7340eb503371758"
  },
  {
    "name": "trace.json",
    "sha256": "sha256:c0252c94f8acf9afc91c22fab2cea7394398c2d18376d6e227ad9f0cd8ded8db"
  },
  {
    "name": "receipt.json",
    "sha256": "sha256:e479358e58845eca7e5a1dcb58abc35417d759ce300aeed5e760bbc322a3546d"
  }
]

5. Cryptographic package root

sha256:1ebe76c86cabde8966885b2fbfc59702fbd7d673612a7f5ef74933d2795dc0f2

6. Source code / reproduce it

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

CLAIMS BOUNDARY

Demonstrates evidence-rung enforcement; rejection does not establish that an assertion is false.

← Artifact Registry