Zaručené schopnosti

Deklarováno jako deterministické a blokující, implementováno a s uvedeným behaviorálním testem, který to má dokázat. Zda to zaznamenaný běh podporuje, říká verdikt důkazů zobrazený vedle.

deklarovaný stav: zaručeno 232 deklarovaných tvrzení0 podpořeno zaznamenaným během

Každá platforma, název artefaktu a instalační URL se odvozuje z jednoho modelu a projekce, která s ním nesouhlasí, se odmítne

apps/majordomus-cli/src/distribution/mod.rs · test/cases/84_distribution_model.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Zdokumentovaný jednořádkový instalační příkaz se skládá z částí modelu a dokument, který uvádí jiný, shodí sadu testů

apps/majordomus-cli/src/distribution/mod.rs · test/cases/84_distribution_model.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Instalátor ověří digest artefaktu a zkontroluje jeho archiv dříve, než se cokoli rozbalí, a jakékoli selhání ponechá předchozí instalaci funkční

share/install/install.sh.in · test/cases/85_installer.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Release publikuje artefakt pro každý podporovaný cíl, jinak se nepublikuje

scripts/release-record · test/cases/87_release_pipeline.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Instalační příkaz, který tento projekt inzeruje, se každou noc a na požádání stáhne z publikovaného webu a spustí a běh, který o to požádal, je červený, dokud nenainstaluje funkční nástroj

scripts/ci/install-check · test/cases/97_install_gate.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Archiv release nese každou cestu jednou a nenese nic než soubory a adresáře

scripts/release-package · test/cases/87b_release_archive_shape.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Kanonická politika se parsuje a odmítne, pokud obsahuje neznámý klíč

lib/common.sh · test/cases/00_yaml_flatten.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý profil se parsuje, jeho neznámé klíče se odmítnou a výchozí profil se prokáže jako existující

lib/doctor.sh · test/cases/02_doctor_basic.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každé vynucování, které politika deklaruje, je srovnáno s tím, co skutečně běží

lib/doctor.sh · test/cases/03_update.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Návratové kódy jsou kontrakt a žádný kód neznamená "varuj a pokračuj"

lib/common.sh · test/cases/03_update.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Instrukční soubory providerů se generují z jediné politiky, deterministicky

lib/update.sh · test/cases/03_update.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý generovaný instrukční soubor nese vlastní razítko a ruční úprava se odhalí

lib/update.sh · test/cases/03_update.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Projekce může vlastnit jen oblast mezi svými značkami a zbytek souboru ponechá nedotčený

lib/update.sh · test/cases/13_region_projection.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Zapojení se najde v hooku nebo v kterémkoli subhooku adresáře, do kterého tento hook předává

lib/doctor.sh · test/cases/14_wiring_dispatcher.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každé pravidlo, které nástroj vynucuje, je deklarováno jednou, jako objekt pravidla v efektivní množině repozitáře, a doctor dokazuje, že každé z nich je dosaženo příkazem, který tvrdí, že ho spouští

lib/doctrine.sh · test/cases/18_doctrine_wiring.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
O tom, zda porušení zastaví příkaz, rozhoduje třída doktríny, ne štítek vedle ní

lib/doctrine.sh · test/cases/17_doctrine_enforcement.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý řádek knihy jen pro připojování je správně utvořená událost a poškozený řádek je selhání, ne přeskočený záznam

lib/check.sh · test/cases/22_history.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Položka v úložišti otázek, která se neparsuje, blokuje přijetí přesně jako nevyřešená otázka

lib/check.sh · test/cases/21_decision_question.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Deklarovaný provider hook zachycuje surové prompty uživatele pod úrovní modelu a doctor to dokazuje jeho spuštěním

lib/capture.sh · test/cases/29_prompt_capture.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Zachycený prompt jmenuje epizodu, do které patří, nebo zaznamená, že žádnou nešlo určit; archiv je soukromý, omezený a bez přihlašovacích údajů

lib/capture.sh · test/cases/140_prompt_continuity.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý prompt asset lokální pro repozitář se vykreslí a neznámý token je selhání

lib/prompt.sh · test/cases/24_prompt_search.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Případ užití ani aplikace nemůže pojmenovat příkaz, doktrínu nebo tvrzení, které neexistuje, a oba katalogy se nemohou rozcházet v tom, co se na co vztahuje

lib/usecase.sh · test/cases/28_catalogue.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Ručně upravený instrukční soubor se nikdy tiše nepřepíše

lib/update.sh · test/cases/03_update.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Archiv, který ztratil režimy souborů, selže, místo aby se distribuoval

lib/archive.sh · test/cases/130_archive.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Vždy načítaný instrukční soubor má rozpočet řádků s kontrolou, která selhává

lib/update.sh · test/cases/03_update.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý odkaz relativní k repozitáři ve vždy načítaném souboru je prokázaně vyřešitelný

lib/doctor.sh · test/cases/03_update.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Pevně zapsaný počet v vždy načítaném souboru je selhání

lib/doctor.sh · test/cases/03_update.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Kniha jen pro připojování a úložiště předávek mají stropy uchovávání, které se kontrolují

lib/doctor.sh · test/cases/02_doctor_basic.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Instalace do repozitáře, který už instalaci má, je odmítnuta

lib/init.sh · test/cases/01_init.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý nález nese příkaz, který jej reprodukuje

lib/common.sh · test/cases/02_doctor_basic.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Shellový nástroj neprovádí žádné síťové volání, nevyhodnocuje žádný generovaný text a nic rekurzivně nemaže; jeho jediný deklarovaný požadavek je sonda peeru na loopbacku

bin/majordomus · test/cases/08_no_forbidden_constructs.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Úloha se zahajuje s deklarovaným rozsahem souborů a profilem a na jeden checkout může být aktivní jen jedna úloha

lib/start.sh · test/cases/04_start_check.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Pole identity v každém záznamu stavu se počítají z gitu a nikdy se neautorují

lib/start.sh · test/cases/04_start_check.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
check hlásí, zda jsou stav, rozsah, blokátory a stáří checkpointu právě teď konzistentní

lib/check.sh · test/cases/04_start_check.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Dotčený soubor mimo nárokovaný rozsah je selhání, ne varování

lib/check.sh · test/cases/04_start_check.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Zpětně přečtený stav je vůči gitu označen jako exact, advanced, diverged nebo different_context

lib/common.sh · test/cases/04_start_check.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Překryv mezi paralelními pracovníky se počítá na nárokovaných cestách v obou směrech obsažení

lib/check.sh · test/cases/04_start_check.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
watch hlásí drift politiky, projekce, stavu, rozsahu, předávky, ověření, zastarání a retence

lib/watch.sh · test/cases/07_watch.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
handover zapisuje záznam jen pro připojování s vypočtenou hlavičkou a povinnými sekcemi

lib/handover.sh · test/cases/05_handover.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Předávka je záznam stavu, ne přepis - její povinné sekce musí být přítomné a neprázdné, zástupné tělo se odmítne a její identita se vypočte a odmítne se, je-li zapsána do těla; přepis vložený do sekce se nezjistí

lib/handover.sh · test/cases/05_handover.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
finish vyhodnocuje kontrakt dokončení řádek po řádku a odmítne, pokud je kterýkoli řádek nesplněn

lib/finish.sh · test/cases/06_finish.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
každý odmítnutý finish připojí událost task.refused jmenující nárokovaný výsledek, počet nesplněných a doktríny, které odmítly, a finish --check nezapíše žádnou

lib/finish.sh · test/cases/06_finish.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Výsledek je hodnota z uzavřeného slovníku, ne volný text

lib/finish.sh · test/cases/06_finish.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Kontext, který pracovník dostane, se sestavuje z trvalého stavu v pořadí autority a co profil vylučuje, je vyloučeno

lib/context.sh · test/cases/23_context.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Sestavený kontext dodržuje rozpočet řádků a každá sekce, kterou vypustí, je pojmenována s důvodem

lib/context.sh · test/cases/23_context.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Checkpoint je záznam průběhu s omezenou velikostí a vypočtenou identitou; tělo nad limit je odmítnuto, ne zkráceno

lib/checkpoint.sh · test/cases/20_checkpoint.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Správný předchozí záznam se vyhledá podle worktree a branche a nesouvisející se nikdy nenabídne

lib/common.sh · test/cases/23_context.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Ledger lze číst zpět jako provozní historii, filtrovanou podle úlohy, události a času

lib/history.sh · test/cases/22_history.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Rotace knihy archivuje nejstarší řádky a nikdy je nesmaže

lib/history.sh · test/cases/22_history.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Rozhodnutí se zaznamenává s důvodem a svou úlohou a je nahrazeno pozdějším záznamem, ne upraveno

lib/decision.sh · test/cases/21_decision_question.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Nevyřešená otázka blokuje přijetí a položka, kterou kontrola neumí parsovat, je selhání, ne tiché propuštění

lib/question.sh · test/cases/21_decision_question.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Prompt lokální pro repozitář se vykresluje proti uzavřené množině stavových tokenů a neznámý token je chyba

lib/prompt.sh · test/cases/24_prompt_search.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Trvalé záznamy lze doslovně prohledávat napříč druhy, bez indexu

