Skip to content

Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec) - #85

Merged
hyperpolymath merged 7 commits into
mainfrom
claude/new-session-snuoro
Nov 5, 2026
Merged

Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec)#85
hyperpolymath merged 7 commits into
mainfrom
claude/new-session-snuoro

Commits

  1. Commits on Nov 4, 2026