Repository navigation

0.3.0 - #20

Merged

math3usmartins merged 252 commits into

mainfrom

0.3.x

Jul 20, 2026

Merged

0.3.0#20
math3usmartins merged 252 commits into
mainfrom
0.3.x

This pull request is big! We're only showing the most recent 250 commits

Commits on Jun 17, 2026
- 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
- feat(check): foundations for running PHPStan over compiled output
  
  math3usmartins
  and
  claude
  committed
  dfc79c0
- feat(check): run PHPStan over representative specializations and parse findings
  
  math3usmartins
  and
  claude
  committed
  8e27841
- feat(check): map PHPStan findings to .xphp and wire the pass into `check`
  
  math3usmartins
  and
  claude
  committed
  cd721d4
- test(check): group the PHPStan-pass tests and split them out of test/unit
  
  math3usmartins
  and
  claude
  committed
  b85392a
- docs(check): document the PHPStan pass; add CI job + changelog
  
  math3usmartins
  and
  claude
  committed
  8a8e24e
- feat(check): machinery to detect undeclared type parameters (no-op)
  
  math3usmartins
  and
  claude
  committed
  ed4b1c7
- feat(check): flag undeclared type parameters in generic members
  
  math3usmartins
  and
  claude
  committed
  1bba5b5
- feat(check): extend undeclared-type detection to method-level generics
  
  math3usmartins
  and
  claude
  committed
  1a9fc6d
- feat(check): flag undeclared names in generic bounds and defaults
  
  math3usmartins
  and
  claude
  committed
  dbb4dda
- feat(check): report too many type arguments instead of silently truncating
  
  math3usmartins
  and
  claude
  committed
  82a5f78
- fix(check): don't flag a scalar bound as an undeclared type
  
  math3usmartins
  and
  claude
  committed
  cc41010
- docs(changelog): record the undeclared-type and too-many-args checks
  
  math3usmartins
  and
  claude
  committed
  5bae46d
- docs: add Architecture Decision Records
  
  math3usmartins
  and
  claude
  committed
  68f1911
- docs(adr): correct ADR-0005 — unknown bounds are rejected, not deferred
  
  math3usmartins
  and
  claude
  committed
  263dd2d
- docs(adr): correct three records to match the code
  
  math3usmartins
  and
  claude
  committed
  0c6b640
- docs: correct public docs against the code (check/PHPStan shipped, pipeline accuracy)
  
  math3usmartins
  and
  claude
  committed
  c5b7aba
- docs: correct the static-closure rejection rationale in caveats
  
  math3usmartins
  and
  claude
  committed
  e9a3ed7
- feat(monomorphize): resolve generic instance methods through inheritance
  
  math3usmartins
  and
  claude
  committed
  7f8be38
- feat(monomorphize): error on unresolved generic-method turbofish calls
  
  math3usmartins
  and
  claude
  committed
  747592c
- feat(monomorphize): resolve static + nullsafe generic methods through inheritance
  
  math3usmartins
  and
  claude
  committed
  094b6ef
Commits on Jun 19, 2026
- docs: document generic-method resolution through inheritance
  
  math3usmartins
  and
  claude
  committed
  f9dfc7a
- docs(roadmap): record deferred generic-completeness gaps
  
  math3usmartins
  and
  claude
  committed
  a9cafea
- feat(monomorphize): allow a type-parameter-typed constructor on a variant class
  
  math3usmartins
  and
  claude
  committed
  7513764
- docs(variance): make method-level variance a documented permanent boundary
  
  math3usmartins
  and
  claude
  committed
  e43ae2b
- feat(check): recognize a `Hashable` value-equality bound
  
  math3usmartins
  and
  claude
  committed
  0b74eb6
- docs: document covariant typed-construction + Hashable bound; changelog
  
  math3usmartins
  and
  claude
  committed
  f09e2c3