lib/search.sh · test/cases/24_prompt_search.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každé úložiště kontinuity se prokazuje jako dosažitelné vlastním příkazem, ne jen jako přítomné na disku

lib/doctor.sh · test/cases/25_continuity_lifecycle.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Kontext, který se vztahuje na cestu, se skládá z dokumentů vrstvy vázaných na rozsah, od kořene k cíli, v jednom deterministickém pořadí s původem, a strom, který neprojde validací, nevyřeší nic

lib/context_docs.sh · test/cases/69_context_documents.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý adresář vrstvy nese kontextový dokument, výjimku deklaruje kontrakt, který podstrom řídí, a potomek může tento požadavek zúžit, ale nikdy oslabit

lib/context_docs.sh · test/cases/69_context_documents.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Dopad sady změn na kontext v rozsahu se hlásí z gitu — dokumenty, rozsahy pod nimi, přesuny s jejich původem, sledované zdroje ke kontrole a zastaralé projekce — a nesouvisející změna nehlásí nic

lib/context_docs.sh · test/cases/70_context_impact.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Vrstva AI repozitáře je jeden adresář, jehož manifest jmenuje každou sekci a lze jej číst bez nástroje

lib/init.sh · test/cases/01_init.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Vrstva nainstalovaná s --personal je vlastní jednomu člověku ve sdíleném repozitáři: nemění žádný sledovaný soubor, žádný řádek .gitignore ani nic, co ukazuje git status, a příkaz, který to tvrdí, to ověří

lib/common.sh · test/cases/2979_a_personal_layer_changes_nothing_shared.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Stav lokální pro checkout žije pod .ai/local/, git jej ignoruje a na novém klonu nebo worktree chybí

lib/common.sh · test/cases/01_init.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Základ pravidel je vendorován do repozitáře s manifestem jmenujícím každý soubor a jeho hash a ruční úprava se odhalí a odmítne

lib/rules.sh · test/cases/67_rule_dag.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Efektivní sada pravidel se řeší jako graf závislostí v deterministickém pořadí a sadu, která se nevyřeší, neaplikuje nic

lib/rules.sh · test/cases/67_rule_dag.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Instrukční soubory providerů jsou tenké bootstrapy, které odkazují na vrstvu AI a nenesou žádné vlastní pravidlo

lib/update.sh · test/cases/03_update.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Repozitář s rozložením před .ai se migruje jednou, výslovně, s náhledem plánu a ověřenou zálohou svého lokálního stavu a příkaz je poté idempotentní

lib/migrate.sh · test/cases/66_migrate_legacy.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Nástroj běží pouze pro čtení z libovolného umístění a dvě umístění jedné verze se o jednom repozitáři shodují

lib/common.sh · test/cases/65_tool_root_independence.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
To, co nástroj ví sám o sobě, se zapisuje jednou a všude jinde se odvozuje; druhá kopie je selhání testu

lib/doctor.sh · test/cases/28_no_hardcoded_values.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Veřejný povrch příkazů je deklarován a srovnáván s dispatcherem

share/commands.yaml · test/cases/30_command_registry.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý veřejný příkaz má behaviorální test a negativní test, vypočtené, ne zapamatované

test/cases/31_command_coverage.sh · test/cases/31_command_coverage.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Slovník událostí ledgeru je uzavřený, na vstupu i na výstupu

lib/common.sh · test/cases/33_event_registry.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Záznam úlohy jmenuje checkout, kterému patří, a jiný checkout se nikdy nepodřizuje jeho rozsahu

lib/check.sh · test/cases/27_foreign_task.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Blokující otázka blokuje dál i poté, co se práce předá nové úloze

lib/check.sh · test/cases/50_blocker_across_handover.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
To, co kompilátor kontextu vybere z toho, co shledal relevantním, se počítá v tokenech pojmenovaného tokenizeru a zaznamenává se, nikdy neodhaduje

apps/majordomus-cli/src/economics/context.rs · test/cases/430_economics.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Veličina o tokenech, kontextu nebo nákladech zapsaná do ručně psané prózy je odmítnuta a tvrzení vázané na metriku nelze zaručit, dokud její důkazy neobstojí

apps/majordomus-cli/src/economics/claims.rs · test/cases/431_economics_claims_gated.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Milníky a úkoly jsou kanonické soubory repozitáře a klíč, který nikdo nečte, je chyba

lib/project.sh · test/cases/40_project_model.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Stav úkolů a milníků se odvozuje ze zaznamenaných faktů a nikde se neukládá

lib/project.awk · test/cases/41_project_status.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Cyklus, závislost sama na sebe a závislost na neexistujícím úkolu jsou každé odmítnuty jmenovitě

lib/project.awk · test/cases/42_dag_waves.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Vlny provádění se počítají z grafu a úkoly v jedné vlně, které sahají na stejné cesty, se hlásí jako serializované

lib/project.awk · test/cases/42_dag_waves.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Úkol nelze dokončit, dokud chybí požadovaný důkaz

lib/plan.sh · test/cases/41_project_status.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Plán rozvoje se odvozuje ze stavu milníků a žádný dokument nesmí být jeho druhou autoritou

lib/doctor.sh · test/cases/49_roadmap_doctrine.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Milníky a úkoly na GitHubu se generují z kanonického modelu a ručně upravená generovaná oblast se hlásí, ne přepisuje

scripts/github-sync · test/cases/45_github_projection.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Projekce, která přestane být aplikována, shodí build, a kontrola, která se nedokáže dostat ke GitHubu, to oznámí, místo aby prošla

scripts/ci/github-check · test/cases/97_github_gate.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Pull request, který upravuje promítnutý záznam plánu, není odmítnut jen proto, že GitHub úpravu ještě nezobrazuje, a trunk je za to odmítnut, jakmile uplyne deklarované okno

scripts/ci/github-check · test/cases/1038_a_head_is_judged_against_what_it_changes.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Fáze záměru se odvozuje z milníků, které jej realizují, a každé kritérium z knihy důkazů; záměr je naplněn, jen dokud má každé kritérium aktuální úspěšný běh

apps/majordomus-cli/src/intent.rs · test/cases/367_an_intent_is_satisfied_only_by_evidence.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Záměr, jehož kritérium jmenuje důkaz, který se nikam nevyřeší, se odmítne s uvedením jména

apps/majordomus-cli/src/intent.rs · test/cases/367_an_intent_is_satisfied_only_by_evidence.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Jakmile pod záměrem existuje práce, odmítne se s uvedením jména kritérium, kterému neslouží žádný úkol, úkol pod jeho milníky, který neslouží ničemu, i odkaz na neexistující kritérium

apps/majordomus-cli/src/intent_plan.rs · test/cases/386_a_plan_is_held_to_its_intent.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Mezera, která nechává kritérium bez odpovědi, se odmítne a úkol sloužící záměru, který začal bez kritiky nebo při otevřeném blokujícím nálezu, neprojde validací záměru

apps/majordomus-cli/src/intent_review.rs · test/cases/386_a_plan_is_held_to_its_intent.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Práce realizující záměr se spojuje napříč relacemi, poskytovateli a předávkami a záměr, jehož milníky jsou všechny uzavřené, zatímco důkaz kritéria selhává, se odmítne s uvedením tohoto kritéria

apps/majordomus-cli/src/intent_realization.rs · test/cases/388_an_intent_is_realised_across_providers_and_held_to_reality.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Zeptáte-li se před prací na úkolu, `intent preflight` jmenuje záměry, kterým úkol slouží, s platnou správou, nebo odmítne s uvedením příčiny

apps/majordomus-cli/src/intent.rs · apps/majordomus-cli/tests/intent.rs

zaznamenané důkazyzaznamenané důkazy: zastaralé
Cockpit zobrazuje každý záměr s odvozenou fází na /cockpit/intents a kritéria, důkazy, sloužící úkoly a realizující práci jednoho záměru na /cockpit/intents/<id>

apps/majordomus-cli/src/cockpit/intents.rs · apps/majordomus-cli/tests/intent_realization.rs

zaznamenané důkazyzaznamenané důkazy: zastaralé
Úloha, která jmenuje úkol nebo záměr, jemuž slouží, dostane briefing o tom, co ten záměr od práce žádá, a předávka sdělí dalšímu pracovníkovi, že se záměr změnil

lib/intent_binding.sh · test/cases/960_a_task_starts_bound_to_what_it_serves.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Kde politika vyžaduje navázání, zahájení úkolu nebo úlohy, která slouží záměru bez kritiky nebo s otevřeným blokujícím nálezem, se odmítne už při zahájení, ne až dodatečným hlášením

apps/majordomus-cli/src/intent_binding.rs · test/cases/962_plan_start_asks_the_binding_in_both_engines.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Spustitelný program v Rustu servíruje klientovi MCP vrstvu AI repozitáře přes stdio, přičemž na stdout jsou jen rámce protokolu

apps/majordomus-cli/src/mcp/protocol.rs · test/cases/72_rust_mcp.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
O tom, co server MCP servíruje, rozhoduje manifest, deklarované třídy zdrojů a front matter každého souboru, takže objekt přidaný do vrstvy se servíruje bez změny executable

