KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Ten sam manifest w SDK i w Kret Engine (Core)

ADVANCEDVALIDATION_ONLYKretL

Pełniejszy manifest z sekcjami `environment`, `recovery`, `dependencies`, `runtimeData` i wszystkimi dziewięcioma operacjami cyklu życia. Ten sam projekt jest sprawdzany parserem SDK (`kret check`) i walidatorem referencyjnym Core (`KretCore.Test.exe check`), który dodaje reguły układu hosta (`Disk/`, mapa KretM, jedna generacja manifestu).

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// Każda operacja cyklu życia to funkcja KretS bez parametrów.
4fn Install() {
5}
6fn Start() {
7    log.info("start")
8}
9fn Suspend() {
10}
11fn Resume() {
12}
13fn Update() {
14}
15fn Repair() {
16}
17fn Healthcheck() -> Bool {
18    return true
19}
20fn Shutdown() {
21}
22fn Uninstall() {
23}
24

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.
// Każda operacja cyklu życia to funkcja KretS bez parametrów.Komentarz autora; nie jest wykonywany.
fn Install() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn Start() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
log.info("start")Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn Suspend() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn Resume() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn Update() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn Repair() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn Healthcheck() -> Bool {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return trueZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn Shutdown() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn Uninstall() {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

Oba narzędzia akceptują projekt (kod wyjścia 0). Core dodatkowo raportuje generację manifestu i wynik SDK.

Na co uważać

Kod KretS w `Disk/` — SDK może go przyjąć, ale Core odrzuci projekt (`disk_reserved`): `Disk/` jest zastrzeżony dla danych KretDB.

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.

sdk-checkkret check . --jsonKatalog: project · Oczekiwany kod wyjścia: 0
core-checkcore check {PROJECT}Katalog: core · 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 — KRETL-A01-CoreCompatibility
2# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:30Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.
3# Actual output of the run. Paths replaced by placeholders.
4
5### 1. sdk-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-KLA2CMPT",
13    "name": "CoreCompatibility",
14    "version": "1.2.0",
15    "profile": "standard",
16    "database": false
17  },
18  "permissions": {
19    "required": [
20      "logs.own.write"
21    ],
22    "optional": [
23      "system.ram.read"
24    ]
25  },
26  "handlers": {
27    "lifecycle": [
28      "install",
29      "start",
30      "suspend",
31      "resume",
32      "update",
33      "repair",
34      "healthcheck",
35      "shutdown",
36      "uninstall"
37    ],
38    "events": [],
39    "commands": []
40  },
41  "diagnostics": []
42}
43
44### 2. core-check  (exit 0, PASS)
45> core check {PROJECT}
46{
47  "authority": "KRET_SDK_1.0.0-rc.3",
48  "checksPassed": true,
49  "runtimeSupported": false,
50  "sdk": {
51    "sdk": "1.0.0-rc.3",
52    "succeeded": true,
53    "diagnostics": {
54      "format": "kret-diagnostics/1",
55      "project": "<project>",
56      "succeeded": true,
57      "plugin": {
58        "id": "LOCAL-KPL-KLA2CMPT",
59        "name": "CoreCompatibility",
60        "version": "1.2.0",
61        "profile": "standard",
62        "database": false
63      },
64      "permissions": {
65        "required": [
66          "logs.own.write"
67        ],
68        "optional": [
69          "system.ram.read"
70        ]
71      },
72      "handlers": {
73        "lifecycle": [
74          "install",
75          "start",
76          "suspend",
77          "resume",
78          "update",
79          "repair",
80          "healthcheck",
81          "shutdown",
82          "uninstall"
83        ],
84        "events": [],
85        "commands": []
86      },
87      "diagnostics": []
88    },
89    "exitCode": 0
90  },
91  "coreLayoutErrors": [],
92  "referenceSubset": {
93    "generation": "KRETL_V1_REFERENCE",
94    "profile": "KretL-v1-reference-subset.1",
95    "checksPassed": false,
96    "runtimeSupported": false,
97    "pluginId": "LOCAL-KPL-KLA2CMPT",
98    "lifecycle": [
99      "install",
100      "start",
101      "suspend",
102      "resume",
103      "update",
104      "repair",
105      "healthcheck",
106      "shutdown",
107      "uninstall"
108    ],
109    "diagnostics": [
110      {
111        "code": "unsupported_field",
112        "severity": "error",
113        "file": "<project>\\plugin.kretl",
114        "line": 6,
115        "column": 5,
116        "message": "Field is outside the implemented reference subset: namespace"
117      },
118      {
119        "code": "unsupported_field",
120        "severity": "error",
121        "file": "<project>\\plugin.kretl",
122        "line": 40,
123        "column": 5,
124        "message": "Field is outside the implemented reference subset: recovery"
125      },
126      {
127        "code": "unsupported_field",
128        "severity": "error",
129        "file": "<project>\\plugin.kretl",
130        "line": 44,
131        "column": 5,
132        "message": "Field is outside the implemented reference subset: dependencies"
133      },
134      {
135        "code": "permissions_unresolved",
136        "severity": "warning",
137        "file": "<project>\\plugin.kretl",
138        "line": 12,
139        "column": 5,
140        "message": "Permission declarations remain ungranted until approved KCS mapping and consent."
141      },
142      {
143        "code": "unknown_field",
144        "severity": "error",
145        "file": "<project>\\plugin.kretl",
146        "line": 50,
147        "column": 9,
148        "message": "Unknown field in runtimeData: logs"
149      },
150      {
151        "code": "disk_path",
152        "severity": "error",
153        "file": "<project>\\plugin.kretl",
154        "line": 51,
155        "column": 13,
156        "message": "Database storage must remain under Disk/ in the reference subset."
157      },
158      {
159        "code": "reference_only",
160        "severity": "warning",
161        "file": "<project>\\plugin.kretl",
162        "line": 1,
163        "column": 1,
164        "message": "Experimental reference subset only; project execution and KretM/KretLink compatibility are not asserted."
165      }
166    ]
167  }
168}
169
170

