A Record Crosses Town

Deterministic preset · seed 1112

The aggregate export is late

Clinical commit succeeds while the asynchronous HMIS path is delayed.

Boundary · hmis

Processing stopped here

failed
01Source retainedSYN-HMIS-REPORT-2026-02
02Envelope recordedSYN-MSG-SCENE-10-1-6-1112
03hmisNo downstream continuation
×Forbidden effectsMeasured below

Why it stopped

The deterministic period export is queued but the HMIS acknowledgement is delayed.

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-HMIS-DELAYED-1112
Correlation ID
SYN-CORR-HMIS-DELAYED-1112
Idempotency key
SYN-IDEM-AGG-HB-2026-02
Attempt
1
Deterministic demo time
2026-02-03T10:13:00.000Z
Source artifact
SYN-HMIS-REPORT-2026-02

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: 9 completed scene(s), 1 retained failure record(s), 10 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.

  • clinical rollback

    Stopped-checkpoint SHR IDs are all preserved: yes; net SHR delta: 0.

    Not observed
  • SHR mutation by HMIS

    Stopped-checkpoint SHR IDs are all preserved: yes; net SHR delta: 0.

    Not observed
  • patient identifier in aggregate output

    Configured person identifier found in population output: no.

    Not observed

Immutable walkthrough evidence

Failed trace and replay ledger

Seq.Type / componentOutcomeAttempt contextDeterministic timeArtifacts
1SCENARIO_LOADEDnot routed · scene-0idleLoaded authored scenario hmis-delayed with seed 1112.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
47SCENE_COMPLETEDpharmacy · scene-8acknowledgedA distinct dispense-and-supply transaction resolves SYN-PC-IRON-001 and sends only a minimum supply event to the LMIS.Original attempt 1None
48ORCHESTRATION_CALL_RECORDEDpolicy · scene-9acknowledgediol called policy for evaluate-finance-purpose.Original attempt 1SYN-FINANCE-CLAIM-001
49ORCHESTRATION_CALL_RECORDEDfinance insurance · scene-9acknowledgediol called finance-insurance for submit-demo-claim.Original attempt 1SYN-FINANCE-CLAIM-001
50ENVELOPE_CREATEDiol · scene-9acknowledgedCreated demo envelope for submit-demo-claim.Original attempt 1SYN-FINANCE-CLAIM-001
51ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-9acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-FINANCE-CLAIM-001
52AUDIT_RECORDEDaudit evidence · scene-9acknowledgedFictional claim-received state recorded separately from clinical truth.Original attempt 1SYN-FINANCE-CLAIM-001
53SCENE_COMPLETEDiol · scene-9acknowledgedA distinct eligibility-and-claim transaction produces only eligible-for-demo and claim-received toy states.Original attempt 1None
54ORCHESTRATION_CALL_RECORDEDshared health record · scene-10validatediol called shared-health-record for query-governed-period-count-input.Original attempt 1SYN-AGGREGATION-JOB-2026-02
55ORCHESTRATION_CALL_RECORDEDhmis · scene-10retryingiol called hmis for periodic-aggregate-export.Original attempt 1SYN-HMIS-REPORT-2026-02
56ENVELOPE_CREATEDiol · scene-10retryingCreated demo envelope for periodic-aggregate-export.Original attempt 1SYN-HMIS-REPORT-2026-02
57ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-10acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-HMIS-REPORT-2026-02
58AUDIT_RECORDEDaudit evidence · scene-10failedIdentifier-free aggregate export is pending; clinical state is unchanged.Original attempt 1SYN-HMIS-REPORT-2026-02
59ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-10acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-HMIS-REPORT-2026-02
60AUDIT_RECORDEDaudit evidence · scene-10failedThe deterministic period export is queued but the HMIS acknowledgement is delayed.Original attempt 1SYN-HMIS-REPORT-2026-02
61FAILED_AT_BOUNDARYhmis · scene-10failedThe deterministic period export is queued but the HMIS acknowledgement is delayed.Original attempt 1SYN-HMIS-REPORT-2026-02

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-HMIS-DELAYED-1112
    SYN-CORR-HMIS-DELAYED-1112
    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-HMIS-DELAYED-1112
    SYN-CORR-HMIS-DELAYED-1112
    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-HMIS-DELAYED-1112
    SYN-CORR-HMIS-DELAYED-1112
    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-HMIS-DELAYED-1112
    SYN-CORR-HMIS-DELAYED-1112
    Idempotency / attempt
    SYN-IDEM-SUPPLY-IRON-001
    attempt 1
    Source / time
    SYN-SUPPLY-IRON-001
    2026-02-03T10:11:00.000Z
  • clinic ehr finance insuranceacknowledged
    Trace / correlation
    SYN-TRACE-HMIS-DELAYED-1112
    SYN-CORR-HMIS-DELAYED-1112
    Idempotency / attempt
    SYN-IDEM-FINANCE-001
    attempt 1
    Source / time
    SYN-FINANCE-CLAIM-001
    2026-02-03T10:12:00.000Z
  • iol hmisretrying
    Trace / correlation
    SYN-TRACE-HMIS-DELAYED-1112
    SYN-CORR-HMIS-DELAYED-1112
    Idempotency / attempt
    SYN-IDEM-AGG-HB-2026-02
    attempt 1
    Source / time
    SYN-HMIS-REPORT-2026-02
    2026-02-03T10:13:00.000Z

Preserved after recovery

Denial and failure evidence remains.

3 retained records
Failure record · failed

hmis

The deterministic period export is queued but the HMIS acknowledgement is delayed.

SYN-FAILED-HMIS-DELAYED-1112 · failed 2026-02-03T10:13:00.000Z
Audit · minor-failure

aggregate-export

Identifier-free aggregate export is pending; clinical state is unchanged.

SYN-AUDIT-9-1112 · attempt 1 · 2026-02-03T10:13:00.000Z
Audit · serious-failure

failure-at-hmis

The deterministic period export is queued but the HMIS acknowledgement is delayed.

SYN-AUDIT-10-1112 · attempt 1 · 2026-02-03T10:13:00.000Z