FA-9241 / Packaging / Open access
Artifact identity tuple: ABI-specific artifacts collide · case 01
ABI-specific artifacts collide.
ROOT CAUSE
The implementation substitutes None, for abi,, so aBI-specific artifacts collide.
VERIFIED REPAIR
Include the exact ABI identifier.
Unsuccessful approach: The attempted repair substitutes abi[:2],. Fixture 1 still yields ('my-pkg', (1, 2, 3), 'cp', 'debug', None) instead of ('my-pkg', (1, 2, 3), 'cp311', 'debug', None).
Case contract
An artifact identity consists of project, version tuple, target ABI, build flavor, and optional classifier; preserve all fields including empty classifier.
Why this case matters
An offline model of artifact identity tuple, 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(project, version, abi, flavor, classifier):
return (project.casefold().replace('_', '-'), tuple(version), None, flavor, classifier)
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve('My_Pkg', (1, 2, 3), 'cp311', 'debug', None), ('my-pkg', (1, 2, 3), 'cp311', 'debug', None))
check('fixture 2', solve('my-pkg', (1, 2, 3), 'cp312', 'release', 'tests'), ('my-pkg', (1, 2, 3), 'cp312', 'release', 'tests'))
check('fixture 3', solve('A_B', (2, 0, 1), 'abi3', 'release', ''), ('a-b', (2, 0, 1), 'abi3', 'release', ''))
check('fixture 4', solve('A_B', (2, 0, 2), 'abi3', 'debug', 'docs'), ('a-b', (2, 0, 2), 'abi3', 'debug', 'docs'))
check('fixture 5', solve('a_b', (2, 1, 0), 'none', 'release', None), ('a-b', (2, 1, 0), 'none', 'release', None))
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 | ['my-pkg', [1, 2, 3], None, 'debug', None] | ['my-pkg', [1, 2, 3], 'cp311', 'debug', None] | Failed |
| fixture 2 | ['my-pkg', [1, 2, 3], None, 'release', 'tests'] | ['my-pkg', [1, 2, 3], 'cp312', 'release', 'tests'] | Failed |
| fixture 3 | ['a-b', [2, 0, 1], None, 'release', ''] | ['a-b', [2, 0, 1], 'abi3', 'release', ''] | Failed |
| fixture 4 | ['a-b', [2, 0, 2], None, 'debug', 'docs'] | ['a-b', [2, 0, 2], 'abi3', 'debug', 'docs'] | Failed |
| fixture 5 | ['a-b', [2, 1, 0], None, 'release', None] | ['a-b', [2, 1, 0], 'none', 'release', None] | Failed |
SHA-256 / 0b29800859581e6899b3d4746f467f6f559ff61e0670c37bf894a779f3840464
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(project, version, abi, flavor, classifier):
return (project.casefold().replace('_', '-'), tuple(version), abi[:2], flavor, classifier)
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve('My_Pkg', (1, 2, 3), 'cp311', 'debug', None), ('my-pkg', (1, 2, 3), 'cp311', 'debug', None))
check('fixture 2', solve('my-pkg', (1, 2, 3), 'cp312', 'release', 'tests'), ('my-pkg', (1, 2, 3), 'cp312', 'release', 'tests'))
check('fixture 3', solve('A_B', (2, 0, 1), 'abi3', 'release', ''), ('a-b', (2, 0, 1), 'abi3', 'release', ''))
check('fixture 4', solve('A_B', (2, 0, 2), 'abi3', 'debug', 'docs'), ('a-b', (2, 0, 2), 'abi3', 'debug', 'docs'))
check('fixture 5', solve('a_b', (2, 1, 0), 'none', 'release', None), ('a-b', (2, 1, 0), 'none', 'release', None))
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 | ['my-pkg', [1, 2, 3], 'cp', 'debug', None] | ['my-pkg', [1, 2, 3], 'cp311', 'debug', None] | Failed |
| fixture 2 | ['my-pkg', [1, 2, 3], 'cp', 'release', 'tests'] | ['my-pkg', [1, 2, 3], 'cp312', 'release', 'tests'] | Failed |
| fixture 3 | ['a-b', [2, 0, 1], 'ab', 'release', ''] | ['a-b', [2, 0, 1], 'abi3', 'release', ''] | Failed |
| fixture 4 | ['a-b', [2, 0, 2], 'ab', 'debug', 'docs'] | ['a-b', [2, 0, 2], 'abi3', 'debug', 'docs'] | Failed |
| fixture 5 | ['a-b', [2, 1, 0], 'no', 'release', None] | ['a-b', [2, 1, 0], 'none', 'release', None] | Failed |
SHA-256 / 463157e7765de5f7621629ad8cae8ffd233e04dc91eb5625226fa6cc132be6dc
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(project, version, abi, flavor, classifier):
return (project.casefold().replace('_', '-'), tuple(version), abi, flavor, classifier)
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve('My_Pkg', (1, 2, 3), 'cp311', 'debug', None), ('my-pkg', (1, 2, 3), 'cp311', 'debug', None))
check('fixture 2', solve('my-pkg', (1, 2, 3), 'cp312', 'release', 'tests'), ('my-pkg', (1, 2, 3), 'cp312', 'release', 'tests'))
check('fixture 3', solve('A_B', (2, 0, 1), 'abi3', 'release', ''), ('a-b', (2, 0, 1), 'abi3', 'release', ''))
check('fixture 4', solve('A_B', (2, 0, 2), 'abi3', 'debug', 'docs'), ('a-b', (2, 0, 2), 'abi3', 'debug', 'docs'))
check('fixture 5', solve('a_b', (2, 1, 0), 'none', 'release', None), ('a-b', (2, 1, 0), 'none', 'release', None))
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 | ['my-pkg', [1, 2, 3], 'cp311', 'debug', None] | ['my-pkg', [1, 2, 3], 'cp311', 'debug', None] | Passed |
| fixture 2 | ['my-pkg', [1, 2, 3], 'cp312', 'release', 'tests'] | ['my-pkg', [1, 2, 3], 'cp312', 'release', 'tests'] | Passed |
| fixture 3 | ['a-b', [2, 0, 1], 'abi3', 'release', ''] | ['a-b', [2, 0, 1], 'abi3', 'release', ''] | Passed |
| fixture 4 | ['a-b', [2, 0, 2], 'abi3', 'debug', 'docs'] | ['a-b', [2, 0, 2], 'abi3', 'debug', 'docs'] | Passed |
| fixture 5 | ['a-b', [2, 1, 0], 'none', 'release', None] | ['a-b', [2, 1, 0], 'none', 'release', None] | Passed |
SHA-256 / a9d760254e3b00fc0366719694bb81c8e0a76be3b875189dfb452decd83d14bd
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:28.290365+00:00.
Case digest / 2d71306e41820cb5559533218b7ca473b13120dad24529e67c39045d8ad9f983