KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Pierwszy program KretS

BASICRUNNABLE_LOCALKretS

Moduł `Main`, funkcja `Start` zwracająca `String`, zmienna `let`, łączenie tekstów i wpis w dzienniku (`log.info`, wymaga `logs.own.write`).

Edycja i zapisane wyniki

Witryna nie wykonuje kodu ani nie prowadzi walidacji SDK. Wyniki poniżej pochodzą z eksportu określonej wersji i przestają opisywać kod po jego zmianie.

Pobierz źródła JSON Otwórz w Playground

Kanoniczne pliki projektu

Plik

1module Main
2
3// Pierwszy program: zmienna, tekst, dziennik.
4fn Start() -> String {
5    let name = "Kret"
6    log.info("Witaj, " + name + "!")
7    return "Witaj, " + name + "!"
8}
9
10fn Shutdown() {
11}
12

Czytanie kodu linia po linii

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

module MainDeklaracja modułu KretS; porównaj nazwę z nazwą pliku.
Pusta linia oddziela fragmenty źródła.
// Pierwszy program: zmienna, tekst, dziennik.Komentarz autora; nie jest wykonywany.
fn Start() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
let name = "Kret"Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
log.info("Witaj, " + name + "!")Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
return "Witaj, " + name + "!"Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn Shutdown() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.

Wynik i typowy błąd

Wynik `start`: „Witaj, Kret!”, ten sam tekst w dzienniku pluginu.

Na co uważać

Użycie `log.info` bez `logs.own.write` w manifeście → błąd kompilacji `KCS-KRL-0302`; bez przyznania w polityce hosta → odmowa w czasie wykonania.

Wymagania wersji i procedura lokalna

sdk: 1.0.0-rc.3+kret.local.3
sdkInfoReports: 1.0.0-rc.3
core: 1.0.0-test.6.11-draft.1
os: Windows 11 x64
dotnet: .NET 10 runtime

Polecenia poniżej są instrukcją do samodzielnego wykonania z właściwym lokalnym SDK. DATA/OUT muszą wskazywać nowe katalogi testowe. Nie ma przycisku uruchamiania na serwerze.

checkkret check . --jsonKatalog: project · Oczekiwany kod wyjścia: 0
runkret run . --policy host-policy.json --data {DATA}Katalog: project · Oczekiwany kod wyjścia: 0

Wyniki zapisane w pakiecie źródłowym

To dowód z eksportu, nie wynik bieżącego wykonania w przeglądarce.

Plik

