KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Uprawnienia, komendy hosta, limity i izolacja

INTERMEDIATERUNNABLE_LOCALKretL

Manifest deklaruje uprawnienie wymagane (`logs.own.write`) i opcjonalne (`kretdb.read`), komendę hosta `counter.add`, limity pamięci i CPU, profil `light`, preferowaną izolację `sandbox` oraz deklarację obszaru danych `runtimeData`. Polityka hosta testowego przyznaje tylko `logs.own.write` — deklaracja nie jest przyznaniem.

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
3fn Start() -> String {
4    log.info("start: uprawnienie logs.own.write przyznane przez hosta")
5    return "gotowy"
6}
7
8fn Shutdown() {
9}
10
11// Komenda hosta zadeklarowana w bloku handlers manifestu. Host przekazuje argumenty, typy sprawdza proces pluginu.
12on counter.add(a: Int, b: Int) -> Int {
13    return a + b
14}
15

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.
fn Start() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
log.info("start: uprawnienie logs.own.write przyznane przez hosta")Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
return "gotowy"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.
// Komenda hosta zadeklarowana w bloku handlers manifestu. Host przekazuje argumenty, typy sprawdza proces pluginu.Komentarz autora; nie jest wykonywany.
on counter.add(a: Int, b: Int) -> Int {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
return a + bZwró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.

Wynik i typowy błąd

Wynik `start` = „gotowy”, wynik komendy = 42, w dzienniku wpis z `log.info`. Uprawnienie opcjonalne `kretdb.read` nie zostało przyznane i nie jest używane.

Na co uważać

Wywołanie komendy, której nie ma w bloku `handlers` — broker ją odrzuci, nawet gdy handler `on …` istnieje w kodzie.

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
run-invokekret run . --policy host-policy.json --data {DATA} --invoke counter.add=[2,40]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 — KRETL-I01-PermissionsHandlersLimits
2# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:32Z). Ś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-KLM2PERM",
13    "name": "PermissionsHandlersLimits",
14    "version": "1.0.0",
15    "profile": "light",
16    "isolation": "sandbox",
17    "database": false
18  },
19  "permissions": {
20    "required": [
21      "logs.own.write"
22    ],
23    "optional": [
24      "kretdb.read"
25    ]
26  },
27  "handlers": {
28    "lifecycle": [
29      "start",
30      "shutdown"
31    ],
32    "events": [],
33    "commands": [
34      "counter.add"
35    ]
36  },
37  "diagnostics": []
38}
39
40### 2. run-invoke  (exit 0, PASS)
41> kret run . --policy host-policy.json --data {DATA} --invoke counter.add=[2,40]
42{
43  "broker": {
44    "pid": 49520,
45    "startupMs": 41.0986,
46    "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",
47    "allowProvisionalRisk": true,
48    "memoryIdle": {
49      "managedBytes": 1193408,
50      "allocatedBytes": 1190768,
51      "workingSetBytes": 32587776,
52      "privateBytes": 10113024,
53      "peakWorkingSetBytes": 32587776,
54      "cpuMs": 93.75
55    }
56  },
57  "brokerWithPlugins": {
58    "memory": {
59      "managedBytes": 1549520,
60      "allocatedBytes": 1546400,
61      "workingSetBytes": 41263104,
62      "privateBytes": 14135296,
63      "peakWorkingSetBytes": 41308160,
64      "cpuMs": 187.5
65    }
66  },
67  "plugins": [
68    {
69      "package": "<project>\\Build",
70      "admitted": true,
71      "startMs": 169.3413,
72      "subject": "LOCAL-KPL-KLM2PERM",
73      "instance": "01a19725-b136-73ba-a28c-c5b2b92cc8a0",
74      "pid": 30224,
75      "jobObject": true,
76      "isolation": {
77        "level": "AppContainer",
78        "restrictedToken": false,
79        "lowIntegrity": false,
80        "appContainer": true
81      },
82      "limits": {
83        "profile": "light",
84        "scriptMemoryBytes": 64000000,
85        "processMemoryBytes": 201326592,
86        "cpuPercent": 5,
87        "maxInstructions": 5000000,
88        "clamped": []
89      },
90      "calls": [
91        {
92          "operation": "start",
93          "ok": true,
94          "status": "Completed",
95          "type": "String",
96          "value": "gotowy",
97          "brokerMs": 13.068,
98          "vmMs": 10.2455,
99          "instructions": 4,
100          "hostCalls": 1,
101          "pluginReportedMemory": {
102            "managedBytes": 740264,
103            "allocatedBytes": 738200,
104            "workingSetBytes": 31944704,
105            "privateBytes": 10977280,
106            "peakWorkingSetBytes": 32256000,
107            "cpuMs": 93.75
108          }
109        },
110        {
111          "operation": "on counter.add",
112          "ok": true,
113          "status": "Completed",
114          "type": "Int64",
115          "value": 42,
116          "brokerMs": 2.0793,
117          "vmMs": 0.0014,
118          "instructions": 4,
119          "hostCalls": 0,
120          "pluginReportedMemory": {
121            "managedBytes": 748488,
122            "allocatedBytes": 746400,
123            "workingSetBytes": 31977472,
124            "privateBytes": 10985472,
125            "peakWorkingSetBytes": 32256000,
126            "cpuMs": 93.75
127          }
128        },
129        {
130          "operation": "shutdown",
131          "ok": true,
132          "status": "Completed",
133          "type": "Unit",
134          "value": null,
135          "brokerMs": 0.3877,
136          "vmMs": 0.0016,
137          "instructions": 1,
138          "hostCalls": 0,
139          "pluginReportedMemory": {
140            "managedBytes": 756712,
141            "allocatedBytes": 754600,
142            "workingSetBytes": 31985664,
143            "privateBytes": 10985472,
144            "peakWorkingSetBytes": 32256000,
145            "cpuMs": 93.75
146          }
147        }
148      ],
149      "processMemoryMeasuredByBroker": {
150        "workingSetBytes": 31985664,
151        "privateBytes": 10985472,
152        "peakWorkingSetBytes": 32256000,
153        "cpuMs": 93.75
154      },
155      "summary": {
156        "exitCode": 0,
157        "killed": false,
158        "hostCalls": 1,
159        "denials": 0,
160        "peakCommitBytes": 11870208,
161        "log": [
162          "[info] start: uprawnienie logs.own.write przyznane przez hosta"
163        ]
164      }
165    }
166  ],
167  "brokerAfterClose": {
168    "memory": {
169      "managedBytes": 603552,
170      "allocatedBytes": 1546400,
171      "workingSetBytes": 42528768,
172      "privateBytes": 14979072,
173      "peakWorkingSetBytes": 42528768,
174      "cpuMs": 203.125
175    }
176  },
177  "audit": {
178    "entries": 15,
179    "denials": 0,
180    "grantsIssued": 1,
181    "denied": []
182  },
183  "exitCode": 0
184}
185
186

