Plan-005 — Native model and checking
Reviewed serial implementation and qualification plan.
# Plan-005 — Native model and checking ## Contents - [Plan](plan.md) — reviewed scope and gates. - [Task-011](tasks/Task-011-pipeline-repair.md) — completed architecture repairs and regressions. - [Task-008](tasks/Task-008-native-model.md) — model producer/admission/linkage. - [Task-009](tasks/Task-009-native-checker.md) — native types and guarded proofs. - [Task-010](tasks/Task-010-checker-qualification.md) — reviews and handoff. - [Task-034](tasks/Task-034-sequence-admission.md) — ruling amendment: sequence declaration ceiling. - [Log](log.md) — actual lifecycle events.