KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

KretAiContractDemo

Deklaracja i walidacja KretAI: model lokalny `local-only`, narzędzia jako funkcje KretS z kontrolą sygnatur i uprawnień, agenci z limitami i delegacją. **Model nie jest wykonywany** — bramki (`KCS-KAI-0302`/`0301`) są pokazane, a narzędzia testowane jako zwykły KretS.

Wersja projektu: 1.0.0

Pobierz źródła demonstracyjne JSON

SDK: VALIDATION_ONLY
Core: BLOCKED (KretAI DISABLED w Core; logs.own.write/kretdb.* — D-KCS-01)
Production: NOT_PRODUCTION_READY

Źródła projektu są do nauki. Witryna nie udostępnia niezatwierdzonej paczki .kpkg. Uprawnienia UI/DB i inne otwarte decyzje nie są aktywowane przez kurs.

Pełne źródła 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.

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.

BUILD_INSTRUCTIONS — KretAiContractDemo

Katalog roboczy / working directory: folder tego pluginu (zawiera src/). kret = <SDK>\Compiler\kret.exe z SDK 1.0.0-rc.3+kret.local.3 (lub pinned Vendor Core rc.3+kc-base-test610). Wszystkie polecenia poniżej zostały wykonane w tej rundzie — wyniki: TEST_RESULTS.json.

#	Krok / Step	Polecenie / Command
1	Utworzenie projektu / create	Szablon SDK `kretai` (kandydat rc.3+kret.local.3) + testy narzędzi. / SDK template `kretai` + tool tests. Nowy projekt od zera / from scratch: `kret new basic <katalog> --name KretAiContractDemo`
2	Kod / code	`src/plugin.kretl`, `src/Script/**.krs`, `src/Disk/Schema.kdb`
3	Sprawdzenie / check	`kret check src --json`
4	Build	`kret build src` → `src/Build/plugin.kbc`, `manifest.json`
5	Testy / tests	`kret test src --json --policy examples/host-policy.json`
5a	Uruchomienie lokalne / local run	`kret run src --policy examples/host-policy.json --data <nowy katalog>`
6	Paczka / pack	`kret publish pack src --channel dev --include-sources -o package` → `package/LOCAL-KPL-AXCNTRD2-1.0.0-dev.kpkg`
7	Weryfikacja / verify	`kret publish verify package/LOCAL-KPL-AXCNTRD2-1.0.0-dev.kpkg --report package/verify-report.json`

Uwagi / notes:

--include-sources jest wymagane dla KPM Core: Core kompiluje plugin ze źródeł i odrzuca paczkę z samym bytecode (source_package_required, STUDIO-R02). / Required for Core KPM.
Kanał dev: paczka niepodpisana (signature: SKIPPED, nie PASS). Brak podpisu produkcyjnego — ceremonia C1 nie odbyła się. / Unsigned dev package; no production signature exists.
host-policy.json nigdy nie trafia do .kpkg (lista dozwolonych KretPublish). / Never packed.

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

COMPATIBILITY — KretAiContractDemo

Składnik / Component	Wersja / Version	Stan / State
KretL	`kretl-1.0`, `manifestVersion "1.0"`	FROZEN_1_0
Języki / languages	KretL, KretS, KretDB, KretAI	zob. rejestr / see registry (`KRET_AI_KNOWLEDGE_BASE` → `LANGUAGE_REGISTRY.json`)
Kret SDK	1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany)	testy tej rundy / tested this round
Kret SDK (Core pinned)	1.0.0-rc.3+kc-base-test610	zgodny (to samo źródło + SFI-B01/T01)
KretStudio	0.3.0-beta.2 + patch SFI (kopia testowa)	Pack/test/run przez SDK; oryginał `KretStudio (lokalna instalacja / local install)` 0.2.0 ma SDK rc.2
Kret Engine / KretCore	1.0.0-test.6.11-draft.1	BLOCKED (KretAI DISABLED w Core; logs.own.write/kretdb.* — D-KCS-01)
`compatibility` w manifeście	core min 0.5.0 (0.5.0), api min 1.6	ABI pluginów SDK 1.6
Bytecode	KBC format 2	—
System	Windows 11 x64	Linux/macOS: NOT_RUN

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

08 — KretAiContractDemo