- docs(adr): record variance-erased constructors and the class-level-variance boundary
  
  math3usmartins
  and
  claude
  committed
  d231faf
Commits on Jun 21, 2026
- chore: scrub internal ticket references from tracked comments
  
  math3usmartins
  and
  claude
  committed
  95833b6
- feat(monomorphize)!: emit real types for variant constructor params (no erasure)
  
  math3usmartins
  and
  claude
  committed
  907f106
- docs: variant constructor params are real-typed, not erased
  
  math3usmartins
  and
  claude
  committed
  117ca30
- test(monomorphize): move constructor-variance tests to fixtures
  
  math3usmartins
  and
  claude
  committed
  6a6c211
- test,docs: rename ctor -> constructor and Contra -> ContraVariance
  
  math3usmartins
  and
  claude
  committed
  87e8db6
- refactor: expand ad-hoc abbreviations project-wide
  
  math3usmartins
  and
  claude
  committed
  963aa42
- docs: correct VariancePositionValidator docblock for real-typed constructors
  
  math3usmartins
  and
  claude
  committed
  c1c8b3e
- feat(monomorphize): treat by-reference parameters as an invariant position
  
  math3usmartins
  and
  claude
  committed
  9d310db
- feat(monomorphize)!: reject `final` on a variant class instead of stripping it
  
  math3usmartins
  and
  claude
  committed
  7c7a133
- docs: fix variance covariant example + roadmap position summary
  
  math3usmartins
  and
  claude
  committed
  631d466
- docs: add caveat for covariant getters tripping the PHPStan pass
  
  math3usmartins
  and
  claude
  committed
  876db57
- feat(variance): allow variance markers on private properties
  
  math3usmartins
  and
  claude
  committed
  c8919ef
- docs(variance): document private-property variance + PHPStan-clean test
  
  math3usmartins
  and
  claude
  committed
  a506e50
- docs(variance): correct the array-backed PHPStan caveat to match real output
  
  math3usmartins
  and
  claude
  committed
  7d1ee6b
- docs(roadmap): list the shipped `Hashable` value-equality bound
  
  math3usmartins
  and
  claude
  committed
  d4150eb
- feat(bounds): namespace the value-equality bound as `XPHP\Hashable`
  
  math3usmartins
  and
  claude
  committed
  0c989ca
- refactor(bounds): drop the special-cased value-equality bound
  
  math3usmartins
  and
  claude
  committed
  d257a49
- docs(adr): consolidate the value-equality ADRs and fix forward-references
  
  math3usmartins
  and
  claude
  committed
  ad05245
- feat(check): warn when a variant template's element type isn't in the source set
  
  math3usmartins
  and
  claude
  committed
  aad2b7e
Commits on Jun 22, 2026
- feat(compile): make the emit path root-aware for multi-root builds
  
  math3usmartins
  and
  claude
  committed
  1186f80
- feat(config): add xphp.json manifest parser
  
  math3usmartins
  and
  claude
  committed
  ad62c0f
- feat(config): resolve xphp.json manifests into a multi-root source set
  
  math3usmartins
  and
  claude
  committed
  dc2bb21
- feat(cli): resolve compile/check sources from an xphp.json manifest
  
  math3usmartins
  and
  claude
  committed
  db324f7
- docs: document the xphp.json manifest + record ADR-0017
  
  math3usmartins
  and
  claude
  committed
  9ac12e8
- feat(config): support `**` globstar for recursive include discovery
  
  math3usmartins
  and
  claude
  committed
  5ee437d
- docs: recommend the xphp.json manifest as the default project setup
  
  math3usmartins
  and
  claude
  committed
  f326d87
- feat(monomorphize): add Registry::substituteBound to ground bound type params
  
  math3usmartins
  and
  claude
  committed
  a7eb060
- feat(monomorphize): thread receiver type args through the supertype chain
  
  math3usmartins
  and
  claude
  committed
  3bf3894
