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.

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-002 · exact fictional receipt

Student support record prevented from becoming a punitive threat identity

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

verified
Affected person
Fictional student (SUB-002)
Correction authority
Fictional student-support safeguard order R45-EDU-02
Correction trigger
Human review confirmed that a support referral was purpose-limited and could not become a punitive or permanent threat label.
Superseded receipt
CTR-R44-002 · DEC-002
Current result
Support remains available while punitive classification, disciplinary export, and durable threat identity are disabled.
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-002

Decision ID: DEC-002

Scope stopped: punitive threat label and disciplinary routing

R44 hash: sha256:8d6e329cc7571a92fc10f5c656d697aa5fe5d97da6cbe3d5389465d83457aef0

Open the exact predecessor JSON

Pre-remedy decision path

Student support referral separated from threat determination

Prior status: support_only

Prior outcome: A support referral remains non-punitive and cannot become a threat label.

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-27T12:10:00Z

    Advance remedy after proposed evidence completed.

    Accountable actor: Fictional human remedy owner · Scope: punitive threat label and disciplinary routing

  2. authorized → stop_ordered

    2026-08-27T12:20:00Z

    Advance remedy after authorized evidence completed.

    Accountable actor: Fictional operations lead · Scope: punitive threat label and disciplinary routing

  3. stop_ordered → recomputing

    2026-08-27T12:30:00Z

    Advance remedy after stop_ordered evidence completed.

    Accountable actor: Fictional operations lead · Scope: punitive threat label and disciplinary routing

  4. recomputing → propagating

    2026-08-27T12:40:00Z

    Advance remedy after recomputing evidence completed.

    Accountable actor: Fictional downstream coordinator · Scope: punitive threat label and disciplinary routing

  5. propagating → verified

    2026-08-27T12:50:00Z

    Advance remedy after propagating evidence completed.

    Accountable actor: Fictional human remedy owner · Scope: punitive threat label and disciplinary routing

Active-use stop orders

The former result loses force before the replacement is trusted.

STOP-02-01 · EDU-SUPPORT

Student support service

stopped

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

  • LABEL-STUDENT-THREAT
  • FEATURE-PUNITIVE-RISK

Stop evidence: sha256:1a97f35701ef6d5cc70b6dc0d6cea8ba0c0f70bf7ccfc3ef3b479ba7c052512b

STOP-02-02 · EDU-DISC

Disciplinary routing service

stopped

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

  • LABEL-STUDENT-THREAT
  • FEATURE-PUNITIVE-RISK

Stop evidence: sha256:1388a654d728dafa9a0b6d7be9c4e23db9ff2e9f38895e56fd39e6f93e34b585

STOP-02-03 · EDU-ROSTER

Staff risk roster cache

stopped

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

  • LABEL-STUDENT-THREAT
  • FEATURE-PUNITIVE-RISK

Stop evidence: sha256:529879322949a31aa0017be946db5d0395cdd12f36c56210d4c446a5774c4bec

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-27T12:31:00Z to 2026-08-27T12:36:00Z

IN-02-01 · included

Purpose-matched submitted record

direct evidence retained

sha256:18e9ef52b125ba588aa15ea5f1e7a872e850c01dca03bc6acd69420cefd51fd3

IN-02-02 · excluded

Disputed or cross-context signal

LABEL-STUDENT-THREAT

sha256:ff74d11dcbfa6380bec275b938559e2054db0ec119d047408e1ffe07016dd583

IN-02-03 · included

Human correction statement

context and correction authority

sha256:5ed8105234808d5a0b553f6d918ca904c08b197311e9642229e31c68079c18d6

IN-02-04 · included

Version-pinned fictional policy

Fictional student-support safeguard order R45-EDU-02

sha256:405e513439c0abed55525ab0810ec02272fbdcbe9bb2319c70bf1a84bb54afe1

OUT-02-01 · current

Support remains available while punitive classification, disciplinary export, and durable threat identity are disabled.

sha256:7f636aee724cfe5cd8f480049e10e6d765e2b2535aed6befc36ad90859a3258c

OUT-02-02 · revoked

Former operative state removed: punitive threat label and disciplinary routing.

sha256:5fa8a4b3bfb6eccd30b4b89297c385a152b971aa17642587d66e0736320e46cb

