Implement semantic predicate accountability hooks#55

Merged

tinovyatkin merged 60 commits into

mainfrom

codex/issue-9-semantic-delivery

Jul 10, 2026

Commits on Jul 4, 2026

Implement semantic predicate accountability hooks
tinovyatkin
committed

Commits on Jul 5, 2026

Commits on Jul 6, 2026

Close review gaps: fail-loud semantic boundary + manifest provenance
tinovyatkin
committed
Extend fail-loud boundary to generated-direct + lexer hook policy
tinovyatkin
committed
Filter parser/lexer predicate scans to their own rules
tinovyatkin
committed
Make predicate rule-name filter conservative on unresolvable headers
tinovyatkin
committed
Close remaining fail-loud + combined-grammar gaps in semantics codegen
tinovyatkin
committed
Surface fail-loud semantic error before replaying buffered actions
tinovyatkin
committed
Distinguish native '<' predicates from templates; filter predicate provenance
tinovyatkin
committed
Honor per-coordinate lexer hook + grammarless overrides
tinovyatkin
committed
Honor per-coordinate lexer assume-false; filter parser actions first
tinovyatkin
committed
Preserve unknown predicate hits across nested interpreted parses
tinovyatkin
committed
Make per-coordinate overrides win over built-in translations
tinovyatkin
committed
Escalate to Error policy when a predicate is hook-disposed
tinovyatkin
committed
Keep parser actions with unresolvable headers; keep composite override drop
tinovyatkin
committed

Commits on Jul 7, 2026

Commits on Jul 8, 2026

Commits on Jul 9, 2026

Commits on Jul 10, 2026