I0704 — Publikovat, co přisuzování zaručuje a co zatím nemůže

✕BLOKOVÁNO vlna 3 · p2 · profil implementation · bezpečné paralelně

Součást M002 — A durable record names the worker that wrote it.

Cíl

Na veřejném povrchu uvést, co nyní přiřazení záznamu znamená, a výslovně říct, co neznamená: že identitu pracovníka dodává relace, není ověřená, a že nic zde nedokazuje, kým pracovník byl.

Proč

Připsání je druh záruky, o které čtenář předpokládá, že je silnější, než je. Vzdálenost mezi pojmenováním pracovníka a jeho autentizací musí být zapsána tam, kde je tvrzení, ne ponechána k odvození.

Aktuální stav

Chování bude existovat a bude otestováno. Nic na veřejném povrchu neříká, co pokrývá.

Cílový stav

Tvrzení uvádí, co je zaručeno, se souborem a případem za ním, a na své stránce detailu říká, že identitu tvrdí relace a nikdy se neověřuje.

Rozsah

• dokumentace
• site/data/generated

Mimo rozsah

• Jakákoli změna chování
• Jakékoli tvrzení o ověřování, kdo pracovník je

Závislosti

• I0703○READY Implement the decision and prove it holds

Kritéria přijetí

• Tvrzení cituje cestu implementace a cestu testu, které obě existují
• Detailní stránka říká, že identita je dodána, ne ověřena
• Generovaná data webu se regenerují bez zastaralého souboru

Validace

• scripts/generate-site-data --check
• bash test/run.sh

Požadované důkazy

• docs_build

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á.

Riziko

Tvrzení o připsání čtené jako tvrzení o autentizaci by bylo nejškodlivějším přehnáním na webu.

Časová osa

zahájeno

—

ověřeno

—

dokončeno

—

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/I0704.yaml. Načtěte ho zpět pomocí majordomus plan show I0704.