KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

KretTasks

Menedżer zadań: lista, priorytet (`low`/`normal`/`high`), termin (data ISO z kontrolą lat przestępnych), status wykonania, filtr otwarte/zrobione, zapis i odczyt w KretDB, interfejs KretUI.

Wersja projektu: 1.0.0

Pobierz źródła demonstracyjne JSON

SDK: RUNNABLE_LOCAL
Core: BLOCKED_KCS_D_KCS_01 (kretdb.* w Core)
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.

KretTasks — lista zadań

Pełne źródła projektu

Plik

1database KretTasks {
2 version = 1
3 table entries {
4  storage { mode = "persistent"
5   maxSize = 4MB }
6  id: Int64 primary key
7  title: String
8  content: String
9  category: String
10  createdAt: Instant
11  updatedAt: Instant
12  revision: Int64 default 1
13        priority: String default "normal"
14        deadline: String default ""
15        completed: Bool default false
16 }
17 table counters { name: String primary key
18  value: Int64 }
19 query All() -> List<entries> { select entries sort by id desc limit 1000 }
20 query ByTitle() -> List<entries> { select entries sort by title asc limit 1000 }
21 query Recent() -> List<entries> { select entries sort by updatedAt desc limit 1000 }
22 query Read(id: Int64) -> List<entries> { select entries where id == :id }
23 query Add(id: Int64, title: String, content: String, category: String, priority: String, deadline: String, completed: Bool) -> Unit {
24  insert into entries { id = :id
25   title = :title
26   content = :content
27   category = :category
28   createdAt = now()
29   updatedAt = now()
30   priority = :priority
31   deadline = :deadline
32   completed = :completed }
33 }
34 query Edit(id: Int64, expected: Int64, revision: Int64, title: String, content: String, category: String, priority: String, deadline: String, completed: Bool) -> Int64 {
35  update entries set title = :title, content = :content, category = :category, updatedAt = now(), revision = :revision, priority = :priority, deadline = :deadline, completed = :completed where id == :id and revision == :expected
36 }
37 query Remove(id: Int64, revision: Int64) -> Int64 { delete from entries where id == :id and revision == :revision }
38}
39

Czytanie kodu linia po linii

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