apps/majordomus-cli/src/index.rs · test/cases/72_rust_mcp.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Soubor vrstvy, který server MCP nedokáže přečíst, je vyloučen s diagnostikou uvádějící jeho cestu a index říká, že je degradovaný, nikdy ne potichu menší

apps/majordomus-cli/src/index.rs · test/cases/72_rust_mcp.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každá schopnost Rust executable je definována jednou a registr odmítne duplicitní id nebo kolidující název projekce, přičemž pojmenuje obě strany

apps/majordomus-cli/src/capability/registry.rs · apps/majordomus-cli/tests/registry.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
MCP, HTTP, OpenAPI, Swagger UI, příkazy capabilities a generovaná reference se odvozují z registru a změna jedné definice se dostane ke všem z nich

apps/majordomus-cli/src/http/openapi.rs · test/cases/76_capabilities_projections.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Jak se čte každý deklarativní druh a jaké klíče smí nést, jsou data čtená za běhu a repozitář přidá druh s jeho JSON Schema bez změny kódu

apps/majordomus-cli/src/metadata/mod.rs · test/cases/76_capabilities_projections.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý generovaný artefakt deklaruje dokument, který promítá, kódování, ve kterém je zapsán, schéma, které jeho obsah splňuje, a svůj zdroj, a strukturovaný dokument se zapisuje v každém kódování, ve kterém je commitnut, z jedné hodnoty

apps/majordomus-cli/src/generate.rs · test/cases/52_generated_artifact_typing.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Odevzdané projekce, dokument OpenAPI, reference schopností a povolené seznamy se znovu generují z registru a schémat a generate --check zastaralou odmítne

apps/majordomus-cli/src/generate.rs · test/cases/76_capabilities_projections.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Jeden sdílený server obsluhuje checkout: první majordomus mcp naváže HTTP na loopbacku se Swagger UI a MCP přes HTTP vedle své relace stdio a zaloguje URL, každý další klient tohoto checkoutu se k němu připojí a skončí, když odejde poslední klient

apps/majordomus-cli/src/lease.rs · test/cases/90_mcp_shared_server.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Nic, co klient zanechá, nezamkne jiného klienta ze sdíleného serveru; poškozený, prázdný, zastaralý nebo opuštěný zámek se převezme a pojmenuje, klient, který nemůže sdílet, je obsloužen samostatně s důvodem v logu a signál odstraní zámek dřív, než server zanikne

apps/majordomus-cli/src/lease.rs · apps/majordomus-cli/tests/mcp_shared.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Server, jehož zámek byl převzat, to říká na koncovém bodu, který sondují všichni čtenáři, odmítá přijmout nového klienta a hlásí, že to, co popisuje jeho health, je jiný proces; relace, které už měl, pokračují a skončí s nimi

apps/majordomus-cli/src/lease.rs · apps/majordomus-cli/tests/lease_lost.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý klient připojený k serveru checkoutu je peer pojmenovaný vlastním initialize a majordomus_peers vypíše každého pracovníka repozitáře — jeho vlastní nástěnku i nástěnku každého dalšího checkoutu, každý peer označený worktree, ve kterém pracuje — zatímco majordomus_announce sděluje ostatním, na čem pracuje a kterých cest se chystá dotknout

apps/majordomus-cli/src/peers.rs · test/cases/250_the_board_is_repository_wide.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Klient MCP otevřený v repozitáři spustí server sám a podle potřeby sestaví spustitelný program, přes konfigurace klientů v kořeni a bin/majordomus-mcp

bin/majordomus-mcp · test/cases/90_mcp_shared_server.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Klient, který spustí server MCP z checkoutu bez spustitelného programu nebo bez takového, který lze sestavit, je obsloužen nainstalovaným release a je mu to řečeno, místo aby byl odmítnut

bin/majordomus-cli · test/cases/3177_a_client_always_gets_a_server.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Holé claude v dozorovaném repozitáři začíná promptem zahájení relace repozitáře jako první zprávou a běh s argumentem, mimo takový repozitář, s vypnutím nebo s promptem, který nelze vykreslit, zůstane přesně tak, jak byl

share/shell/session-start.sh · test/cases/3221_a_bare_session_start_joins_the_cluster.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Tag s předběžnou částí se publikuje jako prerelease, zaznamená se na kanálu prereleasů a nikdy se nevyhodnotí jako stabilní release, takže nepřipnutý instalátor a uzel sledující stabilní verzi si ponechají nejvyšší stabilní verzi

scripts/release-record · test/cases/3179_a_prerelease_is_never_published_as_stable.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
URI majordomus:// se rozlišuje stejně přes čtení zdroje MCP, nástroj majordomus_get i HTTP routu objektu a majordomus://repository odpovídá na repository.info jako JSON dokument označený builtin

apps/majordomus-cli/src/capability/builtin/objects.rs · apps/majordomus-cli/tests/http_serve.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každá kontrola, kterou musí Rust executable projít, je jeden skript, scripts/rust-check, a CI tento skript spouští při každé změně, která může zasáhnout crate

scripts/rust-check · test/cases/77_rust_evidence.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Pokrytí Rust crate se měří bez testovacího kódu ve jmenovateli, při každé změně, která může crate zasáhnout, a při každém pushi do master, a build selže pod hranicí ve scripts/rust-coverage-threshold nebo pod vlastní hranicí domény relací a kontinuity ve scripts/session-coverage-threshold

scripts/rust-coverage · test/cases/77_rust_evidence.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Cesty Rust executable, které se škálují s repozitářem, mají criterion benchmarky, které se sestaví při každém pushi, a každá spustitelná schopnost deklaruje svou politiku měření výkonu, vyžadovanou nebo prominutou z typovaného důvodu

apps/majordomus-cli/benches/projections.rs · test/cases/77_rust_evidence.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Schopnost Rust executable se deklaruje jednou a skládá se do svého modulu, kořen skládá moduly a registr odmítne schopnost mimo jmenný prostor jejího modulu

apps/majordomus-cli/src/capability/module.rs · apps/majordomus-cli/tests/registry.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každá externě volatelná operace Rust executable je cílem benchmarku se jmenovatelem generovaným z registru a chybějící případ shodí strukturní kontrolu

apps/majordomus-cli/src/bench/coverage.rs · apps/majordomus-cli/tests/bench_units.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Po spuštění žádný požadavek MCP ani HTTP na spustitelný program v Rustu neprohledává repozitář, nesestavuje index ani registr, neodvozuje schéma ani nesestavuje projekci, což dokazuje perf.counters

apps/majordomus-cli/src/perf.rs · test/cases/91_canonical_architecture.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Cachovaná schopnost Rust executable vrací stejnou hodnotu necachovaně, za studena i za tepla, zásah cache nespouští žádný handler, chyby a příkazy se nikdy necachují a klíč nese otisk registru

apps/majordomus-cli/src/capability/executor.rs · apps/majordomus-cli/tests/executor.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Provider bootstrapy, které politika deklaruje (AGENTS.md, CLAUDE.md, GEMINI.md, ...), jsou cílem majordomus generate, vykreslené z politiky a šablon providerů bajt po bajtu tak, jak je vykresluje nástroj shell, a generate --check odmítne ručně upravený či zastaralý v CI

apps/majordomus-cli/src/providers.rs · test/cases/93_rust_provider_projections.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Stránka Registr webu se vykresluje ze site/data/registry/registry.json, datové sady, kterou majordomus generate site odvozuje z registru a indexu s jejich otisky, a generate --check zastaralou odmítne v CI

apps/majordomus-cli/src/site.rs · apps/majordomus-cli/tests/projections.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Změna spouští kontroly, které její cesty mohou ovlivnit, podle jednoho modelu toho, co co ovlivňuje, a změna samotné pipeline nebo cesty, kterou model nezná, spouští všechny kontroly

scripts/ci-plan · test/cases/94_ci_plan.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Stav verdiktu je zelený, jen když plánování uspělo a každá kontrola vybraná plánem proběhla v úloze, která uspěla; selhaná nebo zrušená úloha, vybraná kontrola, jejíž úloha byla přeskočena, nebo plán, který nevybral nic, je červený

scripts/ci/verdict · test/cases/94_ci_plan.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Behaviorální sada spouští omezený počet případů najednou se sémantikou sériového běhu, případ zapisující do checkoutu se deklaruje jako exkluzivní a běží sám a paralelní fáze selže s uvedením cest, když se checkout pod ní změnil

test/run.sh · test/cases/94_ci_plan.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Spustitelný program v Rustu, který sestavila kontrola rust, se publikuje jako artefakt se svým původem a každý případ v Rustu spouští program, který jmenuje MAJORDOMUS_BIN, místo aby si nějaký sestavoval

scripts/rust-check · test/cases/401_the_rust_artifact_carries_its_provenance.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Publikace je podmíněna vším, co může učinit publikovaný web chybným, a na nic jiného nečeká; kontroly, které rozhodují, zda se změna smí mergovat, běží vedle ní na stejném commitu, ne před ní

.github/workflows/pages.yml · test/cases/97_pages_fast_path.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Dokument OpenAPI se odvozuje, tagy jsou moduly, příklady jsou případy benchmarku, odpovědi jsou stavy routeru podle druhu, próza je jeden text sdílený všemi projekcemi a API reference webu se vykresluje z commitnutého dokumentu

