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.

Předávka je záznam stavu, ne přepis - její povinné sekce musí být přítomné a neprázdné, zástupné tělo se odmítne a její identita se vypočte a odmítne se, je-li zapsána do těla; přepis vložený do sekce se nezjistí

Předávka je krátký strukturovaný záznam o tom, co platí — cíl, aktuální stav, další akce, případně rozhodnutí, ověření, rizika — nikoli výpis toho, co bylo řečeno. Majordomus nikdy konverzaci neukládá, neshrnuje ani nečte. Říká to jeden z deseti principů ve vendorované sadě pravidel: předávky přenášejí stav, nikoli přepisy, a každý worker je čte přes vrstvu, na kterou ukazuje jeho bootstrap.

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

Co to znamená

Předávka je krátký strukturovaný záznam o tom, co platí — cíl, aktuální stav, další akce, případně rozhodnutí, ověření, rizika — nikoli výpis toho, co bylo řečeno. Majordomus nikdy konverzaci neukládá, neshrnuje ani nečte. Říká to jeden z deseti principů ve vendorované sadě pravidel: předávky přenášejí stav, nikoli přepisy, a každý worker je čte přes vrstvu, na kterou ukazuje jeho bootstrap.

Princip

Strukturálně: požadované sekce vynucují trvalá tvrzení; kontrola identifikačních polí odmítá těla, která se pokoušejí nést metadata záznamu; a neexistuje příkaz, který by pohlcoval přepis. Rozlišení no_match / failed a typované výsledky existují ze stejného důvodu — fakta, podle kterých může dozor jednat, ne próza, kterou musí interpretovat.

Jak to vidět

majordomus handover --help
# body needs these non-empty level-one headings: the policy's handover.required_sections
majordomus rules show majordomus.handovers-carry-state   # the rule: state and next action, never a transcript, a diff or a narrative

Co nepokrývá

Nic nebrání workerovi vložit přepis pod # Current State. Pravidlo je promítnuto do jeho instrukcí a sekce to ztěžují; nedetekuje se to.

Proč existuje

Přepis jako paměť vytvořil v původním prostředí desetigigabajtový adresář poznámek a patnáct až třicet minut dlouhý ruční obnovovací runbook. Další relace potřebuje pár set bajtů stavu, ne historii toho, jak byl nalezen.

Detail vykreslený z docs/claims/no-transcripts.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Předávka je záznam stavu, ne přepis - její povinné sekce musí být přítomné a neprázdné, zástupné tělo se odmítne a její identita se vypočte a odmítne se, je-li zapsána do těla; přepis vložený do sekce se nezjistí

    Vytvořeno na Continuity, Handover.

  2. 2 · kanonické tvrzení

    no-transcriptsdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    lib/handover.sh · majordomus handover

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

    Test: test/cases/05_handover.sh

    Provedeno v Předejte nedokončenou práci další relaci.

  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 05_handover

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.