HTTP API: environment

Nakolik lze rozlišené hodnotě důvěřovat.

Odkud pocházejí hodnoty jednoho snímku.

Odkud pochází jedno pole snapshotu. Díky tomu lze odvozený systém ladit: každý fakt může jmenovat věc, která o něm rozhodla, takže na „proč to říká“ odpovídá nástroj, ne čtení jeho zdroje.

Stav jednoho pracovního stromu, jak ho hlásí porcelain v2.

Kolik platných objektů jednoho druhu vrstva drží.

Co vrstva drží, spočítáno podle druhu, plus registr, který spustitelný soubor skládá. Každé zde uvedené číslo pochází z indexu — týchž objektů, které servíruje každý jiný povrch — a nikdy z počítání souborů odpovídajících vzoru: soubor, který se neparsuje, není pravidlo, a počet, který tvrdí opak, je lež, podle které člověk jedná.

Zda je Majordomus v tomto checkoutu v platnosti, tvrzení po tvrzení, s důkazy.

use majordomus_cli::environment::preflight::{derive, Observations, Preflight};
let p = derive(&Observations::empty("demo", 0));
assert_eq!(p.schema, Preflight::schema_id());
assert_eq!(p.verdicts().len(), p.sections.iter().map(|s| s.checks.len()).sum::<usize>());

Jedno tvrzení, jeho verdikt a na čem verdikt stojí.

use majordomus_cli::environment::preflight::{Check, Evidence, Verdict};

// a claim of something in force without evidence is not accepted as one
let bare = Check::new("integration.mcp", "MCP", Verdict::Verified, "healthy", vec![]);
assert_eq!(bare.verdict, Verdict::Unknown);
assert!(bare.summary.contains("no evidence"));

let backed = Check::new(
    "integration.mcp", "MCP", Verdict::Verified, "served",
    vec![Evidence::new("GET /", "surface mcp ready")],
);
assert_eq!(backed.verdict, Verdict::Verified);

Jedna věc, na které verdikt spočívá: kde byla přečtena a co se tam vidělo.

use majordomus_cli::environment::preflight::Evidence;
let e = Evidence::new(".ai/repo/evidence/ledger.json", "6 recorded runs");
assert_eq!(e.source, ".ai/repo/evidence/ledger.json");

Skupina kontrol: repository, session, governance, integration, verification.

use majordomus_cli::environment::preflight::{derive, Observations, Section};
let p = derive(&Observations::empty("demo", 0));
let ids: Vec<&str> = p.sections.iter().map(|s| s.id.as_str()).collect();
assert_eq!(ids, ["repository", "session", "governance", "integration", "verification"]);
// every check in a section carries the section's id as its prefix
let session: &Section = &p.sections[1];
assert!(session.checks.iter().all(|c| c.id.starts_with("session.")));

Co o jednom tvrzení může repozitář ukázat.

Devět slov, ne boolean, protože akce, které vyžadují, se liší: stale je znovu spustit důkaz, unavailable je nic tam není, unknown je nikdo se nepodíval a not_applicable je není co hledat.

use majordomus_cli::environment::preflight::Verdict;
assert!(Verdict::Verified.proves() && Verdict::Active.proves() && Verdict::Fresh.proves());
assert!(!Verdict::Stale.proves() && !Verdict::NotApplicable.proves());
assert_eq!(Verdict::NotApplicable.as_str(), "not_applicable");
// the most urgent first: a failure outranks a stale proof, which outranks an absence
assert!(Verdict::Failed.urgency() < Verdict::Stale.urgency());
assert_eq!(Verdict::Verified.urgency(), None);

Čím projekt je, z manifestu crate a prózy zapsané jednou v crate::about. Každé pole zde je konstanta tohoto programu v době kompilace: není co číst, není co parsovat a nic, co by se mohlo rozcházet s binárkou, která odpovídá.

Jak si jedna projekce providera stojí vůči své politice.

Jedna projekce poskytovatele, kterou politika deklaruje, a zda soubor na disku stále odpovídá tomu, co politika vykresluje.

Uvažování tak, jak ho hlásí prostředí: souhrn reasoning.advisors ze stejného odvození, nikdy vlastní seznam poskytovatelů.

use majordomus_cli::environment::ReasoningSummary;

let summary: ReasoningSummary = serde_json::from_value(serde_json::json!({
    "operational": true, "mode": "offline", "available": ["local"], "unavailable": 2,
})).unwrap();
assert!(summary.operational);
assert_eq!(summary.available, ["local"]);
assert_eq!(serde_json::to_value(&summary).unwrap()["unavailable"], 2);

Snímek: čím tento checkout právě teď je.

Každý povrch, který cokoli z toho hlásí, vykresluje tuto hodnotu. Kolekce jsou v zdokumentovaném, stabilním pořadí — druhy a workflow podle jména, služby a poskytovatelé v pořadí, v jakém je deklaruje jejich kanonický zdroj, diagnostika v pořadí nalezení — takže dva snímky téhož repozitáře se serializují shodně až na RepositoryEnvironment::generated_at.

Checkout, jehož je tento snímek.

Jak úplně byl snapshot rozlišen. Nese se ve snapshotu, protože spotřebitel musí umět rozlišit „neběží žádný server“ od „nikdo se nepodíval“.

Zda služba odpovídá. Unknown je skutečná odpověď a nikdy zamaskované no: sonda, která vypršela, a port, který odmítl spojení, vedou čtenáře k odlišným akcím.

Jedna lokální služba tohoto repozitáře: co to je, kde je a zda tam něco odpovídá. Cesta je ta, kterou obsluhuje router; URL existuje jen dokud běží server.

Odkud pochází úroveň snímku. Úroveň, kterou aktivní vyřešení nedosáhne, je TierState::Unavailable s důvodem a její hodnoty chybí místo aby byly nula.

Zda je deklarovaný toolchain zde použitelný.

Toolchain, který repozitář deklaruje, a co je pro něj nainstalováno. Tři věci jsou záměrně drženy odděleně: repozitář může deklarovat verzi, kterou nikdo nemá, a stroj může mít verzi, o niž žádný repozitář nežádal, a hlásit jedno jako druhé je způsob, jak nesoulad verzí zůstane týden neviditelný.

Co o checkoutu říká správa verzí, nebo proč se na to nešlo zeptat.

Workflow, které zde člověk může spustit, tak, jak je popisuje sám workflow runner.

Jeden workflow: recept justfile repozitáře, jak ho popisuje just.

Vstupní bod jedné skupiny workflow: co skupina je a jedno workflow, které ji zastupuje.

Jeden parametr workflow.