apps/majordomus-cli/src/http/openapi.rs · test/cases/92_openapi_reference.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
To, co pracovník z repozitáře čte, je deklarováno jednou v .ai/repo/scope.yaml, vyloučení má přednost před zahrnutím a Rust executable nic mimo něj neobjevuje, neindexuje ani neservíruje

apps/majordomus-cli/src/scope.rs · test/cases/93_scope_policy.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý veřejný příkaz je pojmenován a spouštěn aktivním případem užití, zaručené tvrzení nebo nástroj MCP bez něj je pojmenovaná mezera a politika říká, které mezery shodí doctor, check a finish

lib/usecase.sh · test/cases/94_use_cases.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Scénář případu užití se provede proti skutečnému nástroji v jednorázovém repozitáři, ověří se návratový kód a výstup každého kroku a web ukazuje normalizované důkazy

lib/usecase.sh · test/cases/94_use_cases.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Ze souborů, kterých se změna dotkla, nástroj pojmenuje dotčené příkazy, pravidla, případy užití, scénáře a behaviorální případy a vygeneruje návrh pro schopnost, kterou žádný případ užití nepokrývá

lib/usecase.sh · test/cases/94_use_cases.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Živý scénář smí spouštět jen příkazy, které share/commands.yaml deklaruje jako read-only, nepojmenovává žádnou přípravu a závazek tvrdí jen tam, kde nějaký existuje; každý jiný tvar usecase validate odmítne s exit 10

lib/usecase.sh · test/cases/359_live_scenarios.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Živý scénář nevybere holé spuštění usecase, jeho důkazy se zapisují do ignorované lokální poloviny a nikdy nepovýší příkaz na pokrytý; nesplněný závazek se hlásí jako nenaplněný, nikdy jako selhání

lib/usecase.sh · test/cases/359_live_scenarios.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Web se nasazuje jedním skriptem, scripts/site-deploy, z terminálu nebo z publikačního workflow; odmítne špinavý strom, commit, který master neobsahuje, a build, který není z HEAD, pushne site/public do gh-pages s uvedením zdrojového commitu a nepushne nic, když je výstup beze změny

scripts/site-deploy · test/cases/96_site_deploy.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Commit, jehož odvozená data zaostávají za kanonickými vstupy, se odmítne dřív, než vznikne, a repozitář, který tuto kontrolu odpojí, je selháním doctor

scripts/pages · test/cases/56_derived_current_gate.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Stránky webu o spustitelném programu v Rustu (jedna na modul, jedna na schopnost, příkazový řádek, rozhraní MCP, měření výkonu, vlastní vyprávění programu) se odvozují z manifestu registru a datové sady registru, kterou program generuje, nic nejmenuje schopnost ručně a schopnost, která do registru přibude nebo z něj odejde, získá nebo ztratí svou stránku, položky indexu a odkazy samotnými generátory

scripts/lib/executable-site.jq · test/cases/95_executable_reference.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý odevzdaný odvozený artefakt repozitáře se znovu generuje jedním příkazem v pořadí závislostí a kontroluje jedním příkazem jen pro čtení, který jmenuje každý zastaralý artefakt, druhá regenerace na čistém stromu nic nezmění a žádný odvozený soubor nezaznamenává commit, do kterého přistává

scripts/derive · test/cases/400_derivation_is_one_graph.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Dovednost je jeden adresář pod sekcí dovedností vrstvy obsahující SKILL.md, objevený zdrojovou třídou `skill`, kterou čtou shellový nástroj i spustitelný program v Rustu, takže přidání souboru je celá registrace a katalog, příkaz, doctor, MCP i web se z něj odvozují

lib/skills.sh · test/cases/95_skills.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Úloha, která deklaruje závazky, dosáhne výsledku completed, jen když má každý z nich proti sobě zaznamenané důkazy, a důkazy pořízené nad soubory, které se od té doby změnily, nebo na commitu, který branch od té doby opustila, už nic nesplňují

lib/evidence.sh · test/cases/103_obligations.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Závazek, jehož fakt nástroj dokáže zjistit, se ustavuje živě, ne zaznamenáním — čistý strom, vzdáleně sledovaná ref dosahující HEAD, trunk, který jej dosahuje, publikovaný web, který jej servíruje — a ručně zaznamenaný řádek jej ani nesplní, ani nezachrání

lib/evidence.sh · test/cases/103_obligations.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každá dovednost se validuje proti povolenému seznamu generovanému z jejího schématu, jejího adresáře, jejích sekcí a jejích referencí, porušení jmenuje soubor a každý důvod a repozitář bez dovedností se hlásí, ne propouští

lib/skills.sh · test/cases/95_skills.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Sekce dovedností webu se vykresluje z katalogu dovedností, jedna stránka na dovednost nese její vlastní tělo a příklady a odstraněná nebo přejmenovaná dovednost nezanechá žádnou stránku, položku ani odkaz

scripts/generate-site-data · test/cases/95_skills.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Provozní okamžik je jeden soubor pod vrstvou, objevený, ne registrovaný, a odpovídá na něj příkazový řádek, HTTP API, dokument OpenAPI, MCP, odvozený graf i web, aniž by se cokoli jiného měnilo

apps/majordomus-cli/src/why.rs · apps/majordomus-cli/tests/why.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý odkaz, který moment činí, se rozliší proti věci, kterou pojmenovává, a ten, který se nerozliší, je chyba nesoucí nejbližšího kandidáta

apps/majordomus-cli/src/why.rs · apps/majordomus-cli/tests/why.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Diagnóza vlastních příznaků čtenáře je deterministické počítání nad metadaty katalogu a každé doporučení jmenuje okamžiky, které k němu vedly

apps/majordomus-cli/src/why.rs · apps/majordomus-cli/tests/why.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Uzavřená epizoda provádění je sdílený objekt vrstvy, zapsaný nástrojem z gitu a ledgeru, validní proti kontraktu, který nepřipouští konverzaci ani absolutní cestu, a objevovaný, nikoli registrovaný

lib/session.sh · test/cases/63_session_records.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Hák poskytovatele otevře epizodu pod modelem a předá pracovníkovi, co po sobě zanechal předchozí, zaznamená, co se kompakcí chystá zahodit, a uzavře epizodu záznamem pokračování vedle její obálky

lib/session_context.sh · test/cases/54_session_lifecycle_hooks.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Subsystém relací umí číst sám sebe: každou otevřenou epizodu úložiště, nejen tu, kterou sleduje ukazatel, epizody, které se už nedokážou samy uzavřít, commit, o kterém odpovídá obsluhující proces, i to, co deklaruje adaptér každého provideru

apps/majordomus-cli/src/capability/builtin/lifecycle.rs · test/cases/171_session_observability.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Klient bez provider hooků dostane epizodu provádění z připojení MCP, po pádu naváže na vlastní a nikdy se netvrdí, že byl zachycen jeho prompt

apps/majordomus-cli/src/episodes.rs · test/cases/200_generic_mcp_episode.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
What each provider can do about the session lifecycle, prompt capture and driving a browser beside this server is one declaration with a citation per cell, every surface projects it, and no provider the declaration names goes unreported

share/providers.yaml · test/cases/200_generic_mcp_episode.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Architektonické rozhodnutí je jeden soubor v sekci adrs vrstvy, validovaný proti kontraktu rozhodnutí, s identitou, o kterou se nehlásí nic jiného, s reciprokým nahrazením a s rozřešením každého odkazu, který činí

lib/adr.sh · test/cases/99_adr.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Rozhodnutí uvádí, co uvedlo v platnost, jako typované odkazy, z nichž každý je validován, a opačný směr — čím bylo pravidlo, dokument, implementace či případ rozhodnuto — se čte z grafu znalostí, místo aby se zapisoval podruhé

lib/adr.sh · test/cases/99_adr.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
majordomus adr propose zapíše rozhodnutí se stavem proposed a odmítne zapsat jakýkoli jiný stav, přidělí jeho identitu pod zámkem, aby se souběžní pracovníci nikdy nesrazili, a zaznamená, z čeho bylo rozhodnutí odvozeno

lib/adr.sh · test/cases/99_adr.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý příkaz příkazové řádky Rust executable má shrnutí, nápovědu ke každému argumentu a tam, kde se spouští, alespoň jeden příklad; kořen má dlouhý popis a každý příklad ukázaný čtenáři se spouští proti sestavenému executable

apps/majordomus-cli/src/cli.rs · apps/majordomus-cli/tests/cli_examples.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý webový povrch je deklarován jednou u svého producenta a rozřešen do jediné topologie, z níž se promítá router, vstupní stránka i strojově čitelný index

apps/majordomus-cli/src/web/model.rs · test/cases/89_web_surface.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
/docs servíruje dokumentaci tohoto repozitáře a /swagger servíruje Swagger UI a ani jedno nesmí zabrat mount druhého

apps/majordomus-cli/src/web/discover.rs · test/cases/89_web_surface.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Rustdoc crate je webové rozhraní na /rustdoc deklarované objevením z crate, přítomné v topologii, jeho odevzdané projekci i na domovské stránce, ať už jeho producent běžel, nebo ne, a běžící server odpovídá na /rustdoc/ ze stromu, který producent zapsal

