feat(schemes): typed recursion schemes as composable optics — the zoo (para/apo/histo/futu, zygo/mutu, fused refolds, M drivers), Graft[Affine] build seam, fused cross - #24

Open

kryptt wants to merge 61 commits into

mainfrom

feat/typed-recursion-schemes

Commits on Sep 30, 2026

feat(schemes): typed pattern-functor recursion schemes (cataF/anaF/hyloF)

kryptt
and
claude
committed
ccc42e5
docs(plans): mark typed-recursion-schemes plan completed

kryptt
and
claude
committed
357804c
perf(schemes): JMH bench for typed cataF/anaF/hyloF vs droste basic (U6)

kryptt
and
claude
committed
6d2f6f8
perf(schemes): replace typed Eval driver with the foldLayered heap machine

kryptt
and
claude
committed
0b7aebb
docs(schemes): lens-composition example for the typed schemes

kryptt
and
claude
committed
af5a91f
fix(schemes): post-rebase reconciliation + BiAffine zoo plan

kryptt
and
claude
committed
08df603
fix(docs): schemes.md DirectGetter→Getter (post-rebase rename sweep)

kryptt
and
claude
committed
63cf7f4
feat(core): BiAffine carrier + Graft capability — the decoration foundation

kryptt
and
claude
committed
bdfd209
feat(schemes): Attr/Coattr — histo/futu decoration data

kryptt
and
claude
committed
1e06c4a
feat(schemes): Decor family — decorations as BiAffine optics, cataF/anaF re-derived

kryptt
and
claude
committed
ff2bdc2
feat(schemes): the typed zoo — paraF (no re-embed), apoF (O(1) graft), histoF, futuF

kryptt
and
claude
committed
9002b98
feat(schemes): CataF/AnaF citizens + fused cross — deforestation as composition

kryptt
and
claude
committed
bfad423
feat(schemes): M-generic drivers — cataFM/anaFM/hyloFM on the tailRecM-lifted machine

kryptt
and
claude
committed
3df7cfd
perf(schemes): zoo + fusion + M-path + generic-route bench rows

kryptt
and
claude
committed
bee9988
docs(schemes): the zoo — symmetry table, fusion-as-cross, zygo-as-Decor, effectful drivers

kryptt
and
claude
committed
beeb8c0
docs(plans): mark BiAffine zoo plan implemented (bench numbers + review pending)

kryptt
and
claude
committed
21c985d
perf(schemes): CI-driven allocation wins — M-machine −49% B/op, fused cross below materializing

kryptt
and
claude
committed
e177f68
fix(schemes): review fixes — fresh-state-per-force M-machine, single-pass childrenArr, test gaps

kryptt
and
claude
committed
c37a8f9
refactor(schemes)!: drop the untyped PSVec cata/ana/hylo — the typed path subsumes them

kryptt
and
claude
committed
bc6fe7c
refactor(schemes)!: strip the F suffix — the typed schemes own the bare names

kryptt
and
claude
committed
b6bea24
refactor(schemes): Decor → Gather/Scatter; para/apo decorations demoted to law fixtures

kryptt
and
claude
committed
9af72cb
refactor(schemes): zoo package + Machines split + concurrency proof (PR review)

kryptt
and
claude
committed
1ed3a82
refactor(schemes): Gather/Scatter as classes, dispatch-free drivers, tail-recursive machines

kryptt
and
claude
committed
73960fb
docs(brainstorms): X-is-the-decoration — the optics⇄schemes connection from PR review

kryptt
and
claude
committed
8977550
ci: compile test sources before running tests — fixes roving Kindlings macro timeouts

kryptt
and
claude
committed
fa8651b
refactor(schemes): union-typed slots, one shared heap walk, named FLayer (PR review round 3)

kryptt
and
claude
committed
9cb8d51
docs(benchmarks): regression check across the review-refactor window — all clear

kryptt
and
claude
committed
b22cbd0
refactor(schemes): centralise Machines' unchecked narrowings into 5 named inline helpers

kryptt
and
claude
committed
ac476f4
refactor(schemes)!: ana/apo/futu forward Getter; drop cross + clone classes

