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.

majordomus adr propose zapíše rozhodnutí se stavem proposed a odmítne zapsat jakýkoli jiný stav, přidělí jeho identitu pod zámkem, aby se souběžní pracovníci nikdy nesrazili, a zaznamená, z čeho bylo rozhodnutí odvozeno

propose zapíše záznam se status: proposed a nemá žádný příznak, který by říkal něco jiného.

deklarovaný stavdeklarovaný stav: zaručeno Deklarováno jako deterministické a blokující, implementováno a s uvedeným behaviorálním testem, který to má dokázat. Zda to zaznamenaný běh podporuje, říká verdikt důkazů zobrazený vedle.

zaznamenané důkazyzaznamenané důkazy: nespuštěno Deklarováno jako zaručené, ale nepodložené zaznamenaným během: test je pojmenován, ale žádný úspěšný běh nad současnými vstupy zaznamenán není. jak se zaznamenávají důkazy

Přijetí je úkon člověka - nástroj, který umí zapsat `accepted`, mění vlastní odvození v pravdu repozitáře a pozdější čtenář nepozná, které z toho je které, proto propose pro to nemá žádný příznak a extrahovaný záznam, který si je nárokuje, je nález. Extrahovaný záznam musí jmenovat své důkazy v provenance.derived_from, jehož reference jsou typované a reference na soubory a testy se musí přeložit; může být stále nahrazen, protože to je něco, co mu udělal pozdější záznam. Identita se přiděluje pod zámkem nad adresářem sekce a případ to dokazuje skutečnými souběžnými procesy, protože tento repozitář vydal dvě 0005 a dvě 0007, než to cokoli kontrolovalo.

Co to znamená

propose zapíše záznam s status: proposed a nemá žádný přepínač, který by říkal jinak. Přijetí je akt člověka: nástroj, který umí zapsat accepted, může vlastní úsudek proměnit v pravdu repozitáře tím, že ho zapíše, a čtenář o měsíce později nepozná, která z přijatých rozhodnutí člověk skutečně přijal. Přesunout záznam do accepted je úprava pole.

Záznam, který nástroj odvodil, to říká — provenance.origin: extracted — a jmenuje své důkazy v provenance.derived_from, jejichž odkazy jsou typované (decision:, session:, commit:, issue:, file:, test:) a jejichž odkazy na soubory a testy se musí vyřešit. Extrahovaný záznam bez důkazů je pouhé tvrzení a jako takové je odmítnut. Může se stát superseded, protože to je něco, co s ním udělal pozdější záznam; nesmí si nárokovat accepted.

Identita se přiděluje pod zámkem nad adresářem sekce, takže dva worktree, které navrhují ve stejný okamžik, dostanou dvě čísla, a ne jedno číslo dvakrát.

Princip

lib/adr.sh: mj_adr_propose přijme název, volitelné odkazy --from <type>:<value>, --tag a --supersedes, přidělí další volné číslo pod zámkem, zapíše soubor s kostrou těla a připojí událost do knihy. --supersedes zapíše obě poloviny vztahu, takže dvojice je vzájemná od okamžiku, kdy vznikne. Odmítnutí zapsat jakýkoli jiný stav není kontrola příznaku, ale absence jakékoli cesty, která by jej zapsala.

Jak to vidět

majordomus adr propose "The registry is the one canonical declaration" \
  --from decision:t-2026-09-05-a --from file:docs/CAPABILITIES.md --tag architecture
majordomus adr list --status proposed
majordomus adr check

Co nepokrývá

propose o ničem nerozhoduje. Zaznamenává, že rozhodnutí padlo a odkud záznam pochází; zda je rozhodnutí správné a zda je přijato, je věcí člověka.

Proč existuje

Rozhodnutí, podle kterých repozitář žije, se dělají v konverzacích, které jsou ráno pryč. Extrakce má cenu jen tehdy, když se extrahovaný záznam nemůže vydávat za záznam schválený člověkem — proto je hranice mezi „nástroj to navrhl“ a „člověk to přijal“ vynucena, ne spoléhána, a souběžný případ je dokázán skutečnými procesy, ne tvrzen.

Detail vykreslený z docs/claims/adr-propose.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    majordomus adr propose zapíše rozhodnutí se stavem proposed a odmítne zapsat jakýkoli jiný stav, přidělí jeho identitu pod zámkem, aby se souběžní pracovníci nikdy nesrazili, a zaznamená, z čeho bylo rozhodnutí odvozeno

    Vzniklo na Knowledge, Layer.

  2. 2 · kanonické tvrzení

    adr-proposedeklarovaný stav: zaručeno v docs/CLAIMS.yaml

    Definováno v přečtěte si to na tomto webu · docs/SCHEMAS.md

  3. 3 · implementace

    lib/adr.sh · majordomus adr

  4. 4 · test a scénáře

    Test: test/cases/99_adr.sh

    Provedeno v Zaznamenat rozhodnutí jako data a prokázat, že ho nástroj nemůže přijmout za vás.

  5. 5 · zaznamenané běhy

    zaznamenané důkazy: nespuštěno jak se zaznamenávají důkazy

Ověřte si to sami

Test běží v jednorázovém dočasném repozitáři a ověřuje chování, ne řetězec ve zdrojovém kódu.

z klonu repozitáře
bash test/run.sh 99_adr

Kde se toto tvrzení používá

Související tvrzení stejná implementace

Okamžiky, na které to odpovídá

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