Czytanie kodu linia po linii

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

# EXPECTED_OUTPUT — KRETL-A01-CoreCompatibilityOdczytaj 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:30Z). Ś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. sdk-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-KLA2CMPT",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "CoreCompatibility",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"version": "1.2.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.
"system.ram.read"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.
"handlers": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"lifecycle": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"install",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"start",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"suspend",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"resume",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"update",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"repair",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"healthcheck",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.
"uninstall"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. core-check (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> core check {PROJECT}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.
"authority": "KRET_SDK_1.0.0-rc.3",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"checksPassed": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"runtimeSupported": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"sdk": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"sdk": "1.0.0-rc.3",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"succeeded": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"diagnostics": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"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-KLA2CMPT",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "CoreCompatibility",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"version": "1.2.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.
"system.ram.read"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.
"handlers": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"lifecycle": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"install",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"start",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"suspend",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"resume",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"update",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"repair",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"healthcheck",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.
"uninstall"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.
"exitCode": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"coreLayoutErrors": [],Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"referenceSubset": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"generation": "KRETL_V1_REFERENCE",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"profile": "KretL-v1-reference-subset.1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"checksPassed": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"runtimeSupported": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginId": "LOCAL-KPL-KLA2CMPT",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"lifecycle": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"install",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"start",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"suspend",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"resume",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"update",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"repair",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"healthcheck",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.
"uninstall"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"diagnostics": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"code": "unsupported_field",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"severity": "error",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"file": "<project>\\plugin.kretl",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"line": 6,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"column": 5,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"message": "Field is outside the implemented reference subset: namespace"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"code": "unsupported_field",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"severity": "error",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"file": "<project>\\plugin.kretl",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"line": 40,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"column": 5,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"message": "Field is outside the implemented reference subset: recovery"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"code": "unsupported_field",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"severity": "error",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"file": "<project>\\plugin.kretl",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"line": 44,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"column": 5,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"message": "Field is outside the implemented reference subset: dependencies"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"code": "permissions_unresolved",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"severity": "warning",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"file": "<project>\\plugin.kretl",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"line": 12,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"column": 5,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"message": "Permission declarations remain ungranted until approved KCS mapping and consent."Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"code": "unknown_field",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"severity": "error",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"file": "<project>\\plugin.kretl",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"line": 50,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"column": 9,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"message": "Unknown field in runtimeData: logs"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"code": "disk_path",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"severity": "error",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"file": "<project>\\plugin.kretl",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"line": 51,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"column": 13,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"message": "Database storage must remain under Disk/ in the reference subset."Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"code": "reference_only",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"severity": "warning",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"file": "<project>\\plugin.kretl",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"line": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"column": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"message": "Experimental reference subset only; project execution and KretM/KretLink compatibility are not asserted."Pole 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.
}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_KRETL.zip:KretL/Examples/ADVANCED_CoreCompatibility/example.json

02_PLAYGROUND/EXAMPLES/KRETL-A01-CoreCompatibility.json
SHA-256 B3F999B8324CC4B9682393671EF9BF4F1AEADACBBA18205CBEF58A2A0800E20E

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.

KRETL-A01-CoreCompatibility — Ten sam manifest w SDK i w Kret Engine (Core)

🇬🇧 English version below.

Pole	Wartość
Technologia	KretL
Poziom	ADVANCED
Klasyfikacja	VALIDATION_ONLY — Tylko walidacja (bez wykonania)
Playground	LOCAL_VALIDATE — lokalnie: walidacja (`kret check`, lokalny walidator Playground)
SDK	1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany)
Wynik testu	`TEST_RESULTS.json`, rzeczywisty wynik: `EXPECTED_OUTPUT.txt`

Co pokazuje

Pełniejszy manifest z sekcjami environment, recovery, dependencies, runtimeData i wszystkimi dziewięcioma operacjami cyklu życia. Ten sam projekt jest sprawdzany parserem SDK (kret check) i walidatorem referencyjnym Core (KretCore.Test.exe check), który dodaje reguły układu hosta (Disk/, mapa KretM, jedna generacja manifestu).

Pliki

Plik
`Script/Main.krs`
`plugin.kretl`

Jak uruchomić

Katalog roboczy: katalog tego przykładu. kret oznacza <SDK>\Compiler\kret.exe, kretui-host — <SDK>\UiHost\kretui-host.exe, core — KretCore.Test.exe z buildu Core (katalog roboczy: folder Core, {PROJECT} = pełna ścieżka tego przykładu). {DATA} / {OUT} to nowe, puste katalogi poza projektem. Wymagania: REQUIREMENTS.md.

kret check . --json — parser SDK (gramatyka kretl-1.0)
core check {PROJECT} — walidator referencyjny Core + reguły układu hosta

Oczekiwany wynik

Oba narzędzia akceptują projekt (kod wyjścia 0). Core dodatkowo raportuje generację manifestu i wynik SDK.

Najczęstszy błąd

Kod KretS w Disk/ — SDK może go przyjąć, ale Core odrzuci projekt (disk_reserved): Disk/ jest zastrzeżony dla danych KretDB.

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

KRETL-A01-CoreCompatibility — Ten sam manifest w SDK i w Kret Engine (Core)

Co pokazuje

Pliki

Jak uruchomić

Oczekiwany wynik

Najczęstszy błąd

Powiązane lekcje