[GH-ISSUE #558] Comparators derive definite answers from partially observed evidence #284

New issue

Closed

opened 2026-10-15 18:23:27 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-15 18:23:27 +00:00

Owner

Originally created by @morluto on GitHub (Oct 5, 2026).
Original GitHub issue: https://github.com/morluto/rea/issues/558

Remaining scope

Application-version comparison still ignores graph truncation in its completeness checks. Managed-method body comparison can classify unavailable/partial decoded bodies as definite changes. EvidenceBundle one-sided membership lacks proof of complete opposite-side observation. Share completeness rules and scope unknowns to the unobserved facet while preserving independently observed changes. References to removed replay projectors are historical context, not remaining work.

Verification

Exercise representative valid and malformed producer data through the consumer boundary and assert the resulting observations, unknowns, or actionable failure. Keep CLI/MCP behavior aligned where applicable.

This scope was refreshed after removal of replay and permission plumbing and merge of PR #538; implementation is being addressed in the boundary root-cause cleanup.

Originally created by @morluto on GitHub (Oct 5, 2026). Original GitHub issue: https://github.com/morluto/rea/issues/558 ## Remaining scope Application-version comparison still ignores graph truncation in its completeness checks. Managed-method body comparison can classify unavailable/partial decoded bodies as definite changes. EvidenceBundle one-sided membership lacks proof of complete opposite-side observation. Share completeness rules and scope unknowns to the unobserved facet while preserving independently observed changes. References to removed replay projectors are historical context, not remaining work. ## Verification Exercise representative valid and malformed producer data through the consumer boundary and assert the resulting observations, unknowns, or actionable failure. Keep CLI/MCP behavior aligned where applicable. This scope was refreshed after removal of replay and permission plumbing and merge of PR #538; implementation is being addressed in the boundary root-cause cleanup.

bsakaguchi

2026-10-15 18:23:27 +00:00