feat!: Add steps and memory limits, fix deep-input VM crashes - #516

Merged

zharinov merged 11 commits into

stack-safety-and-exec-limits

Jun 22, 2026

Commits on Jun 21, 2026

fix: Make VM backtracking iterative to bound native stack
zharinov
committed
619a755
fix: Make output-path tree walks iterative to bound native stack
zharinov
committed
8633fe5
feat: Redesign runtime limits as orthogonal steps + memory
zharinov
committed
bbf0831
feat: Surface execution limits as CLI knobs with an error presenter
zharinov
committed
adb67bc
test: Add property safety net for the no-crash thesis
zharinov
committed
b70f90a
docs: Describe the limits model directly, not as a migration
zharinov
committed
8e7df15
fix: Report measured memory usage when the limit trips
zharinov
committed
501beae
fix: Drop the 'none' limit synonym for one opt-out spelling
zharinov
committed
7db160b
docs: Scope the memory limit to execution and temper overclaims
zharinov
committed
6f38091

Commits on Jun 22, 2026