KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
KRETM-I01-MapViolations — Naruszenia mapy: warstwy i próba przyznania uprawnień
KRETM-I01-MapViolations — Naruszenia mapy: warstwy i próba przyznania uprawnień
🇬🇧 English version below.
| Pole | Wartość |
|---|---|
| Technologia | KretM |
| Poziom | INTERMEDIATE |
| 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
Wariant layer-violation/: moduł warstwy Ui woła moduł warstwy Data mimo deny Ui -> Data. Wariant grant-attempt/: mapa lokalna próbuje zapisać uprawnienie — KCS-KRM-0301.
Pliki
| Plik |
|---|
grant-attempt/Disk/Schema.kdb |
grant-attempt/Script/App/Main.krs |
grant-attempt/Script/Orders/Orders.krs |
grant-attempt/Script/Orders/module.kretm |
grant-attempt/Script/Storage/Storage.krs |
grant-attempt/host-policy.json |
grant-attempt/plugin.kretl |
grant-attempt/project.kretm |
layer-violation/Disk/Schema.kdb |
layer-violation/Script/App/Main.krs |
layer-violation/Script/Orders/Orders.krs |
layer-violation/Script/Orders/module.kretm |
layer-violation/Script/Storage/Storage.krs |
layer-violation/host-policy.json |
layer-violation/plugin.kretl |
layer-violation/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 layer-violation --json— naruszenie reguły warstw (oczekiwany błąd)kret check grant-attempt --json— próba przyznania uprawnień w mapie (oczekiwany błąd)
Oczekiwany wynik
Oba sprawdzenia kończą się kodem 1 z diagnostyką KretM/KretS.
Najczęstszy błąd
Oczekiwanie, że allow w mapie lokalnej rozszerzy reguły projektu — mapa lokalna może tylko doprecyzować moduł (KCS-KRM-0306).
Źródło i wersja
Zweryfikowany import PUBLIC_CANDIDATE. Identyfikatory źródeł odnoszą się do eksportu i nie dają dostępu do plików serwera.
01_LANGUAGES/KretM/Examples/INTERMEDIATE_MapViolations/README.md
SHA-256 63C32FE5F9F7508422E2FA41C4CB468CF410D3E71A7575B080E43F9866045883Oryginalne źródło jest dwujęzyczne; terminy techniczne i polecenia zachowano.
Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →