Skip to content

Slice: Add replay proof for Jim edit and bounded reading #632

Description

@flyingrobots

Slice

Prove the same Jim edit outcome and bounded reading can be replayed from Echo evidence.

Done when:

  • witness covers mutation, bounded QueryView reading, retained evidence, and replay;
  • replay result matches the observed result;
  • replay unavailable/faulted states are explicit posture.

Goalpost

Part of Goalpost: Jim Evidence Gate for Echo v0.1.0 under milestone v0.1.0 - Jim Evidence Gate.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions