HTTP API: obligations

Co dluží aktivní úloha tohoto checkoutu a kolik z toho stále platí.

Klon, který nikdy nespustil životní cyklus, odpovídá i na toto, a odpovídá jako na absenci: present false, žádná úloha a zjištění, které to říká. „Nic nedlužíme“ a „není komu dlužit“ jsou různé skutečnosti a obsluhovaná instance nesmí hlásit druhou jako první.

use majordomus_cli::capability::builtin::obligations::Closure;
let fresh: Closure = serde_json::from_str(
    r#"{"present":false,"worktree":"/srv/clone","branch":"master","closed":false,
        "tallies":{},
        "findings":["no active task in this checkout (.ai/local/state/current.yaml); nothing owes anything here"]}"#,
)
.unwrap();
assert!(!fresh.present && !fresh.closed, "nothing that does not exist is closed");
assert!(fresh.task.is_none() && fresh.obligations.is_empty());
assert_eq!(fresh.findings.len(), 1, "absence is reported, not implied");

Řádek task.evidence, který splnil závazek, tak, jak ho drží ledger.

Nic staršího se nezohledňuje: důkazy nahrazují jiné důkazy a kniha uchovává historii pro čtenáře, který ji chce.

use majordomus_cli::capability::builtin::obligations::Evidence;
let e: Evidence = serde_json::from_str(
    r#"{"recorded_at":"2026-09-09T21:01:00Z","head":"f00ba7","branch":"master",
        "kind":"ci","command":"scripts/ci/reference-check","inputs_hash":"7f68b9"}"#,
)
.unwrap();
assert_eq!(e.head, "f00ba7", "the envelope's commit is what a remote fact is judged against");
assert!(e.artifact.is_empty(), "one of command and artifact; narrative is not evidence");

Jeden token, který úloha smí deklarovat v requires, tak jak jej distribuce dodává.

remote a inputs rozhodují o tom, jak se posuzují její důkazy, a jsou rozhodnutím souboru, nikoli tohoto čtenáře: fakt, který pracovní strom nedokáže určit, je vázán na commit, ve kterém byl pořízen, a vše ostatní je vázáno na bajty souborů, které vybírají jeho pathspecy.

use majordomus_cli::capability::builtin::obligations::Obligation;
let push: Obligation = serde_json::from_str(
    r#"{"id":"push","title":"The commit reached the remote",
        "summary":"The branch's head exists on the remote it tracks.",
        "discharged_by":"git","remote":true}"#,
)
.unwrap();
assert!(push.remote);
assert!(push.inputs.is_empty(), "a remote fact is bound to a commit, not to a tree");

Jedna povinnost, kterou úloha deklarovala, spojená s tím, co o ní říká slovník, a s důkazy, které ji plní nebo neplní.

Pole slovníku se tu opakují záměrně: klient, který se ptá, co tato úloha dluží, dostane v téže odpovědi název tokenu, jeho shrnutí i příkaz, který by jej splnil, a k vykreslení reportu nepotřebuje druhé volání.

use majordomus_cli::capability::builtin::obligations::{ObligationClosure, ObligationState};
let owed: ObligationClosure = serde_json::from_str(
    r#"{"id":"pages","title":"The published site serves this commit","remote":true,
        "state":"owed","detail":"owed, and no evidence was recorded",
        "reproduce":"majordomus evidence --covers pages --command 'scripts/pages verify'"}"#,
)
.unwrap();
assert_eq!(owed.state, ObligationState::Owed);
assert!(owed.evidence.is_none() && owed.staleness.is_none(), "nothing to label");
assert!(owed.reproduce.starts_with("majordomus evidence"), "a finding carries its repair");

Kde jedna povinnost stojí.

Slova jsou verdikty validátoru, ne škála závažnosti: stale není horší owed, je to důkaz, který byl pravdivý a už nepopisuje to, co dokázal.

use majordomus_cli::capability::builtin::obligations::ObligationState;
// only one of the four lets a task be called completed
let completable = |s: ObligationState| s == ObligationState::Discharged;
assert!(completable(ObligationState::Discharged));
assert!(!completable(ObligationState::Stale), "evidence that no longer describes the tree");
assert!(!completable(ObligationState::Owed));
assert!(!completable(ObligationState::Undeclared));

Slovník, který distribuce dodává: každý existující token.

count se měří z obligations, ne zapisuje, takže token přidaný do souboru se započítá tímtéž aktem, který jej deklaruje.

use majordomus_cli::capability::builtin::obligations::Vocabulary;
let v: Vocabulary = serde_json::from_str(
    r#"{"version":1,"source":"/opt/majordomus/share/obligations.yaml","count":1,
        "obligations":[{"id":"commit","title":"The work is committed",
                        "summary":"In the branch's history, not the working tree.",
                        "discharged_by":"git","remote":false}]}"#,
)
.unwrap();
assert_eq!(v.count, v.obligations.len());
assert_eq!(v.version, 1, "the only shape this reader accepts");