feat: inspection spans for the playground - #550

Merged

zharinov merged 24 commits into

feat/inspection

Jul 6, 2026

Commits on Jul 5, 2026

feat(bytecode): span effect kinds end-to-end as dead code
zharinov
committed
3d5f380
feat(bytecode): spans section, header field, version 10
zharinov
committed
c089f62
feat(compiler): with_inspection flag plumbing + fixture harness switch
zharinov
committed
4c65e1c
feat(lower): span pre-walk, table, ladder, and section emission
zharinov
committed
23a0151
feat(lower): capture span markers + marker-aware helpers
zharinov
committed
b3f8ca6
feat(lower): node and token pattern spans
zharinov
committed
d6ce7e8
feat(lower): sequence spans
zharinov
committed
8dd07ea
feat(lower): union, enum, and branch spans
zharinov
committed
4836344
feat(lower): quantifier spans
zharinov
committed
35bab2d
feat(lower): ref and definition spans
zharinov
committed
255dbae
feat(lower): field spans, degradation fixture, format docs
zharinov
committed
027c273
feat(vm): inspection extraction from the winning effect log
zharinov
committed
1e89f1f
feat(vm): execute_with_stats
zharinov
committed
f69ff35
feat(cli): run --json emits value + inspection + stats
zharinov
committed
31b2f01
test(vm): inspection golden fixtures
zharinov
committed
0eeb0e2
feat(vm): predicate and neg-field failure tracer events
zharinov
committed
01a1d2d
feat(vm): RecordingTracer + trace --json + recording fixtures
zharinov
committed
922a45a
feat(typegen): to_typescript_mapped + public bytecode views
zharinov
committed
63d97d6
feat(lib): tokenize()
zharinov
committed
bac6b09
feat(cli): ast --json
zharinov
committed
5c60301
feat(analyze): entrypoint-never-matches-root lint
zharinov
committed
2686c3e
feat(cli): inspect command
zharinov
committed
e6b787a
feat(wasm): plotnik-wasm crate skeleton
zharinov
committed
7dafb34

Commits on Jul 6, 2026

fix: harden inspection after review
zharinov
committed
952f53b