KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Deklaracje modelu, narzędzi i agentów

BASICVALIDATION_ONLYKretAI

Plik `Ai/assistant.kretai` z szablonu SDK: model lokalny z polityką `local-only`, dwa narzędzia (funkcje KretS z zadeklarowaną sygnaturą i uprawnieniami), dwa agenci z limitami i delegacją. **Model nie jest uruchamiany** — kompilator sprawdza deklaracje, zgodność narzędzi z funkcjami KretS i uprawnienia. Plugin startuje bez AI (zwraca liczbę zamówień z KretDB).

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

`check` = sukces; `run` zwraca „zamówień: 0”. Żaden model nie został wywołany.

Na co uważać

Traktowanie poprawnej deklaracji jako dowodu działania modelu. Wykonanie z prawdziwym modelem to KretAI 1.1+ (NOT_RUN); w Core KretAI jest DISABLED.

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.

checkkret check . --jsonKatalog: project · Oczekiwany kod wyjścia: 0
run-no-aikret run . --policy host-policy.json --data {DATA}Katalog: project · Oczekiwany kod wyjścia: 0

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-B01-Declarations
2# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:13Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.
3# Actual output of the run. Paths replaced by placeholders.
4
5### 1. check  (exit 0, PASS)
6> kret check . --json
7{
8  "format": "kret-diagnostics/1",
9  "project": "<project>",
10  "succeeded": true,
11  "plugin": {
12    "id": "LOCAL-KPL-AXB2DECL",
13    "name": "Declarations",
14    "version": "1.0.0",
15    "profile": "standard",
16    "database": true
17  },
18  "permissions": {
19    "required": [
20      "logs.own.write",
21      "kretdb.open",
22      "kretdb.read",
23      "kretdb.write"
24    ],
25    "optional": []
26  },
27  "handlers": {
28    "lifecycle": [
29      "start",
30      "shutdown"
31    ],
32    "events": [],
33    "commands": []
34  },
35  "diagnostics": []
36}
37
38### 2. run-no-ai  (exit 0, PASS)
39> kret run . --policy host-policy.json --data {DATA}
40{
41  "broker": {
42    "pid": 47884,
43    "startupMs": 49.9,
44    "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",
45    "allowProvisionalRisk": true,
46    "memoryIdle": {
47      "managedBytes": 1193360,
48      "allocatedBytes": 1190720,
49      "workingSetBytes": 32612352,
50      "privateBytes": 10223616,
51      "peakWorkingSetBytes": 32612352,
52      "cpuMs": 109.375
53    }
54  },
55  "brokerWithPlugins": {
56    "memory": {
57      "managedBytes": 1573168,
58      "allocatedBytes": 1569952,
59      "workingSetBytes": 40665088,
60      "privateBytes": 14159872,
61      "peakWorkingSetBytes": 40681472,
62      "cpuMs": 218.75
63    }
64  },
65  "plugins": [
66    {
67      "package": "<project>\\Build",
68      "admitted": true,
69      "startMs": 181.1887,
70      "subject": "LOCAL-KPL-AXB2DECL",
71      "instance": "01a19725-68e0-7e4c-a12f-2cd2d07fed82",
72      "pid": 46220,
73      "jobObject": true,
74      "isolation": {
75        "level": "Restricted",
76        "restrictedToken": true,
77        "lowIntegrity": true,
78        "appContainer": false
79      },
80      "limits": {
81        "profile": "standard",
82        "scriptMemoryBytes": 67108864,
83        "processMemoryBytes": 201326592,
84        "cpuPercent": 25,
85        "maxInstructions": 50000000,
86        "clamped": []
87      },
88      "calls": [
89        {
90          "operation": "start",
91          "ok": true,
92          "status": "Completed",
93          "type": "String",
94          "value": "zam\u00F3wie\u0144: 0",
95          "brokerMs": 37.6238,
96          "vmMs": 33.2895,
97          "instructions": 18,
98          "hostCalls": 2,
99          "pluginReportedMemory": {
100            "managedBytes": 776512,
101            "allocatedBytes": 774352,
102            "workingSetBytes": 32370688,
103            "privateBytes": 11251712,
104            "peakWorkingSetBytes": 32567296,
105            "cpuMs": 78.125
106          }
107        },
108        {
109          "operation": "shutdown",
110          "ok": true,
111          "status": "Completed",
112          "type": "Unit",
113          "value": null,
114          "brokerMs": 0.6194,
115          "vmMs": 0.0014,
116          "instructions": 1,
117          "hostCalls": 0,
118          "pluginReportedMemory": {
119            "managedBytes": 784736,
120            "allocatedBytes": 782552,
121            "workingSetBytes": 32370688,
122            "privateBytes": 11251712,
123            "peakWorkingSetBytes": 32567296,
124            "cpuMs": 78.125
125          }
126        }
127      ],
128      "processMemoryMeasuredByBroker": {
129        "workingSetBytes": 32370688,
130        "privateBytes": 11251712,
131        "peakWorkingSetBytes": 32567296,
132        "cpuMs": 78.125
133      },
134      "database": {
135        "backend": "sqlite",
136        "engineVersion": "3.53.4",
137        "fileBytes": 20480,
138        "pageCount": 5,
139        "engineMemoryBytes": 263632,
140        "statements": 32
141      },
142      "summary": {
143        "exitCode": 0,
144        "killed": false,
145        "hostCalls": 2,
146        "denials": 0,
147        "peakCommitBytes": 12070912,
148        "log": [
149          "[info] liczba zam\u00F3wie\u0144: 0"
150        ]
151      }
152    }
153  ],
154  "brokerAfterClose": {
155    "memory": {
156      "managedBytes": 593080,
157      "allocatedBytes": 1569952,
158      "workingSetBytes": 41295872,
159      "privateBytes": 14848000,
160      "peakWorkingSetBytes": 41295872,
161      "cpuMs": 218.75
162    }
163  },
164  "audit": {
165    "entries": 19,
166    "denials": 0,
167    "grantsIssued": 4,
168    "denied": []
169  },
170  "exitCode": 0
171}
172
173

