You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Current sample flow validates merged spec and proceeds when there are warnings. For high-stakes runs, several warning classes are effectively correctness blockers and should fail early.
Why This Matters
Teams are repeatedly discovering issues downstream (DB contradictions, flat dynamics, no-op modifiers) that could have been blocked before sampling.
A strict gate profile would prevent recursive fix-run cycles.
Current Behavior (Code)
In /Users/adithyasrinivasan/Projects/extropy/extropy/cli/commands/sample.py:
merged spec validation runs (line ~165-172)
only errors block sampling (line ~175)
warnings always pass (line ~196-201)
Proposed Fix
Add a strict gate mode for sample (CLI flag and/or config), e.g. --strict-gates.
In strict mode, promote selected warning categories to errors, including at least:
condition value mismatches
modifier overlap ambiguity for categorical/boolean outcomes
critical scenario validation warnings that imply no-op behavior
Design principles:
deterministic and documented category list
opt-in initially (to avoid breaking current users)
printed summary of promoted warnings
Acceptance Criteria
extropy sample ... --strict-gates fails when promoted warning categories are present.
Closing as fixed. now supports strict pre-sample/post-sample gates () that promote high-risk warning classes and fail deterministically when triggered. See .
Activity
feat(sample): enforce expression constraints and promoted warning gat…
RandomOscillations commentedon Feb 20, 2026
Implemented on branch
codex/steps1-3-hardening(see PR #124). Keeping this issue open until merge + integration verification completes.RandomOscillations commentedon Feb 23, 2026
Closing as fixed. now supports strict pre-sample/post-sample gates () that promote high-risk warning classes and fail deterministically when triggered. See .