Skip to content

feat(verb): pin-closure — the transitive closure of a pin advance, iterated to a fixed point - #63

Merged
github-actions[bot] merged 4 commits into
mainfrom
feat/closure-gate-verb-v2
Nov 1, 2026
Merged

github-actions[bot] merged 4 commits into
mainfrom
feat/closure-gate-verb-v2

fix(verb): clear the CI-pinned linter (3x QF1012, 1x errcheck) — the …

5d6c2b6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
coherence
succeeded Nov 1, 2026 in 6s