4 implement runtime analyzer minimal execution tool - #5

Merged

SizzleUnrlsd merged 8 commits into

mainfrom

4-implement-runtime-analyzer-minimal-execution-tool

Jul 15, 2026

Commits on Jul 15, 2026

chore(runtime): ignore generated analyzer artifacts
SizzleUnrlsd
committed
faa75df
feat(runtime): implement minimal runtime analyzer execution
SizzleUnrlsd
committed
b55e173
docs(runtime): document runtime analyzer usage
SizzleUnrlsd
committed
d6df3ac
test(runtime): add batch analyzer validation script
SizzleUnrlsd
committed
3980fb3
test(runtime): add F4 minimal execution proof
SizzleUnrlsd
committed
ef2ca00
test(runtime): add F11 bounds overflow proof
SizzleUnrlsd
committed
601e35a
docs(runtime): add runtime analyzer implementation issue
SizzleUnrlsd
committed
6332c05
test: add some tests
SizzleUnrlsd
committed
c42f7b5