docs(planning): category-leadership programme — beyond completion (#268) #123
hyperpolymathproofs.yml
on: push
Detect relevant changes
6s
Trusted-base audit (no new axioms)
Idris2 type-check (core + all cartridge ABIs)