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.

Majordomus uvede změnu celkového počtu tokenů jen z porovnaných, ověřených běhů, které splňují pravidlo publikace dané metodikou

**Plánováno.** Majordomus uvede, o kolik mění celkovou spotřebu tokenů, až když odpovídající živé běhy, s ním a bez něj, posuzované stejnými skrytými akceptačními testy, splní pravidlo publikace metodiky. Do té doby každý povrch ukazuje, že není k dispozici žádné ověřené tvrzení o celkové úspoře tokenů, vedle jakéhokoli předběžného pozorování, které běhy podporují.

deklarovaný stavdeklarovaný stav: plánováno Specifikováno, ale neimplementováno. Uvedeno, aby bylo vidět, co chybí.

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

Měření, jeho runner i kalkulátor existují; chybí dostatek důkazů. Generovaná zpráva uvádí, co zaznamenané běhy ukazují a proč z nich zatím žádné tvrzení neplyne.

Co to znamená

Plánováno. Majordomus uvede, o kolik mění celkovou spotřebu tokenů, jen když spárované živé běhy, s ním a bez něj, posuzované týmiž skrytými akceptačními testy, splní pravidlo publikace z metodiky. Do té doby je výrokem každého povrchu, že žádné ověřené tvrzení o úspoře celkových tokenů není k dispozici, vedle jakéhokoli předběžného pozorování, které běhy podporují.

Princip

Měření existuje a běží: majordomus economics run spustí každou úlohu korpusu ve skutečném programátorském harnessu, jednou ve fixture, jak ji drží kompetentní tým, a jednou s nainstalovaným Majordomus, zaznamená využití poskytovatele a verdikty kontrol a kalkulátor spáruje běhy, odvodí redukci na pár, její rozdělení a seedovaný bootstrap interval a ověří pravidlo publikace. Chybí důkazy: dost platných párů, napříč dost kategoriemi úloh, s dost opakováními.

Jak to vidět

majordomus economics summary
majordomus economics explain effective_token_reduction

Co nepokrývá

Není to tvrzení a říká to. Hypotézy, které měřicí sada měla ověřit, jsou zaznamenány jako hypotézy, nikdy jako výsledky.

Proč existuje

Procento ušetřených tokenů je nejcitovatelnější věc, kterou by tento projekt mohl publikovat, a nejsnáz vymyslitelná. Tato stránka je místo, kde bude tvrzení stát, až budou existovat důkazy, a do té doby nemůže přejít na guaranteed: economics check ho odmítne.

Detail vykreslený z docs/claims/token-savings-measured.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Majordomus uvede změnu celkového počtu tokenů jen z porovnaných, ověřených běhů, které splňují pravidlo publikace dané metodikou

    Učiněno na Ekonomika.

  2. 2 · kanonické tvrzení

    token-savings-measureddeklarovaný stav: plánováno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    Zatím to nic neimplementuje.

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

    Žádné spustitelné důkazy nejsou propojeny: tvrzení nejmenuje žádný test a žádný případ užití ho nespouští.

  5. 5 · zaznamenané běhy

    zaznamenané důkazy: žádný test jak se zaznamenávají důkazy

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