The Modulign Correction Protocol: Formal Specification for Append-Only Error Resolution in DAG-OR
Abstract
The Modulign Observation Registry is append-only: no entry is ever modified or deleted after commit. This invariant is foundational to the system's chain-of-custody argument, its legal applications, and its epistemic integrity. But classification errors occur. Instruments miscalibrate. Domain boundaries are misapplied. Observations are mischaracterized. An append-only system that cannot address error is not rigorous—it is brittle. This paper specifies the Modulign Correction Protocol (MCP): the formal mechanism by which erroneous classifications are identified, annotated, and superseded without violating the Permanence invariant (Invariant 2), the append-only constraint, or the provenance integrity requirement (Invariant 9). The protocol defines five correction types, mandatory fields for correction entries, authorization rules, discoverability requirements, dispute resolution procedures, and the specific obligations that arise when corrected classifications are involved in active legal proceedings.
Cite it
Gonzalez, V. (2026). The Modulign Correction Protocol: Formal Specification for Append-Only Error Resolution in DAG-OR. Zenodo. https://doi.org/10.5281/zenodo.19726401