shared health record
The incoming result is an amendment and cannot overwrite the current normalized version.
SYN-FAILED-AMENDED-RESULT-1111 · failed 2026-02-03T10:22:00.000ZDeterministic preset · seed 1111
A later result amends an earlier version
Result source version 2 arrives after source version 1 and must preserve history.
Boundary · shared health record
Processing stopped here
01Source retainedSYN-ART-RESULT-HB-V2
02Envelope recordedSYN-MSG-SCENE-7-1-4-1111
03shared health recordNo downstream continuation
×Forbidden effectsMeasured below
Why it stopped
The incoming result is an amendment and cannot overwrite the current normalized version.
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-AMENDED-RESULT-1111
- Correlation ID
- SYN-CORR-AMENDED-RESULT-1111
- Idempotency key
- SYN-IDEM-RESULT-HB-002
- Attempt
- 1
- Deterministic demo time
- 2026-02-03T10:22:00.000Z
- Source artifact
- SYN-ART-RESULT-HB-V2
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.
No reset: 6 completed scene(s), 1 retained failure record(s), 7 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.
- last-write-wins overwriteNot observed
Every source and normalized ID present at the stop remains present: yes.
- deletion of source or normalized historyNot observed
Every source and normalized ID present at the stop remains present: yes.
Immutable walkthrough evidence
Failed trace and replay ledger
| Seq. | Type / component | Outcome | Attempt context | Deterministic time | Artifacts |
|---|---|---|---|---|---|
| 1 | SCENARIO_LOADEDnot routed · scene-0 | idleLoaded authored scenario amended-result with seed 1111. | Original attempt 1 | None | |
| 2 | SOURCE_ARTIFACT_SHOWNclinic ehr · scene-1 | receivedImmutable local registration source displayed before exchange. | Original attempt 1 | SYN-ART-REG-00417-V1 | |
| 3 | SCENE_COMPLETEDclinic ehr · scene-1 | acknowledgedThe Clinic EHR shows immutable source artifact SYN-ART-REG-00417-V1 before exchange. | Original attempt 1 | None | |
| 4 | ORCHESTRATION_CALL_RECORDEDiol · scene-2 | receivedclinic-ehr called iol for find-shared-history. | Original attempt 1 | SYN-ART-REG-00417-V1 | |
| 5 | ENVELOPE_CREATEDiol · scene-2 | receivedCreated demo envelope for find-shared-history. | Original attempt 1 | SYN-ART-REG-00417-V1 | |
| 6 | ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-2 | acknowledgediol called audit-evidence for record-redacted-audit-evidence. | Original attempt 1 | SYN-ART-REG-00417-V1 | |
| 7 | AUDIT_RECORDEDaudit evidence · scene-2 | acknowledgedIllustrative envelope references the immutable payload rather than copying it. | Original attempt 1 | SYN-ART-REG-00417-V1 | |
| 8 | SCENE_COMPLETEDclinic ehr · scene-2 | acknowledgedThe IOL creates illustrative demo-exchange-envelope-v1 with a payload reference and deterministic attempt metadata. | Original attempt 1 | None | |
| 9 | ORCHESTRATION_CALL_RECORDEDauthentication · scene-3 | acknowledgediol called authentication for authenticate-sender. | Original attempt 1 | SYN-ART-REG-00417-V1 | |
| 10 | ORCHESTRATION_CALL_RECORDEDfacility registry · scene-3 | acknowledgediol called facility-registry for verify-active-facility. | Original attempt 1 | SYN-ART-REG-00417-V1 | |
| 11 | ORCHESTRATION_CALL_RECORDEDhealth worker registry · scene-3 | acknowledgediol called health-worker-registry for verify-active-worker. | Original attempt 1 | SYN-ART-REG-00417-V1 | |
| 12 | ORCHESTRATION_CALL_RECORDEDinterlinking · scene-3 | acknowledgediol called interlinking for verify-worker-facility-relationship. | Original attempt 1 | SYN-ART-REG-00417-V1 | |
| 13 | ORCHESTRATION_CALL_RECORDEDpolicy · scene-3 | acknowledgediol called policy for evaluate-disclosure-policy. | Original attempt 1 | SYN-ART-REG-00417-V1 | |
| 14 | ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-3 | acknowledgediol called audit-evidence for record-redacted-audit-evidence. | Original attempt 1 | None | |
| 15 | AUDIT_RECORDEDaudit evidence · scene-3 | acknowledgedSender, facility, worker, relationship, and toy policy checks passed. | Original attempt 1 | None | |
| 16 | SCENE_COMPLETEDiol · scene-3 | acknowledgedThe IOL fans out simulated authentication, facility, worker, interlinking, and policy checks, then joins their outcomes. | Original attempt 1 | None | |
| 17 | ORCHESTRATION_CALL_RECORDEDclient registry · scene-4 | acknowledgediol called client-registry for resolve-enterprise-identity. | Original attempt 1 | SYN-LINK-LCC-00417 · SYN-LINK-EBD-00261 | |
| 18 | ORCHESTRATION_CALL_RECORDEDentity matching · scene-4 | acknowledgediol called entity-matching for evaluate-identity-candidates. | Original attempt 1 | SYN-LINK-LCC-00417 · SYN-LINK-EBD-00261 | |
| 19 | ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-4 | acknowledgediol called audit-evidence for record-redacted-audit-evidence. | Original attempt 1 | SYN-LINK-LCC-00417 · SYN-LINK-EBD-00261 | |
| 20 | AUDIT_RECORDEDaudit evidence · scene-4 | acknowledgedIdentity evidence resolves to enterprise identity SYN-CR-000184. | Original attempt 1 | SYN-LINK-LCC-00417 · SYN-LINK-EBD-00261 | |
| 21 | SCENE_COMPLETEDiol · scene-4 | acknowledgedThe Client Registry and entity-matching capability return linkage evidence for SYN-CR-000184. | Original attempt 1 | None | |
| 22 | ORCHESTRATION_CALL_RECORDEDshared health record · scene-5 | acknowledgediol called shared-health-record for query-limited-shared-summary. | Original attempt 1 | SYN-SHR-SUMMARY-000184-V1 | |
| 23 | ORCHESTRATION_CALL_RECORDEDclinic ehr · scene-5 | acknowledgediol called clinic-ehr for return-limited-shared-summary. | Original attempt 1 | SYN-SHR-SUMMARY-000184-V1 | |
| 24 | ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-5 | acknowledgediol called audit-evidence for record-redacted-audit-evidence. | Original attempt 1 | SYN-SHR-SUMMARY-000184-V1 | |
| 25 | AUDIT_RECORDEDaudit evidence · scene-5 | acknowledgedOnly the permitted normalized subset was returned; missing information remains explicit. | Original attempt 1 | SYN-SHR-SUMMARY-000184-V1 | |
| 26 | SCENE_COMPLETEDclinic ehr · scene-5 | acknowledgedThe IOL queries the SHR by enterprise identity; clinical content and acknowledgement remain separate artifacts. | Original attempt 1 | None | |
| 27 | ORCHESTRATION_CALL_RECORDEDiol · scene-6 | validatedclinic-ehr called iol for submit-laboratory-order. | Original attempt 1 | SYN-ART-ORDER-HB-V1 | |
| 28 | ORCHESTRATION_CALL_RECORDEDterminology service · scene-6 | validatediol called terminology-service for validate-and-map-code. | Original attempt 1 | SYN-ART-ORDER-HB-V1 · SYN-CANONICAL-ORDER-HB-V1 | |
| 29 | ENVELOPE_CREATEDiol · scene-6 | validatedCreated demo envelope for submit-laboratory-order. | Original attempt 1 | SYN-ART-ORDER-HB-V1 | |
| 30 | ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-6 | acknowledgediol called audit-evidence for record-redacted-audit-evidence. | Original attempt 1 | SYN-ART-ORDER-HB-V1 · SYN-CANONICAL-ORDER-HB-V1 | |
| 31 | AUDIT_RECORDEDaudit evidence · scene-6 | acknowledgedOrder transformed with mediator 1.0.0 and mapping version 1.2.0. | Original attempt 1 | SYN-ART-ORDER-HB-V1 · SYN-CANONICAL-ORDER-HB-V1 | |
| 32 | SCENE_COMPLETEDclinic ehr · scene-6 | acknowledgedMediator 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 1 | None | |
| 33 | ORCHESTRATION_CALL_RECORDEDiol · scene-7 | validatedlaboratory called iol for submit-laboratory-result. | Original attempt 1 | SYN-ART-RESULT-HB-V1 | |
| 34 | ORCHESTRATION_CALL_RECORDEDterminology service · scene-7 | validatediol called terminology-service for validate-result-meaning. | Original attempt 1 | SYN-ART-RESULT-HB-V1 · SYN-SHR-RESULT-HB-V1 | |
| 35 | ORCHESTRATION_CALL_RECORDEDshared health record · scene-7 | committediol called shared-health-record for commit-normalized-result. | Original attempt 1 | SYN-ART-RESULT-HB-V1 · SYN-SHR-RESULT-HB-V1 | |
| 36 | ORCHESTRATION_CALL_RECORDEDclinic ehr · scene-7 | acknowledgediol called clinic-ehr for acknowledge-result-commit. | Original attempt 1 | SYN-SHR-RESULT-HB-V1 | |
| 37 | ENVELOPE_CREATEDiol · scene-7 | committedCreated demo envelope for submit-laboratory-result. | Original attempt 1 | SYN-ART-RESULT-HB-V1 | |
| 38 | ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-7 | acknowledgediol called audit-evidence for record-redacted-audit-evidence. | Original attempt 1 | SYN-ART-RESULT-HB-V1 · SYN-SHR-RESULT-HB-V1 | |
| 39 | AUDIT_RECORDEDaudit evidence · scene-7 | acknowledgedOne normalized result version committed; audit excludes the clinical value. | Original attempt 1 | SYN-ART-RESULT-HB-V1 · SYN-SHR-RESULT-HB-V1 | |
| 40 | SOURCE_AMENDMENT_RECEIVEDlaboratory · scene-7 | receivedResult source V2 was retained before the versioning boundary evaluated it. | Original attempt 1 | SYN-ART-RESULT-HB-V2 | |
| 41 | ORCHESTRATION_CALL_RECORDEDiol · scene-7 | validatedlaboratory called iol for submit-amended-laboratory-result. | Original attempt 1 | SYN-ART-RESULT-HB-V2 | |
| 42 | ORCHESTRATION_CALL_RECORDEDshared health record · scene-7 | heldiol called shared-health-record for commit-amended-result-as-new-version. | Original attempt 1 | SYN-ART-RESULT-HB-V2 · SYN-SHR-RESULT-HB-V1 | |
| 43 | ENVELOPE_CREATEDiol · scene-7 | heldCreated demo envelope for submit-amended-laboratory-result. | Original attempt 1 | SYN-ART-RESULT-HB-V2 | |
| 44 | ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-7 | acknowledgediol called audit-evidence for record-redacted-audit-evidence. | Original attempt 1 | SYN-ART-RESULT-HB-V2 · SYN-SHR-RESULT-HB-V1 | |
| 45 | AUDIT_RECORDEDaudit evidence · scene-7 | failedThe incoming result is an amendment and cannot overwrite the current normalized version. | Original attempt 1 | SYN-ART-RESULT-HB-V2 · SYN-SHR-RESULT-HB-V1 | |
| 46 | FAILED_AT_BOUNDARYshared health record · scene-7 | failedThe incoming result is an amendment and cannot overwrite the current normalized version. | Original attempt 1 | SYN-ART-RESULT-HB-V2 · SYN-SHR-RESULT-HB-V1 |
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-AMENDED-RESULT-1111
SYN-CORR-AMENDED-RESULT-1111 - 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-AMENDED-RESULT-1111
SYN-CORR-AMENDED-RESULT-1111 - 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-AMENDED-RESULT-1111
SYN-CORR-AMENDED-RESULT-1111 - Idempotency / attempt
- SYN-IDEM-RESULT-HB-001
attempt 1 - Source / time
- SYN-ART-RESULT-HB-V1
2026-02-03T10:10:00.000Z
- laboratory shared health recordheld
- Trace / correlation
- SYN-TRACE-AMENDED-RESULT-1111
SYN-CORR-AMENDED-RESULT-1111 - Idempotency / attempt
- SYN-IDEM-RESULT-HB-002
attempt 1 - Source / time
- SYN-ART-RESULT-HB-V2
2026-02-03T10:22:00.000Z
Preserved after recovery
Denial and failure evidence remains.
failure-at-shared-health-record
The incoming result is an amendment and cannot overwrite the current normalized version.
SYN-AUDIT-7-1111 · attempt 1 · 2026-02-03T10:22:00.000Z