docs(specs): diagram-traversal algebra derivation (expand/restrict) in diagram.md - #249

Draft

dimitri-yatsenko wants to merge 7 commits into

mainfrom

docs/diagram-traversal-derivation

Commits on Aug 10, 2026

docs(specs): fold the diagram-traversal derivation into diagram.md
dimitri-yatsenko
committed
878455d
docs(specs): collapse the traversal algebra to a single expand operation
dimitri-yatsenko
committed
3a82427
docs(specs): align cascade/trace with the expand-only derivation
dimitri-yatsenko
committed
9d90553
docs(cascade): drop the single-FK-path limitation (fixed by #1492 all-paths walk)
dimitri-yatsenko
committed
afa8179
docs(specs): finish traversal de-dup — defer cascade/trace to R1/R2
dimitri-yatsenko
committed
1019d95
docs(cascade): document delete-time materialization as a general rule
dimitri-yatsenko
committed
e54a70d

Commits on Aug 12, 2026

Merge branch 'main' into docs/diagram-traversal-derivation
dimitri-yatsenko
authored
8830ac9