Kontrakty i przepływ danych

BUILD_INSTRUCTIONS — KretSystemDashboard

Katalog roboczy / working directory: folder tego pluginu (zawiera src/). kret = <SDK>\Compiler\kret.exe z SDK 1.0.0-rc.3+kret.local.3 (lub pinned Vendor Core rc.3+kc-base-test610). Wszystkie polecenia poniżej zostały wykonane w tej rundzie — wyniki: TEST_RESULTS.json.

Uwagi / notes:

• --include-sources jest wymagane dla KPM Core: Core kompiluje plugin ze źródeł i odrzuca paczkę z samym bytecode (source_package_required, STUDIO-R02). / Required for Core KPM.
• Kanał dev: paczka niepodpisana (signature: SKIPPED, nie PASS). Brak podpisu produkcyjnego — ceremonia C1 nie odbyła się. / Unsigned dev package; no production signature exists.
• host-policy.json nigdy nie trafia do .kpkg (lista dozwolonych KretPublish). / Never packed.

COMPATIBILITY — KretSystemDashboard

02 — KretSystemDashboard

Cel

Panel informacji systemowych: RAM, CPU, GPU, VRAM, temperatury, RPM — wyłącznie przez moduł hosta Kret.Hardware (PROVISIONAL, G-06) i opcjonalne uprawnienia KCS. Każdy odczyt przechodzi przez Security Broker; odmowa albo brak sensora jest pokazywany jako DENIED/UNAVAILABLE, a plugin działa dalej. Brak sterowania sprzętem (bez PWM). W SDK nie ma dostawcy sensorów, więc odczyty kończą się odmową — to oczekiwane.

Struktura

Szybki start

1kret check src --json
2kret run src --policy examples/host-policy.json --data <nowy katalog> --invoke dashboard.readings --invoke dashboard.refresh=[41]

Status języka nie nadaje uprawnień KCS ani prawa do Production.

SECURITY_PERMISSIONS — KretSystemDashboard

Zadeklarowane uprawnienia / declared permissions (src/plugin.kretl)

1permissions {
2  required { }
3  optional { system.ram.read
4   system.cpu.read
5   gpu.usage.read
6   gpu.memory.read
7   gpu.temperature.read
8   storage.temperature.read
9   hardware.temperature.read
10   hardware.fans.read
11   hardware.sensors.read }
12 }

Zasady / rules

• Deklaracja ≠ przyznanie (KCS-PERM-3). Dostęp daje polityka hosta i KCS przy każdym wywołaniu (Security Broker). / Declaration is not a grant.
• examples/host-policy.json to polityka hosta testowego SDK (allowProvisionalRisk tylko dla testów). Nigdy nie importuj jej do Core ani do danych użytkownika. / Test-host policy only; never import into Core.
• Logika działa w osobnym procesie pluginu (Job Object, token ograniczony / AppContainer). Interfejs KretUI nie nadaje uprawnień i nie przechowuje sekretów. / Logic runs in a separate restricted process.
• Status w Core / Core status: LAB_DEVELOPER (sensory PROVISIONAL, Production BLOCKED_BY_KCS). D-KCS-01 pozostaje OPEN; uprawnienia PROVISIONAL nie są aktywowane w Production. / Not activated in Production.
• Paczka: kanał dev, niepodpisana, z źródłami; nie zawiera kluczy, haseł ani polityki hosta (kontrola sekretów KretPublish). / Dev channel, unsigned, no keys or secrets.

KretSystemDashboard — architektura / architecture

flowchart LR
  Host["Host: kret run / KretStudio / Kret Engine"] --> Broker["Security Broker (KCS przy każdym wywołaniu)"]
  Broker --> Proc["Proces pluginu (Job Object, AppContainer)"]
  Proc --> VM["Maszyna KBC 2 + weryfikator"]
  L0["KretL"]
  L1["KretS (+ Kret.Hardware PROVISIONAL)"]
  L2["KretUI"]
  L3["KretStyle"]
  L4["KTheme"]
  Manifest["src/plugin.kretl"] --> Broker
  UI["kretui-host (renderer, osobny proces)"] -->|komendy| Broker

Pochodzenie / provenance: Kopia engine/Plugins/KretSystemDashboard/Source (Core 1.0.0-test.6.11-draft.1, gałąź feature/sdk-studio-final-integration). / Copy of the Core plugin source.

Architecture diagram

flowchart LR
  Host["Host: kret run / KretStudio / Kret Engine"] --> Broker["Security Broker (KCS przy każdym wywołaniu)"]
  Broker --> Proc["Proces pluginu (Job Object, AppContainer)"]
  Proc --> VM["Maszyna KBC 2 + weryfikator"]
  L0["KretL"]
  L1["KretS (+ Kret.Hardware PROVISIONAL)"]
  L2["KretUI"]
  L3["KretStyle"]
  L4["KTheme"]
  Manifest["src/plugin.kretl"] --> Broker
  UI["kretui-host (renderer, osobny proces)"] -->|komendy| Broker

Pochodzenie / provenance

Kopia engine/Plugins/KretSystemDashboard/Source (Core 1.0.0-test.6.11-draft.1, gałąź feature/sdk-studio-final-integration). / Copy of the Core plugin source.

Dokumentacja wygenerowana przez eksport KretLanguageDocumentation (2026-11-01). Wszystkie polecenia z BUILD_INSTRUCTIONS.md zostały wykonane; wyniki w TEST_RESULTS.json.

KretSystemDashboard — karta przykładowego pluginu

Status RUNNABLE_LOCAL oznacza uruchomienie lokalne przez SDK — to nie jest PRODUCTION_READY. Paczka .kpkg nie jest dostępna do publicznego pobrania.

Panel informacji systemowych: RAM, CPU, GPU, VRAM, temperatury, RPM — wyłącznie przez moduł hosta Kret.Hardware (PROVISIONAL, G-06) i opcjonalne uprawnienia KCS. Każdy odczyt przechodzi przez Security Broker; odmowa albo brak sensora jest pokazywany jako DENIED/UNAVAILABLE, a plugin działa dalej. Brak sterowania sprzętem (bez PWM). W SDK nie ma dostawcy sensorów, więc odczyty kończą się odmową — to oczekiwane.