Zjistěte, která pravidla tu platí a co je vynucuje

setup: installed
given:
  - "the vendored baseline plus this repository's own rules"
steps:
  - id: list
    run: ['rules', 'list']
    note: 'every active rule, its version, class and origin, in one deterministic order'
    expect:
      exit: 0
      stdout_contains: ['^majordomus\.scope-integrity +v1 +blocking +vendor:majordomus']
  - id: read-one
    run: ['rules', 'show', 'majordomus.scope-integrity']
    note: 'the rule as the tool reads it: identity, class, dependencies, enforcement'
    expect:
      exit: 0
      stdout_contains: ['^id: majordomus\.scope-integrity$', '^class: blocking$']
  - id: refuse-unknown
    run: ['rules', 'show', 'nosuch.rule']
    note: 'a rule that does not exist is named, not guessed'
    expect:
      exit: 12
      stdout_contains: ["no rule 'nosuch.rule'"]
  - id: what-is-enforced
    run: ['doctrine', 'list']
    note: 'the rules with an x-majordomus block, and the commands that run them'
    expect:
      exit: 0
      stdout_contains: ['majordomus.scope-integrity', 'blocking']
then:
  - "the effective set is the baseline plus the repository's rules, with no override"
  - 'a rule without an enforcing block is normative for whoever reads it and says so'

Scénář

Provedeno proti skutečnému nástroji v repozitáři připraveném pomocí installed, 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.

Co nástroj udělal

Důkazy o běhu, ze kterého byla tato stránka vygenerována: pass, kroků: 4. Výstup je normalizovaný: cesta k repozitáři, časová razítka, identifikátory 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.

1. 1$ majordomus rules list exit 0

   každé aktivní pravidlo, jeho verze, třída a původ, v jednom deterministickém pořadí

   majordomus.knowledge-graph                 v1  advisory  vendor:majordomus enforced by doctor,watch
   majordomus.knowledge-integrity             v1  blocking  vendor:majordomus enforced by check,doctor
   majordomus.candidates-reviewed             v1  advisory  vendor:majordomus enforced by doctor
   majordomus.sessions-are-workers            v1  advisory  vendor:majordomus no validator; see the rule
   majordomus.ai-layout-integrity             v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.checkpoint-freshness            v1  advisory  vendor:majordomus enforced by check,watch
   majordomus.layout-integrity                v1  advisory  vendor:majordomus enforced by doctor
   majordomus.ledger-integrity                v1  blocking  vendor:majordomus enforced by check,doctor,watch
   majordomus.policy-completeness             v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.minimum-sufficient-context      v1  advisory  vendor:majordomus no validator; see the rule
   majordomus.bootstrap-integrity             v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.catalogue-integrity             v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.context-integrity               v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.policy-integrity                v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.externalise-decisions           v1  advisory  vendor:majordomus no validator; see the rule
   majordomus.adr-integrity                   v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.blocker-resolution              v1  blocking  vendor:majordomus enforced by check,finish
   majordomus.decision-records                v1  advisory  vendor:majordomus enforced by check,doctor,watch
   majordomus.decision-threshold              v1  blocking  vendor:majordomus proven by test/cases/99_adr.sh
   majordomus.one-worker-one-scope            v1  advisory  vendor:majordomus no validator; see the rule
   majordomus.dag-integrity                   v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.justified-escalation            v1  advisory  vendor:majordomus no validator; see the rule
   majordomus.depth-is-not-verbosity          v1  advisory  vendor:majordomus no validator; see the rule
   majordomus.define-done-first               v1  advisory  vendor:majordomus no validator; see the rule
   majordomus.command-surface                 v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.doctrine-wiring-integrity       v1  blocking  vendor:majordomus enforced by doctor
   majordomus.enforcement-wiring              v1  blocking  vendor:majordomus enforced by doctor
   majordomus.verify-outcomes                 v1  advisory  vendor:majordomus no validator; see the rule
   majordomus.command-coverage                v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.isolated-parallelism            v1  advisory  vendor:majordomus no validator; see the rule
   majordomus.handovers-carry-state           v1  advisory  vendor:majordomus no validator; see the rule
   majordomus.handover-integrity              v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.lifecycle-observed              v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.knowledge-observed              v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.note-integrity                  v1  blocking  vendor:majordomus enforced by finish
   majordomus.profile-requirements            v1  blocking  vendor:majordomus enforced by finish
   majordomus.project-integrity               v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.projection-integrity            v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.context-budget                  v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.deployment-contract             v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.prompt-capture                  v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.prompt-continuity               v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.prompt-integrity                v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.questions-store-integrity       v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.retention-caps                  v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.roadmap-integrity               v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.rule-package-integrity          v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.schema-integrity                v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.scope-integrity                 v1  blocking  vendor:majordomus enforced by check,finish,watch
   majordomus.session-records                 v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.record-changed-files            v1  advisory  vendor:majordomus enforced by doctor
   majordomus.session-lifecycle               v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.skill-integrity                 v1  blocking  vendor:majordomus enforced by doctor,watch
   majordomus.state-consistency               v1  blocking  vendor:majordomus enforced by check,finish,watch
   majordomus.task-continuity                 v1  advisory  vendor:majordomus enforced by finish
   majordomus.task-on-the-mesh                v1  blocking  vendor:majordomus enforced by check,finish
   majordomus.use-case-coverage               v1  blocking  vendor:majordomus enforced by doctor,check,finish
   majordomus.verification-integrity          v1  blocking  vendor:majordomus enforced by finish
   majordomus.obligation-closure              v1  blocking  vendor:majordomus enforced by check,finish
   majordomus.completion-gates                v1  blocking  vendor:majordomus enforced by check,finish
   majordomus.publication-currency            v1  blocking  vendor:majordomus enforced by finish

   • exit 0
   • stdout_contains /^majordomus\.scope-integrity +v1 +blocking +vendor:majordomus/
