Skip to content

Implement precise verification reports and corruption refusal #20

Description

@flyingrobots

Outcome

Verify content and store structure at explicit depths, report exactly what was established, and refuse when evidence is missing, conflicting, or corrupt.

Dependencies

Blocked by #15, #16, and #17.

Acceptance criteria

  • Verification policy uses explicit enums rather than boolean flags.
  • Reports distinguish framing, checksum, chunk identity, layout identity, complete blob identity, catalog reachability, and retention-root verification.
  • Partial verification cannot be presented as complete verification.
  • Expected and observed identities, lengths, generations, or format versions are retained in typed failures where safe.
  • Missing content is distinguished from corrupt content and ambiguous conflicting content.
  • Verification never silently repairs, substitutes, quarantines, or rewrites physical state.
  • Every durable structural field has permanent corruption mutations.
  • Verification memory, I/O, and complexity are documented and bounded.
  • Reports contain no plaintext content, keys, or unbounded sensitive paths.
  • The Golden File Worldline corruption assertions pass.

Non-goals

  • Automatic repair.
  • Remote attestation or cryptographic proof systems.
  • Application-level trust decisions.
  • Garbage collection.

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:formatCanonical durable formats and decodingarea:identityLogical content identity and typed coordinatesarea:readReconstruction, streaming, and byte-range readsarea:recoveryCrash states, reconciliation, and recoveryarea:verificationIntegrity verification and corruption posturekind:implementationProduction implementation workkind:testTest infrastructure or failure-mode evidencepriority:P1Must fix before closing out the current milestone

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions