KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
08 — KretAiContractDemo
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
kret check src --json
kret 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.
Ź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.
03_EXAMPLE_PLUGINS/KretAiContractDemo/README_PL.md
SHA-256 788CB81F19093BC478B4AE222831E150D1515E803AC732C13183B57F3A5D6457Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →