Skip to content

Enforce model-checking depth bounds at the frontier - #13

Merged
hwbehrens merged 2 commits into
veil-2.0-previewfrom
agent/enforce-model-check-depth-bound
Jul 24, 2026
Merged

Enforce model-checking depth bounds at the frontier#13
hwbehrens merged 2 commits into
veil-2.0-previewfrom
agent/enforce-model-check-depth-bound

fix: preserve depth-zero violation checks

46c7b40
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar