05. Associated consts in traits

Goal

Proposal §10 (Phase 4): associated consts in trait definitions, constraints, and with-clause bindings.

Implementation Items

• Associated const syntax (§10.2)
• Constraining associated consts (§10.3)
• Associated const bindings in with clauses (§10.4)

Spec References

proposal §10.

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 ran file-symbols / callers / callees / symbols over ori_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)