feat(diagnostics): resolve revision-scoped text selectors - #254

Draft

seonghobae wants to merge 30 commits into

feat/writing-diagnostics-contractfrom

feat/writing-diagnostics-projection

Commits on Aug 12, 2026

test(diagnostics): define inverse text projection contract
seonghobae
committed
54bc3c2
ci(diagnostics): expose inverse projection TDD red state
seonghobae
committed
b607c86
feat(diagnostics): share Unicode grapheme boundary classification
seonghobae
committed
ebc9c2e
refactor(diagnostics): share selector grapheme boundary logic
seonghobae
committed
8363cc2
feat(diagnostics): resolve exact text projection selectors
seonghobae
committed
be7fbd3
ci(diagnostics): expose inverse projection failures
seonghobae
committed
6630fde
fix(diagnostics): separate block leaf projections correctly
seonghobae
committed
1d3c052
test(diagnostics): mark intentional invalid projection fixtures
seonghobae
committed
fe0892e
fix(diagnostics): contain hostile grapheme segmenters
seonghobae
committed
f713ec4
refactor(diagnostics): harden and compact inverse projection
seonghobae
committed
410e99a
test(diagnostics): harden structural and hostile projection boundaries
seonghobae
committed
763598b
ci(diagnostics): enforce exact projection coverage
seonghobae
committed
c429a5d
test(diagnostics): cover forward grapheme failure contracts
seonghobae
committed
dce44ae
test(diagnostics): cover exact inverse reflection outcomes
seonghobae
committed
07c535a
ci(diagnostics): remove unreachable projection postcondition
seonghobae
committed
f6df0b7
refactor(diagnostics): remove unreachable projection postcondition
github-actions[bot]
committed
4d61c62
ci(diagnostics): include projection boundary coverage
seonghobae
committed
3490118
ci(diagnostics): remove completed one-shot refactor
seonghobae
committed
e9fe5e1
test(diagnostics): require inverse projection public exports
seonghobae
committed
8b5da10
ci(diagnostics): verify inverse projection exports
seonghobae
committed
2fe8f27
feat(diagnostics): export inverse selector projection subpath
seonghobae
committed
e668918
feat(diagnostics): export inverse projection from root
seonghobae
committed
3ab5197
build(diagnostics): include inverse projection declarations
seonghobae
committed
5c19c0e
test(package): verify inverse selector consumers
seonghobae
committed
dff205a
ci(diagnostics): run inverse projection package acceptance
seonghobae
committed
9c1e912
docs(adr): inherit strict diagnostics v1 decision
seonghobae
committed
f42f150
docs(plan): inherit strict diagnostics v1 errata
seonghobae
committed
5d99a4d
Merge feat/writing-diagnostics-contract into feat/writing-diagnostics-projection
seonghobae
committed
1e16e79

Commits on Aug 16, 2026

chore(diagnostics): inherit ADR 0028/0029 authority
seonghobae
committed
5e49f37

Commits on Aug 18, 2026

fix(stack): preserve parent ADR gate while synchronizing projection lane
seonghobae
committed
760021c