Czytanie kodu linia po linii

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

# EXPECTED_OUTPUT — KRETAI-B01-DeclarationsOdczytaj 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:13Z). Ś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. check (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret check . --jsonOdczytaj 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.
"format": "kret-diagnostics/1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"project": "<project>",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"succeeded": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"plugin": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"id": "LOCAL-KPL-AXB2DECL",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "Declarations",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"version": "1.0.0",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"database": truePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"permissions": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"required": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"logs.own.write",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"kretdb.open",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"kretdb.read",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"kretdb.write"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"optional": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"handlers": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"lifecycle": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"start",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"shutdown"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"events": [],Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"commands": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"diagnostics": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
### 2. run-no-ai (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret run . --policy host-policy.json --data {DATA}Odczytaj 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.
"broker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pid": 47884,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"startupMs": 49.9,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allowProvisionalRisk": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memoryIdle": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 1193360,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1190720,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32612352,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 10223616,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32612352,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 109.375Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"brokerWithPlugins": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 1573168,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1569952,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 40665088,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 14159872,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 40681472,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 218.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"plugins": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"package": "<project>\\Build",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"admitted": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"startMs": 181.1887,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"subject": "LOCAL-KPL-AXB2DECL",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instance": "01a19725-68e0-7e4c-a12f-2cd2d07fed82",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pid": 46220,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"jobObject": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"isolation": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"level": "Restricted",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"restrictedToken": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"lowIntegrity": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"appContainer": falsePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"limits": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"scriptMemoryBytes": 67108864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"processMemoryBytes": 201326592,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuPercent": 25,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"maxInstructions": 50000000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"clamped": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"calls": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"operation": "start",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "String",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"value": "zam\u00F3wie\u0144: 0",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 37.6238,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 33.2895,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 18,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 2,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 776512,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 774352,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32370688,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11251712,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32567296,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"operation": "shutdown",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "Unit",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"value": null,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 0.6194,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 0.0014,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 784736,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 782552,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32370688,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11251712,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32567296,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"processMemoryMeasuredByBroker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32370688,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11251712,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32567296,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"database": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"backend": "sqlite",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"engineVersion": "3.53.4",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"fileBytes": 20480,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pageCount": 5,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"engineMemoryBytes": 263632,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"statements": 32Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"summary": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"exitCode": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"killed": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 2,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakCommitBytes": 12070912,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"log": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"[info] liczba zam\u00F3wie\u0144: 0"Odczytaj 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.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"brokerAfterClose": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 593080,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1569952,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 41295872,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 14848000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 41295872,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 218.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"audit": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"entries": 19,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"grantsIssued": 4,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denied": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"exitCode": 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/BASIC_Declarations/example.json

02_PLAYGROUND/EXAMPLES/KRETAI-B01-Declarations.json
SHA-256 B48FE3BDE256C1A273D3AB315D65584A6B7A6486135B0954607AFCCD38D1E10C

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-B01-Declarations — Deklaracje modelu, narzędzi i agentów

🇬🇧 English version below.

Pole	Wartość
Technologia	KretAI
Poziom	BASIC
Klasyfikacja	VALIDATION_ONLY — Tylko walidacja (bez wykonania)
Playground	PUBLIC_STATIC — publicznie: tylko podgląd kodu i gotowe wyniki
SDK	1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany)
Wynik testu	`TEST_RESULTS.json`, rzeczywisty wynik: `EXPECTED_OUTPUT.txt`

Co pokazuje

Plik Ai/assistant.kretai z szablonu SDK: model lokalny z polityką local-only, dwa narzędzia (funkcje KretS z zadeklarowaną sygnaturą i uprawnieniami), dwa agenci z limitami i delegacją. Model nie jest uruchamiany — kompilator sprawdza deklaracje, zgodność narzędzi z funkcjami KretS i uprawnienia. Plugin startuje bez AI (zwraca liczbę zamówień z KretDB).

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 check . --json — walidacja deklaracji KretAI razem z KretS i KretDB
kret run . --policy host-policy.json --data {DATA} — zwykły start pluginu (bez wywołania modelu)

Oczekiwany wynik

check = sukces; run zwraca „zamówień: 0”. Żaden model nie został wywołany.

Najczęstszy błąd

Traktowanie poprawnej deklaracji jako dowodu działania modelu. Wykonanie z prawdziwym modelem to KretAI 1.1+ (NOT_RUN); w Core KretAI jest DISABLED.

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-B01-Declarations — Deklaracje modelu, narzędzi i agentów

Co pokazuje

Pliki

Jak uruchomić

Oczekiwany wynik

Najczęstszy błąd

Powiązane lekcje