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.

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ší

Pravidlo s klíčem, který seznam povolených nezná, front matter, který se nikdy neuzavře, politika deklarující verzi, kterou spustitelný soubor nečte, symlink, soubor, který není UTF-8: každé z toho je vyloučeno z toho, co se poskytuje, a každé vyvolá jednu diagnostiku se stabilním kódem a cestou relativní k repozitáři, na stderr při startu a pro klienta v majordomus://repository. Index hlásí degraded, initialize to uvede ve svých instrukcích, mcp --inspect skončí kódem 10 a mcp --strict odmítne poskytovat vůbec. Dva soubory jednoho druhu, které si nárokují jednu identitu, jsou oba vyloučeny a oba jmenovány.

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

Dva soubory jednoho druhu, které si nárokují jednu identitu, jsou oba vyloučeny a oba pojmenovány. --strict odmítne obsluhovat degradovanou vrstvu; --inspect u ní skončí s kódem 10.

Co to znamená

Pravidlo s klíčem, který povolený seznam nezná, front matter, který se nikdy neuzavře, politika deklarující verzi, kterou spustitelný soubor nečte, symlink, soubor, který není UTF-8: každé z toho je vyloučeno z toho, co se servíruje, a každé vytvoří jednu diagnostiku se stabilním kódem a cestou relativní k repozitáři, na stderr při startu a v majordomus://repository pro klienta. Index hlásí degraded, initialize to uvádí ve svých instrukcích, mcp --inspect skončí kódem 10 a mcp --strict odmítne servírovat vůbec. Dva soubory jednoho druhu nárokující jednu identitu jsou oba vyloučeny a oba pojmenovány.

Princip

src/index.rs rozhoduje politiku na jednom místě: manifest a sources.yaml jsou chyby, protože bez nich nelze nic objevit; každý jiný soubor, který se nemůže stát objektem, se stane Diagnostic s kódem z uzavřeného seznamu (malformed_front_matter, unknown_key, duplicate_identity, unsupported_version, missing_field, kind_mismatch, unknown_kind, invalid_utf8, oversized, symlink, required_source_empty a zbytek v README aplikace). Nic se neopravuje, nedoplňuje výchozími hodnotami ani nenormalizuje.

Jak to vidět

printf -- '---\nid: project.broken\nversion: 1\n' > .ai/repo/rules/project/broken.v1.md
git add -A
apps/majordomus-cli/target/debug/majordomus mcp --inspect | grep -E '^(state|FAIL)'

vypíše state degraded a FAIL malformed_front_matter .ai/repo/rules/project/broken.v1.md — front matter opened on line 1 and never closed.

Co nepokrývá

Degradovaná vrstva se ve výchozím nastavení stále obsluhuje; klient, který nesmí vidět částečnou vrstvu, předá --strict. Diagnostika říká, co je se souborem špatně, ne jak by jej posoudilo doctor shellového nástroje: doctor zůstává kontrolou, toto je čtenářův popis toho, co dokázal přečíst.

Proč existuje

Server, který by přeskočil to, co nedokázal přečíst, by vypadal zdravě, a přitom by obsluhoval méně, než repozitář deklaruje; právě proti tomu se no-claim-without-test a derived-not-declared všude jinde brání. apps/majordomus-cli/tests/metadata_contract.rs vyrobí každý výše uvedený kód z fixture; test/cases/72_rust_mcp.sh poruší jedno pravidlo v repozitáři, který napsal init, a ověří stav i cestu.

Detail vykreslený z docs/claims/mcp-degraded-not-silent.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    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ší

    Žádná funkce ani odpovědnost v README ji nepojmenovává; tato stránka je místo, kde je uvedena.

  2. 2 · kanonické tvrzení

    mcp-degraded-not-silentdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    apps/majordomus-cli/src/index.rs

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

    Test: test/cases/72_rust_mcp.sh

    Provedeno v Poskytujte AI vrstvu repozitáře každému AI klientovi přes jeden sdílený server, Rozšiřte, co spustitelný soubor poskytuje, přidáním souboru, nikdy jeho přebuilděním.

  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 72_rust_mcp

Související tvrzení stejná implementace

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