Pole	Wartość
Identyfikator	`LOCAL-KPL-AXCNTRD2` (lokalny, rodzina KPL)
Wersja	1.0.0
Technologie	KretL, KretS, KretDB, KretAI
Stan przykładu	VALIDATION_ONLY (model NOT_RUN)
Stan w Kret Engine (Core)	*BLOCKED (KretAI DISABLED w Core; logs.own.write/kretdb. — D-KCS-01)**
Paczka	`package/LOCAL-KPL-AXCNTRD2-1.0.0-dev.kpkg` (dev, niepodpisana, ze źródłami)
Pochodzenie	Szablon SDK `kretai` (kandydat rc.3+kret.local.3) + testy narzędzi. / SDK template `kretai` + tool tests.

Cel

Deklaracja i walidacja KretAI: model lokalny local-only, narzędzia jako funkcje KretS z kontrolą sygnatur i uprawnień, agenci z limitami i delegacją. Model nie jest wykonywany — bramki (KCS-KAI-0302/0301) są pokazane, a narzędzia testowane jako zwykły KretS.

Struktura

Ścieżka	Zawartość
`src/`	projekt SDK w oficjalnym układzie (`plugin.kretl` w katalogu głównym projektu, `Script/`, `Disk/`, `Tests/`) — osobny folder `manifest/` nie istnieje, bo SDK wymaga manifestu w katalogu projektu
`tests/`	opis testów i surowe logi kroków (`tests/logs/`)
`docs/`	architektura (Mermaid), pochodzenie źródeł
`examples/`	polityka hosta testowego SDK (tylko lokalnie)
`package/`	`.kpkg` + raport weryfikacji + SHA-256
`BUILD_INSTRUCTIONS.md`, `INSTALL_INSTRUCTIONS.md`	pełny cykl: projekt → kod → check → build → test → pack → verify → KPM → instalacja Developer → start → aktualizacja → usunięcie
`SECURITY_PERMISSIONS.md`, `COMPATIBILITY.md`	uprawnienia i zgodność wersji
`TEST_RESULTS.json`	wyniki tej rundy (SDK; KPM w Core — jeśli wykonano)

Szybki start

Plik

1kret check src --json
2kret run src --policy examples/host-policy.json --data <nowy katalog>

Czytanie kodu linia po linii

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

kret check src --jsonOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
kret run src --policy examples/host-policy.json --data <nowy katalog>Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.

Status języka nie nadaje uprawnień KCS ani prawa do Production.

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

SECURITY_PERMISSIONS — KretAiContractDemo

Zadeklarowane uprawnienia / declared permissions (`src/plugin.kretl`)

Plik

1permissions {
2        required {
3            logs.own.write
4            kretdb.open
5            kretdb.read
6            kretdb.write
7        }
8    }

Czytanie kodu linia po linii

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

