I3078 — An article explains derivation in both languages: written once, derived everywhere
Publish site/content-src/written-once-derived-everywhere.md, an English article on how this repository derives its surfaces. It covers one canonical declaration per capability (ADR 0004), and committed projections that are regenerated, never edited (project.derived-files-regenerated). It covers the commit hook's scripts/pages current, which compares the input hash and runs the executable's own generate --check. It covers scripts/derive's stages, scripts/derive-check and CI's refusal, one derive at a time per machine (project.one-derive-at-a-time), and the refusal of an untracked file (project.a-derive-sees-what-the-commit-will). It ends with the derived merge driver and what all of it costs. Every statement and quotation is one that ADR 0004, those rules, scripts/derive, scripts/pages or the pre-commit hook on master states, and no count is typed by hand. site/content-src/napsano-jednou-odvozeno-vsude.md is its Czech translation, naming translated_from and its source's digest. site/data/nav.toml lists both. Both relate the proof-carrying documentation, the plan critique and the bet on a layer, each of which names them back in its own language.
HOTOVO vlna 5 · p2 · implementační profil · bezpečné paralelně
Součást public-proof — Návštěvník vidí, jak se produkt sám dokazuje, a může ověřit každé jeho tvrzení.
Cíl
Publish site/content-src/written-once-derived-everywhere.md, an English article on how this repository derives its surfaces. It covers one canonical declaration per capability (ADR 0004), and committed projections that are regenerated, never edited (project.derived-files-regenerated). It covers the commit hook's scripts/pages current, which compares the input hash and runs the executable's own generate --check. It covers scripts/derive's stages, scripts/derive-check and CI's refusal, one derive at a time per machine (project.one-derive-at-a-time), and the refusal of an untracked file (project.a-derive-sees-what-the-commit-will). It ends with the derived merge driver and what all of it costs. Every statement and quotation is one that ADR 0004, those rules, scripts/derive, scripts/pages or the pre-commit hook on master states, and no count is typed by hand. site/content-src/napsano-jednou-odvozeno-vsude.md is its Czech translation, naming translated_from and its source's digest. site/data/nav.toml lists both. Both relate the proof-carrying documentation, the plan critique and the bet on a layer, each of which names them back in its own language.
Proč
The owner asked on 2026-10-19 that the site's articles be developed and interlinked in every language. Derivation is why a published surface of this product cannot say something its code does not. The site explained it only in ADR 0004, the rules and the architecture document, which are written for the sessions that follow them.
Aktuální stav
No article explains derivation. The six article groups relate each other, and none of them names it.
Cílový stav
/written-once-derived-everywhere/ and /napsano-jednou-odvozeno-vsude/ are built, are counterparts of each other, are listed in the navigation, and are related both ways with three other groups. Check 21 passes, with the translation at its source's digest.
Rozsah
- .ai/repo/project/issues/I3078.yaml
- site/content-src/written-once-derived-everywhere.md
- site/content-src/napsano-jednou-odvozeno-vsude.md
- site/content-src/proof-carrying-documentation.md
- site/content-src/dokumentace-kterou-lze-odmitnout.md
- site/content-src/a-plan-is-attacked-before-it-is-built.md
- site/content-src/plan-se-napadne-driv-nez-se-postavi.md
- site/content-src/the-bet-on-a-layer.md
- site/content-src/teze.md
- site/data/nav.toml
- scripts/ci/english-only-allow.txt
Mimo rozsah
- Changing the derivation, its scripts, its rules or ADR 0004
Závislosti
Co na tom čeká
Kritéria přijetí
- Both articles are built, declare each other in [extra.translations], and the Czech one records translated_from = written-once-derived-everywhere/ and the digest check 21 computes of its source
- Each statement is one a record, script or hook on master states, and check 19 finds no count typed by hand
- scripts/site-check --articles passes the tree, counting the new related links
Validace
- majordomus plan validate
- scripts/site-check --articles site/content-src site/data/nav.toml site/config.toml
- env -u MAJORDOMUS_SHARE -u MAJORDOMUS_HTTP_HOST -u MJ_ROOT bash test/run.sh 3389_related_articles_answer_each_other_in_every_language
Důkazy
Nic nezaznamenáno. Za každým tokenem výše musí stát příkaz nebo artefakt, než lze tento úkol dokončit; vyprávění se odmítá.
Časová osa
- zahájeno
- 2026-10-22T04:45:26Z
- ověřeno
- 2026-10-22T04:46:01Z
- dokončeno
- 2026-10-22T04:46:36Z
Tato tři pole, důkazy výše a stav závislostí jsou vše, z čeho se stav skládá. Neexistuje žádné pole stavu, které by s nimi mohlo být v rozporu.
Canonical record: .ai/repo/project/issues/I3078.yaml. Read it back with majordomus plan show I3078.