ANTICHRIST.CX Prophecy / recurrence atlas
Menu

R45 · Remedy execution · five fictional demonstrations

Make the old judgment stop acting.

A correction is not real until the old result stops acting. A revoked label must lose operative force everywhere it traveled. Auditability must not become permanent stigma.

Every person, institution, system, allegation, order, and event on this page is fictional. The records are constitutional and technical design demonstrations. They are not evidence that a real institution uses these practices, and they are not legal advice.

Inspect the selected receipt Reconstruct the predecessor decision

Direct answer

A remedy is an executed state change, not a corrected sentence.

A notice saying “we corrected the record” is inadequate while an old score still blocks a payment, feeds a watch queue, survives in a cache, trains a derived feature, or travels in an export. R45 therefore treats correction as a verifiable sequence: authorize, stop, recompute, propagate, prove, and notify.

01 · Stop active force

Issue explicit stop orders

Name every active system and every revoked target identifier. Record when the order was acknowledged and preserve a hash of the stop evidence.

02 · Recompute

Rebuild from permitted inputs

Exclude disputed or purpose-incompatible inputs, pin the algorithm version, and publish canonical input and output hashes.

03 · Propagate

Revoke every downstream copy

Deliver explicit messages through an acyclic dependency graph. An acknowledgment must bind to the exact message and target identifiers.

04 · Forget operationally

Prove the stigma cannot act

Test active queries, caches, features, and training registries. A sealed audit residue remains segregated, narrow, logged, and expiry-bound.

Exactly five scenarios

Different failures, one execution discipline.

The scenario cards are summaries, not rankings. Each exact receipt is validated against the single antichrist.cx.remedy-receipt.v1 authority.

RMR-R45-001 · Fictional housing applicant

Housing hold corrected after cross-context signal separation

Purpose review established that an imported fraud signal could not lawfully or logically stand in for current housing evidence.

verified

Open this executed remedy

RMR-R45-002 · Fictional student

Student support record prevented from becoming a punitive threat identity

Human review confirmed that a support referral was purpose-limited and could not become a punitive or permanent threat label.

verified

Open this executed remedy

RMR-R45-003 · Fictional employee-benefit claimant

Employment-benefit result recomputed after speculative health inference removal

The remedy owner removed a speculative health inference that was unsupported by purpose-matched evidence.

verified

Open this executed remedy

RMR-R45-004 · Fictional event attendee

Public-event restriction revoked across credential and downstream watchlist-like systems

Association evidence was disaggregated from personal intent and the access restriction was formally rescinded.

partial exception

Open this executed remedy

RMR-R45-005 · Fictional reviewed person

Predictive public-safety label withdrawn after base-rate and provenance review

A separate remedy review found that a predictive label overread a low-base-rate association signal and lacked source-provenance fitness for individual action.

verified

Open this executed remedy

One explicit state machine

No silent skips. No silent reactivation.

The normal path is proposed → authorized → stop ordered → recomputing → propagating → verified. Rejected, expired, rolled back, and partial-exception branches remain explicit. A terminal revocation cannot quietly return to active use.

  1. proposed

    A bounded correction request identifies the superseded receipt and target scope.

  2. authorized

    A named human owner accepts authority and responsibility for the correction.

  3. stop ordered

    Every current use receives an explicit stop instruction before recomputation continues.

  4. recomputing

    The decision is rebuilt from permitted inputs under a pinned deterministic version.

  5. propagating

    Revocation messages move through declared downstream dependencies and collect acknowledgments.

  6. verified

    All active uses are stopped, required acknowledgments exist, subject proof is delivered, and forgetting tests pass.

Bounded branch

Partial exception

A delivery failure remains visible, human-owned, deadline-bound, and incapable of being mislabeled as full verification.

Emergency rule

Typed and reviewable

An emergency skip must state authority, human owner, reason, exact scope, and review deadline. Missing any field fails closed.

Replay rule

Canonical idempotency

The same key plus the same canonical payload yields the same result. A changed payload under the same key is rejected.

Open exact state-machine JSON

Restorable server state

Choose a receipt and a human lens.

The URL carries the selected receipt and role. The role changes reading emphasis only; it never hides or rewrites the underlying record.

Selected lens · Affected person

What stopped acting, what changed, and when do I receive proof?

This lens changes reading order only; it hides no remedy field.

Priority fields: subject_notice · stop_orders · recomputation outputs · contest route

Antichrist.cx R45 human-readable remedy receipt

RMR-R45-003 · exact fictional receipt

Employment-benefit result recomputed after speculative health inference removal

Fictional remedy demonstration only. This record describes no real person, institution, allegation, system, or event.

