Přeskočit na obsah

Tato stránka byla automaticky přeložena z angličtiny, jediného jazyka, ve kterém se tento web píše. Číst originál.

Žá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

Trvalý postoj repozitáře — nic neopouští stroj — přežívá existenci

deklarovaný stavdeklarovaný stav: zaručeno 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.

zaznamenané důkazyzaznamenané důkazy: nespuštěno Deklarováno jako zaručené, ale nepodložené zaznamenaným během: test je pojmenován, ale žádný úspěšný běh nad současnými vstupy zaznamenán není. jak se zaznamenávají důkazy

Sdílený server aktivuje runtime meshe pouze z povoleného objektu mesh-declaration (druh, schéma a třída zdrojů ve vrstvě); testy dokazují, že zakázaná deklarace nic neotevře, nevytvoří žádnou identitu a odpoví proč, a že aktivace nikdy nezdrží obsluhu. Kostra, z níž nový repozitář vychází, žádnou deklaraci nedodává (ADR 0050); tento repozitář commituje vlastní povolenou, revidované rozhodnutí, které popisuje docs/MESH.md a drží test/cases/491_the_mesh_is_on_here.sh.

Co to znamená

Trvalý postoj repozitáře — nic neopouští stroj — přežije existenci subsystému mesh. Klon bez .ai/repo/mesh/*.yaml (což dodává skeleton, z něhož nový repozitář vychází), nebo klon, jehož deklarace nese enabled: false, běží přesně jako dřív: žádný UDP socket, žádný broadcast, žádný rendezvous požadavek, žádný soubor identity uzlu. Zapnutí meshe je úprava deklarace člověkem, její posouzení a commit — auditovatelný akt v historii, nikdy proměnná prostředí nebo příznak, na který někdo zapomněl, že ho nastavil.

Vypnuto je také odpověď: mesh.status (a majordomus mesh status i stránka meshe v Cockpitu) hlásí active: false s důvodem — žádná deklarace, deklarace vypnuta, nebo co selhalo — takže operátor, který ladí tichý mesh, si důvod přečte, místo aby hádal.

Princip

Sdílený server čte deklaraci (druh mesh-declaration, schéma mesh/v1, třída zdroje v .ai/repo/knowledge/sources.yaml) při startu, dříve než jeho workery přijmou požadavek, a aktivuje mesh::MeshRuntime jen z enabled: true (apps/majordomus-cli/src/shared.rs). Každý jiný výsledek volá decline(reason) a nespustí nic. apps/majordomus-cli/tests/mesh.rs dokládá obojí směr přes skutečný socket: zakázaná deklarace odpoví svým důvodem a nevytvoří soubor identity, povolená se aktivuje dřív, než dorazí první požadavek. ADR 0050 zaznamenává rozhodnutí a odpovídá bod po bodu na seznam „Intentionally Absent“ repozitáře.

Jak to vidět

majordomus mesh status          # inactive, with the reason, in a repository with no declaration
majordomus mesh doctor          # the declaration check names the default posture
ls share/skeleton/ai/repo       # the skeleton ships no mesh/ declaration

Tento repozitář je protipříklad, který záruka připouští: jeho vlastní deklarace je commitnuta jako zapnutá (grep enabled .ai/repo/mesh/majordomus.yaml; docs/MESH.md, „Mesh tohoto repozitáře“), což je přezkoumaný, commitnutý akt popsaný výše, ne výchozí hodnota, která se změnila.

apps/majordomus-cli/tests/mesh.rs (a_disabled_declaration_opens_nothing_and_says_why) je spustitelná forma: server nad vypnutou deklarací odpoví active: false s důvodem a nevytvoří žádný soubor identity.

Co nepokrývá

Nehlídá, co zapnutý mesh zveřejňuje — to je mez protokolu (žádná tajemství, žádné cesty, jen digesty) a záležitost politiky důvěry. A nemůže operátorovi zabránit, aby mesh zapnul v síti, kde by neměl; jen z toho dělá viditelné, commitnuté rozhodnutí.

Proč existuje

Bezpečnostní postoj repozitáře je „nic neopouští stroj“ a subsystém objevování je přesně ten druh funkce, který takový postoj tiše erodují. Učinit absenci výchozí a povolení recenzovaným commitem udržuje postoj pravdivý, dokud člověk nerozhodne jinak (ADR 0050).

Detail vykreslený z docs/claims/mesh-off-by-default.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Žá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

    Vytvořeno na Mesh.

  2. 2 · kanonické tvrzení

    mesh-off-by-defaultdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

    Definováno v přečtěte si to na tomto webu · docs/MESH.md

  3. 3 · implementace

    apps/majordomus-cli/src/shared.rs

  4. 4 · test a scénáře

    Test: apps/majordomus-cli/tests/mesh.rs

  5. 5 · zaznamenané běhy

    zaznamenané důkazy: nespuštěno jak se zaznamenávají důkazy

Ověřte si to sami

Test běží v jednorázovém dočasném repozitáři a ověřuje chování, ne řetězec ve zdrojovém kódu.

z klonu repozitáře
bash test/run.sh apps/majordomus-cli/tests/mesh.rs

Prohledává názvy a popisy všech stránek, které tento web publikuje.