Canonical input set: sha256:01a01609f439711b4acc39c138a8b290a4e1b67c6674ec3608923ac0924a806a

Canonical output set: sha256:79df63a92583e22b90d3cd942170db43a0d70568d1daadb50e7044d765f0775e

Downstream revocation graph

Every holder must acknowledge the exact revoked targets.

REVOKE-02-01 · EDU-SUPPORT

Student support service

acknowledged

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

  • LABEL-STUDENT-THREAT
  • FEATURE-PUNITIVE-RISK

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

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

REVOKE-02-02 · EDU-DISC

Disciplinary routing service

acknowledged

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

  • LABEL-STUDENT-THREAT
  • FEATURE-PUNITIVE-RISK

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

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

REVOKE-02-03 · EDU-ROSTER

Staff risk roster cache

acknowledged

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

  • LABEL-STUDENT-THREAT
  • FEATURE-PUNITIVE-RISK

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

Delivery attempts
  1. Attempt 1 at 2026-08-27T12: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

Support remains available while punitive classification, disciplinary export, and durable threat identity are disabled.

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

Open the accessible contestability route

Delivery proof

NOTICE-PROOF-02

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

sha256:7c8ac92996e0d14de76d26b54ff3695424a0267b434a63043b16a4ac1c424082

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: Support remains available while punitive classification, disciplinary export, and durable threat identity are disabled.
  • Revoked outputs remain marked revoked.
  • Forgetting probes return zero active results.

Sealed audit zone

SEALED-R45-002

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-27T12: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-02-01

ACT-R45-AUDITOR-02 at 2026-08-27T13: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-02-01 · EDU-SUPPORT

not queryable

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

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

  • LABEL-STUDENT-THREAT
  • FEATURE-PUNITIVE-RISK

sha256:b639d60a9c69c3ef65d69bf03bc454af250ee8554aaa1578722a222e52efe021

FORGET-02-02 · EDU-DISC

feature deactivated

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

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

  • LABEL-STUDENT-THREAT
  • FEATURE-PUNITIVE-RISK

sha256:008c070492e0a18925a742dd6b0d2126a843ee805bc4b260275188235e88d34d

FORGET-02-03 · EDU-ROSTER

cache absent

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

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

  • LABEL-STUDENT-THREAT
  • FEATURE-PUNITIVE-RISK

sha256:cb05d5b3ce33486895f22e72ef27bca265830ee3d8961e71a5519d4631f6788c

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-02

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

Scope: punitive threat label and disciplinary routing
All active uses stopped: yes
All downstream acknowledged: yes
Signed: 2026-08-27T13:20:00Z

Replay safety

A repeated request cannot expand or mutate the remedy.

Idempotency key

R45-IDEMP-002

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

Initial payload

sha256:f15a58922663eff1303dfba8d2e4a09e059f382bde00d9c42b82a1918f836d8b

Canonical replay payload: sha256:f15a58922663eff1303dfba8d2e4a09e059f382bde00d9c42b82a1918f836d8b

Result binding

sha256:1e5b6f4664c1891cfdab35b55b5a071f2bff72c7602b9c86f21a5c6cf729b624

Replay result: sha256:1e5b6f4664c1891cfdab35b55b5a071f2bff72c7602b9c86f21a5c6cf729b624

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-002

Student support record prevented from becoming a punitive threat identity

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:e4214c80af643639326c8bade1b1d9fca9a52375f2e576797976cea39ee896e9