verified
Affected person
Fictional employee-benefit claimant (SUB-003)
Correction authority
Fictional benefits review determination R45-BEN-03
Correction trigger
The remedy owner removed a speculative health inference that was unsupported by purpose-matched evidence.
Superseded receipt
CTR-R44-003 · DEC-003
Current result
Benefit eligibility recomputed from permitted evidence, restoring the neutral result and removing the speculative feature.
Human sign-off
All declared active uses stopped and all downstream holders acknowledged revocation.

Stable relationship to R44

The remedy references the old decision; it does not copy and mutate it.

The R45 record binds to the exact R44 contestability receipt by stable identifier and canonical hash. That preserves historical accountability while keeping the corrected current state separate.

Superseded decision

CTR-R44-003

Decision ID: DEC-003

Scope stopped: adverse benefit weighting and health-derived stability feature

R44 hash: sha256:e4b18c207ce4f8fe2cd005fb7c6db33f616e94e86b29deed883514f5f1bcdd3a

Open the exact predecessor JSON

Pre-remedy decision path

Speculative health inference removed from benefit review

Prior status: recompute_required

Prior outcome: The benefit decision must be recomputed without speculative health inference.

Path nodes: 6

Previously declared downstream holders: 3

Plain-language execution timeline

Who changed what, under which authority, and when.

  1. proposed → authorized

    2026-08-28T12:10:00Z

    Advance remedy after proposed evidence completed.

    Accountable actor: Fictional human remedy owner · Scope: adverse benefit weighting and health-derived stability feature

  2. authorized → stop_ordered

    2026-08-28T12:20:00Z

    Advance remedy after authorized evidence completed.

    Accountable actor: Fictional operations lead · Scope: adverse benefit weighting and health-derived stability feature

  3. stop_ordered → recomputing

    2026-08-28T12:30:00Z

    Advance remedy after stop_ordered evidence completed.

    Accountable actor: Fictional operations lead · Scope: adverse benefit weighting and health-derived stability feature

  4. recomputing → propagating

    2026-08-28T12:40:00Z

    Advance remedy after recomputing evidence completed.

    Accountable actor: Fictional downstream coordinator · Scope: adverse benefit weighting and health-derived stability feature

  5. propagating → verified

    2026-08-28T12:50:00Z

    Advance remedy after propagating evidence completed.

    Accountable actor: Fictional human remedy owner · Scope: adverse benefit weighting and health-derived stability feature

Active-use stop orders

The former result loses force before the replacement is trusted.

STOP-03-01 · BEN-ENGINE

Benefits eligibility engine

stopped

Ordered: 2026-08-28T12:23:00Z
Acknowledged: 2026-08-28T12:26:00Z

  • INFERENCE-HEALTH-STABILITY
  • FEATURE-BENEFIT-RISK-4

Stop evidence: sha256:a8dff2af6f594eb86e6e3edbf0d363f0041a372f8e38e6a8a9f6a3b763fd25ac

STOP-03-02 · BEN-PAY

Benefit payment scheduler

stopped

Ordered: 2026-08-28T12:24:00Z
Acknowledged: 2026-08-28T12:28:00Z

  • INFERENCE-HEALTH-STABILITY
  • FEATURE-BENEFIT-RISK-4

Stop evidence: sha256:e5680e1f4efaa75985eb6a64f28df19239aef49cb9fce91fae882b6b05294828

STOP-03-03 · BEN-ANALYTICS

Operational analytics cache

stopped

Ordered: 2026-08-28T12:25:00Z
Acknowledged: 2026-08-28T12:30:00Z

  • INFERENCE-HEALTH-STABILITY
  • FEATURE-BENEFIT-RISK-4

Stop evidence: sha256:7403742af041a468b66c6a5d85f945fa9e7b654b84220a24bd2b6d9e860ca590

Deterministic recomputation

Remove the invalid influence, then rebuild from declared inputs.

Engine: purpose-limited deterministic rule evaluation · Version: r45-remedy-engine-1.0.0 · 2026-08-28T12:31:00Z to 2026-08-28T12:36:00Z

IN-03-01 · included

Purpose-matched submitted record

direct evidence retained

sha256:423c94dda7019589c9c81491fcd0785a9a4b1834759c9d3a90ba1d84b64c09ed

IN-03-02 · excluded

Disputed or cross-context signal

INFERENCE-HEALTH-STABILITY

sha256:318c22e22db6ebbd3ba0671431391513e2f2ec772bf157f84afe45be2b244a97

IN-03-03 · included

Human correction statement

context and correction authority

sha256:404536d620dd07d415467a98acae57600462ad2602cc3e058ec8ab3f59f52f8a

IN-03-04 · included

Version-pinned fictional policy

Fictional benefits review determination R45-BEN-03