apps/majordomus-cli/src/web/discover.rs · test/cases/488_rustdoc_discoverable.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Build webu složí každý publikovaný statický povrch do svého výstupu na jeho přípojném bodě, načtený z commitnuté topologie bez ručně pojmenovaného povrchu, a odmítne build s uvedením producenta, pokud artefakt publikovaného povrchu chybí

scripts/site-build · test/cases/486_rustdoc_composition.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Rustdoc crate se publikuje na /rustdoc spolu s webem, sestavený z commitu, který web uvádí, a nikdy se necommituje

scripts/site-deploy · test/cases/489_rustdoc_deploy.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každá položka, kterou crate exportuje, má svou stránku rustdoc na routě odvozené z její cesty a druhu, žádná stránka položky neexistuje bez své položky a modul přidaný do crate se stane povinnou stránkou bez úpravy jakéhokoli seznamu

apps/majordomus-cli/src/quality/rustdoc.rs · test/cases/490_rustdoc_new_module.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Strom rustdoc sestavený z jiného commitu, než jako který se kontroluje nebo nasazuje, je odmítnut, a to kontrolou integrity před publikací i veřejným ověřením po ní

scripts/pages · test/cases/487_rustdoc_staleness.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Stránka každého builtin modulu na webu odkazuje na stránku, na které referenci crate tento modul dokumentuje, a to z jediného mapování modul-stránka, kterému je podřízena i kontrola rustdoc publikovaného stromu, a jen v buildu, který referenci sestavil

apps/majordomus-cli/src/site.rs · test/cases/492_rustdoc_module_links.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Cesta k worktree větve se odvozuje jen z identity gitu a názvu větve — sourozenec primárního checkoutu pojmenovaný s -wt, potom větev se zachovanou hierarchií — a z každého adresáře každého worktree je odpověď stejná, bez čehokoli registrovaného či konfigurovaného

apps/majordomus-cli/src/worktree/path.rs · test/cases/96_worktree_topology.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Špatně umístěný worktree se přesune na svou kanonickou cestu se zachovanou změněnou, připravenou, nepřipravenou i nesledovanou prací, ověřeno otiskem pořízeným před přesunem a po něm, a krok se hlásí jako přesunutý, jen když se oba rovnají

apps/majordomus-cli/src/worktree/migrate.rs · test/cases/96_worktree_topology.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Funkce produktu je jeden soubor pod vrstvou, objevený, ne registrovaný, a odpovídá na ni příkazový řádek, HTTP API, dokument OpenAPI, MCP, odvozený graf, matice schopností a úvodní stránka webu i stránky funkcí, aniž by se cokoli jiného měnilo

apps/majordomus-cli/src/product.rs · test/cases/97_product_features.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Produkt je zařazen pod několik oblastí deklarovaných jednou jako soubory vrstvy; funkce jmenuje právě jednu a členové, rozhraní, záruky a případy užití každé oblasti se odvozují z funkcí, které ji jmenují, takže stabilní funkci nelze vynechat z mapy produktu, aniž by to model odmítl

apps/majordomus-cli/src/product.rs · test/cases/800_product_domains.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Přes která rozhraní je funkce zpřístupněna, co za ní stojí a na co odpovídá, se odvozuje z registrů, které tato fakta vlastní, nikdy se nepíše ručně, a zdrojový soubor, který některé zapíše, schéma odmítne

apps/majordomus-cli/src/product.rs · apps/majordomus-cli/tests/product.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý odkaz, který funkce činí, se vyřeší proti registru, který jej vlastní, a ten, který ne, je chyba jmenující soubor, klíč a nejbližšího kandidáta, ne stránka odkazující nikam

apps/majordomus-cli/src/product.rs · apps/majordomus-cli/tests/product.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Datová sada, ze které se web vykresluje, nese jen pole, která jmenuje povolený seznam, takže próza funkce, strojová cesta nebo pole, které nikdo nepovolil, se nemůže dostat na publikovanou stránku

apps/majordomus-cli/src/site.rs · apps/majordomus-cli/tests/product.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Domovská stránka webu a stránky funkcí nepojmenovávají žádnou vlastní funkci, modul, příkaz, provider ani počet a zastaralý produktový dataset je odmítnut pre-commit hookem i kontrolou rust dříve, než ho lze mergovat

site/templates/index.html · test/cases/400_derivation_is_one_graph.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Schopnost přidaná do registru se objeví v seznamu, navigaci a vyhledávání Cockpitu a na vlastní stránce s formulářem generovaným z jejího schématu, aniž by se upravil jediný řádek Cockpitu

apps/majordomus-cli/src/cockpit/mod.rs · apps/majordomus-cli/tests/cockpit.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Dashboard UI na /ui odkazuje každou schopnost, kterou načetl, na stránku této schopnosti, servíruje se pod bezpečnostní politikou Cockpitu a nikdy nečeká na frontu pull requestů, která je vlastní stránkou a fragmentem

apps/majordomus-cli/src/ui/dashboard.rs · apps/majordomus-cli/tests/ui_surface.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Observatory na /ui/observatory a /ui/kiosk zobrazí scénu, jen když schopnosti, které vyžaduje, odpověděly něčím k vykreslení, nebo — u scény meshe, kde žádný mesh neběží — když repozitář nese jeho nahrávku, kterou označí jako replay; scéna bez obojího nenese žádný model a uvede důvod zdroje, na serveru i v publikovaném snímku stejně

apps/majordomus-cli/src/ui/observatory.rs · test/cases/3011_the_observatory_draws_nothing_it_did_not_read.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Objekt nasazení, který porušuje svůj uzavřený kontrakt — klíčem, který kontrakt nemá, jinou verzí schématu, chybějícím polem, rozhraním, portem, počtem strojů nebo health routou, které by nemohly fungovat, hodnotou, která vypadá jako přihlašovací údaj, nebo identitou, o kterou se hlásí dva soubory — doctor odmítne s uvedením důvodu

lib/deployment.sh · test/cases/84_deployment_contract.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Důkaz tvrzení je provedení zaznamenané s commitem, proti kterému běželo, ne cesta k testu, která se vyřeší

apps/majordomus-cli/src/evidence/mod.rs · test/cases/124_evidence.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
CI zaznamenává každý test, který spustila, spolu s commitem a během, ve kterém proběhl, a web publikuje verdikt sledovaného ledgeru u tohoto commitu jako aktuální jen tehdy, když běh CI na publikovaném commitu měřil čisté stromy a nic nechybělo, nebylo odmítnuto ani neselhalo; jinak jako zastaralý se vzdáleností či selháními, jako neznámý s důvody, nebo jako nedostupný s důvodem

scripts/ci/evidence-collect · test/cases/357_ci_records_evidence.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každé pravidlo jmenuje, co jej dokazuje, a každá cesta, kterou jmenuje, je ve stromu

scripts/ci/rule-proof-check · test/cases/125_rule_proof.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Každé tvrzení, pravidlo, funkce, příkaz, schopnost, nástroj MCP a případ užití, které repozitář deklaruje, je předmět důkazů, jehož členové a testy se odvozují z již existujících deklarací, a odevzdaný index předmětů, který se od tohoto odvození liší, se odmítne

apps/majordomus-cli/src/evidence/subject.rs · test/cases/507_evidence_subjects_are_derived.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Behaviorální a negativní testy, které rejstřík subjektů uvádí pro příkaz, jsou přesně ty, které uvádí jeho stránka příkazu, obojí načtené z první hlavičky pokrytí a negativního testu každého případu

apps/majordomus-cli/src/evidence/subject.rs · test/cases/507_evidence_subjects_are_derived.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Pravidlo, které žádný program nedokáže vyjádřit, to říká ve své vlastní hlavičce s důvodem a počítá se zvlášť od každého pravidla, které má kontrolu

scripts/ci/rule-proof-check · test/cases/125_rule_proof.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Stav důkazu pravidla se odvozuje ze stromu a knihy společně a mechanismus, který odmítá porušení, se nikdy nehlásí jako běh, který prošel

apps/majordomus-cli/src/rules/mod.rs · test/cases/133_rule_graph.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Každý autorský soubor v tomto repozitáři je psán anglicky a vlastní jméno, testovací fixture nebo publikovaný překlad, který takový není, nese svůj důvod vedle kontroly

scripts/ci/english-only-check · test/cases/138_governance_gates.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Stránka publikovaného webu psaná v jazyce čtenáře je deklarována s tímto jazykem a důvodem a je odmítnuta, pokud stránka sama tentýž jazyk nedeklaruje

scripts/ci/english-only-check · test/cases/403_published_translation.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každé zjištění, které příkaz hlásí, pojmenuje příkaz, který ho reprodukuje

scripts/ci/finding-reproduce-check · test/cases/138_governance_gates.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Běh zaznamenaný pro tento commit a běh, jehož vstupy se od té doby prostě nezměnily, se hlásí jako různé stavy, nikdy jako jeden

apps/majordomus-cli/src/evidence/mod.rs · test/cases/124_evidence.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Zaznamenání výsledku jednoho testu nikdy nesmaže důkazy zaznamenané pro jiný test