Commits on Jun 23, 2026
- feat(monomorphize): ground a method-generic bound on an enclosing type parameter
  
  math3usmartins
  and
  claude
  committed
  bed2336
- test(monomorphize): pin the enclosing-param bound grounding limitations
  
  math3usmartins
  and
  claude
  committed
  d4c7f71
- docs(adr): use the Fruit/Banana/Rock example vocabulary consistently
  
  math3usmartins
  and
  claude
  committed
  56352a5
- docs: use \Stringable instead of an invented "Named" marker in the compound-bound example
  
  math3usmartins
  and
  claude
  committed
  93ece6a
- fix(monomorphize): check a class bound that references a sibling type parameter
  
  math3usmartins
  and
  claude
  committed
  950eb1e
- feat(monomorphize): ground a branch-merged receiver when every arm agrees
  
  math3usmartins
  and
  claude
  committed
  d20cc7a
- feat(monomorphize): ground a receiver whose type comes from a method return
  
  math3usmartins
  and
  claude
  committed
  56069a7
Commits on Jun 24, 2026
- feat(monomorphize): fail a method-generic bound that can't be proven
  
  math3usmartins
  and
  claude
  committed
  f0f59a7
- feat(monomorphize): fail a turbofish call on an undeterminable receiver
  
  math3usmartins
  and
  claude
  committed
  a822bce
- docs: record ground-or-fail for enclosing-parameter method bounds
  
  math3usmartins
  and
  claude
  committed
  c04b03e
- docs: catalog the two ground-or-fail diagnostics with sample code
  
  math3usmartins
  and
  claude
  committed
  f11a15d
- docs: correct the forwarding "workaround" for an enclosing-bound self-call
  
  math3usmartins
  and
  claude
  committed
  5853249
- feat(monomorphize): fail a self-call that forwards a type parameter
  
  math3usmartins
  and
  claude
  committed
  b378367
- feat(monomorphize): detect when a method-generic bound can be erased to it
  
  math3usmartins
  and
  claude
  committed
  371e31e
- feat(monomorphize): lower a direct-input enclosing-bounded method by erasing it
  
  math3usmartins
  and
  claude
  committed
  4d41bc6
- docs: forwarding an enclosing-bounded parameter now compiles and runs
  
  math3usmartins
  and
  claude
  committed
  9252086
- docs: document the unspecializable-self-call diagnostic and erasure lowering
  
  math3usmartins
  and
  claude
  committed
  d93d64b
- test(monomorphize): runtime gates for multi-class-param and param-widening erasure
  
  math3usmartins
  and
  claude
  committed
  85c9a25
- test(monomorphize): runtime gate for a two-bounded-param erasable method
  
  math3usmartins
  and
  claude
  committed
  9dea3fc
- refactor(monomorphize): gate erasable-method retention without a continue
  
  math3usmartins
  and
  claude
  committed
  26525a8
- docs: bring the ADR and roadmap current with the erasure lowering
  
  math3usmartins
  and
  claude
  committed
  886f8f4
- fix(monomorphize): keep a specialization's source parent when emitting a variance edge
  
  math3usmartins
  and
  claude
  committed
  87df3ae
- refactor(monomorphize): extract the variance-subtype decision into a shared helper
  
  math3usmartins
  and
  claude
  committed
  e765009
- feat(monomorphize): schedule the implementer for a covariant upcast to an interface
  
  math3usmartins
  and
  claude
  committed
  a609565
- docs(monomorphize): document the covariant-interface element-method upcast
  
  math3usmartins
  and
  claude
  committed
  5344daf
- docs(changelog): assemble the 0.3.0 section and backfill 0.2.1
  
  math3usmartins
  and
  claude
  committed
  4457656
Commits on Jun 25, 2026
- fix(monomorphize): report a turbofish-less method-generic call instead of skipping it
  
  math3usmartins
  and
  claude
  committed
  df3bad9
