Dokončit úkol, jen pokud existují jeho důkazy

setup: plan-model
given:
  - 'installed, with a canonical project model carrying one milestone and two issues'
steps:
  - id: status
    run: ['plan', 'status']
    note: 'milestone progress and the next executable issue, derived from recorded facts'
    expect:
      exit: 0
      stdout_contains: ['^M000 +PLANNED', 'next ready issue: I0001']
  - id: show
    run: ['plan', 'show', 'I0001']
    note: 'the full record of one issue, including the evidence it requires before it may complete'
    expect:
      exit: 0
      stdout_contains: ['^# I0001', 'READY.*derived', 'wave']
  - id: roadmap
    run: ['plan', 'roadmap']
    note: 'milestones in derived order, with now and next; no document is a second authority for this'
    expect:
      exit: 0
      stdout_contains: ['^now:  M000']
  - id: body
    run: ['plan', 'body', 'I0001']
    note: 'the provider-neutral projection body of one record, the same one the GitHub projection renders'
    expect:
      exit: 0
      stdout_contains: ['^# I0001']
then:
  - 'completion is refused while a required evidence item is missing'
  - 'the roadmap is derived from milestone state, never written'
  - 'a hand edit inside a generated GitHub region is reported rather than kept'

Scénář

Provedeno proti skutečnému nástroji v repozitáři připraveném pomocí plan-model, při každém generování tohoto webu. To, co následuje, není popis toho, co by se mělo stát; je to to, co se stalo.

Co nástroj udělal

Důkazy o běhu, ze kterého byla tato stránka vygenerována: pass, kroků: 4. Výstup je normalizovaný: cesta k repozitáři, časová razítka, identifikátory a doby trvání jsou zástupné hodnoty, nic dalšího se neupravuje.

Testováno v test/cases/94_use_cases.sh, který spouští každý scénář a odmítne krok, jehož zaznamenaný výstup není tím, co vyprodukoval.

1. 1$ majordomus plan status exit 0

   postup milníku a další proveditelný úkol, odvozené ze zaznamenaných faktů

   ID     STATUS   DONE  TITLE
   M000   PLANNED   0/2  Milestone M000
   
   active milestone: M000
   next ready issue: I0001 — Issue I0001

   • exit 0
   • stdout_contains /^M000 +PLANNED/
   • stdout_contains /next ready issue: I0001/
2. 2$ majordomus plan show I0001 exit 0

   úplný záznam jednoho úkolu, včetně důkazů, které vyžaduje, než smí být dokončen

   # I0001 — Issue I0001
   
   | field | value |
   |---|---|
   | status | **READY** (derived) |
   | milestone | M000 |
   | wave | 0 |
   | priority | p1 |
   | profile | implementation |
   | parallel safe | true |
   | canonical | `.ai/repo/project/issues/I0001.yaml` |
   
   ## Objective
   
   Do the bounded piece of work called I0001.
   
   ## Scope
   
   - `src/I0001`
   
   ## Dependencies
   
   None. This issue is a root of the graph.
   
   ## Acceptance Criteria
   
   - [ ] The work is done
   
   ## Validation
   
   - `true`
   
   ## Evidence Required
   
   - proof
   
   ## Execution Notes
   
   Risk: 
   
   This body is generated from the canonical record by `majordomus plan body I0001`.
   Edit the YAML, not this text.
   
   ## Completion Report

   • exit 0
   • stdout_contains /^# I0001/
   • stdout_contains /READY.*derived/
   • stdout_contains /wave/
3. 3$ majordomus plan roadmap exit 0

   milníky v odvozeném pořadí, s now a next; žádný dokument není druhou autoritou pro toto

   RELEASED    STATUS      MILESTONE                     TITLE
   -           PLANNED     M000                          Milestone M000
   
   now:  M000 — Milestone M000

   • exit 0
   • stdout_contains /^now: M000/
4. 4$ majordomus plan body I0001 exit 0

   projekční tělo jednoho záznamu nezávislé na poskytovateli, tentýž, který vykresluje projekce GitHub

   # I0001 — Issue I0001
   
   | field | value |
   |---|---|
   | status | **READY** (derived) |
   | milestone | M000 |
   | wave | 0 |
   | priority | p1 |
   | profile | implementation |
   | parallel safe | true |
   | canonical | `.ai/repo/project/issues/I0001.yaml` |
   
   ## Objective
   
   Do the bounded piece of work called I0001.
   
   ## Scope
   
   - `src/I0001`
   
   ## Dependencies
   
   None. This issue is a root of the graph.
   
   ## Acceptance Criteria
   
   - [ ] The work is done
   
   ## Validation
   
   - `true`
   
   ## Evidence Required
   
   - proof
   
   ## Execution Notes
   
   Risk: 
   
   This body is generated from the canonical record by `majordomus plan body I0001`.
   Edit the YAML, not this text.
   
   ## Completion Report

   • exit 0
   • stdout_contains /^# I0001/

