Repository navigation

Feature: xphp check - #19

Closed

math3usmartins wants to merge 16 commits into

0.3.xfrom

feat/xphp-check-phase1

Closed

Feature: xphp check#19
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
  5d04c86
- feat(check): collect generic bound violations via an optional diagnostics sink
  
  math3usmartins
  and
  claude
  committed
  b9e1173
- feat(check): add a validate-only pass that collects generic errors
  
  math3usmartins
  and
  claude
  committed
  598a3fb
- refactor(check): move variance-position validation to a collectable phase
  
  math3usmartins
  and
  claude
  committed
  6f86e03
- refactor(check): make inner-variance composition collectable
  
  math3usmartins
  and
  claude
  committed
  90450e8
- refactor(check): run variance-position before defaults; tidy docblocks
  
  math3usmartins
  and
  claude
  committed
  c4e6815
- feat(check): add Text, JSON, and GitHub diagnostic renderers
  
  math3usmartins
  and
  claude
  committed
  7e85687
- test(check): pin GitHub renderer percent/carriage-return escaping
  
  math3usmartins
  and
  claude
  committed
  b077a4c
- feat(check): add the `xphp check` command with per-file parse resilience
  
  math3usmartins
  and
  claude
  committed
  3034f64
- refactor(check): read source files outside the parse try/catch
  
  math3usmartins
  and
  claude
  committed
  21f855b
- docs: document the `xphp check` diagnostics gate
  
  math3usmartins
  and
  claude
  committed
  d552742
Commits on Jun 18, 2026
- docs: clarify that `xphp check` is not yet a substitute for `xphp compile`
  
  math3usmartins
  and
  claude
  committed
  c34b0a1
- feat(check): collect method/function/closure-level generic errors
  
  math3usmartins
  and
  claude
  committed
  078f9d9
- test(check): cover the static-closure collect path; document new codes
  
  math3usmartins
  and
  claude
  committed
  1892b73
- build(phpstan): raise analysis to level 9 and fix the surfaced findings
  
  math3usmartins
  and
  claude
  committed
  d008c05
- ci: self-test the `xphp check` gate end-to-end (+ PHAR smoke)
  
  math3usmartins
  and
  claude
  committed
  984c2fd

Commits

Commits on Jun 17, 2026

Commits on Jun 18, 2026