Replace per-edit unsafety ratchet with reviewed net-decrease policy - #167

Closed

thedataking wants to merge 23 commits into

perl/ffi-pregate-recoveryfrom

perl/optimize-agent-loop

Commits on Aug 5, 2026

find_unsafe2: test the checker against known count-gaming rewrites
thedataking
committed
1528c17
find_unsafe2: check crates missing from the baseline against an empty inventory
thedataking
committed
84ba4af
find_unsafe2: track exported symbols and reject changes to the export set
thedataking
committed
655efa9
find_unsafe2: charge impl-code uses of local FFI entry points
thedataking
committed
95644a0
find_unsafe2: charge inline asm as an unsafety metric
thedataking
committed
bc7fa85
find_unsafe2: reject new unsafe trait impls
thedataking
committed
4ae1202
find_unsafe2: attribute closure metrics to the enclosing function
thedataking
committed
b772bc4
find_unsafe2: charge pointer-materializing std calls as int-to-ptr casts
thedataking
committed
2ab4d67
find_unsafe2: charge raw pointers carried inside local structs in signatures
thedataking
committed
3cd5cde

Commits on Aug 6, 2026

loop: recover review findings from op_history across restarts
thedataking
committed
17eb005

Commits on Aug 7, 2026

Commits on Aug 9, 2026