refactor: establish layer-specific vocabulary across Plotnik - #576

Merged

zharinov merged 86 commits into

refactor/naming

Jul 14, 2026

Commits on Jul 13, 2026

refactor: unify alternation syntax model
zharinov
committed
aab38f0
refactor: name semantic variants precisely
zharinov
committed
26ad130
refactor: teach canonical terminology in diagnostics
zharinov
committed
211ccb4
refactor: bind queries to grammars
zharinov
committed
4e5d8f0
refactor: name generated matching APIs precisely
zharinov
committed
6629e26
refactor: make tree display terminology precise
zharinov
committed
0c5efac
refactor: preserve idiomatic generated query APIs
zharinov
committed
62cf345
refactor: name exact anchors and lazy quantifiers
zharinov
committed
5951537
refactor: distinguish output contexts in analysis
zharinov
committed
09f4c2f
refactor: expose matcher work as fuel
zharinov
committed
8136750
test: align fixture paths with canonical terminology
zharinov
committed
64d2f67
refactor: model selectable root extent explicitly
zharinov
committed
b62b85f
refactor: model field completion explicitly
zharinov
committed
ba4a34b
refactor: name text values precisely
zharinov
committed
554a574
refactor: name compiler records precisely
zharinov
committed
e190550
refactor: name record values precisely
zharinov
committed
117da7e
refactor: name option types precisely
zharinov
committed
841b123
refactor: normalize option types
zharinov
committed
4b99a37
test: preserve formatter panic regression
zharinov
committed
ca52d2b
refactor: finalize record field types
zharinov
committed
bb47b20
refactor: preserve type declaration identity
zharinov
committed
3db8ef5
refactor: use list terminology for result types
zharinov
committed
21d2c2a
refactor: canonicalize output event names
zharinov
committed
6dd211e
refactor: name the match journal
zharinov
committed
c5f1a04
refactor: name typed result decoding
zharinov
committed
1105fa7
refactor: name grammar binding
zharinov
committed
5229133
refactor: name bytecode coordinates
zharinov
committed
1fa1bdb
refactor: name the bytecode instruction stream
zharinov
committed
629eda8
refactor: distinguish node reference roles
zharinov
committed
29b707c
refactor: name optional node points precisely
zharinov
committed
71ac590
refactor: name result provenance precisely
zharinov
committed
6afbfb2
refactor: qualify inspection protocol domains
zharinov
committed
04a8950
refactor: shape inspection rows by domain
zharinov
committed
14a4fba
refactor: name peak heap usage precisely
zharinov
committed
5533f35
refactor: name source tree surfaces precisely
zharinov
committed
484d18a
docs: use fuel for matcher work limits
zharinov
committed
d68359e
refactor: name satisfiability work budget
zharinov
committed
f2d8dfd
fix: call capture types capture types
zharinov
committed
9749eac
docs: define public query vocabulary
zharinov
committed
3c65a77
refactor: name diagnostic conditions precisely
zharinov
committed
6b9a183
refactor: spell EntryPoint as two words
zharinov
committed
beb8847
refactor: name entry-point analysis consistently
zharinov
committed
aa2fec0
refactor: snake-case entry-point methods
zharinov
committed
49c1a66
refactor: snake-case entry-point storage
zharinov
committed
e6ae447
refactor: spell entry points in dump protocol
zharinov
committed
7979976
refactor: expose entry points consistently in web sessions
zharinov
committed
768d656
refactor: name discard syntax directly
zharinov
committed
12f60ea
refactor: replace void with no-value terminology
zharinov
committed
cac25f6
refactor: spell entry point consistently in cli
zharinov
committed
2ab800d
refactor: spell entry point consistently in bytecode
zharinov
committed
ffcf1eb
refactor: spell entry point consistently in analysis
zharinov
committed
8e646ae
refactor: spell entry point consistently in lowering
zharinov
committed
637db38
refactor: spell entry point consistently at runtime
zharinov
committed
9d96bb4
docs: spell entry point consistently
zharinov
committed
e841cca
refactor: expose canonical syntax tree names
zharinov
committed
a841763
refactor: name control flow successors precisely
zharinov
committed
116c193
test: name parser fixtures canonically
zharinov
committed
3c7b3b6
test: name analysis fixtures canonically
zharinov
committed
8e32e3d
test: name bytecode fixtures canonically
zharinov
committed
d4ef4a0
test: name result-type fixtures canonically
zharinov
committed
951c1f9
test: name runtime fixtures canonically
zharinov
committed
507a225
refactor: remove legacy terminology leaks
zharinov
committed
4ed0835
refactor: name empty matches precisely
zharinov
committed
eebd984
refactor: reserve branch for language control flow
zharinov
committed
9451fb6
test: finish canonical fixture naming
zharinov
committed
c65df68
refactor: align list and record terminology
zharinov
committed
aba9156
refactor: reserve scalar for runtime framing
zharinov
committed
e21b23a
refactor: name structured execution traces
zharinov
committed
ab7d6a4
refactor: reserve step for debugger actions
zharinov
committed
aa62fb2
refactor: separate match-only output from value types
zharinov
committed
ba1570e
refactor: separate type declarations from shapes
zharinov
committed
95cab35
refactor: name runtime result values semantically
zharinov
committed
adb650f
refactor: name variant payload verification precisely
zharinov
committed
6395b66
refactor: remove remaining terminology leaks
zharinov
committed
cf7ef67
refactor: separate output events from execution traces
zharinov
committed
f153deb
refactor: materialize from output events
zharinov
committed
a146e59
refactor: name definition specializations precisely
zharinov
committed
20f7e7c
refactor: distinguish options from optional syntax
zharinov
committed
252af44
refactor: name value observation and variant cases precisely
zharinov
committed
c88b0d5
refactor: distinguish query node leaf patterns
zharinov
committed
8bc65c0
refactor: name the target-neutral result schema
zharinov
committed
5328f1f
docs: distinguish output events from the match journal
zharinov
committed
833b33b
docs: record the terminology contract
zharinov
committed
8085a48
refactor: enforce canonical terminology across surfaces
zharinov
committed
60a4f0d
test: name discarded results precisely
zharinov
committed
c8dac50
docs: replace terminology plan with naming guide
zharinov
committed
e488f5d