2. 2$ majordomus rules show majordomus.scope-integrity exit 0

   pravidlo tak, jak ho nástroj čte: identita, třída, závislosti, vynucování

   # .ai/repo/rules/vendor/majordomus/rules/scope-integrity.v1.md
   
   ---
   id: majordomus.scope-integrity
   version: 1
   kind: rule
   title: Scope integrity
   description: A task touches only the paths it claimed; work found elsewhere is not accepted as done.
   statement: Work outside the paths a task claimed is not accepted as that task's work.
   status: active
   class: blocking
   depends_on: [majordomus.one-worker-one-scope@1]
   tags: [scope, verification]
   
   x-majordomus:
     validator: scope
     category: scope
     enforced_by: [check, finish, watch]
     policy_key: scope_respected
     exit_code: 10
     claims: [scope-enforcement, scoped-task]
     tests: [test/cases/04_start_check.sh]
   ---
   
   # Rationale
   
   A task touches only the paths it claimed; work found elsewhere is not accepted as done.
   
   # Required behaviour
   
   Work outside the paths a task claimed is not accepted as that task's work.
   
   # Failure behaviour
   
   A violation is a `FAIL` finding under the category `scope`, and the command that found it exits 10. Under `watch` the same violation is reported as drift and the command exits 11.
   
   # Verification
   
   `mj_validate_scope` decides it, dispatched from `check, finish, watch`. The behavioural case `test/cases/04_start_check.sh` proves it, and CI runs that case.

   • exit 0
   • stdout_contains /^id: majordomus\.scope-integrity$/
   • stdout_contains /^class: blocking$/
3. 3$ majordomus rules show nosuch.rule ukončení 12

   pravidlo, které neexistuje, se pojmenuje, neuhaduje

   majordomus: no rule 'nosuch.rule' in the effective set (see: majordomus rules list)

   • ukončení 12
   • stdout_contains /no rule 'nosuch.rule'/
