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
a9f4350
chore(idris2): add SPDX header to absolute-zero-abi.ipkg
claude
committed
d2853ca
chore(docs): reconcile and tidy root — archive dated artefacts, dedupe twins, consolidate to docs/
claude
committed
83d51a2
chore(examples): delete banned-language examples per strict CLAUDE.md policy
claude
committed
3394259
chore(rsr): align to RSR taxonomy — 0-AI-MANIFEST, AUDIT, RSR_COMPLIANCE, .well-known, tests/, tools/, verification/
claude
committed
5d770f7
chore(ci): pin all action SHAs (resolves Hypatia workflow_audit findings)
claude
committed
1ca4fa0

Commits on May 26, 2026