Two valid obligations produce incompatible consequences

Two independently valid obligations applied to the same governed state but required consequences that could not both be executed. Neither obligation was silently privileged.

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

ESCALATE

Terminal stage

BINDING

Executed at

2026-08-23T21:00:00.000Z

Route

TA14-ROUTE-022

1. Frozen specification / input

{
  "schemaVersion": "ta14.execution-spec.v1",
  "artifactId": "TA14-EA-000022",
  "routeId": "TA14-ROUTE-022",
  "title": "Two valid obligations produce incompatible consequences",
  "frozenAt": "2026-08-23T20:18:00.000Z",
  "input": {
    "testVector": "TA-14 second execution-artifact corpus",
    "case": 22,
    "synthetic": true
  },
  "predicates": [
    {
      "id": "EA22-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": "EA22-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": "EA22-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": "EA22-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": "EA22-BINDING-CONFLICT-RESOLVED",
      "stage": "BINDING",
      "description": "Applicable valid obligations do not require mutually incompatible consequences, or an admissible priority resolution exists.",
      "required": true,
      "observed": false,
      "failureDetermination": "ESCALATE",
      "evidenceRef": "specification.json#predicates.BINDING-CONFLICT-RESOLVED"
    },
    {
      "id": "EA22-COMMIT-DOWNSTREAM",
      "stage": "COMMIT",
      "description": "Downstream commit standing is evaluated only after prior-stage progression.",
      "required": true,
      "observed": null,
      "failureDetermination": "HOLD",
      "evidenceRef": "specification.json#predicates.COMMIT-DOWNSTREAM"
    },
    {
      "id": "EA22-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": "EA22-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": "ESCALATE",
  "claimsBoundary": "Demonstrates escalation of unresolved binding-authority conflict; does not resolve legal, contractual, or institutional priority."
}

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.

05BINDINGESCALATERequired predicate standing failed at BINDING; governed determination is ESCALATE.

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-000022",
  "routeId": "TA14-ROUTE-022",
  "specificationHash": "sha256:170bb3c076e7129f070b011256c74c80ca35d27fba43d3b3a2abfa636ee6faa6",
  "determination": "ESCALATE",
  "terminalStage": "BINDING",
  "traceHash": "sha256:f38a91791ca9abd99e3f1d817f46c41387bd69ad83e824a820cb30f06d761c4a",
  "executedAt": "2026-08-23T21:00:00.000Z"
}

4. Evidence manifest

[
  {
    "name": "specification.json",
    "sha256": "sha256:170bb3c076e7129f070b011256c74c80ca35d27fba43d3b3a2abfa636ee6faa6"
  },
  {
    "name": "trace.json",
    "sha256": "sha256:f38a91791ca9abd99e3f1d817f46c41387bd69ad83e824a820cb30f06d761c4a"
  },
  {
    "name": "receipt.json",
    "sha256": "sha256:5a395cd660a901ca6468825523e9807fccc666606cc7dac9fc1b91c31729a50d"
  }
]

5. Cryptographic package root

sha256:411f993b8f147594a4017e9479fac4c204fd29cee047293b2c65d9030f227b09

6. Source code / reproduce it

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

CLAIMS BOUNDARY

Demonstrates escalation of unresolved binding-authority conflict; does not resolve legal, contractual, or institutional priority.

← Artifact Registry