FA-8571 / Form validation / Open access
Constraint validation priority: A value equal to the inclusive minimum is rejected · case 01
A value equal to the inclusive minimum is rejected.
ROOT CAUSE
The minimum operation uses `value <= minimum` where the contract requires `value < minimum`.
VERIFIED REPAIR
Implement the minimum operation as `value < minimum`.
Unsuccessful approach: Checking only negativity ignores the configured minimum.
Case contract
Required checks distinguish blank from zero; malformed input precedes numeric checks; optional blank is valid; min/max are inclusive; pattern applies last.
Why this case matters
A deterministic model of constraint validation priority; this isolates one interface invariant without requiring a browser.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(required, value, bad_input, minimum, maximum, pattern_ok):
if required and value == '': return 'required'
if bad_input: return 'bad-input'
if value == '': return None
if minimum is not None and value <= minimum: return 'underflow'
if maximum is not None and value > maximum: return 'overflow'
if not pattern_ok: return 'pattern'
return None
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('zero', solve(True, 0, False, 0, 5, True), None)
check('optional blank', solve(False, '', False, 1, 5, False), None)
check('required blank', solve(True, '', False, None, None, True), 'required')
check('bad', solve(False, 'oops', True, None, None, True), 'bad-input')
check('at min', solve(False, 2, False, 2, 5, True), None)
check('below min', solve(False, 1, False, 2, 5, True), 'underflow')
check('at max', solve(False, 5, False, 2, 5, True), None)
check('above max', solve(False, 6, False, 2, 5, True), 'overflow')
check('parameterized minimum', solve(False,N,False,N,N+10,True), None)
for repetition in range(N):
check('repeat above max', solve(False, 6, False, 2, 5, True), 'overflow')
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| zero | underflow | None | Failed |
| optional blank | None | None | Passed |
| required blank | required | required | Passed |
| bad | bad-input | bad-input | Passed |
| at min | underflow | None | Failed |
| below min | underflow | underflow | Passed |
| at max | None | None | Passed |
| above max | overflow | overflow | Passed |
| parameterized minimum | underflow | None | Failed |
| repeat above max | overflow | overflow | Passed |
SHA-256 / c65e569428c78fed1a0acf3a2d3dd82dad233536302381cf149319160ddf1f78
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(required, value, bad_input, minimum, maximum, pattern_ok):
if required and value == '': return 'required'
if bad_input: return 'bad-input'
if value == '': return None
if minimum is not None and value < 0: return 'underflow'
if maximum is not None and value > maximum: return 'overflow'
if not pattern_ok: return 'pattern'
return None
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('zero', solve(True, 0, False, 0, 5, True), None)
check('optional blank', solve(False, '', False, 1, 5, False), None)
check('required blank', solve(True, '', False, None, None, True), 'required')
check('bad', solve(False, 'oops', True, None, None, True), 'bad-input')
check('at min', solve(False, 2, False, 2, 5, True), None)
check('below min', solve(False, 1, False, 2, 5, True), 'underflow')
check('at max', solve(False, 5, False, 2, 5, True), None)
check('above max', solve(False, 6, False, 2, 5, True), 'overflow')
check('parameterized minimum', solve(False,N,False,N,N+10,True), None)
for repetition in range(N):
check('repeat above max', solve(False, 6, False, 2, 5, True), 'overflow')
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| zero | None | None | Passed |
| optional blank | None | None | Passed |
| required blank | required | required | Passed |
| bad | bad-input | bad-input | Passed |
| at min | None | None | Passed |
| below min | None | underflow | Failed |
| at max | None | None | Passed |
| above max | overflow | overflow | Passed |
| parameterized minimum | None | None | Passed |
| repeat above max | overflow | overflow | Passed |
SHA-256 / 2591b81b8bf2f1b57bc2d114e6e7b22ec32cdd784279e81b7ceb47a6736346d0
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(required, value, bad_input, minimum, maximum, pattern_ok):
if required and value == '': return 'required'
if bad_input: return 'bad-input'
if value == '': return None
if minimum is not None and value < minimum: return 'underflow'
if maximum is not None and value > maximum: return 'overflow'
if not pattern_ok: return 'pattern'
return None
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('zero', solve(True, 0, False, 0, 5, True), None)
check('optional blank', solve(False, '', False, 1, 5, False), None)
check('required blank', solve(True, '', False, None, None, True), 'required')
check('bad', solve(False, 'oops', True, None, None, True), 'bad-input')
check('at min', solve(False, 2, False, 2, 5, True), None)
check('below min', solve(False, 1, False, 2, 5, True), 'underflow')
check('at max', solve(False, 5, False, 2, 5, True), None)
check('above max', solve(False, 6, False, 2, 5, True), 'overflow')
check('parameterized minimum', solve(False,N,False,N,N+10,True), None)
for repetition in range(N):
check('repeat above max', solve(False, 6, False, 2, 5, True), 'overflow')
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| zero | None | None | Passed |
| optional blank | None | None | Passed |
| required blank | required | required | Passed |
| bad | bad-input | bad-input | Passed |
| at min | None | None | Passed |
| below min | underflow | underflow | Passed |
| at max | None | None | Passed |
| above max | overflow | overflow | Passed |
| parameterized minimum | None | None | Passed |
| repeat above max | overflow | overflow | Passed |
SHA-256 / d48f1d3a49b77bae2a85dd0bee201431d4f18ce57f18f1bf2721df713c5a4c45
Verification & scope
This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.
Observations recorded using Python 3.12.14 at 2026-09-29T14:38:22.622448+00:00.
Case digest / 0b1f2d574ae314cabeff7699c9dae587b390e9b882287ea3de504ea6e2ad9e65