Follow-up to #17.
Goal
Replace model-authored raw UCI as Sentinel's long-term mutation interface with typed semantic NetworkIntent objects evaluated by a deterministic Safety Kernel.
NetworkIntent
The model expresses domain intent (for example wifi.channel.change) with target, parameters, evidence references, reason, and expected observable outcome.
OMEGA then:
- resolves logical resources against current state/capabilities;
- compiles the semantic intent to desired-state delta / exact immutable device plan;
- evaluates deterministic invariants;
- classifies risk and authorization;
- applies controller-owned canary/staging policy;
- executes through the canonical durable device-operation path;
- verifies expected outcomes and health;
- commits or rolls back;
- records the complete audit chain.
Safety Kernel
Non-LLM authority boundary. Possible results include ALLOW, DENY, REQUIRE_APPROVAL, REQUIRE_CANARY, and REQUIRE_STRONGER_VERIFICATION.
Sentinel must never be able to modify:
- its own authority/policy roots;
- trust roots/device identity;
- invariant implementation;
- operation executor/rollback machinery;
- Tool Registry implementation;
- skill DSL interpreter.
Dependency
Do not enable broad Sentinel mutation until the controller has a single canonical mutation path, durable generation-bound operations, immutable preview/apply binding, canary rollout, capability-aware rendering, and management-path-aware verification.
Follow-up to #17.
Goal
Replace model-authored raw UCI as Sentinel's long-term mutation interface with typed semantic
NetworkIntentobjects evaluated by a deterministic Safety Kernel.NetworkIntent
The model expresses domain intent (for example
wifi.channel.change) with target, parameters, evidence references, reason, and expected observable outcome.OMEGA then:
Safety Kernel
Non-LLM authority boundary. Possible results include
ALLOW,DENY,REQUIRE_APPROVAL,REQUIRE_CANARY, andREQUIRE_STRONGER_VERIFICATION.Sentinel must never be able to modify:
Dependency
Do not enable broad Sentinel mutation until the controller has a single canonical mutation path, durable generation-bound operations, immutable preview/apply binding, canary rollout, capability-aware rendering, and management-path-aware verification.