Problem
A caller passing a superset of contents (e.g. whole-KB dump) gets INVALID even when every receipt source matches: unknown ids are appended to mismatched.
Where
src/answerproof/verifier.py (verify_sources: unknown ids fail the check).
Acceptance
Add a failing test first with all receipt sources matching plus one extra id, expecting sources: passed. Then fix.
Problem
A caller passing a superset of contents (e.g. whole-KB dump) gets INVALID even when every receipt source matches: unknown ids are appended to
mismatched.Where
src/answerproof/verifier.py(verify_sources: unknown ids fail the check).Acceptance
Add a failing test first with all receipt sources matching plus one extra id, expecting
sources: passed. Then fix.