apps/majordomus-cli/src/evidence/ledger.rs · test/cases/124_evidence.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Každé tvrzení pojmenovává test, který je má rozhodnout, a každý test pojmenovává tvrzení, která má rozhodnout, z jednoho odvození

apps/majordomus-cli/src/capability/builtin/evidence.rs · test/cases/124_evidence.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Tvrzení, které deklaruje záruku, již žádný zaznamenaný běh nepodporuje, pojmenuje kontrola, místo aby se zobrazilo jako zaručené

scripts/evidence-check · test/cases/124_evidence.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Tvrzení se čte jako prokázané, jen když byl jeho úspěšný běh zaznamenán na commitu, který předložená revize obsahuje, mezi oběma se nezměnilo nic než kniha důkazů a ani zaznamenaný, ani předložený strom nebyl špinavý; běh na commitu, který předložená revize neobsahuje, se čte jako zastaralý; pojmenovaná revize se posuzuje podle knihy odevzdané v ní a čistý neúspěšný běh téhož testu, který checkout drží neodevzdaný a zaznamenaný mezi nimi, ji omezí na zastaralou

apps/majordomus-cli/src/evidence/freshness.rs · test/cases/502_evidence_is_judged_at_the_presented_revision.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Test, který odmítl běžet, se čte jako not_run s detailem, že odmítl, nikdy jako prokázaný ani selhávající, a test, který skončil chybou nebo vypršel, se čte jako selhávající

apps/majordomus-cli/src/evidence/freshness.rs · test/cases/502_evidence_is_judged_at_the_presented_revision.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Pravidlo s neúspěšným testem se čte jako neúspěšné bez ohledu na jeho ostatní testy, takže blokující pravidlo, jehož testy jsou jeden neúspěšný a jeden nespuštěný, je stále nález

apps/majordomus-cli/src/evidence/freshness.rs · test/cases/502_evidence_is_judged_at_the_presented_revision.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Žádný objevovací socket meshe se neotevře, dokud repozitář necommitne zapnutou deklaraci meshe, a vypnutá či chybějící deklarace se hlásí jako důvod, ne jako chyba

apps/majordomus-cli/src/shared.rs · apps/majordomus-cli/tests/mesh.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každé pozorování objevování konverguje do jednoho omezeného registru, deduplikovaného podle identity uzlu a runtime napříč zdroji, chráněného proti replay na úrovni instance, a každý povrch tento registr promítá a nedrží žádné vlastní peery

apps/majordomus-cli/src/mesh/registry.rs · apps/majordomus-cli/tests/mesh.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Dva runtimy jednoho repozitáře se propojí jen podepsaným handshake chráněným proti replay, který ověřuje protokol, identitu repozitáře a důvěru, a každé odmítnutí je typované a viditelné

apps/majordomus-cli/src/mesh/cooperation.rs · apps/majordomus-cli/tests/mesh_cooperation.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Výhradní nárok učiněný na jednom runtime vylučuje překrývající se nárok na každém propojeném runtime a souběžné nároky se všude vyřeší na jednoho pojmenovaného vítěze

apps/majordomus-cli/src/mesh/state.rs · apps/majordomus-cli/tests/mesh_cooperation.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Runtimy obsluhující různé repozitáře nikdy nevytvoří kooperativní spojení, ani když se navzájem objeví

apps/majordomus-cli/src/mesh/repository.rs · apps/majordomus-cli/tests/mesh_cooperation.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Runtime, který přestane vysílat tep — zhroutil se, byl zabit nebo oddělen sítí — vyprší u svých peerů v deklarované lhůtě, jeho nároky přestanou vylučovat a jeho restart se znovu připojí jako týž runtime bez duplikátu

apps/majordomus-cli/src/mesh/cooperation.rs · apps/majordomus-cli/tests/mesh_cooperation.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Runtimy propojené jen přes relay konvergují k jednomu digestu stavu, každá událost je držena jednou, bez smyčky replikace

apps/majordomus-cli/src/mesh/journal.rs · apps/majordomus-cli/tests/mesh_cooperation.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Zhutnění žurnálu spolupráce nemění nic živého — předávka, kterou nikdo nepřevzal, si ponechá svůj proud po omezenou dobu, kdo převzal předávku a kdo odpověděl na revizi, zůstává u nich a zhutněný runtime, který znovu ohlásí tep, se načte znovu celý

apps/majordomus-cli/src/mesh/journal.rs · test/cases/493_mesh_compaction_keeps_what_is_live.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Samostatné linuxové uzly na skutečné síti se navzájem objeví přes multicast, propojí se, sdílejí claimy a předávky a zotaví se z rozdělení sítě i pádu, v laboratoři, kterou CI spouští

test/mesh-lab/run · test/cases/414_mesh_lab_evidence.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Objevený uzel nezíská žádné provádění ani oprávnění tím, že byl zaslechnut; stav meshe smí změnit jen podepsaný provoz od propojeného uzlu a důvěra označuje záznamy podle explicitní politiky, jejíž výchozí hodnota je deny_unknown

apps/majordomus-cli/src/mesh/trust.rs · apps/majordomus-cli/tests/mesh.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Zapnutá deklarace meshe, kterou sdílený server neaktivoval, je selhání kontroly `runtime` v `mesh doctor` (exit 10) nesoucí důvod serveru a řádek `Mesh: DECLARED ENABLED BUT NOT ACTIVE` v briefingu na začátku relace — nikdy tiché vypnutí; a commitnutá deklarace tohoto repozitáře je sledovaná, zapnutá, povoluje flotilu na allowlistu a pojmenovává hub

apps/majordomus-cli/src/mesh/doctor.rs · test/cases/494_the_mesh_is_declared_and_held.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Příchozí povolení, která deklarace meshe na stroji implikuje — port multicastové skupiny, deklarované porty hubu, jejichž adresa je adresou stroje, port serveru za loopbackem — se odvozují z deklarace příkazem `majordomus mesh firewall`, který pojmenuje backend firewallu hostitele, příkazy, které je povolí, a vlastní verdikt firewallu, skončí s exit 10, když je pozorováno chybějící pravidlo nebo jádro zalogovalo zahození směrem na tyto porty, a jehož `apply` spouští příkazy jen jako root a nikdy přes HTTP ani MCP; `mesh doctor` nese stejný verdikt jako svou kontrolu `firewall`

apps/majordomus-cli/src/mesh/firewall.rs · test/cases/495_the_firewall_admits_the_mesh.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Poskytovatelé a modely se deklarují jednou v share/models.yaml a CLI, HTTP, OpenAPI, MCP i Cockpit vykreslují tuto jedinou deklaraci bez vlastního názvu modelu

apps/majordomus-cli/src/models/mod.rs · test/cases/131_models.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Rozhodnutí o směrování uvádí, proč byl vybraný model vybrán, a u každého vyloučeného modelu první kontrolu, kterou nesplnil — stejná odpověď na stejnou otázku, bez skrytého stavu

apps/majordomus-cli/src/models/mod.rs · test/cases/131_models.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Katalog modelů hlásí, zda je nastavena pojmenovaná proměnná s přihlašovacími údaji dodavatele, a nemůže nést žádnou tajnou hodnotu — schéma nemá pole, ve kterém by se dala skrýt

apps/majordomus-cli/src/models/mod.rs · test/cases/131_models.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Koncová událost poskytovatele a jeho událost kompakce odvozují znalosti, které epizoda vytvořila, do kandidátních záznamů ve sledovaném stromu, z knihy a gitu a nikdy z konverzace, ať je úloha aktivní, nebo ne, a zaznamenají do knihy, že tak učinily

lib/knowledge.sh · test/cases/563_knowledge_is_derived_at_the_boundary.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Druhé odvození nad týmiž důkazy nic nezapíše, řekne to a nechá pracovní strom beze změny; id záznamu se odvozuje z epizody a výtahu důkazů, takže tentýž fakt vždy skončí v témže souboru

lib/knowledge.sh · test/cases/564_knowledge_derivation_is_idempotent.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Vypnutý přepínač politiky nic neodvozuje a řekne to; odvození, které selže uvnitř provider hooku, se zaznamená jako provider.event.failed a hook přesto skončí s 0

lib/capture.sh · test/cases/565_knowledge_switch_and_failure_leave_evidence.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý záznam znalostí je validní podle schématu bez neznámého klíče, jednoznačně identifikovaný, doložený důkazy, je-li ověřený, rozlišuje každý odkaz, který uvádí, a neobsahuje žádnou konverzaci; check, doctor a `majordomus knowledge check` odmítnou záznam, který tomu neodpovídá

lib/knowledge.sh · test/cases/707_knowledge_check_refuses_malformed_records.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Repozitář, ve kterém se epizody uzavírají a do prahu zastarání nenásleduje žádné odvození znalostí, hlásí doctor a watch jako zastavený zapisovač a zjištění zmizí, jakmile se odvození zapíše

lib/knowledge.sh · test/cases/708_health_sees_a_stopped_knowledge_writer.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
verified zapisuje jen promote s důkazy na stdin nebo člověk úpravou souboru, nikdy deriver; povýšení přesune záznam do curated/ a zamítnutí jej nahradí s důvodem, každé zanechá řádek v knize

