giles 2dd4c7d974 maude: confluence / critical-pair checking (12 tests, 274 total) ...

lib/maude/confluence.sx — two-sided syntactic unification (occurs-checked) →
critical pairs from LHS overlaps → joinability via AC-canonical normal forms.
mau/confluent? / mau/non-joinable-pairs / mau/critical-pairs / mau/cp->str.
Catches f(a)=b,a=c (b <?> f(c)); peano/idempotent/AC confirmed confluent.
Syntactic overlaps (AC under-approximated, joinability uses canon). This is
the CID-stability oracle for the artdag optimiser.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

2026-06-07 20:18:33 +00:00

..

tests

maude: confluence / critical-pair checking (12 tests, 274 total)

2026-06-07 20:18:33 +00:00

conditional.sx

maude: owise (otherwise) equations (8 tests, 229 total)

2026-06-07 15:40:11 +00:00

confluence.sx

maude: confluence / critical-pair checking (12 tests, 274 total)

2026-06-07 20:18:33 +00:00

conformance.conf

maude: confluence / critical-pair checking (12 tests, 274 total)

2026-06-07 20:18:33 +00:00

conformance.sh

maude: Phase 1 parser — fmod/mod modules, signatures, mixfix terms (65 tests)

2026-06-07 14:43:02 +00:00

fire.sx

maude: Phase 5 system modules + rewrite rules (21 tests, 159 total)

2026-06-07 15:23:06 +00:00

matching.sx

maude: Phase 3 — equational matching modulo assoc/comm/id (28 tests, 119 total)

2026-06-07 15:01:07 +00:00

meta.sx

maude: Phase 7 reflection / META-LEVEL (18 tests, 196 total)

2026-06-07 15:29:45 +00:00

parser.sx

maude: gather / parse-time associativity for cons lists (7 tests, 236 total)

2026-06-07 15:44:25 +00:00

pretty.sx

maude: mixfix surface-syntax printer (11 tests, 207 total)

2026-06-07 15:32:20 +00:00

reduce.sx

maude: Phase 2 syntactic equational reduction (26 tests, 91 total)

2026-06-07 14:46:02 +00:00

rewrite.sx

maude: Phase 5 system modules + rewrite rules (21 tests, 159 total)

2026-06-07 15:23:06 +00:00

run.sx

maude: run.sx search command + result-sort output (254 total)

2026-06-07 15:49:45 +00:00

scoreboard.json

maude: confluence / critical-pair checking (12 tests, 274 total)

2026-06-07 20:18:33 +00:00

scoreboard.md

maude: confluence / critical-pair checking (12 tests, 274 total)

2026-06-07 20:18:33 +00:00

searchpath.sx

maude: run.sx search command + result-sort output (254 total)

2026-06-07 15:49:45 +00:00

sorts.sx

maude: order-sorted least-sort inference (14 tests, 250 total)

2026-06-07 15:46:32 +00:00

strategy.sx

maude: Phase 6 strategy language (19 tests, 178 total)

2026-06-07 15:26:52 +00:00

term.sx

maude: Phase 1 parser — fmod/mod modules, signatures, mixfix terms (65 tests)

2026-06-07 14:43:02 +00:00