6 commits

Author	SHA1	Message	Date
trvon	fd4a68dfff	test: add coverage for project graph, pcode encoder, and detector behaviors ... Unit + integration coverage for the session's work: incremental project graph/index, pcode encoder, unreachable/dead-branch, equiv/cross-TU, div-by-zero/sign-conversion/int-truncation, use-after-free, quality-precision, scan-router profile, source TU runner, detector plan, and the eval fixtures.	2026-08-16 16:46:07 -06:00
trvon	86b2f14a43	feat(analysis): harden project-wide scans ... - persist TU-owned graphs and guarded configuration evidence - add closed-world production reachability classification - calibrate detector precision and reviewed self-scan policy - terminate poisoned workers instead of longjmp recovery	2026-07-30 18:18:04 -04:00
trvon	2227ff0c69	perf(profile): avoid duplicate fingerprint parse	2026-07-29 23:03:17 -04:00
trvon	bcdcb3036b	feat(analysis): harden quality and solver pipelines	2026-07-29 20:46:51 -04:00
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	50230c809b	checkpoint	2026-06-04 20:20:29 -04:00