Function
declaredObserved
(declared []EffectKind, observed map[EffectKind]bool)
Source from the content-addressed store, hash-verified
| 178 | } |
| 179 | |
| 180 | func declaredObserved(declared []EffectKind, observed map[EffectKind]bool) bool { |
| 181 | if len(declared) == 0 { |
| 182 | return false |
| 183 | } |
| 184 | for _, d := range declared { |
| 185 | if !observed[d] { |
| 186 | return false |
| 187 | } |
| 188 | } |
| 189 | return true |
| 190 | } |
| 191 | |
| 192 | func violationConfidence(c IntentContract, violating []RuntimeEffect) float64 { |
| 193 | // The finding "the model claimed X but the kernel witnessed a forbidden |
Tested by
no test coverage detected