lib/knowledge.sh · test/cases/709_knowledge_promotion_is_an_act.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
knowledge observe zapíše jeden řádek ledgeru observation.recorded s jeho druhem, tématem, tvrzením a typovanými odkazy na důkazy, uvnitř otevřené epizody, uvnitř úlohy či mimo ni, a odmítne jakýkoli jiný tvar nebo nepřítomnost epizody, aniž by cokoli zapsal

lib/knowledge.sh · test/cases/980_a_session_records_what_it_observed.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každé pozorování zaznamenané epizodou se na jejím konci a bez modelu stane vlastním kandidátem, který říká, o čem je, a knowledge candidates seskupí záznamy o jednom tématu s epizodami, které za nimi stojí; epizoda, která nic nepozorovala, zaznamená, že nic nenašla

lib/knowledge.sh · test/cases/981_an_observation_becomes_a_grouped_candidate.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý kandidát odvozený z pozorování nese trasu — platform, enforcement, generator, documentation nebo project — odvozenou ze struktury jeho tématu a nikdy z jeho formulace a v repozitáři, který nástroj přijal, trasuje vlastní share/ do project

lib/knowledge.sh · test/cases/982_a_candidate_is_routed_by_what_it_is_about.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Úvodní briefing pojmenuje kandidáty čekající na posouzení na této větvi, počet a id, omezeně a v rámci rozpočtu briefingu, a jejich nepřítomnost vypíše, místo aby ji vynechal

lib/derive.sh · test/cases/710_briefing_names_the_candidates.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Více kandidátů, než dovoluje strop politiky, nebo kandidát starší než věk daný politikou je advisory zjištění doctoru, které je pojmenuje; obě čísla jsou deklarována jednou v politice

lib/knowledge.sh · test/cases/711_candidates_are_reviewed_not_accumulated.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Kandidáti čekající na posouzení, jeden záznam podle id s rozřešenými odkazy a stav odvození checkoutu jsou každý jednou deklarace a odpovídají stejným obsahem přes příkazovou řádku, HTTP i MCP

apps/majordomus-cli/src/capability/builtin/knowledge_base.rs · apps/majordomus-cli/tests/knowledge_base.rs

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý spustitelný řádek, funkce a oblast, které změna v crate Rustu přidá nebo se jich dotkne, musí být pokryty testem; změna, která nechá nový kód nepokrytý, se odmítne a nedotčený starý dluh se ponechá

scripts/rust-coverage · test/cases/132_coverage_differential.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Zpráva commitu, která nesplňuje deklarovanou politiku commitů repozitáře, je odmítnuta v okamžiku zápisu a stávající dluh historie je zaznamenán a nesmí růst

apps/majordomus-cli/src/commit/verdict.rs · test/cases/274_commit_policy.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Slovník rozsahů, proti kterému se commit posuzuje, se učí z vlastní historie tohoto repozitáře, ne z tabulky, takže subsystém commitnutý dnes je ve slovníku dnes a rozsah mimo něj je varování, ne odmítnutí

apps/majordomus-cli/src/commit/scopes.rs · test/cases/274_commit_policy.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Plán commitu nese otisk repozitáře, worktree, HEAD a přesné sady změn, ze které byl odvozen, takže plán, podle kterého se jedná po pohybu stromu, se odmítne s důvodem, ne aplikuje

apps/majordomus-cli/src/commit/plan.rs · test/cases/274_commit_policy.sh

zaznamenané důkazyzaznamenané důkazy: zastaralé
Testovací binárka crate, která nespustila žádný test nebo jen filtrovanou podmnožinu, se zaznamená jako přeskočení, ta s neúspěšným testem jako selhání a ta, která nevytiskla žádný výsledek, jako chyba, ať jsou ve výstupu jakékoli barevné kódy; co zatím žádné tvrzení nedokáže pojmenovat, je uvedeno jako zahozené

apps/majordomus-cli/src/evidence/record.rs · test/cases/506_a_crate_binary_that_ran_nothing_is_not_a_pass.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Zaznamenané provedení nese commit a strom, které uvedlo měření jeho vlastního běhu, přičemž měření jmenuje report, ke kterému patří, a nikdy neskrývá sledovanou změnu; měření jiného commitu nebo jiného reportu se odmítne, lokální měření, které nejmenuje žádný report, se odmítne, report z CI bez měření se odmítne a report zaznamenaný bez měření nese neznámý strom, který se nikdy nečte jako prokázaný

apps/majordomus-cli/src/evidence/record.rs · test/cases/505_a_recording_carries_what_its_run_measured.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý záznam vytvoří záznam běhu pojmenovávající svůj commit, strom, který měřil běh každého reportu, jeho součty a to, co chybělo, bylo zahozeno nebo neznámé, a souhrn pokrytí se k němu připojí jen svázaný s commitem a stromem, na kterých byl měřen

apps/majordomus-cli/src/evidence/run.rs · test/cases/505_a_recording_carries_what_its_run_measured.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Záznam pořízený s --ledger local zapisuje jen ignorovaný lokální ledger, nemění žádný sledovaný soubor a nehýbe žádným verdiktem

apps/majordomus-cli/src/evidence/ledger.rs · test/cases/505_a_recording_carries_what_its_run_measured.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Testovací případ, který odmítne běžet, se hlásí jako přeskočení a tak se i zaznamená, takže kniha důkazů nikdy nemůže číst případ, který nic neověřil, jako důkaz tvrzení, které jmenuje

test/run.sh · test/cases/413_a_skipped_case_is_not_a_proof.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Majordomus uvažuje, rozhoduje, implementuje a ověřuje i bez jediného poradce: chybějící poradci se hlásí jako běžný stav, podstatná nejistota dostane strukturované lokální posouzení a závěr netvrdí, že proběhlo nezávislé posouzení

apps/majordomus-cli/src/reasoning/policy.rs · test/cases/730_reasoning_works_with_no_advisor.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý transport poradce podléhá jednomu kontraktu — typovaná selhání, termíny, zrušení, normalizované odpovědi, hlášené využití, zakrytá tajemství — prokázanému proti atrapám bez sítě, modelu či přihlašovacích údajů

scripts/lib/advisors/contract.mjs · test/cases/731_advisor_transport_contract.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Poradci, kteří se neshodnou, nikdy nerozhodují počtem: závěr je odmítnut, dokud je neshoda nad jeho posouzením nevyřešená, vyřešení vyžaduje důkazy a každá obdržená odpověď musí být zvážena

apps/majordomus-cli/src/reasoning/store.rs · test/cases/732_disagreement_is_settled_by_evidence.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Poradce, který vyprší, je omezen rychlostí, odmítne své přihlašovací údaje nebo odpoví chybně formátovaně, je zaznamenán přesně jako takový, nikdy neblokuje práci, otevře jistič, který se po ochlazení zase zavře, a nikdy neshodí relaci

apps/majordomus-cli/src/reasoning/availability.rs · test/cases/733_advisor_failure_and_recovery.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Rozhodnutí a jeho původ přežijí relaci: další relace je najde ve svém kontextu a předávce, znovu použije platný závěr místo další konzultace a znovu jej otevře jen na základě nových důkazů

apps/majordomus-cli/src/reasoning/state.rs · test/cases/734_reasoning_survives_the_session.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Poradci se deklarují jednou v share/advisors.yaml odkazem na tabulku providerů a katalog modelů; nový poradce se dostane do příkazové řádky, politiky, HTTP, OpenAPI, MCP i Cockpitu bez úpravy jediného konzumenta

share/advisors.yaml · test/cases/735_a_new_advisor_needs_no_consumer_edit.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Relace si nemůže nárokovat revizi, kterou nedostala: konzultace musí jmenovat poradce, kterého vybral její zaznamenaný plán, revize závěru se počítá a reasoning check a doctor odmítnou padělaný záznam, vazbu na poskytovatele, přihlašovací údaje modelu v CI a odmítnuté tvrzení v dokumentu

apps/majordomus-cli/src/reasoning/check.rs · test/cases/736_reasoning_check_refuses_drift.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Zda úloha přidala dluh, zanechala branch nebo worktree, nebo rozrostla backlog, odpovídá invariant dokončení z gitu, základů dluhu a zaznamenaného pozorování forge, měřeno od místa, kde úloha začala; odečet, který nebyl proveden, je neznámý, nikdy propuštění

apps/majordomus-cli/src/gates/closing.rs · test/cases/1037_the_closing_question_is_measured.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno
Každý diagram Mermaid sestaveného webu dostane id (diagram-<name>), seznam svých uzlů, ovládací prvky prohlížeče a odkaz pro každý uzel, který je identitou objektu, k němuž web má stránku, vše odvozené při buildu; odkaz na

scripts/lib/diagrams.mjs · test/cases/3006_diagrams_are_interactive_and_linkable.sh

zaznamenané důkazyzaznamenané důkazy: nespuštěno

← Celá matice

Zaručené schopnosti

Každá platforma, název artefaktu a instalační URL se odvozuje z jednoho modelu a projekce, která s ním nesouhlasí, se odmítne

Zdokumentovaný jednořádkový instalační příkaz se skládá z částí modelu a dokument, který uvádí jiný, shodí sadu testů

