FA-7741 / Connection lifecycle / Open access
Pool lease release removes one lease not every socket · case 01
Pool lease release removes one lease not every socket.
ROOT CAUSE
The faulty implementation uses `{}` for the pool-lease-release-removes-one-lease-not-every-socket decision.
VERIFIED REPAIR
Apply the explicit pool-lease-release-removes-one-lease-not-every-socket contract, including the tested boundary and negative cases.
Unsuccessful approach: The attempted repair uses `{k:v for k,v in counts.items() if k != socket}` and still violates a separate fixture.
Case contract
Given counts, socket, pool lease release removes one lease not every socket. Return the protocol decision or transformed value; fields are validated and fixtures state boundary outcomes.
Why this case matters
This deterministic connection lifecycle model isolates the pool-lease-release-removes-one-lease-not-every-socket policy at a network component boundary.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import ipaddress
import re
from urllib.parse import urlsplit, urljoin
N = 1
observations = []
def solve(counts, socket):
return {}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
_fixtures = ["check('fixture 1', solve({'a': 2, 'b': 1}, 'a'), {'a': 1, 'b': 1})", "check('fixture 2', solve({}, 'a'), {})", "check('fixture 3', solve({'a': 0}, 'a'), {'a': 0})", "check('fixture 4', solve({'b': 1}, 'a'), {'b': 1})"]
for _line in _fixtures[N % len(_fixtures):] + _fixtures[:N % len(_fixtures)]:
exec(_line)
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 2 | {} | {} | Passed |
| fixture 3 | {} | {'a': 0} | Failed |
| fixture 4 | {} | {'b': 1} | Failed |
| fixture 1 | {} | {'a': 1, 'b': 1} | Failed |
SHA-256 / 039bd5ba77c38f25550ccc082af96de9c2ce5afaca1aa5c423913d949393d3ad
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import ipaddress
import re
from urllib.parse import urlsplit, urljoin
N = 1
observations = []
def solve(counts, socket):
return {k:v for k,v in counts.items() if k != socket}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
_fixtures = ["check('fixture 1', solve({'a': 2, 'b': 1}, 'a'), {'a': 1, 'b': 1})", "check('fixture 2', solve({}, 'a'), {})", "check('fixture 3', solve({'a': 0}, 'a'), {'a': 0})", "check('fixture 4', solve({'b': 1}, 'a'), {'b': 1})"]
for _line in _fixtures[N % len(_fixtures):] + _fixtures[:N % len(_fixtures)]:
exec(_line)
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 2 | {} | {} | Passed |
| fixture 3 | {} | {'a': 0} | Failed |
| fixture 4 | {'b': 1} | {'b': 1} | Passed |
| fixture 1 | {'b': 1} | {'a': 1, 'b': 1} | Failed |
SHA-256 / 478b8a562f86e92bf790a30f6daac33e95290616878177b93131a2bb6f1c076e
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
import ipaddress
import re
from urllib.parse import urlsplit, urljoin
N = 1
observations = []
def solve(counts, socket):
return {k:(max(0,v-1) if k == socket else v) for k,v in counts.items()}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
_fixtures = ["check('fixture 1', solve({'a': 2, 'b': 1}, 'a'), {'a': 1, 'b': 1})", "check('fixture 2', solve({}, 'a'), {})", "check('fixture 3', solve({'a': 0}, 'a'), {'a': 0})", "check('fixture 4', solve({'b': 1}, 'a'), {'b': 1})"]
for _line in _fixtures[N % len(_fixtures):] + _fixtures[:N % len(_fixtures)]:
exec(_line)
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 2 | {} | {} | Passed |
| fixture 3 | {'a': 0} | {'a': 0} | Passed |
| fixture 4 | {'b': 1} | {'b': 1} | Passed |
| fixture 1 | {'a': 1, 'b': 1} | {'a': 1, 'b': 1} | Passed |
SHA-256 / cf964ffdc1eb9ae9599927b5dcdfef84c2ae0fe88a67c9536aca03bbbfc296fe
Verification & scope
Bounded deterministic policy model over validated inputs; not a complete protocol stack or an interoperability claim. The five variants rotate the same explicit fixture set. 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:14.843450+00:00.
Case digest / bf69748850d2b3e33edd8e4c2bb0dee01a7bd31727873dc2c981e1095511a856