Remove rows module#8

Closed

nikita-volkov wants to merge 22 commits into

remove-rows-module

Commits on Jul 11, 2026

feat(gen): migrate to gen-contract v4.0.1 / gen-sdk v2.0.0, adopt Sdk.Sigs
nikita-volkov
committed
feat(gen): rewrite compile.dhall/Gen.dhall as Interpret.dhall/package.dhall
nikita-volkov
committed
refactor(gen): rename gen/ to src/, move tests/Exhaustive.dhall to demos/
nikita-volkov
committed
refactor(gen): update path references from gen/ to src/, tests/Exhaustive.dhall to demos/
nikita-volkov
committed
fix(gen): update gen/ path references in the pytest harness to src/
nikita-volkov
committed
docs(gen): add Task 7 CHANGELOG entry, fix stale Config.dhall comment
nikita-volkov
committed
refactor(gen): drop dead Run type-alias bindings in Query/Result/ResultColumns
nikita-volkov
committed
The plan
nikita-volkov
committed
Revert "The plan"
nikita-volkov
committed

Commits on Jul 12, 2026