Czytanie kodu linia po linii

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

# EXPECTED_OUTPUT — KRETL-I01-PermissionsHandlersLimitsOdczytaj 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:32Z). Ś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-KLM2PERM",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "PermissionsHandlersLimits",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"version": "1.0.0",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"profile": "light",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"isolation": "sandbox",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.
"kretdb.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.
"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.
"counter.add"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.
"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-invoke (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} --invoke counter.add=[2,40]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": 49520,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"startupMs": 41.0986,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": 1193408,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1190768,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32587776,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 10113024,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32587776,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": 1549520,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1546400,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 41263104,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 14135296,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 41308160,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.
"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": 169.3413,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"subject": "LOCAL-KPL-KLM2PERM",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instance": "01a19725-b136-73ba-a28c-c5b2b92cc8a0",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pid": 30224,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": "AppContainer",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"restrictedToken": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"lowIntegrity": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"appContainer": truePole 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": "light",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"scriptMemoryBytes": 64000000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"processMemoryBytes": 201326592,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuPercent": 5,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"maxInstructions": 5000000,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": "gotowy",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 13.068,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 10.2455,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 4,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": 740264,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 738200,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 31944704,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 10977280,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32256000,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.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"operation": "on counter.add",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": "Int64",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"value": 42,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 2.0793,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 0.0014,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 4,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": 748488,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 746400,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 31977472,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 10985472,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32256000,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.
{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.3877,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": 756712,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 754600,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 31985664,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 10985472,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32256000,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.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"processMemoryMeasuredByBroker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 31985664,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 10985472,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32256000,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": 11870208,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"log": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"[info] start: uprawnienie logs.own.write przyznane przez hosta"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": 603552,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1546400,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 42528768,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 14979072,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 42528768,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 203.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.
"audit": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"entries": 15,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_KRETL.zip:KretL/Examples/INTERMEDIATE_PermissionsHandlersLimits/example.json

02_PLAYGROUND/EXAMPLES/KRETL-I01-PermissionsHandlersLimits.json
SHA-256 86CD5E15E8700F61774201493BD7708A952CB761D866EBF8794190EB4EA17ED2

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-I01-PermissionsHandlersLimits — Uprawnienia, komendy hosta, limity i izolacja

🇬🇧 English version below.

Pole	Wartość
Technologia	KretL
Poziom	INTERMEDIATE
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

Manifest deklaruje uprawnienie wymagane (logs.own.write) i opcjonalne (kretdb.read), komendę hosta counter.add, limity pamięci i CPU, profil light, preferowaną izolację sandbox oraz deklarację obszaru danych runtimeData. Polityka hosta testowego przyznaje tylko logs.own.write — deklaracja nie jest przyznaniem.

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} --invoke counter.add=[2,40] — start + wywołanie komendy counter.add z argumentami 2 i 40

Oczekiwany wynik

Wynik start = „gotowy”, wynik komendy = 42, w dzienniku wpis z log.info. Uprawnienie opcjonalne kretdb.read nie zostało przyznane i nie jest używane.

Najczęstszy błąd

Wywołanie komendy, której nie ma w bloku handlers — broker ją odrzuci, nawet gdy handler on … istnieje w kodzie.

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-I01-PermissionsHandlersLimits — Uprawnienia, komendy hosta, limity i izolacja

Co pokazuje

Pliki

Jak uruchomić

Oczekiwany wynik

Najczęstszy błąd

Powiązane lekcje