fix(sf-323): activate cost-based eviction — measure per-record cost + mark records clean once durable#87

Merged

ivkan merged 11 commits into

mainfrom

fix/sf-323-eviction-cost

Jun 24, 2026

Commits on Jun 24, 2026

feat(sf-323): add estimated_cost helper + document cost non-leakage invariant (G1)
ivkan
committed
feat(sf-323): stamp real cost at all three write sites, update bug-encoding test (G2)
ivkan
committed
test(sf-323): add AC1–AC4 behavioral e2e tests for cost-based eviction (G3)
ivkan
committed
fix(sf-323): clippy -D warnings + cargo fmt clean (G4 gate)
ivkan
committed
fix(sf-323): close second dormancy gate — mark records clean once durable (R6)
ivkan
committed
test(sf-323): de-fiction AC1/AC2/AC3, add AC6 — real clean-marking path
ivkan
committed
style(sf-323): cargo fmt eviction_cost_test.rs
ivkan
committed
fix(sf-323): close R6 clean-marking TOCTOU with atomic engine mark_stored
ivkan
committed
fix(sf-323): mark_stored docs tell the true best-effort contract
ivkan
committed
fix(sf-323): estimated_cost serde failure → warn + bounded sentinel
ivkan
committed
test(sf-323): compile-time non-leak guard for RecordMetadata
ivkan
committed