○zaručeno
Začínáme a převzetízákladnímaintainerzapisuje stav
Repozitář už má kořen správy — CLAUDE.md, AGENTS.md, příručku pro přispěvatele, kterou lidé skutečně dodržují. Nástroj, který tento soubor generuje celý znovu, by přepsal měsíce autorského úsudku, a obvyklá odpověď proto zní nástroj vůbec nepřijmout.
init: zapíše .ai/ a odmítne, pokud už instalace existuje
update: vykreslí projekci do oblasti mezi značkami a zbytek souboru nechá být
doctor: dokazuje, že projekce odpovídá vlastnímu razítku a deklarované vynucování se skutečně volá
setup: authored-governance
given:
- 'a hand-written CLAUDE.md people follow, committed'
- 'Majordomus installed, the policy projecting CLAUDE.md in region mode'
- 'the two enforcements wired as git hooks'
steps:
- id: refuse-overwrite
run: ['init']
note: 'a second init never overwrites a layer that is there'
expect:
exit: 15
stdout_contains: ['already exists']
- id: render-the-region
run: ['update']
note: 'the generated region is appended inside the authored file and stamped; the authored text is untouched'
expect:
exit: 0
stdout_contains: ['^create CLAUDE.md$']
files_contain:
- path: CLAUDE.md
pattern: 'Hand-written governance'
- path: CLAUDE.md
pattern: '^<!-- majordomus:begin [0-9a-f]{12} [0-9a-f]{16} -->$'
- id: prove-it-holds
run: ['doctor']
note: 'the projection matches its stamp and the declared enforcement is invoked by the hooks'
expect:
exit: 0
stdout_contains: ['^OK projection', 'doctor: 0 failure']
then:
- 'the authored text is byte for byte what it was'
- 'the region carries the policy hash and its own content hash'
- 'doctor is green because the hooks exist and call the tool'
Autorský text zůstává závazný a generovaná sekce sedí uvnitř něj, označená jako každá jiná projekce. Úprava mimo značky není nikdy drift; úprava uvnitř nich se zachytí.
Scénář
Provedeno proti skutečnému nástroji v repozitáři připraveném pomocí authored-governance, 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.
dáno
- ·ručně psaný CLAUDE.md, který lidé dodržují, commitnutý
- ·Majordomus nainstalován, politika promítá CLAUDE.md v režimu region
- ·dvě vynucování zapojená jako git hooky
kdy
- 1
majordomus init - 2
majordomus update - 3
majordomus doctor
pak
- ·autorský text je bajt po bajtu takový, jaký byl
- ·oblast nese hash politiky a hash vlastního obsahu
- ·doctor je zelený, protože hooky existují a volají nástroj
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.
-
druhý init nikdy nepřepíše vrstvu, která tam je
majordomus: .ai/ already exists in <repo> (use --extend to add what is missing; nothing is overwritten)
- kód 15
- stdout_contains /already exists/
-
generovaná oblast se připojí dovnitř autorského souboru a označí razítkem; autorský text zůstane nedotčen
create AGENTS.md
create CLAUDE.md
generated 2 target(s) from policy 32054e95f0ef; each carries its own stamp
- exit 0
- stdout_contains /^create CLAUDE.md$/
- file_contains /Hand-written governance/ CLAUDE.md
- file_contains /^<!-- majordomus:begin [0-9a-f]{12} [0-9a-f]{16} -->$/ CLAUDE.md
-
projekce odpovídá svému razítku a deklarované vynucování volají hooky
OK knowledge graph — buildable here: 96 node(s), 56 edge(s), compiled into a temporary file and removed; no stored index to go stale
OK knowledge records — 0 record(s) valid against knowledge/v1; every reference resolves [reproduce: majordomus knowledge check]
OK knowledge candidates — 0 await review, cap 40
OK layout .ai/manifest.yaml — schema ai-repository/v1
OK layout .ai/repo/scope.yaml — version 1; 14 in pathspec(s); every key is one the schema declares
OK layout .ai/local/ — ignored, and nothing under it is tracked
OK layout .ai/ — every section the manifest names exists; the layer is readable without the tool
OK layout .ai/repo/prompts — present
OK layout .ai/local/state/handovers — present, 0 record(s)
OK layout .ai/local/state/checkpoints — present, 0 record(s)
OK records ledger.jsonl — every line is a well-formed event
OK policy 39 key(s) — every policy value the code reads is declared, with no reader-side default
OK bootstrap 2 projection(s) — each points at .ai/README.md, carries no rule of its own and names only rules in force
OK catalogue 0 use case(s), 0 application(s) — every command, doctrine, claim, responsibility, category, setup and cross-reference resolves, both directions
OK context .ai/ — 19 context document(s) carry the contract; ids unique, references resolve, no final document superseded, no cycle [reproduce: majordomus context validate]
OK policy .ai/repo/policy.yaml — parsed, version 1
OK profiles 4 files — parsed; default 'implementation' exists
INFO adr .ai/repo/adrs/ — no decisions; nothing to validate
OK records decisions.md — every entry is attributable
INFO project .ai/repo/project — no canonical project model here; nothing to validate
OK command surface — 30 public command(s), reconciled against the dispatch table [reproduce: majordomus doctor]
OK doctrine 50 of 61 rule(s) carry a validator — validator, dispatch, propagation, test and CI resolve for every one of the 50; the remaining 11 declare no validator and this check does not examine them
OK wiring doctor-on-commit — wired via .githooks/pre-commit
OK wiring finish-on-push — wired via .githooks/pre-push
OK command coverage — every public command is exercised and refuted [reproduce: bash test/run.sh 31_command_coverage]
OK resolver handovers — no record for this worktree and branch (absence, not a stale match) [reproduce: majordomus handover --resolve]
OK lifecycle activity — 0 episode(s) opened here; too few to judge whether the writers stopped
OK knowledge wiring — the close path and the compaction adapter call the deriver
OK knowledge deriver — no episode has closed here; nothing to judge
INFO project .ai/repo/project — no canonical project model here; nothing to validate
OK projection AGENTS.md — content matches its stamp
OK projection CLAUDE.md — content matches its stamp (region)
OK budget AGENTS.md — 42 lines, budget 150
OK links AGENTS.md — all references resolve
OK counts AGENTS.md — no hardcoded counts
OK context builder — 21 lines, budget 300 [reproduce: majordomus context]
OK capture share/schemas/majordomus/capture/capture.v1 — 2 file(s) describe majordomus.capture/v1 at the path the identifier derives: the record as JSON Schema, the document as protobuf
OK capture .ai/local/prompts — ignored and untracked
OK capture .ai/local/prompts — no records yet; the archive is empty
OK capture .ai/local/prompts — every prompt is present as all three: the record, the Markdown and the YAML
OK prompts .ai/local/prompts — the archive and every record in it are readable by their owner only
OK prompts .ai/local/prompts — no records yet; the archive is empty
OK prompt 4 asset(s) — front matter valid, every token known
OK records open-questions.md — every entry parses
OK retention ledger — 1 lines, cap 5000
OK retention handovers — 0 files, cap 200
OK retention checkpoints — 0 files, cap 500
OK retention sessions — 0 records, cap 500
INFO project .ai/repo/project — no canonical project model here; nothing to validate
OK rules .ai/repo/rules/vendor/majordomus — every file matches the manifest (1 (1.0.0-alpha.4))
OK rules 61 rule(s) — resolve in one deterministic order; vendored baseline plus project rules, no override — 51 carry a validator, 10 are normative text this tool does not check
OK rules blocking — all 44 blocking rule(s) carry a validator
OK schema rules — 61 rule(s) resolve in one order: the vendored baseline in manifest order, then the project's, as a dependency graph
OK schema share/kinds.yaml — 36 kind(s); every one that carries metadata declares a schema
OK schema share/schemas — 53 schema(s), each valid JSON and each applied — by a kind, through an allow-list the tool reads, by a validator that names it, or as a generated document's contract (15)
OK records 0 record(s) — every changed_files names work, not generated or local state
OK session .ai/local/session-contexts — ignored and untracked
OK session .ai/local/session-contexts — no working contexts yet; the store is empty
INFO skill .ai/repo/skills/ — no skills; nothing to validate
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 env - — bash <version>, git <version>, jq <version>, shellcheck present
WARN clone unpushed — commits on no remote: main(2) — work on one disk is invisible to every other session and cannot be integrated [reproduce: git push -u origin <branch>]
OK clone uncommitted — no linked worktree, so no uncommitted work can sit in one
INFO clone trunk — no remote-tracking branch, so this checkout's distance from the remote trunk cannot be measured
· reasoning <decided by the advisors and the executable of the recording machine>
· budget doctor — <timed against the policy budget>
doctor: 0 failure(s)
- exit 0
- stdout_contains /^OK projection/
- stdout_contains /doctor: 0 failure/
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.
Pravidla, díky nimž platí
- ✕blokující Integrita projekcíKaždý vygenerovaný instrukční soubor existuje, shoduje se s razítkem, které nese, a po ruční úpravě se nikdy tiše nepřepíše.
- ✕blokující Zapojení vynucováníKaždé vynucování, které politika deklaruje, vyvolá hook, který jmenuje, ze souboru, který dispatcher skutečně spustí, bez spolknutí návratového kódu.
- ✕blokující Integrita politikyPolitika a každý profil lze zpracovat, deklarují verzi 1 a nenesou žádný klíč, který schéma nedefinuje.
Uplatněné záruky
Související případy užití
Vypočteno z toho, co sdílejí: tvrzení, pravidla, příkazy, kategorie, aplikace. Tento seznam nikdo neudržuje.
- Udržet každý bootstrap poskytovatele tenký, vygenerovaný a v rozpočtuZnovu vygenerovat AGENTS.md, CLAUDE.md a další soubory poskytovatelů z jedné politiky a dokázat, že jsou orazítkovány, ukazují na vrstvu, zůstávají pod limitem řádků a vyhodnotí každou referenci.
- Rozšiřte, co spustitelný soubor poskytuje, přidáním souboru, nikdy jeho přebuildovánímPřidejte do .ai/ pravidlo, prompt nebo uzel znalostí a nechte je objevit se jako zdroj MCP, HTTP route a položka reference, se stejným binárním souborem.
- Zjistit, co se rozešlo od doby, kdy se někdo naposledy podívalPtát se, co se pohnulo, místo toho, zda je něco špatně.
- Důvěřujte politice a profilům až po jejich validaciProkažte, že se kanonická politika zparsuje a má deklarovaný každý potřebný klíč, že se zparsuje každý profil a výchozí existuje a že to, co politika deklaruje jako vynucené, je to, co skutečně běží.
- Řekněte jednou, k čemu vaše práce slouží, a nechte to říkat každý povrchZaznamenejte provozní způsob selhání jako jeden soubor a nechte na něj odpovídat příkazovou řádku, API, MCP i web, aniž by se kdekoli registroval.
Okamžiky, na které to odpovídá