KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
KretAI
KretAI (w SDK `KretAi`) deklaruje modele, narzędzia (funkcje KretS) i agentów. Zamrożone są deklaracje, walidacja oraz bramki uprawnień i polityki danych. **Wykonanie z prawdziwym modelem nie należy do kontraktu 1.0** (KretAI 1.1+, NOT_RUN). W Core KretAI jest DISABLED.
Stan języka nie nadaje uprawnień KCS ani prawa działania w Core Production.
- Format / wersja
- kretai "1.0"
- Kontrakt
- kretai-1.0
- Rozszerzenia
- .kretai
Przejdź do trzech poziomów nauki
Dokumentacja i referencja
24 rozdziałów
Architecture diagramLANGUAGEKretAI — API / CLILANGUAGEKretAI — architektura / architectureLANGUAGEKretAI — zgodność i wersje / compatibility and versionsLANGUAGEKretAI — kody diagnostyczne / diagnostic codesLANGUAGEKretAI — wprowadzenieINTRODUCTIONKretAI — specyfikacja (zakres kontraktu 1.0)LANGUAGEKretAI — runtimeLANGUAGEKretAI — bezpieczeństwo / securityLANGUAGEKretAI — referencja składniLANGUAGEKretAI — rozwiązywanie problemów / troubleshootingLANGUAGEKRETAI-A01-ToolContractErrors — Kontrakt narzędzia i polityka danych — błędyEXAMPLEREQUIREMENTS — KRETAI-A01-ToolContractErrorsEXAMPLEKRETAI-B01-Declarations — Deklaracje modelu, narzędzi i agentówEXAMPLEREQUIREMENTS — KRETAI-B01-DeclarationsEXAMPLEKRETAI-I01-PermissionAndModelGates — Bramki uprawnień i modelu (bez prawdziwego modelu)EXAMPLEREQUIREMENTS — KRETAI-I01-PermissionAndModelGatesEXAMPLEKretAI ↔ Kret Engine / KretCoreLANGUAGEKretAI ↔ Kret PlaygroundLANGUAGEKretAI ↔ Kret SDKLANGUAGEKretAI ↔ KretStudioLANGUAGEKretAI — rozszerzenie językowe: deklaracje modeli, narzędzi i agentówINTRODUCTIONKretAI — praktyczne zastosowaniaLANGUAGEKretAI — karta technologiiLANGUAGEPrzykłady tej technologii
Kontrakt narzędzia i polityka danych — błędy
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.
VALIDATION_ONLYKretAI · BASICDeklaracje modelu, narzędzi i agentów
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).
VALIDATION_ONLYKretAI · INTERMEDIATEBramki uprawnień i modelu (bez prawdziwego modelu)
`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.
VALIDATION_ONLY