Repository navigation

feat(abi): model RSR capability-profile resolution in Idris2 - #1033

Merged

hyperpolymath merged 3 commits into

mainfrom

claude/gifted-thompson-vsrzhw-pr4

Nov 10, 2026

Merged

feat(abi): model RSR capability-profile resolution in Idris2#1033
hyperpolymath merged 3 commits into
mainfrom
claude/gifted-thompson-vsrzhw-pr4

Commits on Nov 9, 2026
- feat(abi): model RSR capability-profile resolution in Idris2
  claude
  committed
  34c7bc7
- docs(proof-status): record the idris2 --check receipt for RsrProfile
  claude
  committed
  eb90011
Commits on Nov 10, 2026
- Merge branch 'main' into claude/gifted-thompson-vsrzhw-pr4
  hyperpolymath
  authored
  8e1022b