1# EXPECTED_OUTPUT — KRETS-B01-HelloWorld
2# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:39Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.
3# Actual output of the run. Paths replaced by placeholders.
4
5### 1. check  (exit 0, PASS)
6> kret check . --json
7{
8  "format": "kret-diagnostics/1",
9  "project": "<project>",
10  "succeeded": true,
11  "plugin": {
12    "id": "LOCAL-KPL-KSB2HELL",
13    "name": "HelloWorld",
14    "version": "1.0.0",
15    "profile": "standard",
16    "database": false
17  },
18  "permissions": {
19    "required": [
20      "logs.own.write"
21    ],
22    "optional": []
23  },
24  "handlers": {
25    "lifecycle": [
26      "start",
27      "shutdown"
28    ],
29    "events": [],
30    "commands": []
31  },
32  "diagnostics": []
33}
34
35### 2. run  (exit 0, PASS)
36> kret run . --policy host-policy.json --data {DATA}
37{
38  "broker": {
39    "pid": 31396,
40    "startupMs": 45.5636,
41    "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",
42    "allowProvisionalRisk": true,
43    "memoryIdle": {
44      "managedBytes": 1193296,
45      "allocatedBytes": 1190656,
46      "workingSetBytes": 32526336,
47      "privateBytes": 10104832,
48      "peakWorkingSetBytes": 32526336,
49      "cpuMs": 93.75
50    }
51  },
52  "brokerWithPlugins": {
53    "memory": {
54      "managedBytes": 1514400,
55      "allocatedBytes": 1511352,
56      "workingSetBytes": 38850560,
57      "privateBytes": 13774848,
58      "peakWorkingSetBytes": 38875136,
59      "cpuMs": 171.875
60    }
61  },
62  "plugins": [
63    {
64      "package": "<project>\\Build",
65      "admitted": true,
66      "startMs": 147.1632,
67      "subject": "LOCAL-KPL-KSB2HELL",
68      "instance": "01a19725-cd89-7702-b7e9-e940234ac3fd",
69      "pid": 33680,
70      "jobObject": true,
71      "isolation": {
72        "level": "Restricted",
73        "restrictedToken": true,
74        "lowIntegrity": true,
75        "appContainer": false
76      },
77      "limits": {
78        "profile": "standard",
79        "scriptMemoryBytes": 67108864,
80        "processMemoryBytes": 201326592,
81        "cpuPercent": 25,
82        "maxInstructions": 50000000,
83        "clamped": []
84      },
85      "calls": [
86        {
87          "operation": "start",
88          "ok": true,
89          "status": "Completed",
90          "type": "String",
91          "value": "Witaj, Kret!",
92          "brokerMs": 15.0156,
93          "vmMs": 11.0985,
94          "instructions": 14,
95          "hostCalls": 1,
96          "pluginReportedMemory": {
97            "managedBytes": 741200,
98            "allocatedBytes": 739136,
99            "workingSetBytes": 32116736,
100            "privateBytes": 11153408,
101            "peakWorkingSetBytes": 32329728,
102            "cpuMs": 78.125
103          }
104        },
105        {
106          "operation": "shutdown",
107          "ok": true,
108          "status": "Completed",
109          "type": "Unit",
110          "value": null,
111          "brokerMs": 0.6449,
112          "vmMs": 0.0013,
113          "instructions": 1,
114          "hostCalls": 0,
115          "pluginReportedMemory": {
116            "managedBytes": 749424,
117            "allocatedBytes": 747336,
118            "workingSetBytes": 32149504,
119            "privateBytes": 11153408,
120            "peakWorkingSetBytes": 32329728,
121            "cpuMs": 78.125
122          }
123        }
124      ],
125      "processMemoryMeasuredByBroker": {
126        "workingSetBytes": 32149504,
127        "privateBytes": 11153408,
128        "peakWorkingSetBytes": 32329728,
129        "cpuMs": 93.75
130      },
131      "summary": {
132        "exitCode": 0,
133        "killed": false,
134        "hostCalls": 1,
135        "denials": 0,
136        "peakCommitBytes": 11943936,
137        "log": [
138          "[info] Witaj, Kret!"
139        ]
140      }
141    }
142  ],
143  "brokerAfterClose": {
144    "memory": {
145      "managedBytes": 576040,
146      "allocatedBytes": 1511352,
147      "workingSetBytes": 39772160,
148      "privateBytes": 14401536,
149      "peakWorkingSetBytes": 39772160,
150      "cpuMs": 187.5
151    }
152  },
153  "audit": {
154    "entries": 12,
155    "denials": 0,
156    "grantsIssued": 1,
157    "denied": []
158  },
159  "exitCode": 0
160}
161
162

Czytanie kodu linia po linii

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

