Przejdź do treści
KretOs.
Pobierz
Kret Wiki/Language Academy
SDK 1.0.0-rc.3+kret.local.3

KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

KretFlowDemo

Definicja przepływu w `Flow/Restock.kflow` (`kretflow-ir/2`), konwersja do KretS (`kret flow to-krets` → moduł `Restock`), wykonanie w pluginie przez komendę `flow.restock` oraz diagnostyka (`kret check` sprawdza wyrażenia bloków). Nie istnieje osobny FlowRuntime w Core.

Wersja projektu: 1.0.0

Pobierz źródła demonstracyjne JSON
SDK
RUNNABLE_LOCAL
Core
BLOCKED_KCS_D_KCS_01 (logs.own.write)
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

{
  "format": "kretflow-ir/2",
  "name": "Restock",
  "variables": [
    { "name": "stock", "type": "Int64", "initial": "2" },
    { "name": "ordered", "type": "Int64", "initial": "0" },
    { "name": "cost", "type": "Int64", "initial": "0" },
    { "name": "note", "type": "String", "initial": "\"\"" }
  ],
  "nodes": [
    { "id": "start", "kind": "trigger", "event": "stock.low", "position": { "x": 40, "y": 40 } },
    { "id": "enough", "kind": "loop", "expression": "stock < 10", "position": { "x": 200, "y": 40 } },
    { "id": "order", "kind": "assign", "variable": "ordered", "expression": "ordered + 4", "position": { "x": 360, "y": 0 } },
    { "id": "deliver", "kind": "assign", "variable": "stock", "expression": "stock + 4", "position": { "x": 520, "y": 0 } },
    { "id": "price", "kind": "action", "variable": "cost", "call": "Orders.price", "arguments": ["ordered"], "position": { "x": 360, "y": 120 } },
    { "id": "large", "kind": "condition", "expression": "cost > 100", "position": { "x": 520, "y": 120 } },
    { "id": "big", "kind": "assign", "variable": "note", "expression": "\"duże zamówienie\"", "position": { "x": 680, "y": 80 } },
    { "id": "small", "kind": "assign", "variable": "note", "expression": "\"zwykłe zamówienie\"", "position": { "x": 680, "y": 160 } },
    { "id": "say", "kind": "action", "call": "log.info", "arguments": ["note + \": \" + toString(ordered) + \" szt.\""], "position": { "x": 840, "y": 120 } },
    { "id": "done", "kind": "end", "expression": "note + \", sztuk: \" + toString(ordered) + \", koszt: \" + toString(cost)", "position": { "x": 1000, "y": 120 } }
  ],
  "edges": [
    { "from": "start", "port": "next", "to": "enough" },
    { "from": "enough", "port": "body", "to": "order" },
    { "from": "order", "port": "next", "to": "deliver" },
    { "from": "deliver", "port": "next", "to": "enough" },
    { "from": "enough", "port": "done", "to": "price" },
    { "from": "price", "port": "next", "to": "large" },
    { "from": "large", "port": "true", "to": "big" },
    { "from": "large", "port": "false", "to": "small" },
    { "from": "big", "port": "next", "to": "say" },
    { "from": "small", "port": "next", "to": "say" },
    { "from": "say", "port": "next", "to": "done" }
  ]
}
Czytanie kodu linia po linii

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

  1. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  2. "format": "kretflow-ir/2",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  3. "name": "Restock",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  4. "variables": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  5. { "name": "stock", "type": "Int64", "initial": "2" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  6. { "name": "ordered", "type": "Int64", "initial": "0" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  7. { "name": "cost", "type": "Int64", "initial": "0" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  8. { "name": "note", "type": "String", "initial": "\"\"" }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  9. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  10. "nodes": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  11. { "id": "start", "kind": "trigger", "event": "stock.low", "position": { "x": 40, "y": 40 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  12. { "id": "enough", "kind": "loop", "expression": "stock < 10", "position": { "x": 200, "y": 40 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  13. { "id": "order", "kind": "assign", "variable": "ordered", "expression": "ordered + 4", "position": { "x": 360, "y": 0 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  14. { "id": "deliver", "kind": "assign", "variable": "stock", "expression": "stock + 4", "position": { "x": 520, "y": 0 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  15. { "id": "price", "kind": "action", "variable": "cost", "call": "Orders.price", "arguments": ["ordered"], "position": { "x": 360, "y": 120 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  16. { "id": "large", "kind": "condition", "expression": "cost > 100", "position": { "x": 520, "y": 120 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  17. { "id": "big", "kind": "assign", "variable": "note", "expression": "\"duże zamówienie\"", "position": { "x": 680, "y": 80 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  18. { "id": "small", "kind": "assign", "variable": "note", "expression": "\"zwykłe zamówienie\"", "position": { "x": 680, "y": 160 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  19. { "id": "say", "kind": "action", "call": "log.info", "arguments": ["note + \": \" + toString(ordered) + \" szt.\""], "position": { "x": 840, "y": 120 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  20. { "id": "done", "kind": "end", "expression": "note + \", sztuk: \" + toString(ordered) + \", koszt: \" + toString(cost)", "position": { "x": 1000, "y": 120 } }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  21. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  22. "edges": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  23. { "from": "start", "port": "next", "to": "enough" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  24. { "from": "enough", "port": "body", "to": "order" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  25. { "from": "order", "port": "next", "to": "deliver" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  26. { "from": "deliver", "port": "next", "to": "enough" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  27. { "from": "enough", "port": "done", "to": "price" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  28. { "from": "price", "port": "next", "to": "large" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  29. { "from": "large", "port": "true", "to": "big" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  30. { "from": "large", "port": "false", "to": "small" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  31. { "from": "big", "port": "next", "to": "say" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  32. { "from": "small", "port": "next", "to": "say" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  33. { "from": "say", "port": "next", "to": "done" }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  34. ]Zamknięcie struktury otwartej we wcześniejszych liniach.
  35. }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 — KretFlowDemo

BUILD_INSTRUCTIONS — KretFlowDemo

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 / StepPolecenie / Command
1Utworzenie projektu / createSzablon SDK kretflow (kandydat rc.3+kret.local.3) + moduł Restock wygenerowany przez kret flow to-krets. / SDK template kretflow + module generated by kret flow to-krets. Nowy projekt od zera / from scratch: kret new basic <katalog> --name KretFlowDemo
2Kod / codesrc/plugin.kretl, src/Script/**.krs
3Sprawdzenie / checkkret check src --json
4Buildkret build src → src/Build/plugin.kbc, manifest.json
5Testy / testskret test src --json --policy examples/host-policy.json
5aUruchomienie lokalne / local runkret run src --policy examples/host-policy.json --data <nowy katalog> --invoke flow.restock
6Paczka / packkret publish pack src --channel dev --include-sources -o package → package/LOCAL-KPL-FLWDEM2X-1.0.0-dev.kpkg
7Weryfikacja / verifykret publish verify package/LOCAL-KPL-FLWDEM2X-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 — KretFlowDemo

COMPATIBILITY — KretFlowDemo

Składnik / ComponentWersja / VersionStan / State
KretLkretl-1.0, manifestVersion "1.0"FROZEN_1_0
Języki / languagesKretL, KretS, KretFlowzob. rejestr / see registry (KRET_AI_KNOWLEDGE_BASE → LANGUAGE_REGISTRY.json)
Kret SDK1.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-test610zgodny (to samo źródło + SFI-B01/T01)
KretStudio0.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 / KretCore1.0.0-test.6.11-draft.1BLOCKED_KCS_D_KCS_01 (logs.own.write)
compatibility w manifeściecore min 0.5.0 (0.5.0), api min 1.6ABI pluginów SDK 1.6
BytecodeKBC format 2—
SystemWindows 11 x64Linux/macOS: NOT_RUN
Otwórz cały rozdział ze źródłem →
05 — KretFlowDemo

05 — KretFlowDemo

PoleWartość
IdentyfikatorLOCAL-KPL-FLWDEM2X (lokalny, rodzina KPL)
Wersja1.0.0
TechnologieKretL, KretS, KretFlow
Stan przykładuRUNNABLE_LOCAL
Stan w Kret Engine (Core)BLOCKED_KCS_D_KCS_01 (logs.own.write)
Paczkapackage/LOCAL-KPL-FLWDEM2X-1.0.0-dev.kpkg (dev, niepodpisana, ze źródłami)
PochodzenieSzablon SDK kretflow (kandydat rc.3+kret.local.3) + moduł Restock wygenerowany przez kret flow to-krets. / SDK template kretflow + module generated by kret flow to-krets.

Cel

Definicja przepływu w Flow/Restock.kflow (kretflow-ir/2), konwersja do KretS (kret flow to-krets → moduł Restock), wykonanie w pluginie przez komendę flow.restock oraz diagnostyka (kret check sprawdza wyrażenia bloków). Nie istnieje osobny FlowRuntime w Core.

Struktura

ŚcieżkaZawartość
src/projekt SDK w oficjalnym układzie (plugin.kretl w katalogu głównym projektu, Script/, 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.mdpełny cykl: projekt → kod → check → build → test → pack → verify → KPM → instalacja Developer → start → aktualizacja → usunięcie
SECURITY_PERMISSIONS.md, COMPATIBILITY.mduprawnienia i zgodność wersji
TEST_RESULTS.jsonwyniki 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> --invoke flow.restock
Czytanie kodu linia po linii

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

  1. kret check src --jsonOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  2. kret run src --policy examples/host-policy.json --data <nowy katalog> --invoke flow.restockOdczytaj 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 — KretFlowDemo

SECURITY_PERMISSIONS — KretFlowDemo

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

permissions {
        required {
            logs.own.write
        }
    }
Czytanie kodu linia po linii

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

  1. permissions {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
  2. required {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
  3. logs.own.writeOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  4. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  5. }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_KCS_D_KCS_01 (logs.own.write). 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 →
KretFlowDemo — architektura / architecture

KretFlowDemo — architektura / architecture

Host: kret run / KretStudio / Kret EngineHost: kret run / KretStudio / Kret EngineSecurity 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 + weryfikatorMaszyna KBC 2 + weryfikatorKretLKretLKretSKretSKretFlowKretFlowsrc/plugin.kretlsrc/plugin.kretl
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)
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["KretFlow"]
  Manifest["src/plugin.kretl"] --> Broker

Pochodzenie / provenance: Szablon SDK kretflow (kandydat rc.3+kret.local.3) + moduł Restock wygenerowany przez kret flow to-krets. / SDK template kretflow + module generated by kret flow to-krets.

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

Architecture diagram

Host: kret run / KretStudio / Kret EngineHost: kret run / KretStudio / Kret EngineSecurity 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 + weryfikatorMaszyna KBC 2 + weryfikatorKretLKretLKretSKretSKretFlowKretFlowsrc/plugin.kretlsrc/plugin.kretl
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)
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["KretFlow"]
  Manifest["src/plugin.kretl"] --> Broker
Otwórz cały rozdział ze źródłem →
Pochodzenie / provenance

Pochodzenie / provenance

Szablon SDK kretflow (kandydat rc.3+kret.local.3) + moduł Restock wygenerowany przez kret flow to-krets. / SDK template kretflow + module generated by kret flow to-krets.

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 →
KretFlowDemo — karta przykładowego pluginu

KretFlowDemo — 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.

Definicja przepływu w Flow/Restock.kflow (kretflow-ir/2), konwersja do KretS (kret flow to-krets → moduł Restock), wykonanie w pluginie przez komendę flow.restock oraz diagnostyka (kret check sprawdza wyrażenia bloków). Nie istnieje osobny FlowRuntime w Core.

PoleWartość
NazwaKretFlowDemo (KretFlowDemo)
IDLOCAL-KPL-FLWDEM2X
Wersja1.0.0
Zastosowanie / uwagiWymaga logs.own.write (PROVISIONAL, D-KCS-01). KretFlow wykonywany przez obniżenie do KretS.
Technologie KretKretL, KretS, KretFlow
WymaganiaSDK 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 wymaganelogs.own.write
Uprawnienia opcjonalnebrak
Status w SDKRUNNABLE_LOCAL
Status w CoreBLOCKED_KCS_D_KCS_01 (logs.own.write)
Kod źródłowysrc/
BudowanieBUILD_INSTRUCTIONS.md
Instalacjatylko profil Developer (instrukcja wewnętrzna)
Zrzutybrak
Testyeksport 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 →

Ustawienia ciasteczek

Wybierz, co możemy zapamiętać w tej przeglądarce. Możesz zmienić decyzję w każdej chwili.

Bez zgody ustawienia działają podczas bieżącej wizyty i nie są zapisywane na później. Odrzucenie nie usuwa konta ani prywatnych projektów.

Polityka prywatności