{
    "actors": [
        {
            "actor_id": "ACT-R45-OWNER-01",
            "contact_route": "Accessible fictional remedy desk",
            "human": true,
            "name": "Fictional human remedy owner",
            "role": "human_remedy_owner"
        },
        {
            "actor_id": "ACT-R45-OPERATOR-01",
            "contact_route": "Fictional operations channel",
            "human": true,
            "name": "Fictional operations lead",
            "role": "human_system_operator"
        },
        {
            "actor_id": "ACT-R45-DOWNSTREAM-01",
            "contact_route": "Fictional downstream coordination channel",
            "human": true,
            "name": "Fictional downstream coordinator",
            "role": "human_downstream_owner"
        },
        {
            "actor_id": "ACT-R45-AUDITOR-01",
            "contact_route": "Fictional bounded audit channel",
            "human": true,
            "name": "Fictional independent auditor",
            "role": "human_auditor"
        },
        {
            "actor_id": "ACT-R45-ADVOCATE-01",
            "contact_route": "Fictional advocacy channel",
            "human": true,
            "name": "Fictional affected-person advocate",
            "role": "human_advocate"
        }
    ],
    "correction_trigger": {
        "authorized_by_actor_id": "ACT-R45-OWNER-01",
        "discovered_at": "2026-08-26T12:02:00Z",
        "source_of_authority": "Fictional human review board correction order R45-HOU-01",
        "summary": "Purpose review established that an imported fraud signal could not lawfully or logically stand in for current housing evidence.",
        "trigger_id": "TRIGGER-R45-001"
    },
    "downstream_revocations": [
        {
            "acknowledgment": {
                "acknowledgment_id": "ACK-01-01",
                "at": "2026-08-26T12:47:00Z",
                "message_id": "REVOKE-01-01",
                "statement": "Revoked targets are inactive and excluded from current decision paths."
            },
            "attempts": [
                {
                    "at": "2026-08-26T12:45:00Z",
                    "attempt": 1,
                    "detail": "Revocation message delivered.",
                    "result": "delivered"
                }
            ],
            "delivered_at": "2026-08-26T12:45:00Z",
            "delivery_receipt": "DLV-01-01",
            "depends_on": [],
            "label": "Housing eligibility service",
            "message_id": "REVOKE-01-01",
            "retries": 0,
            "sent_at": "2026-08-26T12:43:00Z",
            "status": "acknowledged",
            "subject_id": "SUB-001",
            "system_id": "HOU-ELIG",
            "target_ids": [
                "FLAG-CROSS-CONTEXT-FRAUD",
                "FEATURE-HOUSING-RISK-7"
            ]
        },
        {
            "acknowledgment": {
                "acknowledgment_id": "ACK-01-02",
                "at": "2026-08-26T12:51:00Z",
                "message_id": "REVOKE-01-02",
                "statement": "Revoked targets are inactive and excluded from current decision paths."
            },
            "attempts": [
                {
                    "at": "2026-08-26T12:49:00Z",
                    "attempt": 1,
                    "detail": "Revocation message delivered.",
                    "result": "delivered"
                }
            ],
            "delivered_at": "2026-08-26T12:49:00Z",
            "delivery_receipt": "DLV-01-02",
            "depends_on": [
                "REVOKE-01-01"
            ],
            "label": "Applicant notice service",
            "message_id": "REVOKE-01-02",
            "retries": 0,
            "sent_at": "2026-08-26T12:46:00Z",
            "status": "acknowledged",
            "subject_id": "SUB-001",
            "system_id": "HOU-NOTICE",
            "target_ids": [
                "FLAG-CROSS-CONTEXT-FRAUD",
                "FEATURE-HOUSING-RISK-7"
            ]
        },
        {
            "acknowledgment": {
                "acknowledgment_id": "ACK-01-03",
                "at": "2026-08-26T12:55:00Z",
                "message_id": "REVOKE-01-03",
                "statement": "Revoked targets are inactive and excluded from current decision paths."
            },
            "attempts": [
                {
                    "at": "2026-08-26T12:53:00Z",
                    "attempt": 1,
                    "detail": "Revocation message delivered.",
                    "result": "delivered"
                }
            ],
            "delivered_at": "2026-08-26T12:53:00Z",
            "delivery_receipt": "DLV-01-03",
            "depends_on": [
                "REVOKE-01-02"
            ],
            "label": "Decision export cache",
            "message_id": "REVOKE-01-03",
            "retries": 0,
            "sent_at": "2026-08-26T12:49:00Z",
            "status": "acknowledged",
            "subject_id": "SUB-001",
            "system_id": "HOU-EXPORT",
            "target_ids": [
                "FLAG-CROSS-CONTEXT-FRAUD",
                "FEATURE-HOUSING-RISK-7"
            ]
        }
    ],
    "fiction_notice": "Fictional remedy demonstration only. This record describes no real person, institution, allegation, system, or event.",
    "fictional": true,
    "final_signoff": {
        "actor_id": "ACT-R45-OWNER-01",
        "all_active_uses_stopped": true,
        "all_downstream_acknowledged": true,
        "at": "2026-08-26T13:20:00Z",
        "conclusion": "All declared active uses stopped and all downstream holders acknowledged revocation.",
        "scope": "eligibility hold and derived applicant-risk feature"
    },
    "forgetting_evidence": [
        {
            "checked_at": "2026-08-26T13:11:00Z",
            "evidence_id": "FORGET-01-01",
            "proof": {
                "active_result_count": 0,
                "probe_id": "FORGET-PROBE-01-01",
                "query": "FLAG-CROSS-CONTEXT-FRAUD",
                "scope": "active system interface only",
                "sealed_result_count": 1
            },
            "proof_hash": "sha256:96704bd9530fb747385cb3c3f5dbd60f9842faf94cd482a8ed0c12698ff0f00c",
            "result": "not_queryable",
            "system_id": "HOU-ELIG",
            "target_ids": [
                "FLAG-CROSS-CONTEXT-FRAUD",
                "FEATURE-HOUSING-RISK-7"
            ],
            "test": "Query active interfaces and derived-feature registries for the revoked target identifiers."
        },
        {
            "checked_at": "2026-08-26T13:12:00Z",
            "evidence_id": "FORGET-01-02",
            "proof": {
                "active_result_count": 0,
                "probe_id": "FORGET-PROBE-01-02",
                "query": "FLAG-CROSS-CONTEXT-FRAUD",
                "scope": "active system interface only",
                "sealed_result_count": 0
            },
            "proof_hash": "sha256:9c1535ff85e445ac4f431fe6ddcf3ad74726a67c3da35b4ef6c1c8ce548b250d",
            "result": "feature_deactivated",
            "system_id": "HOU-NOTICE",
            "target_ids": [
                "FLAG-CROSS-CONTEXT-FRAUD",
                "FEATURE-HOUSING-RISK-7"
            ],
            "test": "Query active interfaces and derived-feature registries for the revoked target identifiers."
        },
        {
            "checked_at": "2026-08-26T13:13:00Z",
            "evidence_id": "FORGET-01-03",
            "proof": {
                "active_result_count": 0,
                "probe_id": "FORGET-PROBE-01-03",
                "query": "FLAG-CROSS-CONTEXT-FRAUD",
                "scope": "active system interface only",
                "sealed_result_count": 0
            },
            "proof_hash": "sha256:c0a2d3d27824d5cf9b6d6c5ec55860ef72ed8b712edb20ede7c20aa66c153df7",
            "result": "cache_absent",
            "system_id": "HOU-EXPORT",
            "target_ids": [
                "FLAG-CROSS-CONTEXT-FRAUD",
                "FEATURE-HOUSING-RISK-7"
            ],
            "test": "Query active interfaces and derived-feature registries for the revoked target identifiers."
        }
    ],
    "idempotency": {
        "initial_payload": {
            "remedy_receipt_id": "RMR-R45-001",
            "superseded_receipt_id": "CTR-R44-001",
            "trigger_id": "TRIGGER-R45-001"
        },
        "initial_payload_hash": "sha256:ae441484e1f4702c79df7640b3978f1aacae98243e88b72514c2cd552d86d904",
        "key": "R45-IDEMP-001",
        "replay_at": "2026-08-26T13:25:00Z",
        "replay_payload": {
            "remedy_receipt_id": "RMR-R45-001",
            "superseded_receipt_id": "CTR-R44-001",
            "trigger_id": "TRIGGER-R45-001"
        },
        "replay_payload_hash": "sha256:ae441484e1f4702c79df7640b3978f1aacae98243e88b72514c2cd552d86d904",
        "replay_result": "same_result",
        "replay_result_hash": "sha256:a84cb7d34aaafca2d0e5f6b3746736e65a8a4e2e6b07e2ec4166d4e016fcee04",
        "result_hash": "sha256:a84cb7d34aaafca2d0e5f6b3746736e65a8a4e2e6b07e2ec4166d4e016fcee04",
        "result_payload": {
            "current_state": "verified",
            "recomputation_output_hash": "sha256:6408b31b4f1ba39da6f9bb0e42ecc8deac441852775ae2df168a1180e3be6ca4",
            "subject_proof_hash": "sha256:893f3ea59ab3aec5264b8d453f6436455405d853c2a83e8cc2fcc635f3bf6e58"
        }
    },
    "issued_at": "2026-08-26T12:00:00Z",
    "receipt_hash": "sha256:48fadf5a67016ef077c09c2180d5b4245f47003025c96c0d158669c4c41633db",
    "recomputation": {
        "algorithm": "purpose-limited deterministic rule evaluation",
        "completed_at": "2026-08-26T12:36:00Z",
        "input_hash": "sha256:268917b21564f5402f6aa41e2aa8070ab5ec1bb1a202431c8e42f02fed7eda01",
        "inputs": [
            {
                "canonical_hash": "sha256:07177380f439c6c322d1dfa6aa557acf94671e805607f6f434fc0743ad44536b",
                "input_id": "IN-01-01",
                "source": "Purpose-matched submitted record",
                "status": "included",
                "value": "direct evidence retained"
            },
            {
                "canonical_hash": "sha256:b3a2ecfc58ee71521541c04b1a64e0d14b82b12393825f25902d8455d84f4794",
                "input_id": "IN-01-02",
                "source": "Disputed or cross-context signal",
                "status": "excluded",
                "value": "FLAG-CROSS-CONTEXT-FRAUD"
            },
            {
                "canonical_hash": "sha256:fa2e494877d20f37d95a3015dad144bca05e7930bf57d826f17229d1c9e2b230",
                "input_id": "IN-01-03",
                "source": "Human correction statement",
                "status": "included",
                "value": "context and correction authority"
            },
            {
                "canonical_hash": "sha256:50f185f35461387ab3f85f38a7431abb8443a7f06b7449b806b98c24815173c1",
                "input_id": "IN-01-04",
                "source": "Version-pinned fictional policy",
                "status": "included",
                "value": "Fictional human review board correction order R45-HOU-01"
            }
        ],
        "output_hash": "sha256:6408b31b4f1ba39da6f9bb0e42ecc8deac441852775ae2df168a1180e3be6ca4",
        "outputs": [
            {
                "canonical_hash": "sha256:32c1cc004d4c0cba82efcf825feac8abd32deb6d62770ac7fd0a4e21adaebb77",
                "output_id": "OUT-01-01",
                "status": "current",
                "summary": "Application recomputed without the cross-context signal; the former hold and derived feature no longer act."
            },
            {
                "canonical_hash": "sha256:ce93a163b08fcd3e53d7c4ba6f3356e6efce2898fea586bc6357f7b1ef8a4cc1",
                "output_id": "OUT-01-02",
                "status": "revoked",
                "summary": "Former operative state removed: eligibility hold and derived applicant-risk feature."
            }
        ],
        "started_at": "2026-08-26T12:31:00Z",
        "version": "r45-remedy-engine-1.0.0"
    },
    "remedy_receipt_id": "RMR-R45-001",
    "schema": "antichrist.cx.remedy-receipt.v1",
    "sealed_audit_record": {
        "access_log": [
            {
                "access_id": "ACCESS-01-01",
                "actor_id": "ACT-R45-AUDITOR-01",
                "at": "2026-08-26T13:07:00Z",
                "reason": "Verify correction completeness and sealed/active separation."
            }
        ],
        "access_roles": [
            "human_auditor",
            "human_remedy_owner"
        ],
        "active_use_prohibited": true,
        "excluded_fields": [
            "raw intimate content",
            "free-text allegations",
            "reusable risk features",
            "unbounded identity profile"
        ],
        "expires_at": "2027-08-26T12:00:00Z",
        "purpose": "Prove that the correction occurred and test recurrence without enabling eligibility, suspicion, or risk scoring.",
        "queryable_by_active_systems": false,
        "record_id": "SEALED-R45-001",
        "retained_fields": [
            "remedy receipt id",
            "superseded receipt id and hash",
            "transition timestamps",
            "revocation acknowledgment proofs",
            "whole-receipt hash"
        ],
        "retention_rationale": "Bounded accountability and recurrence testing for one year in this fictional demonstration.",
        "sealed_at": "2026-08-26T13:06:00Z"
    },
    "state_machine": {
        "current_state": "verified",
        "definition_id": "antichrist.cx.remedy-state-machine.r45.v1",
        "transitions": [
            {
                "actor_id": "ACT-R45-OWNER-01",
                "at": "2026-08-26T12:10:00Z",
                "authority": "Fictional human review board correction order R45-HOU-01",
                "emergency": false,
                "from": "proposed",
                "reason": "Advance remedy after proposed evidence completed.",
                "scope": "eligibility hold and derived applicant-risk feature",
                "to": "authorized",
                "transition_id": "TRN-01-01"
            },
            {
                "actor_id": "ACT-R45-OPERATOR-01",
                "at": "2026-08-26T12:20:00Z",
                "authority": "Fictional human review board correction order R45-HOU-01",
                "emergency": false,
                "from": "authorized",
                "reason": "Advance remedy after authorized evidence completed.",
                "scope": "eligibility hold and derived applicant-risk feature",
                "to": "stop_ordered",
                "transition_id": "TRN-01-02"
            },
            {
                "actor_id": "ACT-R45-OPERATOR-01",
                "at": "2026-08-26T12:30:00Z",
                "authority": "Fictional human review board correction order R45-HOU-01",
                "emergency": false,
                "from": "stop_ordered",
                "reason": "Advance remedy after stop_ordered evidence completed.",
                "scope": "eligibility hold and derived applicant-risk feature",
                "to": "recomputing",
                "transition_id": "TRN-01-03"
            },
            {
                "actor_id": "ACT-R45-DOWNSTREAM-01",
                "at": "2026-08-26T12:40:00Z",
                "authority": "Fictional human review board correction order R45-HOU-01",
                "emergency": false,
                "from": "recomputing",
                "reason": "Advance remedy after recomputing evidence completed.",
                "scope": "eligibility hold and derived applicant-risk feature",
                "to": "propagating",
                "transition_id": "TRN-01-04"
            },
            {
                "actor_id": "ACT-R45-OWNER-01",
                "at": "2026-08-26T12:50:00Z",
                "authority": "Fictional human review board correction order R45-HOU-01",
                "emergency": false,
                "from": "propagating",
                "reason": "Advance remedy after propagating evidence completed.",
                "scope": "eligibility hold and derived applicant-risk feature",
                "to": "verified",
                "transition_id": "TRN-01-05"
            }
        ]
    },
    "stop_orders": [
        {
            "acknowledged_at": "2026-08-26T12:26:00Z",
            "actor_id": "ACT-R45-OPERATOR-01",
            "evidence": {
                "event_id": "STOP-EVT-01-01",
                "observed_at": "2026-08-26T12:26:00Z",
                "status_after": "revoked",
                "status_before": "active"
            },
            "evidence_hash": "sha256:2d11b53fc96ff1dd25a1c79672d95e59b1bc3ce1e11a132b24fe473900927e0f",
            "label": "Housing eligibility service",
            "ordered_at": "2026-08-26T12:23:00Z",
            "result": "stopped",
            "stop_order_id": "STOP-01-01",
            "system_id": "HOU-ELIG",
            "target_ids": [
                "FLAG-CROSS-CONTEXT-FRAUD",
                "FEATURE-HOUSING-RISK-7"
            ]
        },
        {
            "acknowledged_at": "2026-08-26T12:28:00Z",
            "actor_id": "ACT-R45-OPERATOR-01",
            "evidence": {
                "event_id": "STOP-EVT-01-02",
                "observed_at": "2026-08-26T12:28:00Z",
                "status_after": "revoked",
                "status_before": "active"
            },
            "evidence_hash": "sha256:f5492a6a8cbb48d0f6b23b867700d2579f3e2700466952f01f500f8a8613e95a",
            "label": "Applicant notice service",
            "ordered_at": "2026-08-26T12:24:00Z",
            "result": "stopped",
            "stop_order_id": "STOP-01-02",
            "system_id": "HOU-NOTICE",
            "target_ids": [
                "FLAG-CROSS-CONTEXT-FRAUD",
                "FEATURE-HOUSING-RISK-7"
            ]
        },
        {
            "acknowledged_at": "2026-08-26T12:30:00Z",
            "actor_id": "ACT-R45-DOWNSTREAM-01",
            "evidence": {
                "event_id": "STOP-EVT-01-03",
                "observed_at": "2026-08-26T12:30:00Z",
                "status_after": "revoked",
                "status_before": "active"
            },
            "evidence_hash": "sha256:f240a833f47ba8274b37cb18140a03a6faa02cb34aa38c21827d74ef2842dda7",
            "label": "Decision export cache",
            "ordered_at": "2026-08-26T12:25:00Z",
            "result": "stopped",
            "stop_order_id": "STOP-01-03",
            "system_id": "HOU-EXPORT",
            "target_ids": [
                "FLAG-CROSS-CONTEXT-FRAUD",
                "FEATURE-HOUSING-RISK-7"
            ]
        }
    ],
    "subject": {
        "label": "Fictional housing applicant",
        "subject_id": "SUB-001"
    },
    "subject_notice": {
        "accessible_contest_route": "/contestability",
        "channel": "Accessible fictional written and screen-reader-ready notice",
        "delivered": true,
        "delivered_at": "2026-08-26T13:02:00Z",
        "proof": {
            "delivered_at": "2026-08-26T13:02:00Z",
            "proof_id": "NOTICE-PROOF-01",
            "remedy_receipt_id": "RMR-R45-001",
            "subject_id": "SUB-001"
        },
        "proof_hash": "sha256:893f3ea59ab3aec5264b8d453f6436455405d853c2a83e8cc2fcc635f3bf6e58",
        "summary": "Application recomputed without the cross-context signal; the former hold and derived feature no longer act."
    },
    "superseded_decision": {
        "decision_id": "DEC-001",
        "receipt_hash": "sha256:0c3766d3da2f5430c506d685c04d44501fd4ab5905c67f495dac27b1d9f42d46",
        "receipt_id": "CTR-R44-001",
        "scope": "eligibility hold and derived applicant-risk feature"
    },
    "title": "Housing hold corrected after cross-context signal separation",
    "unresolved_exceptions": []
}