title: customer economic value >=10x is NO-GO

status: retained

disposition: retained

verification_evidence: sealed registry row read; not independently reproduced this pass


title: KEM binding models are consistency checks not discoveries


title: R4 1379333x is projection


title: R6 7/7 Wi-Fi CVEs corrected to 3 families


title: R7 decirc speed claims corrected


title: R8 Actions billing block false


title: R9 six-engine K=7 claim corrected to four


title: R10 K_constr 6 corrected to 7


title: R11 unsound 123-line Farkas checker deleted

verification_evidence: CHECK_SRC->oss/farkas-check/src/farkas_check.c verified at tools/check_farkas_certs.py:52; both forging certs present; gate single_checker_no_fork present


title: forced-set intersection empty


title: identity-unbound request admitted


title: 13 forged minhw certificates accepted before repair


title: 24 forged BOMs and wrong citations accepted before repair


title: dyncap off-by-one depended on load


title: underclaim recall regressed to 1/3


title: outward hunt found zero novel breaks


title: counters-k3 search refuted its intended hypothesis


title: component floors do not add: 512 states versus joint 70


title: lake build alone is not a sorry/axiom gate


title: dyncap mem signal is a counter contrary to README


title: guard-advertising gate docstring false on arrival


title: sky130 liberty has no upstream checksum/NOTICE


title: unreachable manifest percent-encodes tabs


title: re_derived was substring search including comments


title: dyncap model contaminated


title: Phase0 URL capture regex produced run-wide false negatives


title: sealed registry sweep omitted folder4 package names


title: checkout restore leaves created files behind


title: R1 unconditional K>=26 and DRAT claim retracted


title: R2 1095743x DoS claim retracted


title: R3 361587x measured claim corrected


title: R5 2146200 evaluations retracted


title: redundancy probe swallowed 1400 TypeErrors


title: 33 attack traces fail clean-clone reproduction


title: raw invariance runs FAIL then receive disclosed reclassification


title: stale pyc broke three restores


title: red/green anchors silently stopped applying


title: modelrisk check rejected the correct repaired answer