A Record Crosses Town

Deterministic preset · seed 1106

A processed event is submitted again

A duplicate logical event reaches the exchange with the same idempotency key.

Boundary · iol

Processing stopped here

failed
01Source retainedSYN-SUPPLY-IRON-001
02Envelope recordedSYN-MSG-SCENE-8-1-4-1106
03iolNo downstream continuation
×Forbidden effectsMeasured below

Why it stopped

The idempotency key already has a recorded successful outcome.

What recovery may change

Exactly one selected authored condition, followed by replay of this failed hop. The journey is never reset.

Trace ID
SYN-TRACE-DUPLICATE-SUBMISSION-1106
Correlation ID
SYN-CORR-DUPLICATE-SUBMISSION-1106
Idempotency key
SYN-IDEM-SUPPLY-IRON-001
Attempt
1
Deterministic demo time
2026-02-03T10:11:00.000Z
Source artifact
SYN-SUPPLY-IRON-001

Failure is stopped and inspectable.

Bounded recovery

Change one condition. Replay one hop.

The controls call the same deterministic reducer as the authored traces. Applying a condition does not advance the route; replay starts at the failed boundary.

Choose one authored recovery condition

No reset: 7 completed scene(s), 1 retained failure record(s), 8 audit event(s).

Negative evidence

Forbidden effects are checked, not assumed.

Each line is calculated from the stopped checkpoint and current replay state. “Not observed” is scoped to this synthetic deterministic run.

  • second clinical write

    SHR artifact delta since the stopped checkpoint: 0. Original failure record retained: yes.

    Not observed
  • second stock decrement

    Stock transaction delta since the stop: 0.

    Not observed
  • second finance transaction

    Finance transaction delta since the stop: 0.

    Not observed
  • second aggregate contribution

    Aggregate contribution delta since the stop: 0.

    Not observed

Immutable walkthrough evidence

Failed trace and replay ledger

