refactor(verification): weaken inv_field_001 axiom to document-level preservationFriendly (rebased follow-up to #208)#220

Merged

stevenobiajulu merged 2 commits into

mainfrom

weaken-fieldcontext-predicate-rebase-20260522

May 22, 2026

Commits on May 22, 2026

refactor(verification): weaken inv_field_001 residual axiom to document-level preservation friendliness

Steven Obiajulu
authored and
Steven Obiajulu
committed
fix(verification): drop assertRecursivelyWellformed from deletion fixture (currently catches #217 engine non-conformance)

Steven Obiajulu
authored and
Steven Obiajulu
committed