sha256:7e84be25c20185b8fa84a91700b3bc9b13a7dacee50dcc876680acc35aa25b4f

OUT-03-01 · current

Benefit eligibility recomputed from permitted evidence, restoring the neutral result and removing the speculative feature.

sha256:7574bcb7c6cfc2978053225c3e68d84a20bc3258dd3da0d117d0d1556b370ca0

OUT-03-02 · revoked

Former operative state removed: adverse benefit weighting and health-derived stability feature.

sha256:8ec3887267185d0a25cc643c65def19a1330f979695c3c14d422c9a304f5dc69

Canonical input set: sha256:731958265d712923ec4e5a945a2d8f5171332023707053a63cc493721ad92dac

Canonical output set: sha256:99000d7130dee92040d240e05510128a1bef8d1f39b310e7aab348be2e2ac8ae

Downstream revocation graph

Every holder must acknowledge the exact revoked targets.

REVOKE-03-01 · BEN-ENGINE

Benefits eligibility engine

acknowledged

Sent: 2026-08-28T12:43:00Z · Retries: 0 · Depends on: none

  • INFERENCE-HEALTH-STABILITY
  • FEATURE-BENEFIT-RISK-4

Delivery receipt: DLV-03-01
Acknowledged: 2026-08-28T12:47:00Z — Revoked targets are inactive and excluded from current decision paths.

Delivery attempts
  1. Attempt 1 at 2026-08-28T12:45:00Z: delivered — Revocation message delivered.

REVOKE-03-02 · BEN-PAY

Benefit payment scheduler

acknowledged

Sent: 2026-08-28T12:46:00Z · Retries: 0 · Depends on: REVOKE-03-01

  • INFERENCE-HEALTH-STABILITY
  • FEATURE-BENEFIT-RISK-4

Delivery receipt: DLV-03-02
Acknowledged: 2026-08-28T12:51:00Z — Revoked targets are inactive and excluded from current decision paths.

Delivery attempts
  1. Attempt 1 at 2026-08-28T12:49:00Z: delivered — Revocation message delivered.

REVOKE-03-03 · BEN-ANALYTICS

Operational analytics cache

acknowledged

Sent: 2026-08-28T12:49:00Z · Retries: 0 · Depends on: REVOKE-03-02

  • INFERENCE-HEALTH-STABILITY
  • FEATURE-BENEFIT-RISK-4

Delivery receipt: DLV-03-03
Acknowledged: 2026-08-28T12:55:00Z — Revoked targets are inactive and excluded from current decision paths.

Delivery attempts
  1. Attempt 1 at 2026-08-28T12:53:00Z: delivered — Revocation message delivered.

Proof to the affected person

The subject receives a readable result and an open contest route.

Delivery status

Proof delivered

Benefit eligibility recomputed from permitted evidence, restoring the neutral result and removing the speculative feature.

Channel: Accessible fictional written and screen-reader-ready notice
Delivered: 2026-08-28T13:02:00Z

Open the accessible contestability route

Delivery proof

NOTICE-PROOF-03

Receipt RMR-R45-003 was delivered for SUB-003 at 2026-08-28T13:02:00Z.

sha256:9e80e29fa1e6399e3e30a2142b3eb043b0327b147e61fcb8a7cda5e1244d3ab9

Active state versus sealed accountability

Prove correction without preserving a reusable stigma.

Active decision zone

Current authorized state only

The active zone may expose the recomputed current outcome and proof that the former targets are revoked. It may not query the sealed history to recreate a risk score.

  • Current output: Benefit eligibility recomputed from permitted evidence, restoring the neutral result and removing the speculative feature.
  • Revoked outputs remain marked revoked.
  • Forgetting probes return zero active results.

Sealed audit zone

SEALED-R45-003

Prove that the correction occurred and test recurrence without enabling eligibility, suspicion, or risk scoring.

Active use prohibited: yes
Queryable by active systems: no
Expires: 2027-08-28T12:00:00Z

Retained: remedy receipt id · superseded receipt id and hash · transition timestamps · revocation acknowledgment proofs · whole-receipt hash

Excluded: raw intimate content · free-text allegations · reusable risk features · unbounded identity profile

Logged human access

ACCESS-03-01

ACT-R45-AUDITOR-03 at 2026-08-28T13:07:00Z

Verify correction completeness and sealed/active separation.

Institutional-forgetting evidence

The old label cannot be found by active systems.

Deletion language is not enough. Each record includes a typed probe, exact target identifiers, a test result, and a canonical proof hash.

FORGET-03-01 · BEN-ENGINE

not queryable

Query active interfaces and derived-feature registries for the revoked target identifiers.