- fix(monomorphize): report a turbofish-less generic free-function call
  
  math3usmartins
  and
  claude
  committed
  24b5041
- fix(monomorphize): report a turbofish-less generic closure call
  
  math3usmartins
  and
  claude
  committed
  ad655c6
- docs(monomorphize): document that a turbofish-less generic call is an error
  
  math3usmartins
  and
  claude
  committed
  b2b30f7
- fix(monomorphize): close three edge cases in turbofish-less call detection
  
  math3usmartins
  and
  claude
  committed
  9cce945
- docs(changelog): record the turbofish-less generic-call diagnostic
  
  math3usmartins
  and
  claude
  committed
  37a743b
- fix(monomorphize): include closure-template maps in the scope-snapshot type
  
  math3usmartins
  and
  claude
  committed
  946afb8
- feat(monomorphize): emit an erased upcast member directly when inheritance can't carry it
  
  math3usmartins
  and
  claude
  committed
  555af5d
- fix(monomorphize): reject direct emission when the enclosing parameter is in the return type
  
  math3usmartins
  and
  claude
  committed
  43c3601
- docs: document direct emission of a covariant-upcast member; ADR for unmodeled traits
  
  math3usmartins
  and
  claude
  committed
  29a5000
Commits on Jun 26, 2026
- docs(adr): show the alias and insteadof cases that make full trait modeling heavyweight
  
  math3usmartins
  and
  claude
  committed
  54b3086
- fix(monomorphize): emit the covariant edge for a cross-template generic type-argument
  
  math3usmartins
  and
  claude
  committed
  775bbbf
- docs: document variance composing through a nested generic type-argument
  
  math3usmartins
  and
  claude
  committed
  b02bd5d
- fix(monomorphize): compose variance through type-constructor args via the inner pass
  
  math3usmartins
  and
  claude
  committed
  e67b524
- fix(monomorphize): don't double-report a visible promoted constructor property
  
  math3usmartins
  and
  claude
  committed
  b414970
- docs: document a covariant class consuming a contravariant generic
  
  math3usmartins
  and
  claude
  committed
  2311046
- feat(monomorphize): localize the non-convergent-specialization diagnostic
  
  math3usmartins
  and
  claude
  committed
  60decad
Commits on Jun 29, 2026
- docs: propose erased seams to break self-reintroducing specialization
  
  math3usmartins
  and
  claude
  committed
  13050fd
- test: characterize the self-reintroducing grouping boundary
  
  math3usmartins
  and
  claude
  committed
  8b6b936
- docs: cite prior art for the erased seam and fix a stray fence
  
  math3usmartins
  and
  claude
  committed
  61b86b0
- docs: accept diagnose-and-restructure for self-reintroducing specialization
  
  math3usmartins
  and
  claude
  committed
  999312e
- feat(monomorphize): name every cycle class and its source file when specialization diverges
  
  math3usmartins
  and
  claude
  committed
  d974a51
- test(monomorphize): assert the whole divergence message instead of substrings
  
  math3usmartins
  and
  claude
  committed
  128fb64
- test(monomorphize): pin the exact incompatible value-list specs in the load fatal
  
  math3usmartins
  and
  claude
  committed
  dfe9c4f
- test(monomorphize): document why the load fatal is asserted by parts
  
  math3usmartins
  and
  claude
  committed
  1a6c1fa
- docs: document the workaround for self-reintroducing specialization
  
  math3usmartins
  and
  claude
  committed
  75f3d3a
- test+docs: adapt the self-reintroducing-tower characterization to eager generation
  
  math3usmartins
  and
  claude
  committed
  7ae3ed4
Commits on Jun 30, 2026
Commits on Jul 5, 2026
- feat(cli): run the validation gate by default on compile
  
  math3usmartins
  and
  claude
  committed
  b05ea8c
