04. Const-generic eligibility
Goal
Proposal §9: replace the int/bool-only const-generic whitelist with a capability-derived rule (a type is const-generic-eligible when it satisfies the required structural capability). Consumes the monomorphization-architecture errata (proposal 2026-02-24).
Implementation Items
- Const-generic eligibility check derives from capability model (§9.2)
- Error messages (§9.3)
- Interaction with current const generics preserved (§9.5)
Spec References
proposal §9; docs/ori_lang/v2026/design/monomorphization-architecture.md.
Intelligence Reconnaissance
- Graph-grounded during BUG-06-005 investigation + the dual-source /tp-help consensus (
bug-tracker/plans/BUG-06-005/section-02-fix-consensus.md): reviewers ranfile-symbols/callers/callees/symbolsoverori_parse/grammar/item,ori_ir/ast/items/types.rs,ori_types/check/registration,ori_fmt,ori_eval/derives,ori_llvm/codegen/derive_codegen. Per-section graph queries to be re-run at /review-plan pre-implementation gate. (2026-06-01)