abstraction-laws

Law-driven abstraction protocol: evidence first, seam test, minimal algebra, executable law check.