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.

Každé úložiště kontinuity se prokazuje jako dosažitelné vlastním příkazem, ne jen jako přítomné na disku

majordomus doctor nekontroluje, zda existují adresáře kontinuity. Spouští příkazy, které by spustil worker, a hlásí, co udělají. Úložiště, které nikdo nečte, se nedá odlišit od žádného úložiště a soubory na disku nejsou důkazem, že je něco používá.

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

doctor spustí resolver, vykreslí každý prompt asset, zvaliduje oba naparsované sklady a sestaví kontext. Adresář záznamů, které nečte žádný příkaz, je přesně to selhání, které má tento nástroj zachytit.

Co to znamená

majordomus doctor nekontroluje, zda adresáře kontinuity existují. Spouští příkazy, které by spustil worker, a hlásí, co dělají. Úložiště, které nikdo nečte, se od žádného úložiště nedá odlišit a soubory na disku nejsou důkaz, že je cokoli používá.

Princip

mj_doctor_continuity v lib/doctor.sh vyzkouší každou cestu:

  • resolver běží proti úložišti předávek a hlásí svou třídu shody a štítek gitu, nebo čistou nepřítomnost — obojí je v pořádku; záznam přeskočený jako poškozený je selhání
  • každý prompt asset se validuje toutéž funkcí, kterou používá prompt render, takže rozbitý asset selže tady, a ne ve chvíli, kdy ho někdo potřebuje
  • open-questions.md a ledger.jsonl se zpracovávají stejnými validátory jako kontroly a řádek, který se nezpracuje, je selhání
  • builder kontextu je vyvolán přes mj_cmd_context a jeho výstup změřen proti rozpočtu politiky
  • adresáře, do nichž každý příkaz zapisuje, se hlásí

watch spouští ekvivalentní sadu jako drift a check spouští validátory úložiště pro aktivní úlohu. Tentýž kód odpovídá na tutéž otázku ve všech třech, takže se tato tři nemohou rozejít.

Jak to vidět

majordomus doctor
# ok  layout     .ai/local/state/checkpoints — present
# ok  records    open-questions.md — every entry parses
# ok  records    ledger.jsonl — every line carries ts and event
# ok  prompt     4 asset(s) — front matter valid, every token known
# ok  resolver   handovers — same_worktree_same_branch, advanced
# ok  context    builder — 106 lines, budget 300

printf -- '---\nname: broken\ndescription: d\n---\n{{NOPE}}\n' > .ai/repo/prompts/broken.md
majordomus doctor; echo $?    # 10

Co nepokrývá

Dokazuje, že příkazy běží a úložiště se dají zpracovat. Nehodnotí, zda záznamy říkají něco užitečného — repozitář plný prázdných, ale platných kontrolních bodů projde.

Neprokazuje, že pracovník cokoli spustil. Dosažitelnost se týká nástroje, ne dodržování.

Proč existuje

Je to selhání, které měl celý nástroj zachytit, obrácené proti sobě samému. Důkazy, z nichž tento návrh vzešel, jsou plné subsystémů, které existovaly na disku, byly zdokumentovány jako aktivní a nic je nevolalo — vynucování deklarované a nikdy nezapojené, úložiště zapisovaná a nikdy nečtená. Přidat subsystém kontinuity bez důkazu, že je dosažitelný, by přesně to, co se opravuje, zopakovalo, jen o adresář vedle.

Detail vykreslený z docs/claims/continuity-reachable.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Každé úložiště kontinuity se prokazuje jako dosažitelné vlastním příkazem, ne jen jako přítomné na disku

    Vzniklo na Kontinuita, Doctor.

  2. 2 · kanonické tvrzení

    continuity-reachabledeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    lib/doctor.sh · majordomus doctor

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

    Test: test/cases/25_continuity_lifecycle.sh

    Provedeno v Dělat checkpointy dlouhé práce, aby zastavení stálo minuty, ne den.

  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 25_continuity_lifecycle

Kde se toto tvrzení používá

pokryté odpovědnosti

Související tvrzení stejná implementace

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