KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Mapa projektu: warstwy, moduły, mapa lokalna

BASICRUNNABLE_LOCALKretM

Szablon SDK `core-plugin`: `project.kretm` (warstwy Ui → Logic → Data, `deny Ui -> Data`, moduły z katalogami, połączenia `link`) i mapa lokalna `Script/Orders/module.kretm`. Manifest włącza mapę blokiem `project { map … }`. KretM **niczego nie przyznaje** — tylko ogranicza zależności.

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

Format tego przykładu nie jest obsługiwany przez edytor Playground. Źródła i instrukcje pozostają dostępne.

Kanoniczne pliki projektu

Plik

1database Mapped {
2    version = 1
3    table counters {
4        name: String primary key
5        value: Int
6    }
7}

Czytanie kodu linia po linii

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

database Mapped {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 counters {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
name: String primary keyOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
value: IntOdczytaj 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.

Wynik i typowy błąd

„zamówień: 2, pierwsze miało numer 1”.

Na co uważać

Własne foldery projektu bez mapy KretM — Core odrzuca taki projekt (`mapping_required`).

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 — KRETM-B01-ProjectMap
2# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:34Z). Ś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-MXB2MAPS",
13    "name": "ProjectMap",
14    "version": "1.0.0",
15    "profile": "standard",
16    "database": true
17  },
18  "permissions": {
19    "required": [
20      "logs.own.write",
21      "kretdb.open",
22      "kretdb.read",
23      "kretdb.write"
24    ],
25    "optional": []
26  },
27  "handlers": {
28    "lifecycle": [
29      "start",
30      "shutdown"
31    ],
32    "events": [],
33    "commands": []
34  },
35  "diagnostics": []
36}
37
38### 2. run  (exit 0, PASS)
39> kret run . --policy host-policy.json --data {DATA}
40{
41  "broker": {
42    "pid": 11152,
43    "startupMs": 40.1501,
44    "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",
45    "allowProvisionalRisk": true,
46    "memoryIdle": {
47      "managedBytes": 1193344,
48      "allocatedBytes": 1190704,
49      "workingSetBytes": 32550912,
50      "privateBytes": 10117120,
51      "peakWorkingSetBytes": 32550912,
52      "cpuMs": 93.75
53    }
54  },
55  "brokerWithPlugins": {
56    "memory": {
57      "managedBytes": 1607264,
58      "allocatedBytes": 1603976,
59      "workingSetBytes": 40665088,
60      "privateBytes": 14090240,
61      "peakWorkingSetBytes": 40665088,
62      "cpuMs": 171.875
63    }
64  },
65  "plugins": [
66    {
67      "package": "<project>\\Build",
68      "admitted": true,
69      "startMs": 157.2541,
70      "subject": "LOCAL-KPL-MXB2MAPS",
71      "instance": "01a19725-bad0-7290-b752-fcfd2bf95d9f",
72      "pid": 29092,
73      "jobObject": true,
74      "isolation": {
75        "level": "Restricted",
76        "restrictedToken": true,
77        "lowIntegrity": true,
78        "appContainer": false
79      },
80      "limits": {
81        "profile": "standard",
82        "scriptMemoryBytes": 67108864,
83        "processMemoryBytes": 201326592,
84        "cpuPercent": 25,
85        "maxInstructions": 50000000,
86        "clamped": []
87      },
88      "calls": [
89        {
90          "operation": "start",
91          "ok": true,
92          "status": "Completed",
93          "type": "String",
94          "value": "zam\u00F3wie\u0144: 2, pierwsze mia\u0142o numer 1",
95          "brokerMs": 67.0925,
96          "vmMs": 63.0752,
97          "instructions": 103,
98          "hostCalls": 9,
99          "pluginReportedMemory": {
100            "managedBytes": 784808,
101            "allocatedBytes": 782624,
102            "workingSetBytes": 32354304,
103            "privateBytes": 11206656,
104            "peakWorkingSetBytes": 32583680,
105            "cpuMs": 109.375
106          }
107        },
108        {
109          "operation": "shutdown",
110          "ok": true,
111          "status": "Completed",
112          "type": "Unit",
113          "value": null,
114          "brokerMs": 0.9993,
115          "vmMs": 0.0016,
116          "instructions": 1,
117          "hostCalls": 0,
118          "pluginReportedMemory": {
119            "managedBytes": 793032,
120            "allocatedBytes": 790824,
121            "workingSetBytes": 32354304,
122            "privateBytes": 11206656,
123            "peakWorkingSetBytes": 32583680,
124            "cpuMs": 125
125          }
126        }
127      ],
128      "processMemoryMeasuredByBroker": {
129        "workingSetBytes": 32354304,
130        "privateBytes": 11206656,
131        "peakWorkingSetBytes": 32583680,
132        "cpuMs": 125
133      },
134      "database": {
135        "backend": "sqlite",
136        "engineVersion": "3.53.4",
137        "fileBytes": 20480,
138        "pageCount": 5,
139        "engineMemoryBytes": 263632,
140        "statements": 45
141      },
142      "summary": {
143        "exitCode": 0,
144        "killed": false,
145        "hostCalls": 9,
146        "denials": 0,
147        "peakCommitBytes": 12070912,
148        "log": [
149          "[info] zam\u00F3wienia: 2"
150        ]
151      }
152    }
153  ],
154  "brokerAfterClose": {
155    "memory": {
156      "managedBytes": 593992,
157      "allocatedBytes": 1603976,
158      "workingSetBytes": 41312256,
159      "privateBytes": 14725120,
160      "peakWorkingSetBytes": 41312256,
161      "cpuMs": 171.875
162    }
163  },
164  "audit": {
165    "entries": 19,
166    "denials": 0,
167    "grantsIssued": 4,
168    "denied": []
169  },
170  "exitCode": 0
171}
172
173