- Merge pull request #21 from xphp-lang/feat/safe-default-compile-gate
  math3usmartins
  authored
  ba8e706
Commits on Jul 6, 2026
- feat(variance)!: adopt Kotlin-style `out`/`in` variance markers
  
  math3usmartins
  and
  claude
  committed
  3c9a03e
- fix(variance): render diagnostics with `out`/`in` markers
  
  math3usmartins
  and
  claude
  committed
  bf628d0
- docs(variance): document `out`/`in` variance markers
  
  math3usmartins
  and
  claude
  committed
  29e352e
- Merge pull request #22 from xphp-lang/feat/kotlin-variance-markers
  math3usmartins
  authored
  4a371db
- feat(closure-sig): add closure-signature type representation
  
  math3usmartins
  and
  claude
  committed
  2478842
- feat(closure-sig): parse and erase closure signature types
  
  math3usmartins
  and
  claude
  committed
  e957237
- fix(closure-sig): recognize keyword types, length-preserve erasure, byte-key markers
  
  math3usmartins
  and
  claude
  committed
  ed68b37
- feat(closure-sig): add closure-signature conformance engine
  
  math3usmartins
  and
  claude
  committed
  7ed23ce
- feat(closure-sig): extract a closure literal's declared signature
  
  math3usmartins
  and
  claude
  committed
  d0d3a1c
- feat(monomorphize): gate closure-literal factories against their Closure(...) return type
  
  math3usmartins
  and
  claude
  committed
  ea4840d
- feat(monomorphize): re-check closure factories after grounding their generic return type
  
  math3usmartins
  and
  claude
  committed
  dc7e71f
- fix(monomorphize): accept a closure factory whose return targets a built-in supertype
  
  math3usmartins
  and
  claude
  committed
  8f9e695
- docs: document Closure(...) signature types and conformance checking
  
  math3usmartins
  and
  claude
  committed
  2febcea
- feat(monomorphize): variance-check union and intersection members in closure signatures
  
  math3usmartins
  and
  claude
  committed
  1b57397
- feat(monomorphize): structure a closure literal's union/intersection/nullable types
  
  math3usmartins
  and
  claude
  committed
  4618b75
- feat(monomorphize): structure flat union/intersection/nullable in target signatures
  
  math3usmartins
  and
  claude
  committed
  cb773f1
- feat(monomorphize): ground type parameters inside union/intersection signature members
  
  math3usmartins
  and
  claude
  committed
  f16f4e3
- test(monomorphize): pin the sub-intersection gradual-accept paths against compound supers
  
  math3usmartins
  and
  claude
  committed
  0158e40
- docs: document union, intersection, and nullable members in Closure(...) signatures
  
  math3usmartins
  and
  claude
  committed
  bde729f
- docs: sharpen closure-signature DNF limitation and a code comment
  
  math3usmartins
  and
  claude
  committed
  5e8a10e
- fix(monomorphize): map anonymous template markers through the byte-offset map
  
  math3usmartins
  and
  claude
  committed
  af058e6
- docs(changelog): record the generic-closure marker offset fix
  
  math3usmartins
  and
  claude
  committed
  157c992
- fix(monomorphize): scan parenthesised DNF groups as single signature type leaves
  
  math3usmartins
  and
  claude
  committed
  e67cf4b
- docs: DNF groups in closure signatures are now gradual, not unsupported
  
  math3usmartins
  and
  claude
  committed
  9d5a705
- fix(monomorphize): resolve fully-qualified literal types absolutely in conformance
  
  math3usmartins
  and
  claude
  committed
  4a43de5
- docs(changelog): record the fully-qualified literal-type conformance fix
  
  math3usmartins
  and
  claude
  committed
  6f90639
- fix(monomorphize): bind relative namespace\Foo literal types to the namespace, not a use alias
  
  math3usmartins
  and
  claude
  committed
  027f64a
