[sergej-koscejev]

Summary

Each fact below now has one source. The other places keep what the reader acts on and point to the source.

Fact	Source	Now points to the source
--constraints modes	mops edit model --help	explain/edit.txt, examples/pages/editing.json.md, KDoc of ConstraintEnforcement, MpsWrite.modelEdit, ConceptValidityGuard
What a JSON edit batch does	mops explain edit	examples/pages/editing.json.md, skills/mops/SKILL.md
What project.command saves and reverts	Project.command catalog entry (mops code help Project.command)	examples/pages/editing.nodes.md, examples/pages/editing.md, skills/mops/SKILL.md, KDoc of CodeModeExtensions.command
Where the test system cache lives, when to delete it	skills/mops-daemon/SKILL.md	examples/pages/validation.md
When the daemon refreshes	docs/daemon-request-concurrency.md	docs/test-running-design.md

examples/pages/editing.md said Code Mode commands "do not roll back partial edits on an exception". CodeModeExtensions.command reloads every changed model on failure, so that line now points to mops code help Project.command too.

skills/mops/SKILL.md keeps "modules and models it created and module changes remain after a failure", because the Project.command entry does not say it yet.

Left as is:

• CodeCatalog.kt (the Project.command entry and the header line that repeats it), because feat: add missing used languages and model imports in Code Mode commands #214 changes them.
• ADR 0004, which records the constraint modes as decided.
• docs/test-running-design.md, which names the test-system-cache/<MPS build number>/worker path as part of the test worker design.

Generated pages under docs/reference/ and skills/mops/references/ are regenerated.

Evidence

• ./gradlew :cli:checkReference :cli:checkExamples :cli:test --tests '*ExamplesCommandTest' --tests '*CommandHelpTest': passes.
• prek run --files <changed files>: passes.

Merge Danger

Blast Radius: docs

Open PRs that edit the same files and will need to merge main:

• feat(edit)!: split --constraints into a violation mode and --ignore-missing-languages #212: explain/edit.txt, examples/pages/editing.json.md, ConstraintEnforcement.kt, MpsWrite.kt, ConceptValidityGuard.kt, generated edit pages
• feat: add missing used languages and model imports in Code Mode commands #214: explain/edit.txt, examples/pages/editing.json.md, examples/pages/editing.nodes.md, skills/mops/SKILL.md, CodeModeExtensions.kt, generated pages
• test: keep the test worker's system directory per workspace, and key workspaces by MPS home and build #216: examples/pages/validation.md, skills/mops/references/validation.md, docs/test-running-design.md
• perf(daemon): refresh before each request from native file watcher events #217: docs/test-running-design.md