giles 0963aa51c9 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

..

acl

…

apl

…

artdag

artdag: public API facade lib/artdag/api.sx — load list + surface index

2026-06-07 12:34:07 +00:00

commerce

commerce: end-to-end composition integration suite (19 tests) — hardening

2026-06-07 13:40:02 +00:00

common-lisp

…

content

content: tree-wide content/find + has? (778/778)

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

datalog

…

erlang

erlang: fix string literal in a binary — <<"abc">> emitted one null byte

2026-06-07 14:12:10 +00:00

events

events: cross-event conflict-checked booking + 8 tests

2026-06-07 13:59:37 +00:00

feed

conformance: migrate feed onto shared driver (counters, 189/189 parity)

2026-06-07 10:50:47 +00:00

flow

…

forth

…

go

conformance: migrate go onto shared driver (dict, 609/609 parity)

2026-06-07 11:37:46 +00:00

guest

…

haskell

…

hyperscript

…

identity

identity: PKCE S256 (RFC 7636 §4.2) — now the erlang binary substrate is fixed

2026-06-07 14:12:10 +00:00

js

…

kernel

…

lua

…

maude

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

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

minikanren

…

mod

…

ocaml

…

persist

…

prolog

…

relations

relations: weakly-connected components (component, components partition, count) + 11 tests

2026-06-07 13:43:20 +00:00

ruby

…

scheme

…

search

…

smalltalk

…

tcl

…

tests

…

bytecode.sx

…

callcc.sx

…

compiler.sx

…

content.sx

…

fiber.sx

…

freeze.sx

…

graphql-exec.sx

…

graphql.sx

…

highlight.sx

…

jit.sx

…

parser-combinators.sx

…

perf-smoke.sx

…

r7rs.sx

…

render-trace.sx

…

serialize.sx

…

stdlib.sx

…

sx-swap.sx

…

text-layout.sx

…

tree-tools.sx

…

types.sx

…

vm.sx

…