Add smem --sweep-dominated: budgeted eviction of dominated LTIs (draft)#580

Open

kimjune01 wants to merge 12 commits intoSoarGroup:developmentfrom

kimjune01:smem-sweep-dominated

Commits on Mar 25, 2026

Commits on Mar 27, 2026

Add smem --redundancy-check for tree inclusion detection
kimjune01
committed
Fix tree inclusion: backtracking matcher, sound cycle handling, CLI error routing
kimjune01
committed
Fix global injectivity and coinductive cycle handling
kimjune01
committed
Transactional backtracking and drop context-dependent memoization
kimjune01
committed
Pin root binding and add runtime help text
kimjune01
committed
Add smem --sweep-dominated: budgeted mark-and-sweep eviction of dominated LTIs
kimjune01
committed
Add delete_ltm: full LTI deletion with proper bookkeeping
kimjune01
committed
Fix NULL-safe attribute frequency check, add inbound-ref test
kimjune01
committed
Fix parent trajectory invalidation, NULL-safe attr check, inbound-ref test
kimjune01
committed