Říct, co se dostalo na remote a co ne

setup: task-owes-outer
given:
  - a repository with the layer installed, an active task that owes commit and push, and the work still in the working tree
steps:
  - id: recording-it-changes-nothing
    run: ['evidence', '--covers', 'commit', '--command', 'git commit']
    expect:
      exit: 0
      output: 'evidence: commit recorded'
  - id: the-tree-is-asked-instead
    run: ['finish', '--outcome', 'completed', '--note', 'done']
    expect:
      exit: 10
      output: 'still in the working tree'
  - id: what-cannot-be-settled-says-so
    run: ['check']
    expect:
      exit: 0
      output: 'the checkout has no remote'
then:
  - a token the tool can settle is settled live at HEAD, and a recorded line neither discharges it nor rescues it
  - a checkout that cannot settle a token falls back to the recorded evidence and says what it could not establish
  - unreachable and unpublished are different findings, and neither is reported as the other

Scénář

Provedeno proti skutečnému nástroji v repozitáři připraveném pomocí task-owes-outer, 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 běhu, z něhož byla tato stránka vygenerována: pass, 3 kroky. Výstup je normalizován: cesta k repozitáři, č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 evidence --covers commit --command 'git commit' exit 0

   evidence: commit recorded for t-<id>
             note: commit is established from git where it can be, and this record is read only where it cannot

   • exit 0
2. 2$ majordomus finish --outcome completed --note done exit 10

   OK   blockers    t-<id> — none open
   FAIL note        t-<id> — no --note file and no handover for this task  [reproduce: majordomus handover < note.md]
   INFO regression  t-<id> — profile implementation adds no requirement beyond the shared contract
   OK   scope       t-<id> — 1 touched file(s), all within scope
   OK   state       t-<id> — exact (head <head>)
   INFO continuity  t-<id> — applies to partial and blocked
   INFO mesh        t-<id> — the repository declares no enabled mesh
   INFO use-case    30 advisory gap(s) — not covered by an active use case, and the policy does not require it: command:init command:update command:doctor command:watch command:start command:context command:checkpoint command:handover command:check command:finish command:history command:decision command:question command:prompt command:evidence command:skills command:capture command:search command:doctrine command:plan command:version command:session command:knowledge command:adr command:usecase command:rules command:migrate command:recover command:bench command:archive  [reproduce: majordomus usecase coverage]
   OK   use-case    0 of 30 target(s) covered — every public command the policy requires is named and run by an active use case (policy use_cases.coverage)
   FAIL verification t-<id> — profile implementation requires --verify-command  [reproduce: majordomus finish --outcome completed --verify-command "<cmd>"]
   FAIL obligation  commit — 1 file(s) the task touched are still in the working tree, not in the branch's history (lib/a)  [reproduce: git status --porcelain]
   FAIL obligation  push — owed, and no evidence was recorded (the checkout has no remote, so a push cannot be established here)  [reproduce: majordomus evidence --covers push --command 'git']
   INFO gate        t-<id> — this repository declares no CI model at .ai/repo/ci/gates.yaml; nothing can be planned
   INFO gate        t-<id> — not in verification.finish_requires
   finish: refused, 4 unmet
   blocking doctrines:
   - majordomus.note-integrity
   - majordomus.verification-integrity
   - majordomus.obligation-closure

   • exit 10
3. 3$ majordomus check exit 0

   OK   knowledge   records — 0 record(s) valid against knowledge/v1; every reference resolves  [reproduce: majordomus knowledge check]
   ·    checkpoint  t-<id> — <timed against the checkpoint interval>
   OK   records     ledger.jsonl — every line is a well-formed event
   OK   blockers    t-<id> — none open
   OK   records     decisions.md — every entry is attributable
   OK   scope       t-<id> — 1 touched file(s), all within scope
   OK   state       t-<id> — exact (head <head>)
   INFO mesh        t-<id> — the repository declares no enabled mesh
   INFO use-case    30 advisory gap(s) — not covered by an active use case, and the policy does not require it: command:init command:update command:doctor command:watch command:start command:context command:checkpoint command:handover command:check command:finish command:history command:decision command:question command:prompt command:evidence command:skills command:capture command:search command:doctrine command:plan command:version command:session command:knowledge command:adr command:usecase command:rules command:migrate command:recover command:bench command:archive  [reproduce: majordomus usecase coverage]
   OK   use-case    0 of 30 target(s) covered — every public command the policy requires is named and run by an active use case (policy use_cases.coverage)
   INFO obligation  commit — 1 file(s) the task touched are still in the working tree, not in the branch's history (lib/a) (not refused: the outcome is not completed)
   INFO obligation  push — owed, and no evidence was recorded (the checkout has no remote, so a push cannot be established here) (not refused: the outcome is not completed)
   INFO gate        t-<id> — this repository declares no CI model at .ai/repo/ci/gates.yaml; nothing can be planned
   check: 13 finding(s), 0 failing

   • exit 0

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 evidenceZaznamenat důkazy k aktivní úloze: jednu povinnost, kterou deklarovala a která byla splněna, nebo jednu validační kontrolu modelu CI, která se ohlásila — každé jako řádek ledgeru nesoucí hash souborů, nad nimiž bylo pořízeno.
• majordomus checkJe aktuální úloha stále konzistentní se svou politikou, rozsahem a tímto checkoutem?
• majordomus finishVyhodnotí kontrakt dokončení a odmítne výsledek, pokud je jakýkoli jeho řádek nesplněn.

Pravidla, díky nimž platí

• ✕blokující Uzavření závazkůÚloha, která deklaruje závazky, dosáhne výsledku completed jen tehdy, když je každý z nich zajištěn nástrojem nebo má důkaz a tento důkaz stále popisuje strom nebo commit, nad kterým byl pořízen.

Uplatněné záruky

• ○zaručeno Závazek, jehož fakt nástroj dokáže držet, se zjišťuje živě, a ne zaznamenává — čistý strom, vzdálená sledovací reference dosahující headu, trunk, který ho dosahuje, publikovaný web, který ho servíruje — a ručně zapsaný řádek ho ani nesplní, ani nezachrání

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

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

• Dokázat, co úloha dlužila, než ji prohlásíme za hotovouÚloha deklaruje, co dluží, zaznamenává důkazy ke každému závazku a odmítne se, když tyto důkazy už nepopisují strom, nad nímž byly pořízeny.
• Zjistěte, zda je práce v tomto checkoutu hotováZeptejte se repozitáře, ve kterém stojíte, a nechte si jmenovitě říct, co je ještě dlužné.
• 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.
• 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.