4. 4$ majordomus doctrine list exit 0

   pravidla s blokem x-majordomus a příkazy, které je spouštějí

   majordomus.knowledge-graph             advisory  mj_validate_knowledge_graph doctor,watch
   majordomus.knowledge-integrity         blocking  mj_validate_knowledge_integrity check,doctor
   majordomus.candidates-reviewed         advisory  mj_validate_knowledge_accumulation doctor
   majordomus.ai-layout-integrity         blocking  mj_validate_ai_layout    doctor,watch
   majordomus.checkpoint-freshness        advisory  mj_validate_checkpoint   check,watch
   majordomus.layout-integrity            advisory  mj_validate_layout       doctor
   majordomus.ledger-integrity            blocking  mj_validate_ledger       check,doctor,watch
   majordomus.policy-completeness         blocking  mj_validate_policy_defaults doctor,watch
   majordomus.bootstrap-integrity         blocking  mj_validate_bootstrap    doctor,watch
   majordomus.catalogue-integrity         blocking  mj_validate_catalogue    doctor,watch
   majordomus.context-integrity           blocking  mj_validate_context      doctor,watch
   majordomus.policy-integrity            blocking  mj_validate_policy       doctor,watch
   majordomus.adr-integrity               blocking  mj_validate_adr          doctor,watch
   majordomus.blocker-resolution          blocking  mj_validate_blockers     check,finish
   majordomus.decision-records            advisory  mj_validate_decisions    check,doctor,watch
   majordomus.dag-integrity               blocking  mj_validate_dag          doctor,watch
   majordomus.command-surface             blocking  mj_validate_command_surface doctor,watch
   majordomus.doctrine-wiring-integrity   blocking  mj_validate_doctrine_wiring doctor
   majordomus.enforcement-wiring          blocking  mj_validate_wiring       doctor
   majordomus.command-coverage            blocking  mj_validate_command_coverage doctor,watch
   majordomus.handover-integrity          blocking  mj_validate_resolver     doctor,watch
   majordomus.lifecycle-observed          blocking  mj_validate_lifecycle    doctor,watch
   majordomus.knowledge-observed          blocking  mj_validate_knowledge_lifecycle doctor,watch
   majordomus.note-integrity              blocking  mj_validate_note         finish
   majordomus.profile-requirements        blocking  mj_validate_profile_requirements finish
   majordomus.project-integrity           blocking  mj_validate_project      doctor,watch
   majordomus.projection-integrity        blocking  mj_validate_projection   doctor,watch
   majordomus.context-budget              blocking  mj_validate_budget       doctor,watch
   majordomus.deployment-contract         blocking  mj_validate_deployments  doctor,watch
   majordomus.prompt-capture              blocking  mj_validate_prompt_capture doctor,watch
   majordomus.prompt-continuity           blocking  mj_validate_prompt_continuity doctor,watch
   majordomus.prompt-integrity            blocking  mj_validate_prompts      doctor,watch
   majordomus.questions-store-integrity   blocking  mj_validate_questions_store doctor,watch
   majordomus.retention-caps              blocking  mj_validate_retention    doctor,watch
   majordomus.roadmap-integrity           blocking  mj_validate_roadmap      doctor,watch
   majordomus.rule-package-integrity      blocking  mj_validate_rule_package doctor,watch
   majordomus.schema-integrity            blocking  mj_validate_schema_integrity doctor,watch
   majordomus.scope-integrity             blocking  mj_validate_scope        check,finish,watch
   majordomus.session-records             blocking  mj_validate_session_records doctor,watch
   majordomus.record-changed-files        advisory  mj_validate_record_changed_files doctor
   majordomus.session-lifecycle           blocking  mj_validate_session_lifecycle doctor,watch
   majordomus.skill-integrity             blocking  mj_validate_skills       doctor,watch
   majordomus.state-consistency           blocking  mj_validate_state        check,finish,watch
   majordomus.task-continuity             advisory  mj_validate_continuity   finish
   majordomus.task-on-the-mesh            blocking  mj_validate_task_on_the_mesh check,finish
   majordomus.use-case-coverage           blocking  mj_validate_use_case_coverage doctor,check,finish
   majordomus.verification-integrity      blocking  mj_validate_verification finish
   majordomus.obligation-closure          blocking  mj_validate_obligations  check,finish
   majordomus.completion-gates            blocking  mj_validate_completion_gates check,finish
   majordomus.publication-currency        blocking  mj_validate_publication_currency finish

   • exit 0
   • stdout_contains /majordomus.scope-integrity/
   • stdout_contains /blocking/

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.

