KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

KRETAI-A01-ToolContractErrors — Kontrakt narzędzia i polityka danych — błędy

🇬🇧 English version below.

Pole	Wartość
Technologia	KretAI
Poziom	ADVANCED
Klasyfikacja	VALIDATION_ONLY — Tylko walidacja (bez wykonania)
Playground	LOCAL_VALIDATE — lokalnie: walidacja (`kret check`, lokalny walidator Playground)
SDK	1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany)
Wynik testu	`TEST_RESULTS.json`, rzeczywisty wynik: `EXPECTED_OUTPUT.txt`

Co pokazuje

Narzędzie, którego zadeklarowana sygnatura (amount String) nie zgadza się z funkcją KretS (amount: Int), oraz nieznana polityka danych modelu — obie deklaracje są odrzucane przy kompilacji.

Pliki

Plik
`Ai/assistant.kretai`
`Disk/Schema.kdb`
`Script/Main.krs`
`Script/Tools.krs`
`bad-data-policy/Ai/assistant.kretai`
`bad-data-policy/Disk/Schema.kdb`
`bad-data-policy/Script/Main.krs`
`bad-data-policy/Script/Tools.krs`
`bad-data-policy/host-policy.json`
`bad-data-policy/plugin.kretl`
`host-policy.json`
`plugin.kretl`
`wrong-signature/Ai/assistant.kretai`
`wrong-signature/Disk/Schema.kdb`
`wrong-signature/Script/Main.krs`
`wrong-signature/Script/Tools.krs`
`wrong-signature/host-policy.json`
`wrong-signature/plugin.kretl`

Jak uruchomić

Katalog roboczy: katalog tego przykładu. kret oznacza <SDK>\Compiler\kret.exe, kretui-host — <SDK>\UiHost\kretui-host.exe. {DATA} / {OUT} to nowe, puste katalogi poza projektem. Wymagania: REQUIREMENTS.md.

kret check . --json — wersja poprawna
kret check wrong-signature --json — sygnatura narzędzia ≠ funkcja KretS (oczekiwany błąd)
kret check bad-data-policy --json — nieznana polityka danych (oczekiwany błąd)

Oczekiwany wynik

Pierwszy krok — sukces; dwa kolejne — kod 1 z diagnostyką KCS-KAI-….

Najczęstszy błąd

Nadanie agentowi uprawnień szerszych niż przyznał host — agent nigdy nie ma własnych uprawnień, a narzędzie działa z uprawnieniami ze swojej deklaracji.

Źródło i wersja

Zweryfikowany import PUBLIC_CANDIDATE. Identyfikatory źródeł odnoszą się do eksportu i nie dają dostępu do plików serwera.

01_LANGUAGES/KretAI/Examples/ADVANCED_ToolContractErrors/README.md
SHA-256 08DD77FFB9384C53B2F22B3820A8BC804654E7CC8EED61AA4880C36DE3EB1A12

Oryginalne źródło jest dwujęzyczne; terminy techniczne i polecenia zachowano.

Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →