Feature: xphp check#19

Closed

math3usmartins wants to merge 16 commits into

0.3.xfrom

feat/xphp-check-phase1

Commits on Jun 17, 2026

feat(diagnostics): add Diagnostic value-object model for the check gate

math3usmartins
and
claude
committed
feat(check): collect generic bound violations via an optional diagnostics sink

math3usmartins
and
claude
committed
feat(check): add a validate-only pass that collects generic errors

math3usmartins
and
claude
committed
refactor(check): move variance-position validation to a collectable phase

math3usmartins
and
claude
committed
refactor(check): make inner-variance composition collectable

math3usmartins
and
claude
committed
refactor(check): run variance-position before defaults; tidy docblocks

math3usmartins
and
claude
committed
feat(check): add Text, JSON, and GitHub diagnostic renderers

math3usmartins
and
claude
committed
test(check): pin GitHub renderer percent/carriage-return escaping

math3usmartins
and
claude
committed
feat(check): add the `xphp check` command with per-file parse resilience

math3usmartins
and
claude
committed
refactor(check): read source files outside the parse try/catch

math3usmartins
and
claude
committed
docs: document the `xphp check` diagnostics gate

math3usmartins
and
claude
committed