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.

Třída schopností, úsilí při uvažování, upovídanost výstupu, kontext a ověřování jsou pět nezávislých os

Profil nastavuje pět věcí zvlášť: jakou třídu schopností modelu si úloha zaslouží, kolik úsilí věnovat uvažování, jak podrobný má být výstup, jaký kontext načíst a jaké ověření se vyžaduje — plus interval checkpointů a kontrakt výstupu. Žádná z nich neimplikuje jinou. Ladicí úloha může chtít vysoké úsilí a stručný výstup; hluboká práce podrobný výstup a záznam rozhodnutí.

deklarovaný stavdeklarovaný stav: advisory Promítnuto do instrukcí workera. Zda je worker dodržuje, zvenčí pozorovat nelze. Je to dokumentace, ne vynucování.

zaznamenané důkazyzaznamenané důkazy: nespuštěno Neposuzováno: k zaznamenanému běhu je vázáno jen zaručené tvrzení. jak se zaznamenávají důkazy

Osy se validují a promítají do instrukcí workeru. Zda je worker dodržuje, zvenčí pozorovat nelze.

Co to znamená

Profil nastavuje pět věcí zvlášť: jakou třídu schopností modelu si úloha zaslouží, kolik úsilí věnovat uvažování, jak podrobný má být výstup, jaký kontext načíst a jaké ověření se vyžaduje — plus interval checkpointů a kontrakt výstupu. Žádná z nich neimplikuje jinou. Ladicí úloha může chtít vysoké úsilí a stručný výstup; hluboká práce podrobný výstup a záznam rozhodnutí.

Princip

Každá osa je samostatný klíč v share/skeleton/profiles/<name>.yaml, zaseté do .ai/repo/profiles/ příkazem init a validované proti povolenému seznamu. Generované bootstrapy pojmenovávají výchozí profil a odkazují na vrstvu; samotné osy čte ze souboru profilu check --explain, který vypíše efektivní hodnoty pro aktivní úlohu, a context, které nechává blok kontextu profilu rozhodnout, co briefing nabídne.

Jak to vidět

majordomus check --explain | sed -n '/# profile/,/# policy/p'

Co nepokrývá

Toto tvrzení je doporučující. Osy jsou validovány jako konfigurace a promítnuty do instrukcí workera; zda je worker dodržuje, nelze zvenčí workera pozorovat a Majordomus model nikdy nevybírá ani nevolá. Nic zde neměří, co relace skutečně použila.

Proč existuje

Směrovací dokument ve zdrojovém prostředí bral „model s uvažováním“ jako samostatný model, neměl žádný pojem upovídanosti a směroval podle pracovního titulu workera. Sbalení os do jednoho nastavení „výkonu“ je způsob, jak každá úloha skončí na maximu.

Detail vykreslen z docs/claims/profile-axes.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Třída schopností, úsilí při uvažování, upovídanost výstupu, kontext a ověřování jsou pět nezávislých os

    Vytvořeno na Policy, Profiles.

  2. 2 · kanonické tvrzení

    profile-axesdeklarovaný stav: advisory v docs/CLAIMS.yaml

    Definováno v přečtěte si to na tomto webu · share/skeleton/profiles/implementation.yaml

  3. 3 · implementace

    lib/update.sh · majordomus update

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

    Test: test/cases/03_update.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 03_update

Kde se toto tvrzení používá

Související tvrzení stejná implementace

Okamžiky, na které to odpovídá

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