2 commits

Author	SHA1	Message	Date
trvon	2dcbdbc75d	feat: harden Fold quality guard ... Preserve source, binary, and runtime evidence boundaries while making precision and performance regressions reproducible. - decompose analysis orchestration into bounded modules - add differential, metamorphic, organic, and Yams change-time gates - fix detector, P-Code, fuzz sanitizer, and report identity precision	2026-07-13 15:05:35 -04:00
trvon	07a39e73a7	perf(symbolic): compact serialised summaries via z3 let-bindings ... Drop pp.min-alias-size from 10 (default) to 2 so shared subterms collapse under `let` in serialize(). Measured 39.9% byte reduction on encoder-shaped n=100 corpus (94.9KB -> 57.0KB). Roundtrip preserved -- deserialize() parses let-form via z3's SMT-LIB reader.	2026-05-25 09:19:13 -04:00