Files
giles 0963aa51c9
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 39s
Merge loops/maude into architecture: maude confluence/critical-pair checker (mau/confluent?)
Adds lib/maude/confluence.sx — the CID-stability oracle the artdag optimiser
needs. 274 tests.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
2026-06-07 20:19:17 +00:00
..