Instalátor ověří digest artefaktu a zkontroluje jeho archiv dříve, než se cokoli rozbalí, a jakékoli selhání ponechá předchozí instalaci funkční

Release publikuje artefakt pro každý podporovaný cíl, jinak se nepublikuje

Instalační příkaz, který tento projekt inzeruje, se každou noc a na požádání stáhne z publikovaného webu a spustí a běh, který o to požádal, je červený, dokud nenainstaluje funkční nástroj

Archiv release nese každou cestu jednou a nenese nic než soubory a adresáře

Kanonická politika se parsuje a odmítne, pokud obsahuje neznámý klíč

Každý profil se parsuje, jeho neznámé klíče se odmítnou a výchozí profil se prokáže jako existující

Každé vynucování, které politika deklaruje, je srovnáno s tím, co skutečně běží

Návratové kódy jsou kontrakt a žádný kód neznamená "varuj a pokračuj"

Instrukční soubory providerů se generují z jediné politiky, deterministicky

Každý generovaný instrukční soubor nese vlastní razítko a ruční úprava se odhalí

Projekce může vlastnit jen oblast mezi svými značkami a zbytek souboru ponechá nedotčený

Zapojení se najde v hooku nebo v kterémkoli subhooku adresáře, do kterého tento hook předává

Každé pravidlo, které nástroj vynucuje, je deklarováno jednou, jako objekt pravidla v efektivní množině repozitáře, a doctor dokazuje, že každé z nich je dosaženo příkazem, který tvrdí, že ho spouští

O tom, zda porušení zastaví příkaz, rozhoduje třída doktríny, ne štítek vedle ní

Každý řádek knihy jen pro připojování je správně utvořená událost a poškozený řádek je selhání, ne přeskočený záznam

Položka v úložišti otázek, která se neparsuje, blokuje přijetí přesně jako nevyřešená otázka

Deklarovaný provider hook zachycuje surové prompty uživatele pod úrovní modelu a doctor to dokazuje jeho spuštěním

Zachycený prompt jmenuje epizodu, do které patří, nebo zaznamená, že žádnou nešlo určit; archiv je soukromý, omezený a bez přihlašovacích údajů

Každý prompt asset lokální pro repozitář se vykreslí a neznámý token je selhání

Případ užití ani aplikace nemůže pojmenovat příkaz, doktrínu nebo tvrzení, které neexistuje, a oba katalogy se nemohou rozcházet v tom, co se na co vztahuje

Ručně upravený instrukční soubor se nikdy tiše nepřepíše

Archiv, který ztratil režimy souborů, selže, místo aby se distribuoval

Vždy načítaný instrukční soubor má rozpočet řádků s kontrolou, která selhává

Každý odkaz relativní k repozitáři ve vždy načítaném souboru je prokázaně vyřešitelný

Pevně zapsaný počet v vždy načítaném souboru je selhání

Kniha jen pro připojování a úložiště předávek mají stropy uchovávání, které se kontrolují

Instalace do repozitáře, který už instalaci má, je odmítnuta

Každý nález nese příkaz, který jej reprodukuje

Shellový nástroj neprovádí žádné síťové volání, nevyhodnocuje žádný generovaný text a nic rekurzivně nemaže; jeho jediný deklarovaný požadavek je sonda peeru na loopbacku

Úloha se zahajuje s deklarovaným rozsahem souborů a profilem a na jeden checkout může být aktivní jen jedna úloha

Pole identity v každém záznamu stavu se počítají z gitu a nikdy se neautorují

check hlásí, zda jsou stav, rozsah, blokátory a stáří checkpointu právě teď konzistentní

Dotčený soubor mimo nárokovaný rozsah je selhání, ne varování

Zpětně přečtený stav je vůči gitu označen jako exact, advanced, diverged nebo different_context

Překryv mezi paralelními pracovníky se počítá na nárokovaných cestách v obou směrech obsažení

watch hlásí drift politiky, projekce, stavu, rozsahu, předávky, ověření, zastarání a retence

handover zapisuje záznam jen pro připojování s vypočtenou hlavičkou a povinnými sekcemi

Předávka je záznam stavu, ne přepis - její povinné sekce musí být přítomné a neprázdné, zástupné tělo se odmítne a její identita se vypočte a odmítne se, je-li zapsána do těla; přepis vložený do sekce se nezjistí

finish vyhodnocuje kontrakt dokončení řádek po řádku a odmítne, pokud je kterýkoli řádek nesplněn

každý odmítnutý finish připojí událost task.refused jmenující nárokovaný výsledek, počet nesplněných a doktríny, které odmítly, a finish --check nezapíše žádnou

Výsledek je hodnota z uzavřeného slovníku, ne volný text

Kontext, který pracovník dostane, se sestavuje z trvalého stavu v pořadí autority a co profil vylučuje, je vyloučeno

Sestavený kontext dodržuje rozpočet řádků a každá sekce, kterou vypustí, je pojmenována s důvodem

Checkpoint je záznam průběhu s omezenou velikostí a vypočtenou identitou; tělo nad limit je odmítnuto, ne zkráceno

Správný předchozí záznam se vyhledá podle worktree a branche a nesouvisející se nikdy nenabídne

Ledger lze číst zpět jako provozní historii, filtrovanou podle úlohy, události a času

Rotace knihy archivuje nejstarší řádky a nikdy je nesmaže

Rozhodnutí se zaznamenává s důvodem a svou úlohou a je nahrazeno pozdějším záznamem, ne upraveno

Nevyřešená otázka blokuje přijetí a položka, kterou kontrola neumí parsovat, je selhání, ne tiché propuštění

Prompt lokální pro repozitář se vykresluje proti uzavřené množině stavových tokenů a neznámý token je chyba

Trvalé záznamy lze doslovně prohledávat napříč druhy, bez indexu

Každé úložiště kontinuity se prokazuje jako dosažitelné vlastním příkazem, ne jen jako přítomné na disku

Kontext, který se vztahuje na cestu, se skládá z dokumentů vrstvy vázaných na rozsah, od kořene k cíli, v jednom deterministickém pořadí s původem, a strom, který neprojde validací, nevyřeší nic

Každý adresář vrstvy nese kontextový dokument, výjimku deklaruje kontrakt, který podstrom řídí, a potomek může tento požadavek zúžit, ale nikdy oslabit

Dopad sady změn na kontext v rozsahu se hlásí z gitu — dokumenty, rozsahy pod nimi, přesuny s jejich původem, sledované zdroje ke kontrole a zastaralé projekce — a nesouvisející změna nehlásí nic

Vrstva AI repozitáře je jeden adresář, jehož manifest jmenuje každou sekci a lze jej číst bez nástroje

Vrstva nainstalovaná s --personal je vlastní jednomu člověku ve sdíleném repozitáři: nemění žádný sledovaný soubor, žádný řádek .gitignore ani nic, co ukazuje git status, a příkaz, který to tvrdí, to ověří

Stav lokální pro checkout žije pod .ai/local/, git jej ignoruje a na novém klonu nebo worktree chybí

Základ pravidel je vendorován do repozitáře s manifestem jmenujícím každý soubor a jeho hash a ruční úprava se odhalí a odmítne

Efektivní sada pravidel se řeší jako graf závislostí v deterministickém pořadí a sadu, která se nevyřeší, neaplikuje nic

Instrukční soubory providerů jsou tenké bootstrapy, které odkazují na vrstvu AI a nenesou žádné vlastní pravidlo

Repozitář s rozložením před .ai se migruje jednou, výslovně, s náhledem plánu a ověřenou zálohou svého lokálního stavu a příkaz je poté idempotentní

Nástroj běží pouze pro čtení z libovolného umístění a dvě umístění jedné verze se o jednom repozitáři shodují

To, co nástroj ví sám o sobě, se zapisuje jednou a všude jinde se odvozuje; druhá kopie je selhání testu

Veřejný povrch příkazů je deklarován a srovnáván s dispatcherem

Každý veřejný příkaz má behaviorální test a negativní test, vypočtené, ne zapamatované

Slovník událostí ledgeru je uzavřený, na vstupu i na výstupu

Záznam úlohy jmenuje checkout, kterému patří, a jiný checkout se nikdy nepodřizuje jeho rozsahu

Blokující otázka blokuje dál i poté, co se práce předá nové úloze

To, co kompilátor kontextu vybere z toho, co shledal relevantním, se počítá v tokenech pojmenovaného tokenizeru a zaznamenává se, nikdy neodhaduje

Veličina o tokenech, kontextu nebo nákladech zapsaná do ručně psané prózy je odmítnuta a tvrzení vázané na metriku nelze zaručit, dokud její důkazy neobstojí

Milníky a úkoly jsou kanonické soubory repozitáře a klíč, který nikdo nečte, je chyba

Stav úkolů a milníků se odvozuje ze zaznamenaných faktů a nikde se neukládá

Cyklus, závislost sama na sebe a závislost na neexistujícím úkolu jsou každé odmítnuty jmenovitě

Vlny provádění se počítají z grafu a úkoly v jedné vlně, které sahají na stejné cesty, se hlásí jako serializované

Úkol nelze dokončit, dokud chybí požadovaný důkaz

Plán rozvoje se odvozuje ze stavu milníků a žádný dokument nesmí být jeho druhou autoritou