Skip to content

feat(core): derived rows are made by Lean's reserved-name actions and checked (SM-33, stage 2 of #91, part 1) - #155

Merged
afflom merged 20 commits into
mainfrom
claude/issue-91-derived-rows
Oct 17, 2026
Merged

feat(core): derived rows are made by Lean's reserved-name actions and checked (SM-33, stage 2 of #91, part 1)#155
afflom merged 20 commits into
mainfrom
claude/issue-91-derived-rows

Commits

  1. Commits on Oct 16, 2026

  2. Commits on Oct 17, 2026