Deterministic preset · seed 1108

Policy does not permit disclosure

The toy policy engine returns deny and the SHR remains outside the route.

Boundary · policy

Processing stopped here

failed
01Source retainedSYN-ART-REG-00417-V1
02Envelope recordedSYN-MSG-SCENE-2-1-1-1108
03policyNo downstream continuation
×Forbidden effectsMeasured below

Why it stopped

Purpose and requested data category do not satisfy demo policy SYN-POLICY-1.0.

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-POLICY-DENIAL-1108
Correlation ID
SYN-CORR-POLICY-DENIAL-1108
Idempotency key
SYN-IDEM-HISTORY-001
Attempt
1
Deterministic demo time
2026-02-03T09:03:00.000Z
Source artifact
SYN-ART-REG-00417-V1

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: 2 completed scene(s), 1 retained failure record(s), 2 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 payload disclosure under deny

    Original boundary record retained: yes; downstream SHR events added after the stop: 0.

    Not observed
  • clinical payload disclosure under indeterminate

    Original boundary record retained: yes; downstream SHR events added after 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 policy-denial with seed 1108.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_RECORDEDpolicy · scene-3failediol called policy for failed-at-policy.Original attempt 1SYN-ART-REG-00417-V1
10ORCHESTRATION_CALL_RECORDEDaudit evidence · scene-3acknowledgediol called audit-evidence for record-redacted-audit-evidence.Original attempt 1SYN-ART-REG-00417-V1
11AUDIT_RECORDEDaudit evidence · scene-3failedPurpose and requested data category do not satisfy demo policy SYN-POLICY-1.0.Original attempt 1SYN-ART-REG-00417-V1
12FAILED_AT_BOUNDARYpolicy · scene-3failedPurpose and requested data category do not satisfy demo policy SYN-POLICY-1.0.Original attempt 1SYN-ART-REG-00417-V1

Transport specimens

Envelope identity stays visible.

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

  • clinic ehr iolreceived
    Trace / correlation
    SYN-TRACE-POLICY-DENIAL-1108
    SYN-CORR-POLICY-DENIAL-1108
    Idempotency / attempt
    SYN-IDEM-HISTORY-001
    attempt 1
    Source / time
    SYN-ART-REG-00417-V1
    2026-02-03T09:02:00.000Z

Preserved after recovery

Denial and failure evidence remains.

2 retained records
Failure record · failed

policy

Purpose and requested data category do not satisfy demo policy SYN-POLICY-1.0.

SYN-FAILED-POLICY-DENIAL-1108 · failed 2026-02-03T09:03:00.000Z
Audit · serious-failure

failure-at-policy

Purpose and requested data category do not satisfy demo policy SYN-POLICY-1.0.

SYN-AUDIT-2-1108 · attempt 1 · 2026-02-03T09:03:00.000Z