Przejdź do treści

KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

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

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

🇬🇧 English version below.
PoleWartość
TechnologiaKretL
PoziomADVANCED
KlasyfikacjaVALIDATION_ONLY — Tylko walidacja (bez wykonania)
PlaygroundLOCAL_VALIDATE — lokalnie: walidacja (kret check, lokalny walidator Playground)
SDK1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany)
Wynik testuTEST_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.

  1. kret check . --json — parser SDK (gramatyka kretl-1.0)
  2. 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.

Ź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/KretL/Examples/ADVANCED_CoreCompatibility/README.md
SHA-256 4D78E7DB74E1BB58A903EB3526F9833B9E512C5754024149459DAA001C94C0BA

Oryginalne ź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 →

Wybierz, co możemy zapamiętać w tej przeglądarce. Możesz zmienić decyzję w każdej chwili.

Polityka prywatności