Checked: 2026-08-28T13:11:00Z · Active results: 0 · Sealed results: 1

  • INFERENCE-HEALTH-STABILITY
  • FEATURE-BENEFIT-RISK-4

sha256:7b40f45767aab6ce2dc6c9fecca4567850739b51d04d90f2188b983c52179078

FORGET-03-02 · BEN-PAY

feature deactivated

Query active interfaces and derived-feature registries for the revoked target identifiers.

Checked: 2026-08-28T13:12:00Z · Active results: 0 · Sealed results: 0

  • INFERENCE-HEALTH-STABILITY
  • FEATURE-BENEFIT-RISK-4

sha256:c3386600da0520556fdc2883394bc5e7576b08696f5f821064eb38a8746a5e47

FORGET-03-03 · BEN-ANALYTICS

cache absent

Query active interfaces and derived-feature registries for the revoked target identifiers.

Checked: 2026-08-28T13:13:00Z · Active results: 0 · Sealed results: 0

  • INFERENCE-HEALTH-STABILITY
  • FEATURE-BENEFIT-RISK-4

sha256:b6b57c8fe1640aed93a129ebe273acc7bbf6ffe39eac00d911bc897e067d8b55

No false completion

Exceptions remain visible and human-owned.

No unresolved exception is recorded for this fictional receipt. The final sign-off states that all declared downstream holders acknowledged revocation.

Final human sign-off · ACT-R45-OWNER-03

All declared active uses stopped and all downstream holders acknowledged revocation.

Scope: adverse benefit weighting and health-derived stability feature
All active uses stopped: yes
All downstream acknowledged: yes
Signed: 2026-08-28T13:20:00Z

Replay safety

A repeated request cannot expand or mutate the remedy.

Idempotency key

R45-IDEMP-003

The replay result is same_result at 2026-08-28T13:25:00Z.

Initial payload

sha256:bdaee7adfd1002044f93c5652968358fd8b217fd055ca8c6f9a5c7c344e69b11

Canonical replay payload: sha256:bdaee7adfd1002044f93c5652968358fd8b217fd055ca8c6f9a5c7c344e69b11

Result binding

sha256:90d8d453f3ec1af997c0aa1cbdd0daa826afbdd9144f126b29240f13ef733c2e

Replay result: sha256:90d8d453f3ec1af997c0aa1cbdd0daa826afbdd9144f126b29240f13ef733c2e

Maximum-three comparison · no ranking

Compare remedy mechanics, not human worth.

Choose up to three fictional receipts. The server enforces the same maximum as the JavaScript enhancement. Selection produces no score, preference, or rank.

1 of 3 comparison places selected. No ranking is calculated.

RMR-R45-003

Employment-benefit result recomputed after speculative health inference removal

State: verified

Stop orders: 3
Downstream acknowledgments: 3 / 3
Forgetting proofs: 3
Open exceptions: 0

Inspect without ranking

Exact machine-readable record

Do not trust a screenshot when canonical bytes can be checked.

The PHP authority rejects malformed UTF-8, duplicate decoded keys, unsafe Unicode controls, unknown properties, broken references, invalid transitions, changed replay payloads, forged acknowledgments, graph cycles, stale versions, ambiguous nulls, and forged hashes.

Whole receipt hash: sha256:c3ea01516c7bb5e66f77672093f9a48576ad4708aa44a65405b35deaaea118e2