- test(monomorphize): pin the scanner shapes two equivalence claims got wrong
  
  math3usmartins
  and
  claude
  committed
  233facc
- fix(monomorphize): lower array-sugar leaves inside Closure signatures to array
  
  math3usmartins
  and
  claude
  committed
  8906615
- docs: array-sugar leaves in closure signatures lower to array
  
  math3usmartins
  and
  claude
  committed
  f77704b
- fix(monomorphize): consume chained array sugar whole inside Closure signatures
  
  math3usmartins
  and
  claude
  committed
  36626e4
- fix(monomorphize): bind relative namespace\Foo names to the namespace in string resolution
  
  math3usmartins
  and
  claude
  committed
  3c15c7c
- docs(changelog): record the relative-name resolution fix
  
  math3usmartins
  and
  claude
  committed
  9e951af
- fix(monomorphize): require a declaration header before treating `) :` as a return slot
  
  math3usmartins
  and
  claude
  committed
  22f900b
- docs(changelog): record the return-slot detector fix
  
  math3usmartins
  and
  claude
  committed
  b62aba4
- fix(monomorphize): prove non-subtyping against built-in targets for closed-world candidates
  
  math3usmartins
  and
  claude
  committed
  3a5dc7b
- fix(monomorphize): accept keyword method names and generic clauses in return-slot headers
  
  math3usmartins
  and
  claude
  committed
  598f28b
- docs(changelog): record the built-in-target conformance and enum-edge fixes
  
  math3usmartins
  and
  claude
  committed
  29a1b6f
- docs: precise wording for when a built-in conformance target can reject
  
  math3usmartins
  and
  claude
  committed
  a001201
- test(monomorphize): pin the built-in-candidate, aliased-Stringable, and trait-__toString accepts
  
  math3usmartins
  and
  claude
  committed
  f2bbaa6
- test(monomorphize): pin the static use-call reject and fix two comment slips
  
  math3usmartins
  and
  claude
  committed
  59cf33b
Commits on Jul 7, 2026
- fix(monomorphize): preserve newlines when stripping generic clauses and sugar spans
  
  math3usmartins
  and
  claude
  committed
  083b5c1
- fix(monomorphize): anchor anonymous-closure markers at the node's true start
  
  math3usmartins
  and
  claude
  committed
  f815bef
- fix(monomorphize): match named generic markers on the declaration name's line
  
  math3usmartins
  and
  claude
  committed
  1cd8b74
- feat(monomorphize): loud backstop for generic markers that never bind
  
  math3usmartins
  and
  claude
  committed
  00ffbeb
- feat(monomorphize): resolve php-parser Names through a qualification-aware seam
  
  math3usmartins
  and
  claude
  committed
  68995a2
- fix(monomorphize): honor FQ and relative spellings at generic call sites
  
  math3usmartins
  and
  claude
  committed
  06962d2
- fix(monomorphize): synthesize all-defaults instantiations for FQ and relative bare news
  
  math3usmartins
  and
  claude
  committed
  8782127
- fix(monomorphize): relative names are explicit class references, never aliases or type params
  
  math3usmartins
  and
  claude
  committed
  fa3f678
- fix(monomorphize): a use-function import is never a generic declaration
  
  math3usmartins
  and
  claude
  committed
  e42abe7
- docs: record the marker-alignment and name-resolution fixes; static arrows specialize
  
  math3usmartins
  and
  claude
  committed
  46724b4
- fix(monomorphize): match generic markers byte-exact, ending same-line marker steals
  
  math3usmartins
  and
  claude
  committed
  2ec32fa
- feat(monomorphize): reject generic closures that are never specialized
  
  math3usmartins
  and
  claude
  committed
  89ef9ac
- test(monomorphize): make the same-line sugar pin genuinely length-changing
  
  math3usmartins
  and
  claude
  committed
  fd430cb
