Přeskočit na obsah

Tato stránka byla automaticky přeložena z angličtiny, jediného jazyka, ve kterém se tento web píše. Číst originál.

I1408 — Dokumenty přestávají tvrdit projekci, kterou nikdo neprovozuje

Uvést prózu do souladu s tím, co kontroly dokazují, a udržet ji tak odkazováním na kontrolu místo na záměr.

HOTOVO vlna 3 · p2 · profil implementation · bezpečné paralelně

Součást work-graph-github — Projekce na GitHub je řízená, identifikovaná a průchodná a sloučený pull request vede zpět k výsledku, kterému sloužil.

Cíl

Uvést prózu do souladu s tím, co kontroly dokazují, a udržet ji tak odkazováním na kontrolu místo na záměr.

Proč

.ai/repo/project/README.md uvádí, že úkoly a milníky na GitHubu pocházejí z `majordomus plan`, a docs/claims/github-projection.md uvádí, že projekce se generuje z kanonického modelu. Obojí platilo 2026-09-04 a od té doby ani jedno, protože detektor nic nespouštělo. Tvrzení, jehož důkazem je skript, který existuje, místo kontroly, která běží, je způsob selhání, který tento repozitář pojmenovává ve vlastním katalogu why.

Aktuální stav

docs/CLAIMS.yaml řádek 798 a docs/claims/github-projection.md citují scripts/github-sync a test/cases/45_github_projection.sh jako důkaz tvrzení o živém stavu GitHubu. Test dokládá, že adaptér vykresluje; nedokládá, že se vzdálená strana shoduje.

Cílový stav

Každé tvrzení o projekci cituje kontrolu, která by selhala, kdyby přestalo platit, a web říká, co je promítáno a co ne.

Rozsah

  • dokumentace
  • web
  • .ai/repo/project/README.md
  • .ai/repo/project/project.yaml

Mimo rozsah

  • Oslabení tvrzení, které kontroly podporují

Závislosti

Kritéria přijetí

  • Každé tvrzení o projekci cituje kontrolu, která běží proti remote, ne skript, který existuje
  • README projektu uvádí, co GitHub nese a co ne
  • Žádný dokument netvrdí, že projekce je aktuální, tam, kde by žádná kontrola nedokázala zjistit, že není

Validace

  • scripts/ci/reference-check
  • majordomus doctrine

Požadované důkazy

  • claims_cite_gates

Důkazy

pokrývátypcommandvýsledeku commitu
claims_cite_gatesciscripts/ci/reference-checktvrzení o projekci je rozděleno na dvě: github-projection pokrývá, co adaptér vykresluje a odmítá, github-projection-gated pokrývá, zda s tím vzdálený stav stále souhlasí, a cituje scripts/ci/github-check s test/cases/97_github_gate.sh; project.yaml, .ai/repo/project/README.md a docs/PLANNING.md nyní říkají, že GitHub dostane projekci jen tehdy, když ji někdo uplatní, a jmenují kontrolu, která je drží pohromadě597ebe4

Riziko

Low.

Časová osa

zahájeno
2026-09-09T17:50:11Z
ověřeno
2026-09-09T17:50:29Z
dokončeno
2026-09-09T17:50:40Z

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.

Kanonický záznam: .ai/repo/project/issues/I1408.yaml. Načtěte ho zpět pomocí majordomus plan show I1408.

Prohledává názvy a popisy všech stránek, které tento web publikuje.