Seq.Type / componentOutcomeAttempt contextDeterministic timeArtifacts
1SCENARIO_LOADEDnot routed · scene-0idleLoaded authored scenario duplicate-submission with seed 1106.Original attempt 1None
2SOURCE_ARTIFACT_SHOWNclinic ehr · scene-1receivedImmutable local registration source displayed before exchange.Original attempt 1SYN-ART-REG-00417-V1
3SCENE_COMPLETEDclinic ehr · scene-1acknowledgedThe Clinic EHR shows immutable source artifact SYN-ART-REG-00417-V1 before exchange.Original attempt 1None
4ORCHESTRATION_CALL_RECORDEDiol · scene-2receivedclinic-ehr called iol for find-shared-history.Original attempt 1SYN-ART-REG-00417-V1
5ENVELOPE_CREATEDiol · scene-2receivedCreated demo envelope for find-shared-history.Original attempt 1SYN-ART-REG-00417-V1
6ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-2acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-ART-REG-00417-V1
7AUDIT_RECORDEDaudit evidence · scene-2acknowledgedIllustrative envelope references the immutable payload rather than copying it.Original attempt 1SYN-ART-REG-00417-V1
8SCENE_COMPLETEDclinic ehr · scene-2acknowledgedThe IOL creates illustrative demo-exchange-envelope-v1 with a payload reference and deterministic attempt metadata.Original attempt 1None
9ORCHESTRATION_CALL_RECORDEDauthentication · scene-3acknowledgediol called authentication for authenticate-sender.Original attempt 1SYN-ART-REG-00417-V1
10ORCHESTRATION_CALL_RECORDEDfacility registry · scene-3acknowledgediol called facility-registry for verify-active-facility.Original attempt 1SYN-ART-REG-00417-V1
11ORCHESTRATION_CALL_RECORDEDhealth worker registry · scene-3acknowledgediol called health-worker-registry for verify-active-worker.Original attempt 1SYN-ART-REG-00417-V1
12ORCHESTRATION_CALL_RECORDEDinterlinking · scene-3acknowledgediol called interlinking for verify-worker-facility-relationship.Original attempt 1SYN-ART-REG-00417-V1
13ORCHESTRATION_CALL_RECORDEDpolicy · scene-3acknowledgediol called policy for evaluate-disclosure-policy.Original attempt 1SYN-ART-REG-00417-V1
14ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-3acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1None
15AUDIT_RECORDEDaudit evidence · scene-3acknowledgedSender, facility, worker, relationship, and toy policy checks passed.Original attempt 1None
16SCENE_COMPLETEDiol · scene-3acknowledgedThe IOL fans out simulated authentication, facility, worker, interlinking, and policy checks, then joins their outcomes.Original attempt 1None
17ORCHESTRATION_CALL_RECORDEDclient registry · scene-4acknowledgediol called client-registry for resolve-enterprise-identity.Original attempt 1SYN-LINK-LCC-00417 · SYN-LINK-EBD-00261
18ORCHESTRATION_CALL_RECORDEDentity matching · scene-4acknowledgediol called entity-matching for evaluate-identity-candidates.Original attempt 1SYN-LINK-LCC-00417 · SYN-LINK-EBD-00261
19ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-4acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-LINK-LCC-00417 · SYN-LINK-EBD-00261
20AUDIT_RECORDEDaudit evidence · scene-4acknowledgedIdentity evidence resolves to enterprise identity SYN-CR-000184.Original attempt 1SYN-LINK-LCC-00417 · SYN-LINK-EBD-00261
21SCENE_COMPLETEDiol · scene-4acknowledgedThe Client Registry and entity-matching capability return linkage evidence for SYN-CR-000184.Original attempt 1None
22ORCHESTRATION_CALL_RECORDEDshared health record · scene-5acknowledgediol called shared-health-record for query-limited-shared-summary.Original attempt 1SYN-SHR-SUMMARY-000184-V1
23ORCHESTRATION_CALL_RECORDEDclinic ehr · scene-5acknowledgediol called clinic-ehr for return-limited-shared-summary.Original attempt 1SYN-SHR-SUMMARY-000184-V1
24ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-5acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-SHR-SUMMARY-000184-V1
25AUDIT_RECORDEDaudit evidence · scene-5acknowledgedOnly the permitted normalized subset was returned; missing information remains explicit.Original attempt 1SYN-SHR-SUMMARY-000184-V1
26SCENE_COMPLETEDclinic ehr · scene-5acknowledgedThe IOL queries the SHR by enterprise identity; clinical content and acknowledgement remain separate artifacts.Original attempt 1None
27ORCHESTRATION_CALL_RECORDEDiol · scene-6validatedclinic-ehr called iol for submit-laboratory-order.Original attempt 1SYN-ART-ORDER-HB-V1
28ORCHESTRATION_CALL_RECORDEDterminology service · scene-6validatediol called terminology-service for validate-and-map-code.Original attempt 1SYN-ART-ORDER-HB-V1 · SYN-CANONICAL-ORDER-HB-V1
29ENVELOPE_CREATEDiol · scene-6validatedCreated demo envelope for submit-laboratory-order.Original attempt 1SYN-ART-ORDER-HB-V1
30ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-6acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-ART-ORDER-HB-V1 · SYN-CANONICAL-ORDER-HB-V1
31AUDIT_RECORDEDaudit evidence · scene-6acknowledgedOrder transformed with mediator 1.0.0 and mapping version 1.2.0.Original attempt 1SYN-ART-ORDER-HB-V1 · SYN-CANONICAL-ORDER-HB-V1
32SCENE_COMPLETEDclinic ehr · scene-6acknowledgedMediator SYN-MEDIATOR-1.0.0 creates demo-canonical-v1; ConceptMap SYN-CM-LUMENBANK-LAB version 1.2.0 maps LUM-HB to LOINC 718-7.Original attempt 1None
33ORCHESTRATION_CALL_RECORDEDiol · scene-7validatedlaboratory called iol for submit-laboratory-result.Original attempt 1SYN-ART-RESULT-HB-V1
34ORCHESTRATION_CALL_RECORDEDterminology service · scene-7validatediol called terminology-service for validate-result-meaning.Original attempt 1SYN-ART-RESULT-HB-V1 · SYN-SHR-RESULT-HB-V1
35ORCHESTRATION_CALL_RECORDEDshared health record · scene-7committediol called shared-health-record for commit-normalized-result.Original attempt 1SYN-ART-RESULT-HB-V1 · SYN-SHR-RESULT-HB-V1
36ORCHESTRATION_CALL_RECORDEDclinic ehr · scene-7acknowledgediol called clinic-ehr for acknowledge-result-commit.Original attempt 1SYN-SHR-RESULT-HB-V1
37ENVELOPE_CREATEDiol · scene-7committedCreated demo envelope for submit-laboratory-result.Original attempt 1SYN-ART-RESULT-HB-V1
38ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-7acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-ART-RESULT-HB-V1 · SYN-SHR-RESULT-HB-V1
39AUDIT_RECORDEDaudit evidence · scene-7acknowledgedOne normalized result version committed; audit excludes the clinical value.Original attempt 1SYN-ART-RESULT-HB-V1 · SYN-SHR-RESULT-HB-V1
40SCENE_COMPLETEDclinic ehr · scene-7acknowledgedThe IOL validates context and terminology, routes to the clinic and SHR, then records separate audit and provenance evidence.Original attempt 1None
41ORCHESTRATION_CALL_RECORDEDiol · scene-8acknowledgedpharmacy called iol for submit-dispense-event.Original attempt 1SYN-SUPPLY-IRON-001
42ORCHESTRATION_CALL_RECORDEDproduct catalogue · scene-8acknowledgediol called product-catalogue for resolve-product-identity.Original attempt 1SYN-PC-IRON-001
43ORCHESTRATION_CALL_RECORDEDlmis · scene-8committediol called lmis for record-minimum-supply-event.Original attempt 1SYN-SUPPLY-IRON-001
44ENVELOPE_CREATEDiol · scene-8committedCreated demo envelope for record-minimum-supply-event.Original attempt 1SYN-SUPPLY-IRON-001
45ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-8acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-SUPPLY-IRON-001
46AUDIT_RECORDEDaudit evidence · scene-8acknowledgedLMIS applied the minimum supply event without receiving clinical history.Original attempt 1SYN-SUPPLY-IRON-001
47ORCHESTRATION_CALL_RECORDEDiol · scene-8failedlmis called iol for failed-at-iol.Original attempt 1SYN-SUPPLY-IRON-001
48ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-8acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-SUPPLY-IRON-001
49AUDIT_RECORDEDaudit evidence · scene-8failedThe idempotency key already has a recorded successful outcome.Original attempt 1SYN-SUPPLY-IRON-001
50FAILED_AT_BOUNDARYiol · scene-8failedThe idempotency key already has a recorded successful outcome.Original attempt 1SYN-SUPPLY-IRON-001

