Entry hlásí verdikt za každé tvrzení a důkazy za ním, z jedné hodnoty preflight

66. Vstup hlásí verdikt na tvrzení a důkazy za ním

Kontext

Mandát z 2026-09-15 žádal, aby vstup do repozitáře prokázal, zda Majordomus skutečně platí: governance, kontext relace, MCP, Cockpit, peers, testy, pokrytí, dokumentace a nasazení. Navrhoval nový kanonický snímek, tenké .envrc a povrchy na příkazové řádce, v API, MCP a Cockpitu.

Změřeno dřív, než bylo cokoli postaveno:

• .envrc už bylo jedním voláním majordomus env enter (ADR 0043, project.envrc-is-an-adapter) a vstup v debug buildu trval asi 190 ms.
• environment::RepositoryEnvironment už bylo kanonickým snapshotem toho, čím checkout je, s proveniencí na pole, servírovaným na každém povrchu.
• Banner vykresloval ✓ vedle Cockpitu, dokumentace, Swagger, API, událostí a MCP, zatímco sdílený server byl outdated (0.6.1 servírující spustitelný soubor 0.7.0). Značka pocházela z ServiceAvailability::Available, spojení TCP.
• Důkazy k tomu, aby to šlo lépe, už existovaly a nebyly nikde na vstupní cestě: standing_of z server.status, vlastní GET / serveru uvádějící každý povrch s ready, rules.report (137 pravidel, 0 se zaznamenaným úspěšným během), kniha důkazů (6 provedení, žádné na HEAD), posouzení čerstvosti z continuity.state a commity gh-pages, z nichž každý jmenuje svůj commit source:.

Rozhodnutí

1. Druhá hodnota, ne širší snímek. environment::preflight::Preflight odpovídá, co je prokázáno; RepositoryEnvironment dál odpovídá, co checkout je. Rozšíření snímku by změnilo jeho digest a schéma a každý banner by vypadal jako novinka.
2. Devět verdiktů, ne booleanů: verified, active, fresh, stale, degraded, unavailable, failed, unknown, not_applicable. Tři, které tvrdí sílu, nelze sestrojit bez důkazů (Check::new).
3. Pozorovat, pak odvodit. observe čte; derive je čisté. Každý verdikt je test nad hodnotou.
4. Znovu použít, nikdy znovu neodvozovat. Stav serveru je standing_of nad jedním GET / (lease::probe_reply, vlastní rozhodnutí sondy). Čerstvost předávky je resolver kontinuity. Aktuálnost testu je changed_since modulu důkazů. Součet pravidel je rules::report. Žádný detektor nebyl napsán dvakrát.
5. Vstup zůstává v rozpočtu tím, co nečte. Součet pravidel potřebuje index, který vstup nikdy nesestavuje. Proto ho env preflight --full počítá a cachuje s commitem, v němž byl spočítán, a vstup ho hlásí jako stale na jakémkoli jiném commitu. Nástěnka peerů stojí asi 90 ms, protože sbírá každý checkout, takže se jí vstup neptá a říká to. env preflight se ptá.
6. Banner už neoznačuje službu za odpovídající, pokud server není ověřen. Přiřazení stále exportují MAJORDOMUS_URL jako vyřešené, protože klient se k němu stále může dostat.
7. Jedna schopnost, environment.preflight, promítnutá do HTTP, nástroje a zdroje MCP. Přehled v Cockpitu ji vykresluje s každým verdiktem jako daty. Obsloužený požadavek, který drží lease, je vlastním důkazem pro server a čte vlastní nástěnku.
8. Co nic nezaznamenává, se řekne, neskryje. Pokrytí je unavailable, protože scripts/rust-coverage nezanechává záznam. Generovaná dokumentace je unknown, protože se nezaznamenává žádná kontrola generování. Relevance ADR se netvrdí, protože nic nepropojuje ADR s úlohou.

Důsledky

• Vstupní řádek je poctivý a v tomto repozitáři dnes většinou není zelený. O to jde: 0 ze 107 pravidel dlužících důkaz je dokázáno proti stromu a zaznamenané běhy testů se týkají jiných commitů.
• Tvar .envrc, který poslání navrhlo (samostatné volání env preflight --compact), nebyl přijat. Byl by to druhý git status na každém cd, což project.envrc-is-an-adapter zakazuje. env enter kreslí kompaktní preflight ze stejného snapshotu.
• Připojení důkazů o pokrytí a zaznamenané kontroly generování k preflightu je budoucí práce a každé je jedno pozorování a jedna kontrola, až záznam existuje.
• GitHub Pages nedostávají stav runtime. Verdikt nasazení se týká lokálního refu gh-pages tak, jak byl naposledy načten, a scripts/pages verify zůstává autoritou v tom, co se servíruje.