| // SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001 | |
| // Copyright (C) 2026 SNAPKITTYWEST / Sovereign Kernel Project | |
| // CLONE_GATE: icp-dag-crystallizer::tests::invalid_unauthorized_exec | |
| // | |
| // Test fixture: I5b violation — execution from non-authorized decision | |
| #include "../src/datalog/kernels.dl" | |
| node("d1", "DECISION", "proposed"). | |
| node("e1", "EXECUTION", "pending"). | |
| edge("d1", "e1", "executes"). | |
| // Expected: violation("I5-unauthorized-execution", "e1", "d1", _) | |