FA-9546 / Version constraints / Open access

Compatible release admission: Prereleases bypass explicit opt-in · case 01

Prereleases bypass explicit opt-in.

Verified by executionVariant 1 · 25 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The implementation substitutes True for (not prerelease or allow_pre), so prereleases bypass explicit opt-in.

VERIFIED REPAIR

Permit prereleases only when explicitly allowed.

Unsuccessful approach: The attempted repair substitutes not prerelease. Fixture 9 still yields False instead of True.

Case contract

Accept candidate tuple if not excluded, at least the lower release, below the compatibility ceiling, and prerelease only when opted in; exact pins additionally require equality.

Why this case matters

An offline model of compatible release admission, suitable for testing build and release tooling without external services.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(candidate, low, ceiling, excluded, prerelease, allow_pre, pin):
    return (candidate not in excluded and candidate >= low and candidate < ceiling and True and (pin is None or candidate == pin))
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve((1, 1), (1, 2), (2, 0), [], False, False, None), False)
check('fixture 2', solve((1, 1), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 3', solve((1, 1), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 4', solve((1, 1), (1, 2), (2, 0), [], True, True, None), False)
check('fixture 5', solve((1, 1), (1, 2), (2, 0), [], False, False, (1, 2)), False)
check('fixture 6', solve((1, 2), (1, 2), (2, 0), [], False, False, None), True)
check('fixture 7', solve((1, 2), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 8', solve((1, 2), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 9', solve((1, 2), (1, 2), (2, 0), [], True, True, None), True)
check('fixture 10', solve((1, 2), (1, 2), (2, 0), [], False, False, (1, 2)), True)
check('fixture 11', solve((1, 9), (1, 2), (2, 0), [], False, False, None), True)
check('fixture 12', solve((1, 9), (1, 2), (2, 0), [(1, 2)], False, False, None), True)
check('fixture 13', solve((1, 9), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 14', solve((1, 9), (1, 2), (2, 0), [], True, True, None), True)
check('fixture 15', solve((1, 9), (1, 2), (2, 0), [], False, False, (1, 2)), False)
check('fixture 16', solve((2, 0), (1, 2), (2, 0), [], False, False, None), False)
check('fixture 17', solve((2, 0), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 18', solve((2, 0), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 19', solve((2, 0), (1, 2), (2, 0), [], True, True, None), False)
check('fixture 20', solve((2, 0), (1, 2), (2, 0), [], False, False, (1, 2)), False)
check('fixture 21', solve((2, 1), (1, 2), (2, 0), [], False, False, None), False)
check('fixture 22', solve((2, 1), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 23', solve((2, 1), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 24', solve((2, 1), (1, 2), (2, 0), [], True, True, None), False)
check('fixture 25', solve((2, 1), (1, 2), (2, 0), [], False, False, (1, 2)), False)
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
fixture 1	`False`	`False`	Passed
fixture 2	`False`	`False`	Passed
fixture 3	`False`	`False`	Passed
fixture 4	`False`	`False`	Passed
fixture 5	`False`	`False`	Passed
fixture 6	`True`	`True`	Passed
fixture 7	`False`	`False`	Passed
fixture 8	`True`	`False`	Failed
fixture 9	`True`	`True`	Passed
fixture 10	`True`	`True`	Passed
fixture 11	`True`	`True`	Passed
fixture 12	`True`	`True`	Passed
fixture 13	`True`	`False`	Failed
fixture 14	`True`	`True`	Passed
fixture 15	`False`	`False`	Passed
fixture 16	`False`	`False`	Passed
fixture 17	`False`	`False`	Passed
fixture 18	`False`	`False`	Passed
fixture 19	`False`	`False`	Passed
fixture 20	`False`	`False`	Passed
fixture 21	`False`	`False`	Passed
fixture 22	`False`	`False`	Passed
fixture 23	`False`	`False`	Passed
fixture 24	`False`	`False`	Passed
fixture 25	`False`	`False`	Passed

SHA-256 / fd80ab0c9cb69c8b9302e36e228c37e6446d84c17f377c97a2b4f32aec28fb15

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(candidate, low, ceiling, excluded, prerelease, allow_pre, pin):
    return (candidate not in excluded and candidate >= low and candidate < ceiling and not prerelease and (pin is None or candidate == pin))
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve((1, 1), (1, 2), (2, 0), [], False, False, None), False)
check('fixture 2', solve((1, 1), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 3', solve((1, 1), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 4', solve((1, 1), (1, 2), (2, 0), [], True, True, None), False)
check('fixture 5', solve((1, 1), (1, 2), (2, 0), [], False, False, (1, 2)), False)
check('fixture 6', solve((1, 2), (1, 2), (2, 0), [], False, False, None), True)
check('fixture 7', solve((1, 2), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 8', solve((1, 2), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 9', solve((1, 2), (1, 2), (2, 0), [], True, True, None), True)
check('fixture 10', solve((1, 2), (1, 2), (2, 0), [], False, False, (1, 2)), True)
check('fixture 11', solve((1, 9), (1, 2), (2, 0), [], False, False, None), True)
check('fixture 12', solve((1, 9), (1, 2), (2, 0), [(1, 2)], False, False, None), True)
check('fixture 13', solve((1, 9), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 14', solve((1, 9), (1, 2), (2, 0), [], True, True, None), True)
check('fixture 15', solve((1, 9), (1, 2), (2, 0), [], False, False, (1, 2)), False)
check('fixture 16', solve((2, 0), (1, 2), (2, 0), [], False, False, None), False)
check('fixture 17', solve((2, 0), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 18', solve((2, 0), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 19', solve((2, 0), (1, 2), (2, 0), [], True, True, None), False)
check('fixture 20', solve((2, 0), (1, 2), (2, 0), [], False, False, (1, 2)), False)
check('fixture 21', solve((2, 1), (1, 2), (2, 0), [], False, False, None), False)
check('fixture 22', solve((2, 1), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 23', solve((2, 1), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 24', solve((2, 1), (1, 2), (2, 0), [], True, True, None), False)
check('fixture 25', solve((2, 1), (1, 2), (2, 0), [], False, False, (1, 2)), False)
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
fixture 1	`False`	`False`	Passed
fixture 2	`False`	`False`	Passed
fixture 3	`False`	`False`	Passed
fixture 4	`False`	`False`	Passed
fixture 5	`False`	`False`	Passed
fixture 6	`True`	`True`	Passed
fixture 7	`False`	`False`	Passed
fixture 8	`False`	`False`	Passed
fixture 9	`False`	`True`	Failed
fixture 10	`True`	`True`	Passed
fixture 11	`True`	`True`	Passed
fixture 12	`True`	`True`	Passed
fixture 13	`False`	`False`	Passed
fixture 14	`False`	`True`	Failed
fixture 15	`False`	`False`	Passed
fixture 16	`False`	`False`	Passed
fixture 17	`False`	`False`	Passed
fixture 18	`False`	`False`	Passed
fixture 19	`False`	`False`	Passed
fixture 20	`False`	`False`	Passed
fixture 21	`False`	`False`	Passed
fixture 22	`False`	`False`	Passed
fixture 23	`False`	`False`	Passed
fixture 24	`False`	`False`	Passed
fixture 25	`False`	`False`	Passed

SHA-256 / 94fde797caeb19eb48f8dca4f405b46f72821a7a061d8ce528f3b24d8304b02b

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(candidate, low, ceiling, excluded, prerelease, allow_pre, pin):
    return (candidate not in excluded and candidate >= low and candidate < ceiling and (not prerelease or allow_pre) and (pin is None or candidate == pin))
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve((1, 1), (1, 2), (2, 0), [], False, False, None), False)
check('fixture 2', solve((1, 1), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 3', solve((1, 1), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 4', solve((1, 1), (1, 2), (2, 0), [], True, True, None), False)
check('fixture 5', solve((1, 1), (1, 2), (2, 0), [], False, False, (1, 2)), False)
check('fixture 6', solve((1, 2), (1, 2), (2, 0), [], False, False, None), True)
check('fixture 7', solve((1, 2), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 8', solve((1, 2), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 9', solve((1, 2), (1, 2), (2, 0), [], True, True, None), True)
check('fixture 10', solve((1, 2), (1, 2), (2, 0), [], False, False, (1, 2)), True)
check('fixture 11', solve((1, 9), (1, 2), (2, 0), [], False, False, None), True)
check('fixture 12', solve((1, 9), (1, 2), (2, 0), [(1, 2)], False, False, None), True)
check('fixture 13', solve((1, 9), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 14', solve((1, 9), (1, 2), (2, 0), [], True, True, None), True)
check('fixture 15', solve((1, 9), (1, 2), (2, 0), [], False, False, (1, 2)), False)
check('fixture 16', solve((2, 0), (1, 2), (2, 0), [], False, False, None), False)
check('fixture 17', solve((2, 0), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 18', solve((2, 0), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 19', solve((2, 0), (1, 2), (2, 0), [], True, True, None), False)
check('fixture 20', solve((2, 0), (1, 2), (2, 0), [], False, False, (1, 2)), False)
check('fixture 21', solve((2, 1), (1, 2), (2, 0), [], False, False, None), False)
check('fixture 22', solve((2, 1), (1, 2), (2, 0), [(1, 2)], False, False, None), False)
check('fixture 23', solve((2, 1), (1, 2), (2, 0), [], True, False, None), False)
check('fixture 24', solve((2, 1), (1, 2), (2, 0), [], True, True, None), False)
check('fixture 25', solve((2, 1), (1, 2), (2, 0), [], False, False, (1, 2)), False)
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
fixture 1	`False`	`False`	Passed
fixture 2	`False`	`False`	Passed
fixture 3	`False`	`False`	Passed
fixture 4	`False`	`False`	Passed
fixture 5	`False`	`False`	Passed
fixture 6	`True`	`True`	Passed
fixture 7	`False`	`False`	Passed
fixture 8	`False`	`False`	Passed
fixture 9	`True`	`True`	Passed
fixture 10	`True`	`True`	Passed
fixture 11	`True`	`True`	Passed
fixture 12	`True`	`True`	Passed
fixture 13	`False`	`False`	Passed
fixture 14	`True`	`True`	Passed
fixture 15	`False`	`False`	Passed
fixture 16	`False`	`False`	Passed
fixture 17	`False`	`False`	Passed
fixture 18	`False`	`False`	Passed
fixture 19	`False`	`False`	Passed
fixture 20	`False`	`False`	Passed
fixture 21	`False`	`False`	Passed
fixture 22	`False`	`False`	Passed
fixture 23	`False`	`False`	Passed
fixture 24	`False`	`False`	Passed
fixture 25	`False`	`False`	Passed

SHA-256 / 9436aa7f95f2934f855d763d9aed0d45fbc1ed669972258db8f58ff3ff04d713

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:30.989642+00:00.

Case digest / 718327dbc50dedfc0f98dd245be7de3af8b451e0cd689cd6b844f93dec8940df