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.

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

Které modely existují, co každý umí, jak velký je jeho kontext a které jméno je

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

models.list a models.route jsou deklarace schopností, takže každý povrch je projekce; diagnostika katalogu sama při prvním čtení ohlásí duplicitní alias nebo nedeklarovaného dodavatele. Pořadí deklarací je pořadí preferencí směrování, ověřitelné přečtením souboru.

Co to znamená

Které modely existují, co každý umí, jak velký je jeho kontext a který název je aliasem kterého, jsou fakta uvedená přesně jednou, v share/models.yaml. majordomus models list, GET /api/v1/models, nástroj MCP majordomus_models, zdroj majordomus://models, dokument OpenAPI i stránka Models v Cockpitu jsou projekcí tohoto souboru — žádná nenese vlastní název modelu, takže přidání nebo vyřazení modelu je jedna úprava a všechny povrchy ji následují. Vlastní nálezy katalogu — duplicitní alias, model pojmenovávající nedeklarovaného dodavatele — se přidávají do každého výpisu, hlášeny při prvním čtení, a ne objeveny až později.

Princip

models.list a models.route jsou deklarace capability! (apps/majordomus-cli/src/capability/builtin/models.rs), takže každá transportní projekce je odvozená (ADR 0004); typ katalogu a jeho loader žijí v apps/majordomus-cli/src/models/mod.rs a čtou adresář share stejným rozlišením, jaké používá vše ostatní. Pořadí deklarací je preferenčním pořadím směrování, což si člověk ověří přečtením souboru. test/cases/131_models.sh dokazuje cestu operátora — jedna vykreslená deklarace, pověření jen s ověřením přítomnosti, prázdný katalog jako odpověď. ADR 0049 zaznamenává rozhodnutí a proč slovo „provider“ zůstává vyhrazené.

Jak to vidět

majordomus models list                   # the whole catalogue, one declaration
curl http://127.0.0.1:8741/api/v1/models
grep -c "id:" share/models.yaml          # the same count the surfaces show
bash test/run.sh 131_models

Co nepokrývá

Katalog neověřuje, že deklarovaný model u svého dodavatele stále existuje — jsou to prověřená data s uvedeným původem, ne živá sonda (ADR 0032 drží síťové klienty mimo crate). Zastaralost je vidět v hlavičce původu souboru, kde ji lze posoudit.

Proč existuje

Jména modelů roztroušená v promptech, konfiguracích a hlavách pracovníků jsou ručně udržovaná pravda na spotřebitele — přesně ten tvar, který tento repozitář jinde všude odmítá. Jeden deklarovaný soubor promítnutý všude činí přidání nebo vyřazení modelu jednou revidovatelnou úpravou (ADR 0049).

Detail vykreslený z docs/claims/models-one-declaration.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    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

    Vytvořeno na Models.

  2. 2 · kanonické tvrzení

    models-one-declarationdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    apps/majordomus-cli/src/models/mod.rs

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

    Test: test/cases/131_models.sh

  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 131_models

Související tvrzení stejná implementace

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