# EXPECTED_OUTPUT — KRETS-B01-HelloWorldOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:39Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
# Actual output of the run. Paths replaced by placeholders.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
### 1. check (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret check . --jsonOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"format": "kret-diagnostics/1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"project": "<project>",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"succeeded": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"plugin": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"id": "LOCAL-KPL-KSB2HELL",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "HelloWorld",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"version": "1.0.0",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"database": falsePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"permissions": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"required": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"logs.own.write"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"optional": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"handlers": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"lifecycle": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"start",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"shutdown"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"events": [],Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"commands": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"diagnostics": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
### 2. run (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret run . --policy host-policy.json --data {DATA}Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"broker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pid": 31396,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"startupMs": 45.5636,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allowProvisionalRisk": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memoryIdle": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 1193296,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1190656,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32526336,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 10104832,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32526336,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"brokerWithPlugins": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 1514400,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1511352,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 38850560,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 13774848,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 38875136,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 171.875Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"plugins": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"package": "<project>\\Build",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"admitted": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"startMs": 147.1632,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"subject": "LOCAL-KPL-KSB2HELL",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instance": "01a19725-cd89-7702-b7e9-e940234ac3fd",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pid": 33680,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"jobObject": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"isolation": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"level": "Restricted",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"restrictedToken": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"lowIntegrity": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"appContainer": falsePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"limits": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"scriptMemoryBytes": 67108864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"processMemoryBytes": 201326592,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuPercent": 25,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"maxInstructions": 50000000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"clamped": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"calls": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"operation": "start",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "String",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"value": "Witaj, Kret!",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 15.0156,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 11.0985,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 14,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 741200,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 739136,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32116736,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11153408,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32329728,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"operation": "shutdown",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "Unit",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"value": null,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 0.6449,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 0.0013,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 749424,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 747336,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32149504,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11153408,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32329728,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"processMemoryMeasuredByBroker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32149504,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11153408,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32329728,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"summary": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"exitCode": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"killed": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakCommitBytes": 11943936,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"log": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"[info] Witaj, Kret!"Odczytaj 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.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"brokerAfterClose": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 576040,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1511352,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 39772160,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 14401536,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 39772160,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 187.5Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"audit": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"entries": 12,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"grantsIssued": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denied": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"exitCode": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
Pusta linia oddziela fragmenty źródła.

Diagnostyka i raporty testów

Plik

1null

Czytanie kodu linia po linii

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

nullOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.

Pochodzenie i integralność

KRET_LANGUAGE_KRETS.zip:KretS/Examples/BASIC_HelloWorld/example.json

02_PLAYGROUND/EXAMPLES/KRETS-B01-HelloWorld.json
SHA-256 5A9C8481279E68FD83DFD04FDB65EE33A643CE7D7A23A706B7EFCC1D19243141

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.

KRETS-B01-HelloWorld — Pierwszy program KretS

🇬🇧 English version below.

Pole	Wartość
Technologia	KretS
Poziom	BASIC
Klasyfikacja	RUNNABLE_LOCAL — Uruchamialny lokalnie (SDK, izolowany proces pluginu)
Playground	LOCAL_EXECUTE — lokalnie: wykonanie w KretStudio / SDK (publicznie: tylko statycznie)
SDK	1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany)
Wynik testu	`TEST_RESULTS.json`, rzeczywisty wynik: `EXPECTED_OUTPUT.txt`

Co pokazuje

Moduł Main, funkcja Start zwracająca String, zmienna let, łączenie tekstów i wpis w dzienniku (log.info, wymaga logs.own.write).

Pliki

Plik
`Script/Main.krs`
`host-policy.json`
`plugin.kretl`

Jak uruchomić

Katalog roboczy: katalog tego przykładu. kret oznacza <SDK>\Compiler\kret.exe, kretui-host — <SDK>\UiHost\kretui-host.exe. {DATA} / {OUT} to nowe, puste katalogi poza projektem. Wymagania: REQUIREMENTS.md.

kret check . --json — walidacja
kret run . --policy host-policy.json --data {DATA} — uruchomienie

Oczekiwany wynik

Wynik start: „Witaj, Kret!”, ten sam tekst w dzienniku pluginu.

Najczęstszy błąd

Użycie log.info bez logs.own.write w manifeście → błąd kompilacji KCS-KRL-0302; bez przyznania w polityce hosta → odmowa w czasie wykonania.

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

Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →

Kanoniczne pliki projektu

Wynik i typowy błąd

Wymagania wersji i procedura lokalna

Wyniki zapisane w pakiecie źródłowym

Materiały źródłowe do tego tematu

KRETS-B01-HelloWorld — Pierwszy program KretS

Co pokazuje

Pliki

Jak uruchomić

Oczekiwany wynik

Najczęstszy błąd

Powiązane lekcje