Transport specimens

Envelope identity stays visible.

Source, trace, correlation, idempotency, attempt, deterministic time, and processing status travel together.

  • clinic ehr iolacknowledged
    Trace / correlation
    SYN-TRACE-DUPLICATE-SUBMISSION-1106
    SYN-CORR-DUPLICATE-SUBMISSION-1106
    Idempotency / attempt
    SYN-IDEM-HISTORY-001
    attempt 1
    Source / time
    SYN-ART-REG-00417-V1
    2026-02-03T09:02:00.000Z
  • clinic ehr laboratoryvalidated
    Trace / correlation
    SYN-TRACE-DUPLICATE-SUBMISSION-1106
    SYN-CORR-DUPLICATE-SUBMISSION-1106
    Idempotency / attempt
    SYN-IDEM-ORDER-HB-001
    attempt 1
    Source / time
    SYN-ART-ORDER-HB-V1
    2026-02-03T09:20:00.000Z
  • laboratory shared health recordcommitted
    Trace / correlation
    SYN-TRACE-DUPLICATE-SUBMISSION-1106
    SYN-CORR-DUPLICATE-SUBMISSION-1106
    Idempotency / attempt
    SYN-IDEM-RESULT-HB-001
    attempt 1
    Source / time
    SYN-ART-RESULT-HB-V1
    2026-02-03T10:10:00.000Z
  • pharmacy lmiscommitted
    Trace / correlation
    SYN-TRACE-DUPLICATE-SUBMISSION-1106
    SYN-CORR-DUPLICATE-SUBMISSION-1106
    Idempotency / attempt
    SYN-IDEM-SUPPLY-IRON-001
    attempt 1
    Source / time
    SYN-SUPPLY-IRON-001
    2026-02-03T10:11:00.000Z

Preserved after recovery

Denial and failure evidence remains.

2 retained records
Failure record · failed

iol

The idempotency key already has a recorded successful outcome.

SYN-FAILED-DUPLICATE-SUBMISSION-1106 · failed 2026-02-03T10:11:00.000Z
Audit · serious-failure

failure-at-iol

The idempotency key already has a recorded successful outcome.

SYN-AUDIT-8-1106 · attempt 1 · 2026-02-03T10:11:00.000Z