KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Bramki uprawnień i modelu (bez prawdziwego modelu)

INTERMEDIATEVALIDATION_ONLYKretAI

`kret ai ask` pokazuje bramki przed jakimkolwiek połączeniem: bez przyznanych `kretai.use`/`kretai.model.use` → `KCS-KAI-0302`; z przyznaniem, ale bez lokalnego serwera modeli → `KCS-KAI-0301`. Oba wyniki są odmową — żadne dane nie opuszczają komputera.

Edycja i zapisane wyniki

Witryna nie wykonuje kodu ani nie prowadzi walidacji SDK. Wyniki poniżej pochodzą z eksportu określonej wersji i przestają opisywać kod po jego zmianie.

Pobierz źródła JSON Otwórz w Playground

Kanoniczne pliki projektu

Plik

1kretai "1.0"
2
3// Model lokalny: serwer modeli na tym komputerze (protokół chat/completions — llama.cpp server, Ollama, LM Studio).
4// Polityka „local-only”: brama wymusza, żeby połączenie kończyło się na adresie pętli zwrotnej — dane nie opuszczają komputera.
5model local.small {
6    provider "local"
7    name "qwen2.5:7b"
8    endpoint "http://127.0.0.1:11434"
9    dataPolicy "local-only"
10    maxOutputTokens 1024
11    timeout 2min
12}
13
14tool counter.read {
15    description "Odczytuje wartość licznika o podanej nazwie."
16    handler "Tools.readCounter"
17    parameter name String "Nazwa licznika, np. orders"
18    returns "Int64"
19    permissions {
20        kretdb.open
21        kretdb.read
22    }
23    sideEffects "none"
24}
25
26tool counter.add {
27    description "Zwiększa licznik o podaną wartość i zwraca nowy stan."
28    handler "Tools.addCounter"
29    parameter name String "Nazwa licznika"
30    parameter amount Int64 "O ile zwiększyć"
31    returns "Int64"
32    permissions {
33        kretdb.open
34        kretdb.read
35        kretdb.write
36    }
37    sideEffects "write"
38    requiresConfirmation true
39}
40
41// Agent tylko do odczytu.
42agent reader {
43    model local.small
44    system "Odpowiadasz krótko i tylko na podstawie danych z narzędzi."
45    tools counter.read
46    permissions {
47        kretdb.open
48        kretdb.read
49    }
50    limits {
51        maxSteps 4
52        maxToolCalls 8
53        timeout 2min
54    }
55}
56
57// Agent, który może zmieniać dane — każde wywołanie narzędzia zapisującego wymaga potwierdzenia.
58agent assistant {
59    model local.small
60    system "Pomagasz prowadzić liczniki. Zanim coś zmienisz, sprawdź obecny stan."
61    tools counter.read counter.add
62    delegates reader
63    permissions {
64        kretdb.open
65        kretdb.read
66        kretdb.write
67    }
68    limits {
69        maxSteps 8
70        maxToolCalls 16
71        timeout 5min
72        maxTokens 200000
73    }
74}

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