permissions {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
required {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
logs.own.writeOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
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.
}Zamknięcie struktury otwartej we wcześniejszych liniach.

Zasady / rules

Deklaracja ≠ przyznanie (KCS-PERM-3). Dostęp daje polityka hosta i KCS przy każdym wywołaniu (Security Broker). / Declaration is not a grant.
examples/host-policy.json to polityka hosta testowego SDK (allowProvisionalRisk tylko dla testów). Nigdy nie importuj jej do Core ani do danych użytkownika. / Test-host policy only; never import into Core.
Logika działa w osobnym procesie pluginu (Job Object, token ograniczony / AppContainer). Interfejs KretUI nie nadaje uprawnień i nie przechowuje sekretów. / Logic runs in a separate restricted process.
Status w Core / Core status: **BLOCKED (KretAI DISABLED w Core; logs.own.write/kretdb.* — D-KCS-01)**. D-KCS-01 pozostaje OPEN; uprawnienia PROVISIONAL nie są aktywowane w Production. / Not activated in Production.
Paczka: kanał dev, niepodpisana, z źródłami; nie zawiera kluczy, haseł ani polityki hosta (kontrola sekretów KretPublish). / Dev channel, unsigned, no keys or secrets.

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

KretAiContractDemo — architektura / architecture

Statyczna architektura ze źródeł. Przerywane połączenia zachowują oryginalne ograniczenia i adnotacje. Kod nie jest wykonywany.

Opis tekstowy i źródło

Host: kret run / KretStudio / Kret Engine → Security Broker (KCS przy każdym wywołaniu)
Security Broker (KCS przy każdym wywołaniu) → Proces pluginu (Job Object, AppContainer)
Proces pluginu (Job Object, AppContainer) → Maszyna KBC 2 + weryfikator
src/plugin.kretl → Security Broker (KCS przy każdym wywołaniu)
Security Broker (KCS przy każdym wywołaniu) → KretDB: baza pluginu należy do brokera

flowchart LR
  Host["Host: kret run / KretStudio / Kret Engine"] --> Broker["Security Broker (KCS przy każdym wywołaniu)"]
  Broker --> Proc["Proces pluginu (Job Object, AppContainer)"]
  Proc --> VM["Maszyna KBC 2 + weryfikator"]
  L0["KretL"]
  L1["KretS"]
  L2["KretDB"]
  L3["KretAI"]
  Manifest["src/plugin.kretl"] --> Broker
  Broker --> DB[("KretDB: baza pluginu należy do brokera")]

Pochodzenie / provenance: Szablon SDK kretai (kandydat rc.3+kret.local.3) + testy narzędzi. / SDK template kretai + tool tests.

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

Architecture diagram

Statyczna architektura ze źródeł. Przerywane połączenia zachowują oryginalne ograniczenia i adnotacje. Kod nie jest wykonywany.

Opis tekstowy i źródło

Host: kret run / KretStudio / Kret Engine → Security Broker (KCS przy każdym wywołaniu)
Security Broker (KCS przy każdym wywołaniu) → Proces pluginu (Job Object, AppContainer)
Proces pluginu (Job Object, AppContainer) → Maszyna KBC 2 + weryfikator
src/plugin.kretl → Security Broker (KCS przy każdym wywołaniu)
Security Broker (KCS przy każdym wywołaniu) → KretDB: baza pluginu należy do brokera

flowchart LR
  Host["Host: kret run / KretStudio / Kret Engine"] --> Broker["Security Broker (KCS przy każdym wywołaniu)"]
  Broker --> Proc["Proces pluginu (Job Object, AppContainer)"]
  Proc --> VM["Maszyna KBC 2 + weryfikator"]
  L0["KretL"]
  L1["KretS"]
  L2["KretDB"]
  L3["KretAI"]
  Manifest["src/plugin.kretl"] --> Broker
  Broker --> DB[("KretDB: baza pluginu należy do brokera")]

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

Pochodzenie / provenance

Szablon SDK kretai (kandydat rc.3+kret.local.3) + testy narzędzi. / SDK template kretai + tool tests.

Dokumentacja wygenerowana przez eksport KretLanguageDocumentation (2026-11-01). Wszystkie polecenia z BUILD_INSTRUCTIONS.md zostały wykonane; wyniki w TEST_RESULTS.json.

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

KretAiContractDemo — karta przykładowego pluginu

Status RUNNABLE_LOCAL oznacza uruchomienie lokalne przez SDK — to nie jest PRODUCTION_READY. Paczka .kpkg nie jest dostępna do publicznego pobrania.

Pole	Wartość
Nazwa	KretAiContractDemo (KretAiContractDemo)
ID	`LOCAL-KPL-AXCNTRD2`
Wersja	1.0.0
Zastosowanie / uwagi	Walidacja kontraktów KretAI (deklaracje, bramki uprawnień i polityki danych). Rzeczywisty model NIE jest wykonywany (NOT_RUN). KretAI w Core wyłączone.
Technologie Kret	KretL, KretS, KretDB, KretAI
Wymagania	SDK 1.0.0-rc.3+kret.local.3; Kret Engine 1.0.0-test.6.11-draft.1 (profil Developer); Windows 11 x64; .NET 10
Uprawnienia wymagane	logs.own.write, kretdb.open, kretdb.read, kretdb.write
Uprawnienia opcjonalne	brak
Status w SDK	`VALIDATION_ONLY`
Status w Core	BLOCKED (KretAI DISABLED w Core; logs.own.write/kretdb.* — D-KCS-01)
Kod źródłowy	`src/`
Budowanie	`BUILD_INSTRUCTIONS.md`
Instalacja	tylko profil Developer (instrukcja wewnętrzna)
Zrzuty	brak
Testy	eksport 7/7 PASS; ponownie 2026-11-01: PASS
Publiczne pobieranie	.kpkg: NIEDOSTĘPNE; źródła: kandydat po zgodzie właściciela

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

Pełne źródła projektu

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

BUILD_INSTRUCTIONS — KretAiContractDemo

COMPATIBILITY — KretAiContractDemo

08 — KretAiContractDemo

Cel

Struktura

Szybki start

SECURITY_PERMISSIONS — KretAiContractDemo

Zadeklarowane uprawnienia / declared permissions (src/plugin.kretl)

Zasady / rules