docs: GC soundness proof — ref counting is complete for IC#42

Open

gavlooth wants to merge 6 commits into

HigherOrderCO:mainfrom

gavlooth:docs/gc-soundness-proof

Commits on Feb 13, 2026

Add @compact primitive and per-size free-list memory recycling

christos-chatzifountas-biotz-io
and
claude
committed
Add post-parse hints, resizable work queues, and elastic ring buffer

christos-chatzifountas-biotz-io
and
claude
committed
Add Stable Index Vector (SIV) for dense cancel-friendly storage

christos-chatzifountas-biotz-io
and
claude
committed
Eliminate malloc+memcpy in elastic ring grow/shrink

christos-chatzifountas-biotz-io
and
claude
committed
Harden elastic ring and SIV: docs, edge cases, test coverage

christos-chatzifountas-biotz-io
and
claude
committed
docs: Add GC soundness proof (ref counting completeness for IC/DAG heap)
christos-chatzifountas-biotz-io
committed