Shay 04e70dabfa Update generate/derivation/verify.py ... Co-authored-by: gemini-code-assist[bot] <176961590+gemini-code-assist[bot]@users.noreply.github.com>		2026-05-28 15:56:54 -07:00
..
__init__.py	feat(adr-0175-phase3b): bounded multiplicative search in the sealed practice lane	2026-05-28 15:29:08 -07:00
extract.py	feat(adr-0175-phase3b): bounded multiplicative search in the sealed practice lane	2026-05-28 15:29:08 -07:00
model.py	feat(adr-0175-phase3a): self-verification gate (built before the search)	2026-05-28 15:19:02 -07:00
search.py	feat(adr-0175-phase3b): bounded multiplicative search in the sealed practice lane	2026-05-28 15:29:08 -07:00
verify.py	Update generate/derivation/verify.py	2026-05-28 15:56:54 -07:00