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.

Poradci se deklarují jednou v share/advisors.yaml odkazem na tabulku providerů a katalog modelů; nový poradce se dostane do příkazové řádky, politiky, HTTP, OpenAPI, MCP i Cockpitu bez úpravy jediného konzumenta

Existuje jediný inventář poradců. Každý povrch, který poradce vypisuje, včetně příkazové řádky,

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

případ přidá reprezentativního poradce do fixture katalogu a přečte jej zpět z každého povrchu, pak odstraní jeho spustitelný soubor a vidí jej všude jako nedostupný.

Co to znamená

Existuje jediný inventář poradců. Každý povrch, který poradce vypisuje — příkazový řádek, HTTP, MCP, Cockpit, banner prostředí, doctor — ho odvozuje z katalogu a žádný kód uvažování, ovladač adaptéru ani stránka nedrží vlastní seznam.

Princip

share/advisors.yaml deklaruje transport, adaptér, spustitelný soubor a schopnosti každého poradce a odkazuje na poskytovatele, dodavatele a modely podle id; reasoning check odmítne odkaz, který nevede k ničemu, i zdrojový soubor kódu nezávislého na poskytovateli, který kteréhokoli z nich jmenuje. Všechny povrchy jsou projekcemi schopností modulu reasoning (ADR 0027).

Jak to vidět

majordomus reasoning advisors
curl $SERVER/api/v1/reasoning/advisors

test/cases/735_a_new_advisor_needs_no_consumer_edit.sh přidá example-reviewer a najde to na každém povrchu, aniž by upravilo kterýkoli z nich.

Co nepokrývá

Nový transport potřebuje jeden adaptérový modul; nový advisor na existujícím transportu žádný. Katalog patří distribuci; repozitář přidávající vlastní advisory je pozdější rozšíření rozlišení sdílení, stejně jako u katalogu modelů.

Proč existuje

Inventáře udržované na spotřebitele se rozcházejí. Objev jednou, modeluj jednou, odvozuj všude je odpověď tohoto repozitáře, aplikovaná na poradce (ADR 0098).

Detail vykreslený z docs/claims/advisors-are-declared-once.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Poradci se deklarují jednou v share/advisors.yaml odkazem na tabulku providerů a katalog modelů; nový poradce se dostane do příkazové řádky, politiky, HTTP, OpenAPI, MCP i Cockpitu bez úpravy jediného konzumenta

    Vytvořeno na Reasoning.

  2. 2 · kanonické tvrzení

    advisors-are-declared-oncedeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    share/advisors.yaml

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

    Test: test/cases/735_a_new_advisor_needs_no_consumer_edit.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 735_a_new_advisor_needs_no_consumer_edit

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