Dodávejte úkoly ve vlnách, které spočítá graf, a berte další

setup: plan-model
given:
  - 'installed, with a canonical project model carrying one milestone and two issues'
steps:
  - id: validate
    run: ['plan', 'validate']
    note: 'schemas, references, the DAG and status consistency; a cycle or a dependency on a missing issue is refused by name'
    expect:
      exit: 0
      stdout_contains: ['0 failure']
  - id: waves
    run: ['plan', 'waves']
    note: 'topological execution waves; issues in one wave that touch the same paths are reported as serialised'
    expect:
      exit: 0
      stdout_contains: ['^Wave 0', 'I0001 +READY', '^Wave 1', 'I0002 +BLOCKED']
  - id: ready
    run: ['plan', 'ready']
    note: 'issues whose dependencies are all satisfied'
    expect:
      exit: 0
      stdout_contains: ['I0001']
      stdout_not_contains: ['I0002']
  - id: blocked
    run: ['plan', 'blocked']
    note: 'issues waiting on a dependency, and on which one'
    expect:
      exit: 0
      stdout_contains: ['I0002']
  - id: next
    run: ['plan', 'next']
    note: 'the one issue a worker should take now'
    expect:
      exit: 0
      stdout_contains: ['^I0001 ', 'scope:', 'next: majordomus plan start I0001']
  - id: take-it
    run: ['start', 'I0001', '--scope', 'src/I0001']
    note: 'the task under the scope the issue names; overlap with other worktrees is computed on claimed paths'
    expect:
      exit: 0
      stdout_contains: ['t-']
then:
  - 'status is derived from recorded facts and stored nowhere'
  - 'two issues in one wave with overlapping paths are named as serialised'
  - 'the task started carries the scope the issue claims'

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ůkaz o běhu, ze kterého byla tato stránka vygenerována: pass, 6 kroků. Výstup je normalizován: cesta repozitáře, časová razítka, id 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 validate exit 0

   schémata, reference, DAG a konzistence stavů; cyklus nebo závislost na chybějícím úkolu se odmítne jménem

   plan validate: 1 milestone(s), 2 issue(s), 0 failure(s), 0 warning(s)

   • exit 0
   • stdout_contains /0 failure/
2. 2$ majordomus plan waves exit 0

   topologické vlny provádění; úkoly v jedné vlně, které se dotýkají týchž cest, se hlásí jako serializované

   Wave 0
     I0001   READY     Issue I0001
   Wave 1
     I0002   BLOCKED   Issue I0002

   • exit 0
   • stdout_contains /^Wave 0/
   • stdout_contains /I0001 +READY/
   • stdout_contains /^Wave 1/
   • stdout_contains /I0002 +BLOCKED/
3. 3$ majordomus plan ready exit 0

   úkoly, jejichž závislosti jsou všechny splněny

   I0001   w0   Issue I0001
       scope: src/I0001

   • exit 0
   • stdout_contains /I0001/
   • stdout_not_contains /I0002/
4. 4$ majordomus plan blocked exit 0

   úkoly čekající na závislost a na kterou

   I0002   w1   Issue I0002
       waiting on: I0001

   • exit 0
   • stdout_contains /I0002/
5. 5$ majordomus plan next exit 0

   jeden úkol, který by měl worker vzít nyní

   I0001 — Issue I0001
   objective: Do the bounded piece of work called I0001.
   scope:     src/I0001
   profile:   implementation
   
   next: majordomus plan start I0001

   • exit 0
   • stdout_contains /^I0001 /
   • stdout_contains /scope:/
   • stdout_contains /next: majordomus plan start I0001/
6. 6$ majordomus start I0001 --scope src/I0001 exit 0

   úloha pod rozsahem, který úkol jmenuje; překryv s jinými worktrees se počítá na nárokovaných cestách

   started t-<id>  profile=implementation  scope=src/I0001
   next: majordomus context; checkpoint every 15m; majordomus check before claiming anything

   • exit 0
   • stdout_contains /t-/

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.
• majordomus startZahájit jednu úlohu s rozsahem pod profilem a odmítnout, dokud je aktivní jiná.

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í Integrita grafu závislostíGraf závislostí úkolů je acyklický, každá hrana jmenuje existující úkol a žádný úkol se neprovádí před závislostí, která není hotová.
• ✕blokující Integrita rozsahuÚloha se dotkne jen cest, které uplatnila; práce nalezená jinde se nepřijímá jako hotová.

Uplatněné záruky

• ○zaručeno Úloha se spouští s deklarovaným rozsahem souborů a profilem a na checkout je aktivní jen jedna úloha
• ○zaručeno Překryv mezi paralelními workery se počítá na nárokovaných cestách v obou směrech zahrnutí
• ○zaručeno Stav úkolu a milníku se odvozuje ze zaznamenaných faktů a nikde se neukládá
• ○zaručeno Cyklus, samozávislost a závislost na úkolu, který neexistuje, jsou každé odmítnuty jménem
• ○zaručeno Vlny provádění se počítají z grafu a úkoly v jedné vlně, které zasahují do stejných cest, se hlásí jako serializované

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.
• Provozovat několik workerů v jednom repozitáři, aniž by se sraziliDejte každému workeru deklarovaný rozsah a zjistěte okamžitě, když dva z nich nárokují stejné cesty.
• Přichytit agenta, který tvrdí, že je hotov, a neníJedna úloha od začátku do konce: worker vybočí z rozsahu, prohlásí, že je hotov, předá práci a je přijat teprve tehdy, když projde vlastní ověření repozitáře.
• Dokončit úkol, jen když existují jeho důkazySledujte, jak úkol odmítne dokončení, dokud chybí požadovaný důkaz, přečtěte si plán rozvoje odvozený ze stavu milníků a nechte projekci na GitHub projekcí.
• Pracovat na větvi v jediném worktree, kam patříZaložit větev bez volby cesty, najít z kteréhokoli checkoutu všechny checkouty repozitáře a přivést zbloudilý domů s nedotčenou necommitnutou prací.

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

• → 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 hotovou práci na větvi, kterou nikdo nikdy nemergoval Workeři vyprodukují mnohem víc, než integrace pojme, a nic nerozlišuje práci hotovou od práce hotové a přistálé.
• → se zeptal, kam milník dospěl, a musel se jít ptát čtyř lidí Pokrok je agregát, který existuje jen v lidech, protože části, které agreguje, se nikdy nezaznamenaly ve tvaru, který by šel sečíst.