• majordomus rulesEfektivní sada pravidel, vendorovaná základní hodnota plus projektová pravidla.
• majordomus doctrineJaká pravidla se vynucují, čím a zda je každé z nich skutečně zapojeno.

Pravidla, díky nimž platí

• ✕blokující Integrita balíčku pravidelEfektivní sada pravidel repozitáře je skutečná: vendorovaný základ odpovídá svému manifestu soubor po souboru, každé pravidlo se vyřeší se svými závislostmi, žádná dvě nenárokují jednu identitu a žádné projektové pravidlo nepoužívá vendorovaný jmenný prostor.
• ✕blokující Integrita zapojení doktrínKaždá doktrína v tomto registru vede na validátor, který existuje, je dosažen z každého příkazu, který jmenuje, šíří selhání, je dokázán testem a běží v CI — a každý validátor ve zdroji je zde deklarován.

Uplatněné záruky

• ○zaručeno Každé pravidlo, které nástroj vynucuje, je deklarováno jednou, jako objekt pravidla v efektivní sadě repozitáře, a doctor dokazuje, že každé z nich zasáhne příkaz, který tvrdí, že ho spouští
• ○zaručeno Základ pravidel je vendorován do repozitáře s manifestem pojmenovávajícím každý soubor a jeho hash a ruční úprava je detekována a odmítnuta
• ○zaručeno Efektivní sada pravidel se řeší jako graf závislostí v deterministickém pořadí a sadu, která se nevyřeší, nic neaplikuje

Související případy užití

Vypočteno z toho, co sdílejí: tvrzení, pravidla, příkazy, kategorie, aplikace. Tento seznam nikdo neudržuje.

• Dokázat, že pravidlo se skutečně vynucuje, a není jen napsanéOdpovědět na "je toto pravidlo skutečné?" příkazem, ne čtením zdroje.
• Řiďte CI samotným nástrojem s návratovým kódem, který je kontraktSpouštějte kontroly, které spouští CI, čtěte každý nález s příkazem, který jej reprodukuje, a spoléhejte na návratové kódy, z nichž každý znamená jedno: žádný kód neznamená varuj a pokračuj.
• 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ěží.
• Rozdělit pracovní strom na commity a držet každou zprávu politikyZeptat se, co by tento strom commitnul a proč, naučit se slovník rozsahů z historie, ne z tabulky, a získat verdikt k jedné zprávě nebo k celému rozsahu dřív, než ho musí vynést recenzent.
• Přidat případ užití a nechat nástroj, ať ho prokážeVytvořit kostru konceptu pro nepokrytý příkaz, zvalidovat ho, spustit jeho scénář proti skutečnému nástroji a sledovat, jak se pokrytí posouvá.

Okamžiky, na které to odpovídá

• → našel pravidlo pro adresář v README, které žádná relace nikdy nenačetla Lokální pravidlo je buď v vždy načítaném souboru, kde za něj platí každá relace, nebo vedle kódu, kde ho nic nesvazuje s upravovanou cestou.
• → našel pravidlo, o kterém všichni věřili, že se vynucuje, a nic ho nikdy nevolalo Existují všechny artefakty vynucování — pravidlo, skript, test — a žádná cesta je nespojuje, takže kontrola je fikce.
• → vložil příkaz z dokumentace a sledoval, jak selhal Příklady se píšou jednou, v próze, a nikdy je už nic nespustí.
• → recenzoval dobře napsaný příspěvek, který porušil konvenci, již neměl jak zjistit Asistenti umožňují komukoli vyrábět věrohodné příspěvky ve velkém; konvence, které z nich dělají správné, jsou stále jen v hlavách správců.