Každý transport poradce podléhá jednomu kontraktu — typovaná selhání, termíny, zrušení, normalizované odpovědi, hlášené využití, zakrytá tajemství — prokázanému proti atrapám bez sítě, modelu či přihlašovacích údajů

Ať je poradce cokoli — API, klientský nástroj, lokální runtime, mesh peer — komunikující s

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

node --test scripts/lib/advisors/contract.test.mjs; případ odmítne běh s méně testy, než sada obsahuje.

Co to znamená

Ať je poradce cokoli — API, klientský nástroj, lokální runtime, peer meshe — komunikace s ním končí jedním ze stejných výsledků: normalizovanou odpovědí, nebo typovaným selháním (timeout, rate_limited, auth_failed, malformed, empty, unavailable, cancelled, error) s diagnostikou, která nenese žádné tajemství. Zvláštnosti poskytovatele končí u adaptéru.

Princip

scripts/lib/advisors/contract.mjs definuje typ selhání, klasifikaci stavů HTTP a ukončení procesů, prompt (důkazy, hypotézu vykonavatele a dřívější rady označené jako názory), normalizaci odpovědi a consultOne, který spouští adaptér s termínem a signálem zrušení a jakékoli selhání promění ve výsledek. contract.test.mjs spouští každý adaptér proti falešnému fetch nebo falešnému procesu.

Jak to vidět

node --test scripts/lib/advisors/contract.test.mjs

test/cases/731_advisor_transport_contract.sh spouští sadu bez jakéhokoli přihlašovacího údaje v prostředí.

Co nepokrývá

Neprokazuje, že se živý dodavatel chová jako atrapy; to se zjistí při první konzultaci a zaznamená. Netestuje živý mesh dvou runtime; adaptér peera je testován proti falešnému serveru.

Proč existuje

Adaptér, který do workflow vhazuje vlastní chybu dodavatele, nutí každého volajícího učit se tohoto dodavatele. Jeden kontrakt, testovaný bez dodavatele, drží CI bez živých modelů (ADR 0098).

Detail vykreslený z docs/claims/advisor-transports-share-one-contract.md.

Od tvrzení k důkazu

1 · veřejné tvrzení

Každý transport poradce podléhá jednomu kontraktu — typovaná selhání, termíny, zrušení, normalizované odpovědi, hlášené využití, zakrytá tajemství — prokázanému proti atrapám bez sítě, modelu či přihlašovacích údajů

Vytvořeno na Reasoning.
2 · kanonické tvrzení

advisor-transports-share-one-contractdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

scripts/lib/advisors/contract.mjs
4 · test a scénáře
Test: test/cases/731_advisor_transport_contract.sh
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 731_advisor_transport_contract