KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
KretAI — referencja składni
KretAI — referencja składni
Status 1.0: `FROZEN_SUPPORTED_SUBSET` — zamrożony dokładnie opisany zakres; reszta poza kontraktem 1.0. Gramatyka/wersja: kretai-1.0. Status języka nie nadaje uprawnień KCS ani prawa do działania w Production.Opisane są wyłącznie konstrukcje potwierdzone implementacją SDK (i, gdzie zaznaczono, testami tej rundy).
model
Deklaracja modelu.
model local.small {
provider "local"
name "qwen2.5:7b"
endpoint "http://127.0.0.1:11434"
dataPolicy "local-only"
maxOutputTokens 1024
timeout 2min
}
Czytanie kodu linia po linii
Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.
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.
| Cecha | Wartość |
|---|---|
| Parametry / typy | provider local|anthropic, name, endpoint (local), dataPolicy local-only|external-allowed, secret (klucz ustawienia KretConfig), maxOutputTokens, timeout, effort, refusalFallback |
| Wynik | — |
| Wymagania | — |
| Ograniczenia | inna polityka danych → odrzucenie (sprawdzone) |
| Możliwe błędy | KCS-KAI-* |
| Wprowadzono | 1.0 |
tool
Narzędzie = funkcja KretS o zadeklarowanej sygnaturze.
tool counter.add {
description "…"
handler "Tools.addCounter"
parameter name String "…"
parameter amount Int64 "…"
returns "Int64"
permissions {
kretdb.write
}
sideEffects "write"
requiresConfirmation true
}
Czytanie kodu linia po linii
Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.
tool counter.add {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.description "…"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 "…"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.parameter amount Int64 "…"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.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.
| Cecha | Wartość |
|---|---|
| Parametry / typy | handler, parameter, returns, permissions, sideEffects none|write, requiresConfirmation |
| Wynik | wynik funkcji |
| Wymagania | requiresConfirmation obowiązkowe przy write; sygnatura zgodna z KretS |
| Ograniczenia | funkcje ochronne zakazane |
| Możliwe błędy | KCS-KAI-* |
| Wprowadzono | 1.0 |
agent
Agent z narzędziami, delegacją i limitami.
agent assistant {
model local.small
system "…"
tools counter.read counter.add
delegates reader
permissions { … }
limits {
maxSteps 8
maxToolCalls 16
timeout 5min
}
}
Czytanie kodu linia po linii
Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.
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 "…"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.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.}Zamknięcie struktury otwartej we wcześniejszych liniach.}Zamknięcie struktury otwartej we wcześniejszych liniach.
| Cecha | Wartość |
|---|---|
| Parametry / typy | model, system, tools, delegates, permissions, limits (obowiązkowe), memory |
| Wynik | — |
| Wymagania | uprawnienia agenta ⊇ uprawnienia narzędzi; delegat ⊆ delegujący; brak cykli |
| Ograniczenia | budżety kroków, wywołań, tokenów, czasu |
| Możliwe błędy | KCS-KAI-* |
| Wprowadzono | 1.0 |
ai.ask (KretS)
Wywołanie agenta z KretS.
use Kret.Ai as ai
let answer = ai.ask("assistant", "Ile jest zamówień?")
Czytanie kodu linia po linii
Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.
use Kret.Ai as aiOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.let answer = ai.ask("assistant", "Ile jest zamówień?")Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
| Cecha | Wartość |
|---|---|
| Parametry / typy | agent, polecenie |
| Wynik | String |
| Wymagania | kretai.use, kretai.model.use (SENSITIVE) |
| Ograniczenia | prawdziwy model NOT_RUN |
| Możliwe błędy | KCS-KAI-0301, KCS-KAI-0302 |
| Wprowadzono | 1.0 |
Ź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.
01_LANGUAGES/KretAI/Documentation/SYNTAX_REFERENCE.md
SHA-256 9416E7E6B7BF990D15467A57476EF8E4ED4FB7005B877215BB0465D9B55D1C56Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →