Amend a receipt without erasing what came before.

What a Correction-Trail Receipt is

A Correction-Trail Receipt is an organised record of an amendment to a prior receipt. It records:

• Which receipt is being corrected (by ID and type), who is doing the correcting, when, and the position of this correction in the chain (correction_index).
• The kind of correction (factual error, typo, missing information added, superseded by review, withdrawn, clarification), the substance of the change, and the reason.
• An optional supersedes pointer to the immediately prior Correction-Trail Receipt in the chain when this is the second or later correction; and an optional Human Review Receipt ID when a review authorised the correction.

What this receipt proves

• The receipt content has not been altered since the hash was computed — anyone holding the JSON can recompute the SHA-256 and confirm a match.
• A creation timestamp recorded by the device that built the receipt.
• A self-attestation by the corrector that, on the stated date, the named prior receipt was amended in the stated way for the stated reason.

What this receipt does not prove

• That the facts inside the receipt are true. The receipt is self-attested by its creator.
• That the receipt is signed by an institutional issuer. The current reference implementation uses no signing key.
• That the timestamp is anchored to an external clock or registry. The timestamp is taken from the device that built the receipt.
• That the original receipt was wrong. The Correction-Trail Receipt records that the corrector judged a change was needed; the original is preserved unchanged for inspection.
• That any institution, regulator, court, employer, university, board, or platform must accept the receipt as evidence. Acceptance is decided by the receiving party.

Truth-boundary preserved

PlenaProof does not certify AI systems or guarantee regulatory compliance. PlenaProof helps institutions and individuals document amendments, sharpenings, withdrawals, and the audit trail across them. A Correction-Trail Receipt is an organised record of an amendment to a prior receipt, traced back to the receipt it amends, formatted so a student, client, regulator, board, funder, court, employee, journalist, parent, donor, partner, or public agency can read it. It is not a certificate, not a court filing, not a regulator-issued audit, and not an official acknowledgement by any external authority.

Future production releases may add issuer signing keys, external timestamp anchoring, a public revocation registry, and issuer-signed correction chains and external timestamp anchoring of the correction events. These remain roadmap items.