kretai "1.0"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
// Model lokalny: serwer modeli na tym komputerze (protokół chat/completions — llama.cpp server, Ollama, LM Studio).Komentarz autora; nie jest wykonywany.
// Polityka „local-only”: brama wymusza, żeby połączenie kończyło się na adresie pętli zwrotnej — dane nie opuszczają komputera.Komentarz autora; nie jest wykonywany.
model local.small {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
provider "local"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
name "qwen2.5:7b"Pole tożsamości lub wersji w otaczającym bloku; zachowaj jego kontekst.
endpoint "http://127.0.0.1:11434"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
dataPolicy "local-only"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
maxOutputTokens 1024Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
timeout 2minOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
tool counter.read {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
description "Odczytuje wartość licznika o podanej nazwie."Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
handler "Tools.readCounter"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
parameter name String "Nazwa licznika, np. orders"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
returns "Int64"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
permissions {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
kretdb.openOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
kretdb.readOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
sideEffects "none"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
tool counter.add {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
description "Zwiększa licznik o podaną wartość i zwraca nowy stan."Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
handler "Tools.addCounter"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
parameter name String "Nazwa licznika"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
parameter amount Int64 "O ile zwiększyć"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
returns "Int64"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
permissions {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
kretdb.openOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
kretdb.readOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
kretdb.writeOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
sideEffects "write"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
requiresConfirmation trueOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
// Agent tylko do odczytu.Komentarz autora; nie jest wykonywany.
agent reader {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
model local.smallOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
system "Odpowiadasz krótko i tylko na podstawie danych z narzędzi."Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
tools counter.readOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
permissions {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
kretdb.openOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
kretdb.readOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
limits {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
maxSteps 4Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
maxToolCalls 8Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
timeout 2minOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
// Agent, który może zmieniać dane — każde wywołanie narzędzia zapisującego wymaga potwierdzenia.Komentarz autora; nie jest wykonywany.
agent assistant {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
model local.smallOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
system "Pomagasz prowadzić liczniki. Zanim coś zmienisz, sprawdź obecny stan."Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
tools counter.read counter.addOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
delegates readerOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
permissions {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
kretdb.openOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
kretdb.readOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
kretdb.writeOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
limits {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
maxSteps 8Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
maxToolCalls 16Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
timeout 5minOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
maxTokens 200000Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.

Wynik i typowy błąd

Oba polecenia kończą się kodem 1 z właściwym kodem KCS. To jest poprawne zachowanie bramek.

Na co uważać

Uruchamianie tego przykładu przy działającym lokalnym serwerze modeli zmieni drugi wynik — wtedy test przestaje być „bez modelu”. Prawdziwy model wymaga osobnej zgody właściciela.

Wymagania wersji i procedura lokalna

sdk: 1.0.0-rc.3+kret.local.3
sdkInfoReports: 1.0.0-rc.3
core: 1.0.0-test.6.11-draft.1
os: Windows 11 x64
dotnet: .NET 10 runtime

Polecenia poniżej są instrukcją do samodzielnego wykonania z właściwym lokalnym SDK. DATA/OUT muszą wskazywać nowe katalogi testowe. Nie ma przycisku uruchamiania na serwerze.

ask-no-grantkret ai ask . --agent assistant --prompt test --data {DATA}/aKatalog: project · Oczekiwany kod wyjścia: 1
ask-grant-no-modelkret ai ask . --agent assistant --prompt test --data {DATA}/b --grant kretai.use,kretai.model.use,kretdb.open,kretdb.read,kretdb.write,logs.own.writeKatalog: project · Oczekiwany kod wyjścia: 1

Wyniki zapisane w pakiecie źródłowym

To dowód z eksportu, nie wynik bieżącego wykonania w przeglądarce.

Plik

1# EXPECTED_OUTPUT — KRETAI-I01-PermissionAndModelGates
2# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:21Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.
3# Actual output of the run. Paths replaced by placeholders.
4
5### 1. ask-no-grant  (exit 1, PASS)
6> kret ai ask . --agent assistant --prompt test --data {DATA}/a
7{
8  "agent": "assistant",
9  "status": "PolicyDenied",
10  "text": "",
11  "code": "KCS-KAI-0302",
12  "message": "agent assistant wymaga uprawnienia kretai.use, którego host nie przyznał",
13  "steps": 0,
14  "toolCalls": 0,
15  "inputTokens": 0,
16  "outputTokens": 0
17}
18
19### 2. ask-grant-no-model  (exit 1, PASS)
20> kret ai ask . --agent assistant --prompt test --data {DATA}/b --grant kretai.use,kretai.model.use,kretdb.open,kretdb.read,kretdb.write,logs.own.write
21{
22  "agent": "assistant",
23  "status": "ModelError",
24  "text": "",
25  "code": "KCS-KAI-0301",
26  "message": "model local.small: błąd połączenia (ConnectionError)",
27  "steps": 1,
28  "toolCalls": 0,
29  "inputTokens": 0,
30  "outputTokens": 0
31}
32
33

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

# EXPECTED_OUTPUT — KRETAI-I01-PermissionAndModelGatesOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:21Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
# Actual output of the run. Paths replaced by placeholders.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
### 1. ask-no-grant (exit 1, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret ai ask . --agent assistant --prompt test --data {DATA}/aOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"agent": "assistant",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"status": "PolicyDenied",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"text": "",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"code": "KCS-KAI-0302",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"message": "agent assistant wymaga uprawnienia kretai.use, którego host nie przyznał",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"steps": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"toolCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"inputTokens": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"outputTokens": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
### 2. ask-grant-no-model (exit 1, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret ai ask . --agent assistant --prompt test --data {DATA}/b --grant kretai.use,kretai.model.use,kretdb.open,kretdb.read,kretdb.write,logs.own.writeOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"agent": "assistant",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"status": "ModelError",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"text": "",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"code": "KCS-KAI-0301",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"message": "model local.small: błąd połączenia (ConnectionError)",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"steps": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"toolCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"inputTokens": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"outputTokens": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
Pusta linia oddziela fragmenty źródła.

Diagnostyka i raporty testów

Plik

1null

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

nullOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.

Pochodzenie i integralność

KRET_LANGUAGE_KRETAI.zip:KretAI/Examples/INTERMEDIATE_PermissionAndModelGates/example.json

02_PLAYGROUND/EXAMPLES/KRETAI-I01-PermissionAndModelGates.json
SHA-256 DC130532BC72C06B71F170E61500A9EEB7755BAB58B8941499973E9F591AB8FA

Materiały źródłowe do tego tematu

Przeczytaj powiązane rozdziały. Kod i kontrakty zachowano z importu; historia źródeł jest dostępna przy każdym rozdziale.

KRETAI-I01-PermissionAndModelGates — Bramki uprawnień i modelu (bez prawdziwego modelu)

🇬🇧 English version below.

Pole	Wartość
Technologia	KretAI
Poziom	INTERMEDIATE
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

kret ai ask pokazuje bramki przed jakimkolwiek połączeniem: bez przyznanych kretai.use/kretai.model.use → KCS-KAI-0302; z przyznaniem, ale bez lokalnego serwera modeli → KCS-KAI-0301. Oba wyniki są odmową — żadne dane nie opuszczają komputera.

Pliki

Plik
`Ai/assistant.kretai`
`Disk/Schema.kdb`
`Script/Main.krs`
`Script/Tools.krs`
`host-policy.json`
`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 ai ask . --agent assistant --prompt test --data {DATA}/a — brak przyznania → KCS-KAI-0302 (oczekiwany błąd)
kret ai ask . --agent assistant --prompt test --data {DATA}/b --grant kretai.use,kretai.model.use,kretdb.open,kretdb.read,kretdb.write,logs.own.write — przyznanie, brak lokalnego serwera → KCS-KAI-0301 (oczekiwany błąd)

Oczekiwany wynik

Oba polecenia kończą się kodem 1 z właściwym kodem KCS. To jest poprawne zachowanie bramek.

Najczęstszy błąd

Uruchamianie tego przykładu przy działającym lokalnym serwerze modeli zmieni drugi wynik — wtedy test przestaje być „bez modelu”. Prawdziwy model wymaga osobnej zgody właściciela.

Otwórz cały rozdział ze źródłem →

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

Kanoniczne pliki projektu

Wynik i typowy błąd

Wymagania wersji i procedura lokalna

Wyniki zapisane w pakiecie źródłowym

Materiały źródłowe do tego tematu

KRETAI-I01-PermissionAndModelGates — Bramki uprawnień i modelu (bez prawdziwego modelu)

Co pokazuje

Pliki

Jak uruchomić

Oczekiwany wynik

Najczęstszy błąd

Powiązane lekcje