(feat): add 2-tier pool safety — compile-time escape detection + runtime validation#25

Merged

mgyoo86 merged 32 commits intomasterfrom

feat/debug_mode

Mar 10, 2026

Commits on Mar 7, 2026

fix: add POOL_DEBUG validation to function definition macro forms
mgyoo86
committed
refactor: extract debug logic from utils.jl into dedicated debug.jl
mgyoo86
committed
feat: add POOL_SAFETY tier system with guard-level invalidation on rewind
mgyoo86
committed

Commits on Mar 8, 2026

refactor: rename POOL_SAFETY to POOL_SAFETY_LV for clarity and consistency
mgyoo86
committed
feat(legacy): backport POOL_SAFETY guard invalidation to LTS path
mgyoo86
committed
feat: add Level 2 poisoning (NaN/sentinel fill) to POOL_SAFETY
mgyoo86
committed
feat: add compile-time escape detection for @with_pool macros
mgyoo86
committed
test: expand compile-time escape detection with integration and edge case tests
mgyoo86
committed
feat: upgrade container escapes to compile-time errors, add destructuring support
mgyoo86
committed
refactor: introduce PoolEscapeError with rich formatted showerror
mgyoo86
committed
feat: scan all return points for escape detection (branches, loops, ternary)
mgyoo86
committed
feat: show exact escape points with line numbers and highlighted expressions
mgyoo86
committed
fix: enhance error message formatting in PoolEscapeError showerror function
mgyoo86
committed

Commits on Mar 9, 2026