kernel-extension-mechanics

New Issue

CLOSED 2026-06-02: complete. All three iterations shipped — prep.1 namespacing (#31), prep.2 Term::New (#32), prep.3 kernel-tier + param-in (#33), all closed. Spec docs/specs/0052-kernel-extension-mechanics.md; model design/models/0007-kernel-extensions.md. Prose-projection follow-ups (#35) and the loader/diagnostic friction (#34) are tracked as separate unattached issues, not milestone scope.

Language-level mechanisms for kernel-extension plugin types: type-scoped namespacing, new term construct, kernel-tier modules + auto-import, param-in restriction. Implements design/models/0007-kernel-extensions.md. Three iterations: prep.1 namespacing, prep.2 Term::New, prep.3 kernel-tier + param-in. Spec: docs/specs/0052-kernel-extension-mechanics.md

No due date
100% Completed