Proč to nástroj ví

Řetězec od této stránky ke kódu: případ užití jmenuje příkazy, pravidla a tvrzení; každé pravidlo se dispatchuje z registru a každé tvrzení jmenuje test, který ho dokazuje; scénář výše provedl příkazy. Nic v tomto řetězci není text o záměru.

• majordomus planModel milníků a úkolů — ověřte ho, čtěte ho a proveďte jím jeden úkol.

Pravidla, díky nimž platí

• ✕blokující Integrita modelu projektuKaždý soubor milníku a úkolu jde naparsovat, nese id, které tvrdí jeho název souboru, a neobsahuje klíč, který nikdo nečte.
• ✕blokující Plán rozvoje je projekce, nikdy dokumentŽádný dokument není druhou autoritou pro plán rozvoje a žádný milník nepíše vlastní verzi. Dokud existuje ručně psaná tabulka plánu rozvoje, nesmí ani uvést release, v němž nebyl vydán žádný milník, ani skrýt ten, který milník nesl; release milníku (released_in) se odvozuje ze záznamů o release, nikdy se nepíše.
• ✕blokující Integrita ověřeníDokončení vyžaduje ověřovací příkaz, který skutečně běžel a skončil s kódem 0 nad stromem, který se pod ním nezměnil; jeho návratový kód, doba trvání a strom se zaznamenávají.

Uplatněné záruky

• ○zaručeno Milníky a úkoly jsou kanonické soubory repozitáře a klíč, který nikdo nečte, je chyba
• ○zaručeno Stav úkolu a milníku se odvozuje ze zaznamenaných faktů a nikde se neukládá
• ○zaručeno Úkol nelze dokončit, dokud chybí povinný důkaz
• ○zaručeno Plán rozvoje je odvozen ze stavu milníků a žádný dokument nesmí být jeho druhou autoritou
• ○zaručeno Milníky a úkoly na GitHubu se generují z kanonického modelu a ručně upravená generovaná oblast se hlásí, nepřepisuje se

Související případy užití

Vypočteno z toho, co sdílejí: tvrzení, pravidla, příkazy, kategorie, aplikace. Tento seznam nikdo neudržuje.

• Vést plán jako milníky a úkoly, které nástroj umí validovatDeklarujte milníky jako výsledky a úkoly jako prováděcí kontrakty a nechte nástroj říct, co je připraveno a co blokováno.
• Dodávejte úkoly ve vlnách, které graf spočítá, a berte dalšíOvěřte plán, přečtěte si vlny provádění, které z grafu závislostí plynou, podívejte se, které úkoly jsou připravené a které na co čekají, a vezměte ten jeden úkol, který má worker dělat teď.
• Rozhodnout, zda je dokončená práce skutečně dokončenáVyhodnoťte kontrakt řádek po řádku, místo abyste přijali větu, která tvrdí, že je práce hotová.
• Zablokovat přijetí kvůli otázce, na kterou nikdo neodpovědělOtevřete k úloze otázku, sledujte, jak finish odmítá dokončení, dokud je nevyřešená, vyřešte ji odpovědí a teprve pak úlohu dokončete.
• Prokázat, že nástroj je rychlý, ne to předpokládat, a odmítnout regresiZměřit každý veřejný příkaz a každou schopnost spustitelného souboru proti commitnuté základní linii a nechat kontrolu při regresi selhat, ne aby si toho recenzent všiml později.

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

• → přijali „hotovo“, protože to řekl model, a druhý den ráno za to zaplatili Plynulé tvrzení o dokončení se přijme jako důkaz, protože nic předem nezapsalo, co by muselo platit.
• → přečetl tři plány rozvoje jednoho projektu a nevěřil žádnému Plán vedený v próze je snímek a každá jeho kopie se rozchází svým tempem; uložený stav je tvrzení, které platí i poté, co se svět pohnul.
• → našel podstatnou změnu, kterou nikdy nepožadoval žádný úkol, ticket ani plán Práce přichází bez vymezeného kontraktu, takže její rozsah, kritéria přijetí i vlastnictví se rozhodují až zpětně.
• → uzavřel úkol, jehož kritéria přijetí nikdo skutečně neověřil Dokončení se eviduje jako změna stavu v trackeru, a ne jako důkaz v repozitáři, takže se obojí okamžitě rozejde.
• → nedokázal reprodukovat výsledek, protože nic nezaznamenalo stav, ze kterého vzešel Výsledek je zaznamenaný, podmínky, které ho vytvořily, nikoli, takže je to anekdota, a ne měření.