HTTP API: knowledge_base

Odkud bylo čteno stáří kandidáta ve frontě review. date kandidáta je záměrně den důkazu, z něhož pochází, aby stejný důkaz dával stejné bajty; den, kdy vstoupil do fronty, je jiný fakt a čte se nejprve z ledgeru, pak z gitu a teprve potom ze záznamu.

use majordomus_cli::capability::builtin::knowledge_base::AgeSource;
let from_ledger: AgeSource = serde_json::from_str(r#""derivation""#).unwrap();
assert_eq!(from_ledger, AgeSource::Derivation);
assert!(AgeSource::Derivation < AgeSource::Date, "the ledger is asked before the record");

Jeden záznam kandidáta čekající na posouzení: co čtenář potřebuje, aby se rozhodl, zda ho otevře.

use majordomus_cli::capability::builtin::knowledge_base::KnowledgeCandidate;
let c: KnowledgeCandidate = serde_json::from_str(r#"{
  "id": "e1-0123456789ab", "uri": "majordomus://knowledge/e1-0123456789ab",
  "path": ".ai/repo/knowledge/candidates/e1-0123456789ab.md", "class": "convention",
  "status": "candidate", "epistemics": "decided", "title": "Tests run in disposable repositories",
  "date": "2026-09-12", "derived_from": ["session:e1"], "episode": "e1",
  "freshness": "unknown", "freshness_reason": "no timestamp", "age_source": "date"
}"#).unwrap();
assert_eq!(c.episode, "e1");
assert_eq!(c.branch, None, "an episode this checkout never saw has no branch, and says so");

Kandidáti čekající na revizi proti stropu politiky.

use majordomus_cli::capability::builtin::knowledge_base::KnowledgeCandidates;
let empty: KnowledgeCandidates = serde_json::from_str(
    r#"{"total":0,"on_this_branch":0,"unattributed":0,"branch":"master","candidates":[],"over_cap":false}"#,
).unwrap();
assert_eq!(empty.total, 0, "an empty queue is an answer");
assert_eq!(empty.cap, None, "and a policy without the key declares no cap");

Záznamy pod jedním předmětem: každý kandidát čekající na review a každý odmítnutý, s epizodami za nimi (ADR 0118). Opakování se tu čte, nikdy nezapisuje: každý záznam zůstává souborem jedné epizody a skupina je způsob, jak se jich několik čte jako jedna věc.

use majordomus_cli::capability::builtin::knowledge_base::KnowledgeGroup;
let g: KnowledgeGroup = serde_json::from_str(
    r#"{"about":"lib/a.sh","route":"project","candidates":["e1-a","e2-b"],"episodes":["e1","e2"]}"#,
).unwrap();
assert_eq!(g.episodes.len(), 2, "two episodes observed it");
assert!(g.rejected.is_empty(), "and nobody rejected it");

Jeden záznam znalosti, s vyřešeným každým odkazem, který jmenuje.

objects.get už servíruje stejný soubor jako metadata i obsah. Tohle přidává rozlišení: které odkazy záznamu odpovídají, kterým čtečem a které visí — otázku, kterou si revizor klade před povýšením kandidáta, a otázku, kterou klade validátor integrity každému záznamu.

use majordomus_cli::capability::builtin::knowledge_base::KnowledgeRecord;
let r: KnowledgeRecord = serde_json::from_str(r#"{
  "id": "e1-0123456789ab", "uri": "majordomus://knowledge/e1-0123456789ab",
  "path": ".ai/repo/knowledge/candidates/e1-0123456789ab.md", "source_class": "candidates",
  "class": "convention", "status": "candidate", "epistemics": "decided", "origin": "extracted",
  "date": "2026-09-12", "title": "An assertion", "resolved": true, "content": "---\n---\n"
}"#).unwrap();
assert!(r.derived_from.is_empty(), "a record that names nothing has nothing to resolve");
assert_eq!(r.superseded_by, None, "and is not superseded");

Zda deriver stále zapisuje a co naposledy zapsal.

Úsudek patří ADR 0052 a je aplikován na tohoto zapisovatele: dokud se epizody zavírají, odvození následuje po každém zavření. Porovnává ID epizod, nikdy pořadí řádků ani časová razítka mezi oběma událostmi, protože zavření odvozuje dřív, než připojí session.closed. Je to jen polovina úsudku o aktuálnosti; zda cesta zavření a adaptér komprimace stále volají odvozovač, čte ze zdroje shellový validátor, což je místo, kde zdroj je.

use majordomus_cli::capability::builtin::knowledge_base::KnowledgeStatus;
let fresh: KnowledgeStatus = serde_json::from_str(r#"{
  "present": false, "branch": "master", "closed_without_derivation": 0, "candidates": 0,
  "on_this_branch": 0, "freshness": "unknown", "freshness_reason": "no episode has closed here",
  "judged": false, "stopped_writer": false, "knowledge_on_end": true, "knowledge_on_compact": true
}"#).unwrap();
assert!(!fresh.present, "a fresh clone has no ledger, and that is not a fault");
assert!(!fresh.stopped_writer);

Jeden řádek účetní knihy, na kterém záleží při posouzení: kdy a která epizoda.

use majordomus_cli::capability::builtin::knowledge_base::LedgerMark;
let m: LedgerMark = serde_json::from_str(r#"{"ts":"2026-09-12T10:00:00Z","episode":"e1"}"#).unwrap();
assert_eq!(m.episode, "e1");

Jak se typovaný odkaz vyřešil.

Čtyři slova a žádné páté: reference pojmenovává objekt indexu, nebo něco, za co může ručit jen ledger a git, nebo soubor, který strom už nedrží a historie gitu ano, nebo nic. external není slabší object — commit nebo úloha jsou stejně skutečné jako pravidlo — říká, který čtenář odpověděl; historical se rozřeší také a je pojmenováno zvlášť, aby čtenář viděl, který původ přežil svůj soubor (I1987).

use majordomus_cli::capability::builtin::knowledge_base::ReferenceResolution;
let r: ReferenceResolution = serde_json::from_str(r#""external""#).unwrap();
assert_eq!(r, ReferenceResolution::External);
assert!(r.resolves(), "vouched for by the ledger or git is resolved");
assert!(!ReferenceResolution::Missing.resolves());

Jeden odkaz derived_from záznamu, s tím, jak se vyřešil a vůči čemu.

use majordomus_cli::capability::builtin::knowledge_base::{ReferenceResolution, ResolvedReference};
let r: ResolvedReference = serde_json::from_str(
    r#"{"reference":"task:none","resolution":"missing","reason":"`none` is not a task"}"#,
).unwrap();
assert_eq!(r.resolution, ReferenceResolution::Missing);
assert_eq!(r.target, None);

Jedna položka relations, rozlišená stejným způsobem.

use majordomus_cli::capability::builtin::knowledge_base::{ReferenceResolution, ResolvedRelation};
let r: ResolvedRelation = serde_json::from_str(
    r#"{"relation_type":"relates_to","reference":"file:docs/CLI.md","resolution":"object","target":"docs/CLI.md"}"#,
).unwrap();
assert_eq!(r.relation_type, "relates_to");
assert!(r.resolution.resolves());