Skip to content

Expose independently comparable typed result recovery evidence #702

Description

@flyingrobots

Outcome

Expose schema-neutral result evidence from original execution, fresh-host recovery, and recovered WAL outcome so an external application can independently compare the exact compiler-authored typed result across recovery.

Acceptance criteria

  • The generic runner reports the original, fresh-host recovered, and WAL-recovered application-result evidence as typed schema-neutral fields.
  • Each report carries the projection identity, output type, canonical bytes, and result identity already admitted by Echo.
  • A passing witness requires all three reports to be byte-identical.
  • Negative runner coverage proves substituted recovery or WAL result evidence cannot produce a passing witness.
  • No Hello Echo vocabulary, native callback, or application-specific decoder enters Echo production code.

Downstream

Blocks flyingrobots/hello-echo#18.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestfeatureFeature umbrella (epic)legend:testMethod legend test.needs-witnessMethod closeout state needs-witness.priority:highMethod priority high.roadmap-aRoadmap A: standalone Hello Echo deliveryruntimeRuntime corespecSpec/Design documenttoolingTooling/CI/CLItype:enhancementMethod work type enhancement.

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions