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.

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

Majordomus je lokální. Žádný shellový příkaz neotevírá síťové spojení kromě loopbackové sondy peerů (lib/context.sh), žádný text pocházející od workera, modelu, těla předávky nebo souboru politiky se nikdy nepředává do eval ani shellu a žádný příkaz nemaže rekurzivně mimo dočasný adresář, který sám vytvořil. Zápisy jsou omezeny na .ai/ a cíle projekcí, které politika jmenuje.

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

Co to znamená

Majordomus je lokální. Žádný shellový příkaz neotevírá síťové spojení kromě loopback sondy peera (lib/context.sh), žádný text, který pochází od workera, modelu, těla předávky nebo souboru politiky, se nikdy nepředá eval ani shellu a žádný příkaz nemaže rekurzivně mimo dočasný adresář, který si sám vytvořil. Zápisy jsou omezeny na .ai/ a cíle projekcí, které politika pojmenovává.

Princip

Neexistuje behaviorální způsob, jak dokázat absenci síťového volání, takže toto tvrzení stojí na skenu zdrojů: test/cases/08_no_forbidden_constructs.sh čte bin/majordomus, každý modul v lib/ a šablony poskytovatelů a selže na eval, síťových klientech (curl, wget, nc, ssh, scp), /dev/tcp, rekurzivním mazání repozitáře, vrstvy .ai/ nebo distribuce a jakémkoli přesměrování do proměnné cesty mimo povolenou množinu. Sken je záměrně hrubý a záměrně v sadě testů, takže změna, která zavede jeden z těchto konstruktů, shodí CI.

Jak to vidět

bash test/run.sh 08_no_forbidden_constructs
grep -rnE 'curl|wget|eval ' bin lib   # nothing

Co nepokrývá

Sken zdrojů není sandbox. Dokazuje, že dodaný kód neobsahuje žádný z těchto konstruktů; neomezuje, co dělá hook, který si napíšete sami.

Spustitelný soubor v Rustu toto skenování nepokrývá a síť používá tam, kde o to požádáte. majordomus serve a mcp navážou HTTP server, na loopbacku, pokud --host nebo MAJORDOMUS_HTTP_HOST nejmenuje jiné rozhraní; tam smí volající mimo loopback jen číst nebo poslat podepsanou zprávu mesh (jinak 403, ADR 0126). Mesh propojuje runtime, které politika zapíše. prs refresh a příkazy integrace se při spuštění ptají forge přes gh. Nic z toho nevolá model ani neodesílá telemetrii.

Proč existuje

Bezpečnostní závazky — jen lokálně, žádná telemetrie, žádný eval, žádná práce s přihlašovacími údaji, omezené zápisy — má smysl uvádět, jen když se při jejich porušení něco rozbije. Sken je to něco.

Detail vykreslený z docs/claims/no-network.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    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

    Vytvořeno při Install.

  2. 2 · kanonické tvrzení

    no-networkdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    bin/majordomus

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

    Test: test/cases/08_no_forbidden_constructs.sh

    Provedeno v Podmínit CI samotným nástrojem s exit kódem, který je kontraktem, Předat repozitář někomu, kdo jej nemůže naklonovat.

  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 08_no_forbidden_constructs

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