{
    "actors": [
        {
            "actor_id": "ACT-R45-OWNER-02",
            "contact_route": "Accessible fictional remedy desk",
            "human": true,
            "name": "Fictional human remedy owner",
            "role": "human_remedy_owner"
        },
        {
            "actor_id": "ACT-R45-OPERATOR-02",
            "contact_route": "Fictional operations channel",
            "human": true,
            "name": "Fictional operations lead",
            "role": "human_system_operator"
        },
        {
            "actor_id": "ACT-R45-DOWNSTREAM-02",
            "contact_route": "Fictional downstream coordination channel",
            "human": true,
            "name": "Fictional downstream coordinator",
            "role": "human_downstream_owner"
        },
        {
            "actor_id": "ACT-R45-AUDITOR-02",
            "contact_route": "Fictional bounded audit channel",
            "human": true,
            "name": "Fictional independent auditor",
            "role": "human_auditor"
        },
        {
            "actor_id": "ACT-R45-ADVOCATE-02",
            "contact_route": "Fictional advocacy channel",
            "human": true,
            "name": "Fictional affected-person advocate",
            "role": "human_advocate"
        }
    ],
    "correction_trigger": {
        "authorized_by_actor_id": "ACT-R45-OWNER-02",
        "discovered_at": "2026-08-27T12:02:00Z",
        "source_of_authority": "Fictional student-support safeguard order R45-EDU-02",
        "summary": "Human review confirmed that a support referral was purpose-limited and could not become a punitive or permanent threat label.",
        "trigger_id": "TRIGGER-R45-002"
    },
    "downstream_revocations": [
        {
            "acknowledgment": {
                "acknowledgment_id": "ACK-02-01",
                "at": "2026-08-27T12:47:00Z",
                "message_id": "REVOKE-02-01",
                "statement": "Revoked targets are inactive and excluded from current decision paths."
            },
            "attempts": [
                {
                    "at": "2026-08-27T12:45:00Z",
                    "attempt": 1,
                    "detail": "Revocation message delivered.",
                    "result": "delivered"
                }
            ],
            "delivered_at": "2026-08-27T12:45:00Z",
            "delivery_receipt": "DLV-02-01",
            "depends_on": [],
            "label": "Student support service",
            "message_id": "REVOKE-02-01",
            "retries": 0,
            "sent_at": "2026-08-27T12:43:00Z",
            "status": "acknowledged",
            "subject_id": "SUB-002",
            "system_id": "EDU-SUPPORT",
            "target_ids": [
                "LABEL-STUDENT-THREAT",
                "FEATURE-PUNITIVE-RISK"
            ]
        },
        {
            "acknowledgment": {
                "acknowledgment_id": "ACK-02-02",
                "at": "2026-08-27T12:51:00Z",
                "message_id": "REVOKE-02-02",
                "statement": "Revoked targets are inactive and excluded from current decision paths."
            },
            "attempts": [
                {
                    "at": "2026-08-27T12:49:00Z",
                    "attempt": 1,
                    "detail": "Revocation message delivered.",
                    "result": "delivered"
                }
            ],
            "delivered_at": "2026-08-27T12:49:00Z",
            "delivery_receipt": "DLV-02-02",
            "depends_on": [
                "REVOKE-02-01"
            ],
            "label": "Disciplinary routing service",
            "message_id": "REVOKE-02-02",
            "retries": 0,
            "sent_at": "2026-08-27T12:46:00Z",
            "status": "acknowledged",
            "subject_id": "SUB-002",
            "system_id": "EDU-DISC",
            "target_ids": [
                "LABEL-STUDENT-THREAT",
                "FEATURE-PUNITIVE-RISK"
            ]
        },
        {
            "acknowledgment": {
                "acknowledgment_id": "ACK-02-03",
                "at": "2026-08-27T12:55:00Z",
                "message_id": "REVOKE-02-03",
                "statement": "Revoked targets are inactive and excluded from current decision paths."
            },
            "attempts": [
                {
                    "at": "2026-08-27T12:53:00Z",
                    "attempt": 1,
                    "detail": "Revocation message delivered.",
                    "result": "delivered"
                }
            ],
            "delivered_at": "2026-08-27T12:53:00Z",
            "delivery_receipt": "DLV-02-03",
            "depends_on": [
                "REVOKE-02-02"
            ],
            "label": "Staff risk roster cache",
            "message_id": "REVOKE-02-03",
            "retries": 0,
            "sent_at": "2026-08-27T12:49:00Z",
            "status": "acknowledged",
            "subject_id": "SUB-002",
            "system_id": "EDU-ROSTER",
            "target_ids": [
                "LABEL-STUDENT-THREAT",
                "FEATURE-PUNITIVE-RISK"
            ]
        }
    ],
    "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-02",
        "all_active_uses_stopped": true,
        "all_downstream_acknowledged": true,
        "at": "2026-08-27T13:20:00Z",
        "conclusion": "All declared active uses stopped and all downstream holders acknowledged revocation.",
        "scope": "punitive threat label and disciplinary routing"
    },
    "forgetting_evidence": [
        {
            "checked_at": "2026-08-27T13:11:00Z",
            "evidence_id": "FORGET-02-01",
            "proof": {
                "active_result_count": 0,
                "probe_id": "FORGET-PROBE-02-01",
                "query": "LABEL-STUDENT-THREAT",
                "scope": "active system interface only",
                "sealed_result_count": 1
            },
            "proof_hash": "sha256:b639d60a9c69c3ef65d69bf03bc454af250ee8554aaa1578722a222e52efe021",
            "result": "not_queryable",
            "system_id": "EDU-SUPPORT",
            "target_ids": [
                "LABEL-STUDENT-THREAT",
                "FEATURE-PUNITIVE-RISK"
            ],
            "test": "Query active interfaces and derived-feature registries for the revoked target identifiers."
        },
        {
            "checked_at": "2026-08-27T13:12:00Z",
            "evidence_id": "FORGET-02-02",
            "proof": {
                "active_result_count": 0,
                "probe_id": "FORGET-PROBE-02-02",
                "query": "LABEL-STUDENT-THREAT",
                "scope": "active system interface only",
                "sealed_result_count": 0
            },
            "proof_hash": "sha256:008c070492e0a18925a742dd6b0d2126a843ee805bc4b260275188235e88d34d",
            "result": "feature_deactivated",
            "system_id": "EDU-DISC",
            "target_ids": [
                "LABEL-STUDENT-THREAT",
                "FEATURE-PUNITIVE-RISK"
            ],
            "test": "Query active interfaces and derived-feature registries for the revoked target identifiers."
        },
        {
            "checked_at": "2026-08-27T13:13:00Z",
            "evidence_id": "FORGET-02-03",
            "proof": {
                "active_result_count": 0,
                "probe_id": "FORGET-PROBE-02-03",
                "query": "LABEL-STUDENT-THREAT",
                "scope": "active system interface only",
                "sealed_result_count": 0
            },
            "proof_hash": "sha256:cb05d5b3ce33486895f22e72ef27bca265830ee3d8961e71a5519d4631f6788c",
            "result": "cache_absent",
            "system_id": "EDU-ROSTER",
            "target_ids": [
                "LABEL-STUDENT-THREAT",
                "FEATURE-PUNITIVE-RISK"
            ],
            "test": "Query active interfaces and derived-feature registries for the revoked target identifiers."
        }
    ],
    "idempotency": {
        "initial_payload": {
            "remedy_receipt_id": "RMR-R45-002",
            "superseded_receipt_id": "CTR-R44-002",
            "trigger_id": "TRIGGER-R45-002"
        },
        "initial_payload_hash": "sha256:f15a58922663eff1303dfba8d2e4a09e059f382bde00d9c42b82a1918f836d8b",
        "key": "R45-IDEMP-002",
        "replay_at": "2026-08-27T13:25:00Z",
        "replay_payload": {
            "remedy_receipt_id": "RMR-R45-002",
            "superseded_receipt_id": "CTR-R44-002",
            "trigger_id": "TRIGGER-R45-002"
        },
        "replay_payload_hash": "sha256:f15a58922663eff1303dfba8d2e4a09e059f382bde00d9c42b82a1918f836d8b",
        "replay_result": "same_result",
        "replay_result_hash": "sha256:1e5b6f4664c1891cfdab35b55b5a071f2bff72c7602b9c86f21a5c6cf729b624",
        "result_hash": "sha256:1e5b6f4664c1891cfdab35b55b5a071f2bff72c7602b9c86f21a5c6cf729b624",
        "result_payload": {
            "current_state": "verified",
            "recomputation_output_hash": "sha256:79df63a92583e22b90d3cd942170db43a0d70568d1daadb50e7044d765f0775e",
            "subject_proof_hash": "sha256:7c8ac92996e0d14de76d26b54ff3695424a0267b434a63043b16a4ac1c424082"
        }
    },
    "issued_at": "2026-08-27T12:00:00Z",
    "receipt_hash": "sha256:e4214c80af643639326c8bade1b1d9fca9a52375f2e576797976cea39ee896e9",
    "recomputation": {
        "algorithm": "purpose-limited deterministic rule evaluation",
        "completed_at": "2026-08-27T12:36:00Z",
        "input_hash": "sha256:01a01609f439711b4acc39c138a8b290a4e1b67c6674ec3608923ac0924a806a",
        "inputs": [
            {
                "canonical_hash": "sha256:18e9ef52b125ba588aa15ea5f1e7a872e850c01dca03bc6acd69420cefd51fd3",
                "input_id": "IN-02-01",
                "source": "Purpose-matched submitted record",
                "status": "included",
                "value": "direct evidence retained"
            },
            {
                "canonical_hash": "sha256:ff74d11dcbfa6380bec275b938559e2054db0ec119d047408e1ffe07016dd583",
                "input_id": "IN-02-02",
                "source": "Disputed or cross-context signal",
                "status": "excluded",
                "value": "LABEL-STUDENT-THREAT"
            },
            {
                "canonical_hash": "sha256:5ed8105234808d5a0b553f6d918ca904c08b197311e9642229e31c68079c18d6",
                "input_id": "IN-02-03",
                "source": "Human correction statement",
                "status": "included",
                "value": "context and correction authority"
            },
            {
                "canonical_hash": "sha256:405e513439c0abed55525ab0810ec02272fbdcbe9bb2319c70bf1a84bb54afe1",
                "input_id": "IN-02-04",
                "source": "Version-pinned fictional policy",
                "status": "included",
                "value": "Fictional student-support safeguard order R45-EDU-02"
            }
        ],
        "output_hash": "sha256:79df63a92583e22b90d3cd942170db43a0d70568d1daadb50e7044d765f0775e",
        "outputs": [
            {
                "canonical_hash": "sha256:7f636aee724cfe5cd8f480049e10e6d765e2b2535aed6befc36ad90859a3258c",
                "output_id": "OUT-02-01",
                "status": "current",
                "summary": "Support remains available while punitive classification, disciplinary export, and durable threat identity are disabled."
            },
            {
                "canonical_hash": "sha256:5fa8a4b3bfb6eccd30b4b89297c385a152b971aa17642587d66e0736320e46cb",
                "output_id": "OUT-02-02",
                "status": "revoked",
                "summary": "Former operative state removed: punitive threat label and disciplinary routing."
            }
        ],
        "started_at": "2026-08-27T12:31:00Z",
        "version": "r45-remedy-engine-1.0.0"
    },
    "remedy_receipt_id": "RMR-R45-002",
    "schema": "antichrist.cx.remedy-receipt.v1",
    "sealed_audit_record": {
        "access_log": [
            {
                "access_id": "ACCESS-02-01",
                "actor_id": "ACT-R45-AUDITOR-02",
                "at": "2026-08-27T13: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-27T12: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-002",
        "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-27T13:06:00Z"
    },
    "state_machine": {
        "current_state": "verified",
        "definition_id": "antichrist.cx.remedy-state-machine.r45.v1",
        "transitions": [
            {
                "actor_id": "ACT-R45-OWNER-02",
                "at": "2026-08-27T12:10:00Z",
                "authority": "Fictional student-support safeguard order R45-EDU-02",
                "emergency": false,
                "from": "proposed",
                "reason": "Advance remedy after proposed evidence completed.",
                "scope": "punitive threat label and disciplinary routing",
                "to": "authorized",
                "transition_id": "TRN-02-01"
            },
            {
                "actor_id": "ACT-R45-OPERATOR-02",
                "at": "2026-08-27T12:20:00Z",
                "authority": "Fictional student-support safeguard order R45-EDU-02",
                "emergency": false,
                "from": "authorized",
                "reason": "Advance remedy after authorized evidence completed.",
                "scope": "punitive threat label and disciplinary routing",
                "to": "stop_ordered",
                "transition_id": "TRN-02-02"
            },
            {
                "actor_id": "ACT-R45-OPERATOR-02",
                "at": "2026-08-27T12:30:00Z",
                "authority": "Fictional student-support safeguard order R45-EDU-02",
                "emergency": false,
                "from": "stop_ordered",
                "reason": "Advance remedy after stop_ordered evidence completed.",
                "scope": "punitive threat label and disciplinary routing",
                "to": "recomputing",
                "transition_id": "TRN-02-03"
            },
            {
                "actor_id": "ACT-R45-DOWNSTREAM-02",
                "at": "2026-08-27T12:40:00Z",
                "authority": "Fictional student-support safeguard order R45-EDU-02",
                "emergency": false,
                "from": "recomputing",
                "reason": "Advance remedy after recomputing evidence completed.",
                "scope": "punitive threat label and disciplinary routing",
                "to": "propagating",
                "transition_id": "TRN-02-04"
            },
            {
                "actor_id": "ACT-R45-OWNER-02",
                "at": "2026-08-27T12:50:00Z",
                "authority": "Fictional student-support safeguard order R45-EDU-02",
                "emergency": false,
                "from": "propagating",
                "reason": "Advance remedy after propagating evidence completed.",
                "scope": "punitive threat label and disciplinary routing",
                "to": "verified",
                "transition_id": "TRN-02-05"
            }
        ]
    },
    "stop_orders": [
        {
            "acknowledged_at": "2026-08-27T12:26:00Z",
            "actor_id": "ACT-R45-OPERATOR-02",
            "evidence": {
                "event_id": "STOP-EVT-02-01",
                "observed_at": "2026-08-27T12:26:00Z",
                "status_after": "revoked",
                "status_before": "active"
            },
            "evidence_hash": "sha256:1a97f35701ef6d5cc70b6dc0d6cea8ba0c0f70bf7ccfc3ef3b479ba7c052512b",
            "label": "Student support service",
            "ordered_at": "2026-08-27T12:23:00Z",
            "result": "stopped",
            "stop_order_id": "STOP-02-01",
            "system_id": "EDU-SUPPORT",
            "target_ids": [
                "LABEL-STUDENT-THREAT",
                "FEATURE-PUNITIVE-RISK"
            ]
        },
        {
            "acknowledged_at": "2026-08-27T12:28:00Z",
            "actor_id": "ACT-R45-OPERATOR-02",
            "evidence": {
                "event_id": "STOP-EVT-02-02",
                "observed_at": "2026-08-27T12:28:00Z",
                "status_after": "revoked",
                "status_before": "active"
            },
            "evidence_hash": "sha256:1388a654d728dafa9a0b6d7be9c4e23db9ff2e9f38895e56fd39e6f93e34b585",
            "label": "Disciplinary routing service",
            "ordered_at": "2026-08-27T12:24:00Z",
            "result": "stopped",
            "stop_order_id": "STOP-02-02",
            "system_id": "EDU-DISC",
            "target_ids": [
                "LABEL-STUDENT-THREAT",
                "FEATURE-PUNITIVE-RISK"
            ]
        },
        {
            "acknowledged_at": "2026-08-27T12:30:00Z",
            "actor_id": "ACT-R45-DOWNSTREAM-02",
            "evidence": {
                "event_id": "STOP-EVT-02-03",
                "observed_at": "2026-08-27T12:30:00Z",
                "status_after": "revoked",
                "status_before": "active"
            },
            "evidence_hash": "sha256:529879322949a31aa0017be946db5d0395cdd12f36c56210d4c446a5774c4bec",
            "label": "Staff risk roster cache",
            "ordered_at": "2026-08-27T12:25:00Z",
            "result": "stopped",
            "stop_order_id": "STOP-02-03",
            "system_id": "EDU-ROSTER",
            "target_ids": [
                "LABEL-STUDENT-THREAT",
                "FEATURE-PUNITIVE-RISK"
            ]
        }
    ],
    "subject": {
        "label": "Fictional student",
        "subject_id": "SUB-002"
    },
    "subject_notice": {
        "accessible_contest_route": "/contestability",
        "channel": "Accessible fictional written and screen-reader-ready notice",
        "delivered": true,
        "delivered_at": "2026-08-27T13:02:00Z",
        "proof": {
            "delivered_at": "2026-08-27T13:02:00Z",
            "proof_id": "NOTICE-PROOF-02",
            "remedy_receipt_id": "RMR-R45-002",
            "subject_id": "SUB-002"
        },
        "proof_hash": "sha256:7c8ac92996e0d14de76d26b54ff3695424a0267b434a63043b16a4ac1c424082",
        "summary": "Support remains available while punitive classification, disciplinary export, and durable threat identity are disabled."
    },
    "superseded_decision": {
        "decision_id": "DEC-002",
        "receipt_hash": "sha256:8d6e329cc7571a92fc10f5c656d697aa5fe5d97da6cbe3d5389465d83457aef0",
        "receipt_id": "CTR-R44-002",
        "scope": "punitive threat label and disciplinary routing"
    },
    "title": "Student support record prevented from becoming a punitive threat identity",
    "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.