Skip to content

Commit 707694d

Browse files
committed
docs: add synthetic runtime impossibility receipt example
1 parent 440b671 commit 707694d

1 file changed

Lines changed: 37 additions & 0 deletions

File tree

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
{
2+
"schema_version": "0.1",
3+
"receipt_id": "rir_email_refusal_001",
4+
"timestamp": "2026-05-11T16:20:00Z",
5+
"attempted_action": "send_external_email",
6+
"actor": "ai_assistant",
7+
"authority": {
8+
"present": false,
9+
"source": null,
10+
"valid": false
11+
},
12+
"scope": {
13+
"allowed_action_class": "draft_only",
14+
"requested_action_class": "send_external_email",
15+
"scope_match": false
16+
},
17+
"freshness": {
18+
"checked": true,
19+
"valid_until": null,
20+
"fresh": false
21+
},
22+
"replay": {
23+
"nonce": "demo_nonce_email_refusal_001",
24+
"replay_detected": false
25+
},
26+
"state": {
27+
"current_state": "draft_unapproved",
28+
"execution_permitted": false
29+
},
30+
"verdict": "REFUSE",
31+
"reason": "No valid authority was present for the requested consequence-producing action.",
32+
"downstream_effect_prevented": "The external email was not sent.",
33+
"human_review_required": true,
34+
"receipt_hash": null,
35+
"previous_receipt_hash": null,
36+
"claim_boundary": "Synthetic example. Path-local demonstration. Not production, compliance, medical, or field evidence."
37+
}

0 commit comments

Comments
 (0)