- persist TU-owned graphs and guarded configuration evidence - add closed-world production reachability classification - calibrate detector precision and reviewed self-scan policy - terminate poisoned workers instead of longjmp recovery
7 lines
132 B
JSON
7 lines
132 B
JSON
{
|
|
"version": 1,
|
|
"entrypoints": ["main"],
|
|
"assumptions": [
|
|
{"kind": "global", "selector": "feature", "value": false}
|
|
]
|
|
}
|