kryptt
and
claude
committed
ff6d8b0
style(benchmarks): apply scalafmt to drifted benchmark sources

kryptt
and
claude
committed
0456c31
fix(schemes)!: ana is a Review, not a Getter — restore the cata/ana duality

kryptt
and
claude
committed
2343f94
spike(schemes): X-indexed fusion prototype — ana.cross(cata) at hylo cost

kryptt
and
claude
committed
46c6d0f
docs(schemes): clean up stale names from the rename/flip experiments

kryptt
and
claude
committed
0f4d569
refactor(schemes)!: recast schemes as existential-indexed optics; hylo/chrono as fusion

kryptt
and
claude
committed
383d04e
feat(schemes): metamorphism (meta) + metaChrono — the non-fusing fold→unfold dual

kryptt
and
claude
committed
93c825b
test(schemes): F=:=G still does not fuse meta — the scalar neck is the barrier

kryptt
and
claude
committed
63fcf37
feat(schemes): para/apo, elgot/coelgot, dyna/codyna — fill the zoo

kryptt
and
claude
committed
31de406
refactor(schemes): drop Scheme carrier for Direct; one class per scheme

kryptt
and
claude
committed
c36efaf
refactor(schemes): dedup audit — centralize carrier, extract expand/decorate

kryptt
and
claude
committed
d252951
feat(schemes): zygo/mutu/cozygo/comutu + prepro/postpro — close the zoo

kryptt
and
claude
committed
1876c29
feat(schemes): monadic *M family — cataM/anaM/hyloM & co on the latent engine

kryptt
and
claude
committed
6ab378a
feat(core): move Basis into core, derive Plated from it — the schemes↔Plated bridge

kryptt
and
claude
committed
c6cfb8a
feat(schemes): fLayer rides MultiFocus[F] — a typed single-layer self-traversal

kryptt
and
claude
committed
c2d3180
feat(schemes): paraLens — the paramorphism as a lawful, composable Lens

kryptt
and
claude
committed
6fec9a4
feat(core): BiAffine.assoc — ship the deferred composition-matrix row

kryptt
and
claude
committed
148e42e
feat(core): BiAffine cross-carrier bridges — complete the matrix row

kryptt
and
claude
committed
c4ecb6a
feat(schemes): re-carrier apo onto BiAffine via apoScatter

kryptt
and
claude
committed
e87e5f3
refactor(schemes): bring the M-family + unfold drive to the pure side's factoring

kryptt
and
claude
committed
e98731c
build: drop the schemes-laws module — its subject (the untyped PSVec hylo) is gone
kryptt
committed
d2510e0
fix(core): drop the unused Eval import from Plated — rebase-merge artifact
kryptt
committed
016b137
docs: typed-schemes bibliography + merge-readiness cleanup plan
kryptt
committed
2d51b04
chore(schemes): resolve Scaladoc link warnings + drop empty schemes-laws tree
kryptt
committed
cdd5175
fix(docs): rewrite site/docs/schemes.md against the shipped schemes API
kryptt
committed
190804e
docs: CHANGELOG entries for the schemes surface (C4) + plan-doc bibliography pointers (C2)
kryptt
committed
93f7b3e
feat(core): C8 — break the Getter.andThen 3-way tie for Direct-carried citizens; drop the BiAffine clone
kryptt
committed
24a8839
perf(schemes): restore para's positional slot-pairing (C7 regression catch); re-pin benchmarks at the merge candidate
kryptt
committed
b4a4454
fix(schemes): adapt to the rebased base — Affine.Miss[A] arity, widened upcast, formatting
kryptt
committed
75d44a4
style(benchmarks): scalafmt the re-pinned sources
kryptt
committed
2d85405
fix(schemes): para rides a typed paired engine; docs re-pinned without the phantom ns regression
kryptt
committed
40330a4
test(schemes): pin para's route - one peel per node (the regression witness)
kryptt
committed
8236279
style(schemes): scalafmt the para-engine sources after the rebase
kryptt
committed
d703be5