Claude/upbeat mendel l bo9 g#41

Merged

hyperpolymath merged 14 commits into

mainfrom

claude/upbeat-mendel-lBO9G

May 26, 2026

Commits on May 25, 2026

proof(idris2/abi): port to Idris2 0.8.0 syntax; add ipkg for verifiable builds (#27)
claude
committed
chore(idris2): add SPDX header to absolute-zero-abi.ipkg
claude
committed
chore(docs): reconcile and tidy root — archive dated artefacts, dedupe twins, consolidate to docs/
claude
committed
chore(examples): delete banned-language examples per strict CLAUDE.md policy
claude
committed
chore(rsr): align to RSR taxonomy — 0-AI-MANIFEST, AUDIT, RSR_COMPLIANCE, .well-known, tests/, tools/, verification/
claude
committed
chore(ci): pin all action SHAs (resolves Hypatia workflow_audit findings)
claude
committed

Commits on May 26, 2026