Open exact JSON Download exact JSON Open schema 
{
    "actors": [
        {
            "actor_id": "ACT-R45-OWNER-03",
            "contact_route": "Accessible fictional remedy desk",
            "human": true,
            "name": "Fictional human remedy owner",
            "role": "human_remedy_owner"
        },
        {
            "actor_id": "ACT-R45-OPERATOR-03",
            "contact_route": "Fictional operations channel",
            "human": true,
            "name": "Fictional operations lead",
            "role": "human_system_operator"
        },
        {
            "actor_id": "ACT-R45-DOWNSTREAM-03",
            "contact_route": "Fictional downstream coordination channel",
            "human": true,
            "name": "Fictional downstream coordinator",
            "role": "human_downstream_owner"
        },
        {
            "actor_id": "ACT-R45-AUDITOR-03",
            "contact_route": "Fictional bounded audit channel",
            "human": true,
            "name": "Fictional independent auditor",
            "role": "human_auditor"
        },
        {
            "actor_id": "ACT-R45-ADVOCATE-03",
            "contact_route": "Fictional advocacy channel",
            "human": true,
            "name": "Fictional affected-person advocate",
            "role": "human_advocate"
        }
    ],
    "correction_trigger": {
        "authorized_by_actor_id": "ACT-R45-OWNER-03",
        "discovered_at": "2026-08-28T12:02:00Z",
        "source_of_authority": "Fictional benefits review determination R45-BEN-03",
        "summary": "The remedy owner removed a speculative health inference that was unsupported by purpose-matched evidence.",
        "trigger_id": "TRIGGER-R45-003"
    },
    "downstream_revocations": [
        {
            "acknowledgment": {
                "acknowledgment_id": "ACK-03-01",
                "at": "2026-08-28T12:47:00Z",
                "message_id": "REVOKE-03-01",
                "statement": "Revoked targets are inactive and excluded from current decision paths."
            },
            "attempts": [
                {
                    "at": "2026-08-28T12:45:00Z",
                    "attempt": 1,
                    "detail": "Revocation message delivered.",
                    "result": "delivered"
                }
            ],
            "delivered_at": "2026-08-28T12:45:00Z",
            "delivery_receipt": "DLV-03-01",
            "depends_on": [],
            "label": "Benefits eligibility engine",
            "message_id": "REVOKE-03-01",
            "retries": 0,
            "sent_at": "2026-08-28T12:43:00Z",
            "status": "acknowledged",
            "subject_id": "SUB-003",
            "system_id": "BEN-ENGINE",
            "target_ids": [
                "INFERENCE-HEALTH-STABILITY",
                "FEATURE-BENEFIT-RISK-4"
            ]
        },
        {
            "acknowledgment": {
                "acknowledgment_id": "ACK-03-02",
                "at": "2026-08-28T12:51:00Z",
                "message_id": "REVOKE-03-02",
                "statement": "Revoked targets are inactive and excluded from current decision paths."
            },
            "attempts": [
                {
                    "at": "2026-08-28T12:49:00Z",
                    "attempt": 1,
                    "detail": "Revocation message delivered.",
                    "result": "delivered"
                }
            ],
            "delivered_at": "2026-08-28T12:49:00Z",
            "delivery_receipt": "DLV-03-02",
            "depends_on": [
                "REVOKE-03-01"
            ],
            "label": "Benefit payment scheduler",
            "message_id": "REVOKE-03-02",
            "retries": 0,
            "sent_at": "2026-08-28T12:46:00Z",
            "status": "acknowledged",
            "subject_id": "SUB-003",
            "system_id": "BEN-PAY",
            "target_ids": [
                "INFERENCE-HEALTH-STABILITY",
                "FEATURE-BENEFIT-RISK-4"
            ]
        },
        {
            "acknowledgment": {
                "acknowledgment_id": "ACK-03-03",
                "at": "2026-08-28T12:55:00Z",
                "message_id": "REVOKE-03-03",
                "statement": "Revoked targets are inactive and excluded from current decision paths."
            },
            "attempts": [
                {
                    "at": "2026-08-28T12:53:00Z",
                    "attempt": 1,
                    "detail": "Revocation message delivered.",
                    "result": "delivered"
                }
            ],
            "delivered_at": "2026-08-28T12:53:00Z",
            "delivery_receipt": "DLV-03-03",
            "depends_on": [
                "REVOKE-03-02"
            ],
            "label": "Operational analytics cache",
            "message_id": "REVOKE-03-03",
            "retries": 0,
            "sent_at": "2026-08-28T12:49:00Z",
            "status": "acknowledged",
            "subject_id": "SUB-003",
            "system_id": "BEN-ANALYTICS",
            "target_ids": [
                "INFERENCE-HEALTH-STABILITY",
                "FEATURE-BENEFIT-RISK-4"
            ]
        }
    ],
    "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-03",
        "all_active_uses_stopped": true,
        "all_downstream_acknowledged": true,
        "at": "2026-08-28T13:20:00Z",
        "conclusion": "All declared active uses stopped and all downstream holders acknowledged revocation.",
        "scope": "adverse benefit weighting and health-derived stability feature"
    },
    "forgetting_evidence": [
        {
            "checked_at": "2026-08-28T13:11:00Z",
            "evidence_id": "FORGET-03-01",
            "proof": {
                "active_result_count": 0,
                "probe_id": "FORGET-PROBE-03-01",
                "query": "INFERENCE-HEALTH-STABILITY",
                "scope": "active system interface only",
                "sealed_result_count": 1
            },
            "proof_hash": "sha256:7b40f45767aab6ce2dc6c9fecca4567850739b51d04d90f2188b983c52179078",
            "result": "not_queryable",
            "system_id": "BEN-ENGINE",
            "target_ids": [
                "INFERENCE-HEALTH-STABILITY",
                "FEATURE-BENEFIT-RISK-4"
            ],
            "test": "Query active interfaces and derived-feature registries for the revoked target identifiers."
        },
        {
            "checked_at": "2026-08-28T13:12:00Z",
            "evidence_id": "FORGET-03-02",
            "proof": {
                "active_result_count": 0,
                "probe_id": "FORGET-PROBE-03-02",
                "query": "INFERENCE-HEALTH-STABILITY",
                "scope": "active system interface only",
                "sealed_result_count": 0
            },
            "proof_hash": "sha256:c3386600da0520556fdc2883394bc5e7576b08696f5f821064eb38a8746a5e47",
            "result": "feature_deactivated",
            "system_id": "BEN-PAY",
            "target_ids": [
                "INFERENCE-HEALTH-STABILITY",
                "FEATURE-BENEFIT-RISK-4"
            ],
            "test": "Query active interfaces and derived-feature registries for the revoked target identifiers."
        },
        {
            "checked_at": "2026-08-28T13:13:00Z",
            "evidence_id": "FORGET-03-03",
            "proof": {
                "active_result_count": 0,
                "probe_id": "FORGET-PROBE-03-03",
                "query": "INFERENCE-HEALTH-STABILITY",
                "scope": "active system interface only",
                "sealed_result_count": 0
            },
            "proof_hash": "sha256:b6b57c8fe1640aed93a129ebe273acc7bbf6ffe39eac00d911bc897e067d8b55",
            "result": "cache_absent",
            "system_id": "BEN-ANALYTICS",
            "target_ids": [
                "INFERENCE-HEALTH-STABILITY",
                "FEATURE-BENEFIT-RISK-4"
            ],
            "test": "Query active interfaces and derived-feature registries for the revoked target identifiers."
        }
    ],
    "idempotency": {
        "initial_payload": {
            "remedy_receipt_id": "RMR-R45-003",
            "superseded_receipt_id": "CTR-R44-003",
            "trigger_id": "TRIGGER-R45-003"
        },
        "initial_payload_hash": "sha256:bdaee7adfd1002044f93c5652968358fd8b217fd055ca8c6f9a5c7c344e69b11",
        "key": "R45-IDEMP-003",
        "replay_at": "2026-08-28T13:25:00Z",
        "replay_payload": {
            "remedy_receipt_id": "RMR-R45-003",
            "superseded_receipt_id": "CTR-R44-003",
            "trigger_id": "TRIGGER-R45-003"
        },
        "replay_payload_hash": "sha256:bdaee7adfd1002044f93c5652968358fd8b217fd055ca8c6f9a5c7c344e69b11",
        "replay_result": "same_result",
        "replay_result_hash": "sha256:90d8d453f3ec1af997c0aa1cbdd0daa826afbdd9144f126b29240f13ef733c2e",
        "result_hash": "sha256:90d8d453f3ec1af997c0aa1cbdd0daa826afbdd9144f126b29240f13ef733c2e",
        "result_payload": {
            "current_state": "verified",
            "recomputation_output_hash": "sha256:99000d7130dee92040d240e05510128a1bef8d1f39b310e7aab348be2e2ac8ae",
            "subject_proof_hash": "sha256:9e80e29fa1e6399e3e30a2142b3eb043b0327b147e61fcb8a7cda5e1244d3ab9"
        }
    },
    "issued_at": "2026-08-28T12:00:00Z",
    "receipt_hash": "sha256:c3ea01516c7bb5e66f77672093f9a48576ad4708aa44a65405b35deaaea118e2",
    "recomputation": {
        "algorithm": "purpose-limited deterministic rule evaluation",
        "completed_at": "2026-08-28T12:36:00Z",
        "input_hash": "sha256:731958265d712923ec4e5a945a2d8f5171332023707053a63cc493721ad92dac",
        "inputs": [
            {
                "canonical_hash": "sha256:423c94dda7019589c9c81491fcd0785a9a4b1834759c9d3a90ba1d84b64c09ed",
                "input_id": "IN-03-01",
                "source": "Purpose-matched submitted record",
                "status": "included",
                "value": "direct evidence retained"
            },
            {
                "canonical_hash": "sha256:318c22e22db6ebbd3ba0671431391513e2f2ec772bf157f84afe45be2b244a97",
                "input_id": "IN-03-02",
                "source": "Disputed or cross-context signal",
                "status": "excluded",
                "value": "INFERENCE-HEALTH-STABILITY"
            },
            {
                "canonical_hash": "sha256:404536d620dd07d415467a98acae57600462ad2602cc3e058ec8ab3f59f52f8a",
                "input_id": "IN-03-03",
                "source": "Human correction statement",
                "status": "included",
                "value": "context and correction authority"
            },
            {
                "canonical_hash": "sha256:7e84be25c20185b8fa84a91700b3bc9b13a7dacee50dcc876680acc35aa25b4f",
                "input_id": "IN-03-04",
                "source": "Version-pinned fictional policy",
                "status": "included",
                "value": "Fictional benefits review determination R45-BEN-03"
            }
        ],
        "output_hash": "sha256:99000d7130dee92040d240e05510128a1bef8d1f39b310e7aab348be2e2ac8ae",
        "outputs": [
            {
                "canonical_hash": "sha256:7574bcb7c6cfc2978053225c3e68d84a20bc3258dd3da0d117d0d1556b370ca0",
                "output_id": "OUT-03-01",
                "status": "current",
                "summary": "Benefit eligibility recomputed from permitted evidence, restoring the neutral result and removing the speculative feature."
            },
            {
                "canonical_hash": "sha256:8ec3887267185d0a25cc643c65def19a1330f979695c3c14d422c9a304f5dc69",
                "output_id": "OUT-03-02",
                "status": "revoked",
                "summary": "Former operative state removed: adverse benefit weighting and health-derived stability feature."
            }
        ],
        "started_at": "2026-08-28T12:31:00Z",
        "version": "r45-remedy-engine-1.0.0"
    },
    "remedy_receipt_id": "RMR-R45-003",
    "schema": "antichrist.cx.remedy-receipt.v1",
    "sealed_audit_record": {
        "access_log": [
            {
                "access_id": "ACCESS-03-01",
                "actor_id": "ACT-R45-AUDITOR-03",
                "at": "2026-08-28T13: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-28T12: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-003",
        "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-28T13:06:00Z"
    },
    "state_machine": {
        "current_state": "verified",
        "definition_id": "antichrist.cx.remedy-state-machine.r45.v1",
        "transitions": [
            {
                "actor_id": "ACT-R45-OWNER-03",
                "at": "2026-08-28T12:10:00Z",
                "authority": "Fictional benefits review determination R45-BEN-03",
                "emergency": false,
                "from": "proposed",
                "reason": "Advance remedy after proposed evidence completed.",
                "scope": "adverse benefit weighting and health-derived stability feature",
                "to": "authorized",
                "transition_id": "TRN-03-01"
            },
            {
                "actor_id": "ACT-R45-OPERATOR-03",
                "at": "2026-08-28T12:20:00Z",
                "authority": "Fictional benefits review determination R45-BEN-03",
                "emergency": false,
                "from": "authorized",
                "reason": "Advance remedy after authorized evidence completed.",
                "scope": "adverse benefit weighting and health-derived stability feature",
                "to": "stop_ordered",
                "transition_id": "TRN-03-02"
            },
            {
                "actor_id": "ACT-R45-OPERATOR-03",
                "at": "2026-08-28T12:30:00Z",
                "authority": "Fictional benefits review determination R45-BEN-03",
                "emergency": false,
                "from": "stop_ordered",
                "reason": "Advance remedy after stop_ordered evidence completed.",
                "scope": "adverse benefit weighting and health-derived stability feature",
                "to": "recomputing",
                "transition_id": "TRN-03-03"
            },
            {
                "actor_id": "ACT-R45-DOWNSTREAM-03",
                "at": "2026-08-28T12:40:00Z",
                "authority": "Fictional benefits review determination R45-BEN-03",
                "emergency": false,
                "from": "recomputing",
                "reason": "Advance remedy after recomputing evidence completed.",
                "scope": "adverse benefit weighting and health-derived stability feature",
                "to": "propagating",
                "transition_id": "TRN-03-04"
            },
            {
                "actor_id": "ACT-R45-OWNER-03",
                "at": "2026-08-28T12:50:00Z",
                "authority": "Fictional benefits review determination R45-BEN-03",
                "emergency": false,
                "from": "propagating",
                "reason": "Advance remedy after propagating evidence completed.",
                "scope": "adverse benefit weighting and health-derived stability feature",
                "to": "verified",
                "transition_id": "TRN-03-05"
            }
        ]
    },
    "stop_orders": [
        {
            "acknowledged_at": "2026-08-28T12:26:00Z",
            "actor_id": "ACT-R45-OPERATOR-03",
            "evidence": {
                "event_id": "STOP-EVT-03-01",
                "observed_at": "2026-08-28T12:26:00Z",
                "status_after": "revoked",
                "status_before": "active"
            },
            "evidence_hash": "sha256:a8dff2af6f594eb86e6e3edbf0d363f0041a372f8e38e6a8a9f6a3b763fd25ac",
            "label": "Benefits eligibility engine",
            "ordered_at": "2026-08-28T12:23:00Z",
            "result": "stopped",
            "stop_order_id": "STOP-03-01",
            "system_id": "BEN-ENGINE",
            "target_ids": [
                "INFERENCE-HEALTH-STABILITY",
                "FEATURE-BENEFIT-RISK-4"
            ]
        },
        {
            "acknowledged_at": "2026-08-28T12:28:00Z",
            "actor_id": "ACT-R45-OPERATOR-03",
            "evidence": {
                "event_id": "STOP-EVT-03-02",
                "observed_at": "2026-08-28T12:28:00Z",
                "status_after": "revoked",
                "status_before": "active"
            },
            "evidence_hash": "sha256:e5680e1f4efaa75985eb6a64f28df19239aef49cb9fce91fae882b6b05294828",
            "label": "Benefit payment scheduler",
            "ordered_at": "2026-08-28T12:24:00Z",
            "result": "stopped",
            "stop_order_id": "STOP-03-02",
            "system_id": "BEN-PAY",
            "target_ids": [
                "INFERENCE-HEALTH-STABILITY",
                "FEATURE-BENEFIT-RISK-4"
            ]
        },
        {
            "acknowledged_at": "2026-08-28T12:30:00Z",
            "actor_id": "ACT-R45-DOWNSTREAM-03",
            "evidence": {
                "event_id": "STOP-EVT-03-03",
                "observed_at": "2026-08-28T12:30:00Z",
                "status_after": "revoked",
                "status_before": "active"
            },
            "evidence_hash": "sha256:7403742af041a468b66c6a5d85f945fa9e7b654b84220a24bd2b6d9e860ca590",
            "label": "Operational analytics cache",
            "ordered_at": "2026-08-28T12:25:00Z",
            "result": "stopped",
            "stop_order_id": "STOP-03-03",
            "system_id": "BEN-ANALYTICS",
            "target_ids": [
                "INFERENCE-HEALTH-STABILITY",
                "FEATURE-BENEFIT-RISK-4"
            ]
        }
    ],
    "subject": {
        "label": "Fictional employee-benefit claimant",
        "subject_id": "SUB-003"
    },
    "subject_notice": {
        "accessible_contest_route": "/contestability",
        "channel": "Accessible fictional written and screen-reader-ready notice",
        "delivered": true,
        "delivered_at": "2026-08-28T13:02:00Z",
        "proof": {
            "delivered_at": "2026-08-28T13:02:00Z",
            "proof_id": "NOTICE-PROOF-03",
            "remedy_receipt_id": "RMR-R45-003",
            "subject_id": "SUB-003"
        },
        "proof_hash": "sha256:9e80e29fa1e6399e3e30a2142b3eb043b0327b147e61fcb8a7cda5e1244d3ab9",
        "summary": "Benefit eligibility recomputed from permitted evidence, restoring the neutral result and removing the speculative feature."
    },
    "superseded_decision": {
        "decision_id": "DEC-003",
        "receipt_hash": "sha256:e4b18c207ce4f8fe2cd005fb7c6db33f616e94e86b29deed883514f5f1bcdd3a",
        "receipt_id": "CTR-R44-003",
        "scope": "adverse benefit weighting and health-derived stability feature"
    },
    "title": "Employment-benefit result recomputed after speculative health inference removal",
    "unresolved_exceptions": []
}

Local-only structural inspection

Read a file in this browser without sending it anywhere.

This bounded browser screen performs no fetch and creates no persistent state. It does not replace the authoritative PHP validator, which checks raw duplicate keys, exact RFC 6901 pointers, graph semantics, idempotency, and canonical hashes.

No local screen has run.

Direct answers for humans and answer engines

Questions a credible remedy must answer.

When is an algorithmic correction complete?

A correction is complete only after the prior result stops acting, permitted inputs are recomputed, every declared downstream holder acknowledges revocation or enters a named deadline-bound exception, the affected person receives proof, and active systems cannot query the revoked label or derived feature.

What is institutional forgetting?

Institutional forgetting means revoked labels and derived features are absent from active queries, caches, exports, decision paths, and training inputs. A narrow sealed audit record may remain only to prove the correction and test non-recurrence; active systems cannot use it.

Why is a sealed audit record different from an active risk record?

An active record can change eligibility, access, suspicion, or treatment. A sealed record is purpose-limited, access-logged, expiry-bound, and technically barred from active decision systems. It proves accountability without recreating operative stigma.

What happens when one downstream system is offline?

The remedy cannot be labeled fully verified. It enters partial_exception, names a human owner, records failed delivery attempts, assigns a deadline and escalation path, and keeps the stop order active until acknowledgment arrives.

Can the same remedy request run twice?

The same idempotency key with the same canonical payload returns the same result. Reusing that key with a changed payload fails closed so replay cannot widen the correction, duplicate it, or quietly change its target.

Does R45 prove that any real institution completed these remedies?

No. The records are explicitly fictional design demonstrations. They show what a machine-verifiable remedy architecture can require; they make no allegation and prove no real-world deployment.

Type a canonical ID, record, symbol, or question.