- fix(monomorphize): a non-concrete turbofish is an attempt, not an orphan
  
  math3usmartins
  and
  claude
  committed
  11e5b7f
- docs: record byte-exact markers and unspecialized-closure rejection
  
  math3usmartins
  and
  claude
  committed
  00039c8
- fix(monomorphize): reject a bare new of a non-defaults generic
  
  math3usmartins
  and
  claude
  committed
  1014cb0
- fix(monomorphize): emit a valid forwarding closure for a turbofish FCC
  
  math3usmartins
  and
  claude
  committed
  d26525d
- test(monomorphize): pin the turbofish-FCC forwarding-param collision guard
  
  math3usmartins
  and
  claude
  committed
  65360c9
- docs: record the bare-new reject and the turbofish-FCC forwarding closure
  
  math3usmartins
  and
  claude
  committed
  0044f8d
- fix(monomorphize): ground inner turbofish type args on specialization
  
  math3usmartins
  and
  claude
  committed
  5541076
- fix(monomorphize): report the real source line for parse-stage rejections in check mode
  
  math3usmartins
  and
  claude
  committed
  6134ec2
- test(monomorphize): pin the two distinct default-reject line sites
  
  math3usmartins
  and
  claude
  committed
  0b1d94d
- docs: record real-line reporting for parse-stage rejections in check
  
  math3usmartins
  and
  claude
  committed
  507e760
- fix(monomorphize): reject a generic clause on a `use` import
  
  math3usmartins
  and
  claude
  committed
  69f0116
Commits on Jul 8, 2026
- docs: record the use-import generic-clause rejection
  
  math3usmartins
  and
  claude
  committed
  128f8b8
- feat(monomorphize): function/const-aware name resolution in NamespaceContext
  
  math3usmartins
  and
  claude
  committed
  1879de6
- feat(monomorphize): collect free function and const definitions
  
  math3usmartins
  and
  claude
  committed
  83ad529
- fix(monomorphize): re-qualify free functions and consts in specialized bodies
  
  math3usmartins
  and
  claude
  committed
  519785e
- fix(monomorphize): re-qualify free symbols in gap-filled and group-imported bodies
  
  math3usmartins
  and
  claude
  committed
  01272b8
- docs: record free-symbol re-qualification in relocated specializations
  
  math3usmartins
  and
  claude
  committed
  ab0e9eb
- fix(monomorphize): reject turbofish on a dynamically-named call instead of dropping it
  
  math3usmartins
  and
  claude
  committed
  5e50c5a
- feat(monomorphize): support keyword-named generic methods
  
  math3usmartins
  and
  claude
  committed
  e22cf58
- refactor(monomorphize): keep the dynamic-name reject discriminator mutation-visible
  
  math3usmartins
  and
  claude
  committed
  cecd0ca
- docs: record dynamic-name turbofish rejection and keyword-named generic methods
  
  math3usmartins
  and
  claude
  committed
  11ec5aa
Commits on Jul 10, 2026
- fix(monomorphize): index group-imported class members into the use-map
  
  math3usmartins
  and
  claude
  committed
  c4b3169
- docs: changelog entry for group-imported class re-qualification
  
  math3usmartins
  and
  claude
  committed
  495a78e
- fix(monomorphize): specialize generic-trait adaptation operands
  
  math3usmartins
  and
  claude
  committed
  f3cb880
- refactor(monomorphize): make the ambiguous-trait-operand remedy actionable
  
  math3usmartins
  and
  claude
  committed
  d79bbf2
- docs: record generic-trait adaptation-operand specialization
  
  math3usmartins
  and
  claude
  committed
  68cf607
- test: replace weak substring assertions with exact whole-value checks
  
  math3usmartins
  and
  claude
  committed
  6f1bcca
Commits on Jul 11, 2026
- docs: restructure the how-it-works guide with per-stage pages and diagrams
  
  math3usmartins
  and
  claude
  committed
  1ea7c56
