Unit: mtp-execution
State: Accepted - plan fully executed and validated
Plan Document: mtp-implementation-plan.md
Status Cross-reference: llm-training-mtp.md
The plan document mtp-implementation-plan.md outlined a complete, phased roadmap for the MORK Teaching Pack (MTP) — a machine-generated curriculum for teaching language models valid MCN without memorizing the full 45k-token ontology. Every slice in that plan has been authored and validated.
| Section | Status | Evidence |
|---|---|---|
| §1 Authoring complete criteria | ✅ Met | Source, curated inputs, generated outputs, fixtures, tests, CI tasks, ADRs, docs present |
| §1.1 Repository delivery model | ✅ Aligned | ADR-A77: tools/mork/ Python, ontology/mork/mtp/ curated/generated, mise orchestration |
| §3 Pre-built components reused | ✅ Verified | MCN decoder (337 tests, round-trip proofs), codebook with reverse lookup, mcn package (decode/lint/canonical) all present and passing |
| §4 Pipeline architecture (S1–S13) | ✅ Implemented | All stages present: facts, corpus, partition, fidelity, minimise, mutate, select, render, routing, eval, repair, manifest |
| §5 MCN IO adapter | ✅ Complete | mcnio.py with three implementations (InProcessTool, CLI, NullTool), pluggable protocol |
| §2.1 In scope items | ✅ All done | L0 kernel, L2/L3 pipeline, corpus stats, cassette fidelity, mutation engine, budget gates, CI checks all implemented |
| §2.2 Out of scope deferred | ✅ Correctly deferred | Model quality eval (Phase 7), eval leakage gates, MCN encoder (future nice-to-have) all documented as deferred |
| §9 Verification gates | ✅ Active | Pin drift detection, axiom ownership, cassette isomorphism, mutation verdicts, stale output checks all running in CI |
[build:mtp] $ python -m mtp.cli facts-report; python -m mtp.cli build --out ontology/mork/mtp/out
{
"terms": 258,
"axioms": 895,
"graphHash": "sha256:2a9138c41c546ec181d39ec08c9e8b3ddb34497b6f8cf57b789c1afde3144fc3"
}
[check:mtp] → validates pins, cassette fidelity, mutation verdicts, budget compliance
[tests] $ python -m pytest tools/mork/src -q
346 passed, 8 skipped in 2.29s
ontology/mork/mtp/out/: L0 kernel text/JSON, lenses, cassettes, routing, diagnostics, manifestConsecutive runs of build:mtp and check:mtp produce byte-identical outputs and hashes. Repository state recorded in git.
| Plan § | Topic | Implementation Status | Evidence Location |
|---|---|---|---|
| §1.2 Completion model | Authoring + validation split | Authoring ✅; validation ✅ in restricted environment | Status files above |
| §2 Scope | In-scope items | All ✅ | tools/mork/src/mtp/ |
| §2.2 Deferred | Model quality, eval backends | Correctly ✅ deferred | Named in plan, not implemented |
| §3 Pre-existing | MCN decoder, codebook | ✅ Reused | test_mcn_decoder.py: 337 tests, round-trip proofs |
| §4 Pipeline | S1–S13 architecture | ✅ Implemented | facts.py through render.py and lock.py |
| §5 MCN IO | Pluggable adapter | ✅ Complete | mcnio.py with three implementations |
| §6 Kernel wording | L0 doctrine | ✅ Curated and generated | doctrine.yaml, gates in build |
| §7 Mutation | Ground-truth derivation | ✅ Implemented | mutate.py, diagnostic matrix generated |
| §8 Cassette fidelity | Isomorphic verification | ✅ Implemented | cassette.py, check:mtp gate validates |
| §9 Verification gates | CI enforcement | ✅ Active | mtp/cli.py: check command runs axiom, budget, fidelity, staleness gates |
Phase 7 will integrate the MTP with LLM backend infrastructure. The plan document correctly deferred model quality evaluation (eval harness, model-output scoring, leakage detection) to Phase 7 pending backend interface specification.
The plan has been fully executed. All authored components are present and validated. The system is ready for Phase 7 integration.
Note: This status document supersedes any “implementation plan is in progress” language in mtp-implementation-plan.md. The plan is now complete.