database KretTasks {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
version = 1Pole tożsamości lub wersji w otaczającym bloku; zachowaj jego kontekst.
table entries {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
storage { mode = "persistent"Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
maxSize = 4MB }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
id: Int64 primary keyOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
title: StringOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
content: StringOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
category: StringOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
createdAt: InstantOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
updatedAt: InstantOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
revision: Int64 default 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
priority: String default "normal"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
deadline: String default ""Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
completed: Bool default falseOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
table counters { name: String primary keyOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
value: Int64 }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
query All() -> List<entries> { select entries sort by id desc limit 1000 }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
query ByTitle() -> List<entries> { select entries sort by title asc limit 1000 }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
query Recent() -> List<entries> { select entries sort by updatedAt desc limit 1000 }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
query Read(id: Int64) -> List<entries> { select entries where id == :id }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
query Add(id: Int64, title: String, content: String, category: String, priority: String, deadline: String, completed: Bool) -> Unit {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
insert into entries { id = :idOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
title = :titleOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
content = :contentOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
category = :categoryOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
createdAt = now()Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
updatedAt = now()Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
priority = :priorityOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
deadline = :deadlineOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
completed = :completed }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
query Edit(id: Int64, expected: Int64, revision: Int64, title: String, content: String, category: String, priority: String, deadline: String, completed: Bool) -> Int64 {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
update entries set title = :title, content = :content, category = :category, updatedAt = now(), revision = :revision, priority = :priority, deadline = :deadline, completed = :completed where id == :id and revision == :expectedOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
query Remove(id: Int64, revision: Int64) -> Int64 { delete from entries where id == :id and revision == :revision }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.

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 — KretTasks

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	Kopia `engine/Plugins/KretTasks/Source` + polityka fixture. / Copy of the Core plugin source and its SDK fixture policy. Nowy projekt od zera / from scratch: `kret new basic <katalog> --name KretTasks`
2	Kod / code	`src/plugin.kretl`, `src/Script/*.krs`, `src/Disk/Schema.kdb`, `src/Ui/`
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> --invoke 'tasks.save=["","0","Oddać raport","Do piątku","praca","high","2026-11-06",false]' --invoke 'tasks.list=["","","","open"]'`
6	Paczka / pack	`kret publish pack src --channel dev --include-sources -o package` → `package/LOCAL-KPL-TASKSAAA-1.0.0-dev.kpkg`
7	Weryfikacja / verify	`kret publish verify package/LOCAL-KPL-TASKSAAA-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 — KretTasks

Składnik / Component	Wersja / Version	Stan / State
KretL	`kretl-1.0`, `manifestVersion "1.0"`	FROZEN_1_0
Języki / languages	KretL, KretS, KretDB, KretUI, KretStyle, KTheme	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_KCS_D_KCS_01 (kretdb.* w Core)
`compatibility` w manifeście	core min 0.5.0 (1.0.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 →

04 — KretTasks

Pole	Wartość
Identyfikator	`LOCAL-KPL-TASKSAAA` (lokalny, rodzina KPL)
Wersja	1.0.0
Technologie	KretL, KretS, KretDB, KretUI, KretStyle, KTheme
Stan przykładu	RUNNABLE_LOCAL (SDK, izolowana baza testowa)
Stan w Kret Engine (Core)	*BLOCKED_KCS_D_KCS_01 (kretdb. w Core)**
Paczka	`package/LOCAL-KPL-TASKSAAA-1.0.0-dev.kpkg` (dev, niepodpisana, ze źródłami)
Pochodzenie	Kopia `engine/Plugins/KretTasks/Source` + polityka fixture. / Copy of the Core plugin source and its SDK fixture policy.

Cel

Menedżer zadań: lista, priorytet (low/normal/high), termin (data ISO z kontrolą lat przestępnych), status wykonania, filtr otwarte/zrobione, zapis i odczyt w KretDB, interfejs KretUI.

Struktura

Ścieżka	Zawartość
`src/`	projekt SDK w oficjalnym układzie (`plugin.kretl` w katalogu głównym projektu, `Script/`, `Disk/`, `Ui/`, `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
`screenshots/`	prawdziwe klatki renderera KretUI (`kretui-host --self-test`)
`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> --invoke 'tasks.save=["","0","Oddać raport","Do piątku","praca","high","2026-11-06",false]' --invoke 'tasks.list=["","","","open"]'

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> --invoke 'tasks.save=["","0","Oddać raport","Do piątku","praca","high","2026-11-06",false]' --invoke 'tasks.list=["","","","open"]'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 — KretTasks

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

Plik

1permissions { required { kretdb.open
2 kretdb.read
3 kretdb.write }
4 optional {  } }
5 lifecycle { start "Main.Start" timeout 5s
6 shutdown "Main.Shutdown" timeout 3s }
7 execution { primary "onDemand" }
8 handlers { command "tasks.list"
9 command "tasks.open"
10 command "tasks.new"
11 command "tasks.save"
12 command "tasks.autosave"
13 command "tasks.delete" }
14}

Czytanie kodu linia po linii

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

permissions { required { kretdb.openPoczątek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
kretdb.readOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
kretdb.write }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
optional { } }Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
lifecycle { start "Main.Start" timeout 5sPoczątek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
shutdown "Main.Shutdown" timeout 3s }Odwołanie lifecycle do funkcji KretS; sprawdź nazwę i timeout.
execution { primary "onDemand" }Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
handlers { command "tasks.list"Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.
command "tasks.open"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
command "tasks.new"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
command "tasks.save"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
command "tasks.autosave"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
command "tasks.delete" }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}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 (kretdb.* w Core)**. 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 →

KretTasks — 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)
kretui-host (renderer, osobny proces) → Security Broker (KCS przy każdym wywołaniu) · komendy
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["KretUI"]
  L4["KretStyle"]
  L5["KTheme"]
  Manifest["src/plugin.kretl"] --> Broker
  UI["kretui-host (renderer, osobny proces)"] -->|komendy| Broker
  Broker --> DB[("KretDB: baza pluginu należy do brokera")]

Pochodzenie / provenance: Kopia engine/Plugins/KretTasks/Source + polityka fixture. / Copy of the Core plugin source and its SDK fixture policy.

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)
kretui-host (renderer, osobny proces) → Security Broker (KCS przy każdym wywołaniu) · komendy
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["KretUI"]
  L4["KretStyle"]
  L5["KTheme"]
  Manifest["src/plugin.kretl"] --> Broker
  UI["kretui-host (renderer, osobny proces)"] -->|komendy| Broker
  Broker --> DB[("KretDB: baza pluginu należy do brokera")]

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

Pochodzenie / provenance

Kopia engine/Plugins/KretTasks/Source + polityka fixture. / Copy of the Core plugin source and its SDK fixture policy.

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 →

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

Menedżer zadań: lista, priorytet (low/normal/high), termin (data ISO z kontrolą lat przestępnych), status wykonania, filtr otwarte/zrobione, zapis i odczyt w KretDB, interfejs KretUI.

Pole	Wartość
Nazwa	KretTasks (KretTasks)
ID	`LOCAL-KPL-TASKSAAA`
Wersja	1.0.0
Zastosowanie / uwagi	Ograniczony przez KretDB i D-KCS-01 (jak KretNotes). Instalacji w Core nie wykonywano w tej rundzie.
Technologie Kret	KretL, KretS, KretDB, KretUI, KretStyle, KTheme
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	kretdb.open, kretdb.read, kretdb.write
Uprawnienia opcjonalne	brak
Status w SDK	`RUNNABLE_LOCAL`
Status w Core	BLOCKED_KCS_D_KCS_01 (kretdb.* w Core)
Kod źródłowy	`src/`
Budowanie	`BUILD_INSTRUCTIONS.md`
Instalacja	tylko profil Developer (instrukcja wewnętrzna)
Zrzuty	`screenshots/ui-dark.png`, `screenshots/ui-default.png`
Testy	eksport 8/8 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 — KretTasks

COMPATIBILITY — KretTasks

04 — KretTasks

Cel

Struktura

Szybki start

SECURITY_PERMISSIONS — KretTasks

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

Zasady / rules

KretTasks — architektura / architecture

Architecture diagram

Pochodzenie / provenance

KretTasks — karta przykładowego pluginu

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