- test: pin marker binding across multibyte identifiers and post-sugar turbofish
  
  math3usmartins
  and
  claude
  committed
  7cf448d
- docs: illustrate closure-signature variance with a class hierarchy
  
  math3usmartins
  and
  claude
  committed
  0b2314a
- fix(closure-types): reject a default value in a Closure(...) signature type
  
  math3usmartins
  and
  claude
  committed
  3275e74
- refactor(compiler): extract the fixed-point specialization loop into a helper
  
  math3usmartins
  and
  claude
  committed
  a037b69
- fix(check): ground closure-signature conformance so check matches compile
  
  math3usmartins
  and
  claude
  committed
  6c64596
- feat(closure-types): clear diagnostics for unsupported closure-signature positions
  
  math3usmartins
  and
  claude
  committed
  d4813aa
- docs: document the unsupported closure-signature positions as known limitations
  
  math3usmartins
  and
  claude
  committed
  c493f07
- docs: note closure-type check/compile parity and unsupported-position rejects
  
  math3usmartins
  and
  claude
  committed
  9634306
Commits on Jul 12, 2026
Commits on Jul 13, 2026
Commits on Jul 14, 2026
- Merge pull request #24 from xphp-lang/feat/closure-arg-conformance
  math3usmartins
  authored
  a542056
- feat(monomorphize): add immutable Substitution value object
  
  math3usmartins
  and
  claude
  committed
  7e8c5ba
- refactor(monomorphize): thread the Substitution value object through specialization
  
  math3usmartins
  and
  claude
  committed
  bee8c72
- feat(monomorphize): add TemplateIndex value object
  
  math3usmartins
  and
  claude
  committed
  d9bd3df
- refactor(monomorphize): thread TemplateIndex through the call-site rewriter
  
  math3usmartins
  and
  claude
  committed
  8d591a5
- test(monomorphize): pin the qualified-name global-fallback guard in TemplateIndex
  
  math3usmartins
  and
  claude
  committed
  f9c519e
- refactor(monomorphize): extract the method-template key format into MethodKey
  
  math3usmartins
  and
  claude
  committed
  92cd895
- Merge pull request #25 from xphp-lang/refactor/monomorphize-value-objects
  math3usmartins
  authored
  1e47cc1
- docs: record the upper-only bounds decision (ADR-0022)
  
  math3usmartins
  and
  claude
  committed
  db66de1
- refactor(monomorphize): clear the generic-param marker on the emitted dispatcher closure
  
  math3usmartins
  and
  claude
  committed
  3718c87
- feat(monomorphize): fail loud when a generic marker leaks into emitted output
  
  math3usmartins
  and
  claude
  committed
  9c4eca9
- feat(monomorphize): reject an enclosing-param-grounded generic closure at the source seam
  
  math3usmartins
  and
  claude
  committed
  bbe161e
- docs: catalogue the enclosing-parameter-grounded turbofish limitation
  
  math3usmartins
  and
  claude
  committed
  02ccb30
- address review: cover the named free-function forward and sharpen the check/compile note
  
  math3usmartins
  and
  claude
  committed
  cca2f7a
- test(monomorphize): pin that the dispatcher drops the template generic-params marker
  
  math3usmartins
  and
  claude
  committed
  28455b4
Commits on Jul 20, 2026
- docs: finalize the 0.3.0 changelog and fix two stale doc references
  
  math3usmartins
  and
  claude
  committed
  4f70138

Commits

Commits on Jun 17, 2026

Commits on Jun 18, 2026

Commits on Jun 19, 2026

Commits on Jun 21, 2026

Commits on Jun 22, 2026

Commits on Jun 23, 2026

Commits on Jun 24, 2026

Commits on Jun 25, 2026

Commits on Jun 26, 2026

Commits on Jun 29, 2026

Commits on Jun 30, 2026

Commits on Jul 5, 2026

Commits on Jul 6, 2026