[3/6] feat: EQL v3 type checker driven by per-column domain capability#424

Open

freshtonic wants to merge 10 commits into

queue/eql-v3/upgrade-depsfrom

queue/eql-v3/typecheck

Commits on Jul 23, 2026

docs: handoff for the EQL v3 type checker design
freshtonic
committed
docs(eql-mapper): record v3 type-checker design (glossary + ADRs)
freshtonic
committed
fix(eql-mapper): correct EqlTraits set difference and bound-error operands
freshtonic
committed
feat(eql-mapper): carry inert v3 domain identity in the type carriers
freshtonic
committed
feat(proxy): load EQL v3 per-column capability from the domain name
freshtonic
committed
refactor(eql): make v3 domain identity non-optional; JSON = JsonLike + Contain
freshtonic
committed
docs(eql-mapper): warn that DomainIdentity::canonical may collide with a real domain
freshtonic
committed
feat(proxy): make the v2-column plaintext warning ops-visible
freshtonic
committed
fix(proxy): exclude eql_v3_json_entry from the column-domain catalog
freshtonic
committed
docs(eql-mapper): correct Contain and cross-check in the v3 ADRs
freshtonic
committed