Czytanie kodu linia po linii

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

# EXPECTED_OUTPUT — KRETM-B01-ProjectMapOdczytaj 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:34Z). Ś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-MXB2MAPS",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "ProjectMap",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": truePole 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.
"kretdb.open",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"kretdb.read",Odczytaj 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.
],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": 11152,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"startupMs": 40.1501,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": 1193344,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1190704,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32550912,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 10117120,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32550912,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": 1607264,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1603976,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 40665088,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 14090240,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 40665088,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": 157.2541,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"subject": "LOCAL-KPL-MXB2MAPS",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instance": "01a19725-bad0-7290-b752-fcfd2bf95d9f",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pid": 29092,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": "zam\u00F3wie\u0144: 2, pierwsze mia\u0142o numer 1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 67.0925,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 63.0752,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 103,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 9,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 784808,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 782624,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32354304,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11206656,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32583680,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 109.375Pole 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.9993,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 0.0016,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": 793032,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 790824,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32354304,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11206656,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32583680,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 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": 32354304,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11206656,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32583680,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"database": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"backend": "sqlite",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"engineVersion": "3.53.4",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"fileBytes": 20480,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pageCount": 5,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"engineMemoryBytes": 263632,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"statements": 45Pole 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": 9,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakCommitBytes": 12070912,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"log": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"[info] zam\u00F3wienia: 2"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": 593992,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1603976,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 41312256,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 14725120,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 41312256,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.
"audit": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"entries": 19,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"grantsIssued": 4,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_FORMAT_KRETM.zip:KretM/Examples/BASIC_ProjectMap/example.json

02_PLAYGROUND/EXAMPLES/KRETM-B01-ProjectMap.json
SHA-256 0C29C14760BE568C70FBA56B1415B5093DBEC28631022130B6D65AAD679B272D

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.

KRETM-B01-ProjectMap — Mapa projektu: warstwy, moduły, mapa lokalna

🇬🇧 English version below.

Pole	Wartość
Technologia	KretM
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

Szablon SDK core-plugin: project.kretm (warstwy Ui → Logic → Data, deny Ui -> Data, moduły z katalogami, połączenia link) i mapa lokalna Script/Orders/module.kretm. Manifest włącza mapę blokiem project { map … }. KretM niczego nie przyznaje — tylko ogranicza zależności.

Pliki

Plik
`Disk/Schema.kdb`
`Script/App/Main.krs`
`Script/Orders/Orders.krs`
`Script/Orders/module.kretm`
`Script/Storage/Storage.krs`
`host-policy.json`
`plugin.kretl`
`project.kretm`

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 mapy i kodu względem mapy
kret run . --policy host-policy.json --data {DATA} — uruchomienie (App → Orders → Storage → KretDB)

Oczekiwany wynik

„zamówień: 2, pierwsze miało numer 1”.

Najczęstszy błąd

Własne foldery projektu bez mapy KretM — Core odrzuca taki projekt (mapping_required).

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

KRETM-B01-ProjectMap — Mapa projektu: warstwy, moduły, mapa lokalna

Co pokazuje

Pliki

Jak uruchomić

Oczekiwany wynik

Najczęstszy błąd

Powiązane lekcje