mirror of
https://github.com/morluto/rea.git
synced 2026-11-14 10:43:30 +00:00
0fa03afe7d
verify_reconstruction trusted a structural-artifact comparison's aggregate status without checking its rows, so a caller-imported comparison that said "unchanged" while retaining a changed row passed the claim. - The artifact comparison schema rejects an "unchanged" aggregate that retains change rows, non-zero change counts or integrity mismatches. - Comparison Evidence validates integrity-mismatch citations like row citations. - Verification replays compareArtifacts over the cited source inventories for definite outcomes, rejects manifest identities that disagree with the sources, and withholds a pass when the sources do not corroborate the claimed status. Fixes #7304 Squashed from #7308 (including morluto's corroboration commits) and rebased onto main. Co-authored-by: ducanhnguyen223 <ducanhnguyen223@github.com> Co-authored-by: morluto <76467478+morluto@users.noreply.github.com> Co-authored-by: gensokyo-dev <gensokyo-dev@users.noreply.github.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>