FAILURE MAP
← Case archive

FA-9126 / Build systems / Open access

Hermetic action fingerprint: Cross-platform actions collide · case 01

Cross-platform actions collide.

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

ROOT CAUSE

The implementation substitutes None) for platform), so cross-platform actions collide.

VERIFIED REPAIR

Retain the complete target platform.

Unsuccessful approach: The attempted repair substitutes platform[:1]). Fixture 1 still yields ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'l') instead of ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux').

Case contract

Return a tuple of compiler, ordered arguments, sorted environment pairs, sorted input digest pairs, and target platform; argument order and duplicate arguments matter.

Why this case matters

An offline model of hermetic action fingerprint, 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(compiler, args, env, inputs, platform):
    return (compiler, tuple(args), tuple(sorted(env.items())), tuple(sorted(inputs.items())), None)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve('cc0', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 2', solve('cc1', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 3', solve('cc0', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 4', solve('cc1', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 5', solve('cc0', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 6', solve('cc1', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 7', solve('cc0', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 8', solve('cc1', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 9', solve('cc0', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 10', solve('cc1', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 11', solve('cc0', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 12', solve('cc1', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 13', solve('cc0', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 14', solve('cc1', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 15', solve('cc0', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 16', solve('cc1', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 17', solve('cc0', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 18', solve('cc1', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 19', solve('cc0', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 20', solve('cc1', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 21', solve('cc0', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 22', solve('cc1', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 23', solve('cc0', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 24', solve('cc1', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
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 fixtureActualExpectedOutcome
fixture 1['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 2['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 3['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 4['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed
fixture 5['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 6['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 7['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 8['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed
fixture 9['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 10['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 11['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 12['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed
fixture 13['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 14['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 15['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 16['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed
fixture 17['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 18['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 19['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 20['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed
fixture 21['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 22['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], None]['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 23['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 24['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], None]['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed

SHA-256 / 544d3ca8f976c60d37df034ef97e2f20a1e6c75f633d8551239ff414f7d06c15

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(compiler, args, env, inputs, platform):
    return (compiler, tuple(args), tuple(sorted(env.items())), tuple(sorted(inputs.items())), platform[:1])
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve('cc0', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 2', solve('cc1', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 3', solve('cc0', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 4', solve('cc1', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 5', solve('cc0', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 6', solve('cc1', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 7', solve('cc0', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 8', solve('cc1', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 9', solve('cc0', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 10', solve('cc1', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 11', solve('cc0', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 12', solve('cc1', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 13', solve('cc0', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 14', solve('cc1', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 15', solve('cc0', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 16', solve('cc1', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 17', solve('cc0', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 18', solve('cc1', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 19', solve('cc0', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 20', solve('cc1', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 21', solve('cc0', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 22', solve('cc1', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 23', solve('cc0', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 24', solve('cc1', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
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 fixtureActualExpectedOutcome
fixture 1['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'l']['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 2['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'a']['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 3['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'l']['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 4['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'a']['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed
fixture 5['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'l']['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 6['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'a']['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 7['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'l']['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 8['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'a']['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed
fixture 9['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'l']['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 10['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'a']['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 11['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'l']['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 12['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'a']['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed
fixture 13['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'l']['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 14['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'a']['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 15['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'l']['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 16['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'a']['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed
fixture 17['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'l']['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 18['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'a']['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 19['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'l']['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 20['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'a']['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed
fixture 21['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'l']['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Failed
fixture 22['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'a']['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Failed
fixture 23['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'l']['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Failed
fixture 24['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'a']['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Failed

SHA-256 / 45be250e7c3acffb0bc5d39a0b8c42e68338ffc9070a34180327b70dcdd399e8

3 / The verified repair

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

N = 1
observations = []
def solve(compiler, args, env, inputs, platform):
    return (compiler, tuple(args), tuple(sorted(env.items())), tuple(sorted(inputs.items())), platform)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('fixture 1', solve('cc0', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 2', solve('cc1', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 3', solve('cc0', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 4', solve('cc1', ['-Ione', '-Itwo'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 5', solve('cc0', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 6', solve('cc1', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 7', solve('cc0', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'linux'), ('cc0', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 8', solve('cc1', ['-Ione', '-Itwo'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'arm'), ('cc1', ('-Ione', '-Itwo'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 9', solve('cc0', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 10', solve('cc1', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 11', solve('cc0', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 12', solve('cc1', ['-Itwo', '-Ione'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 13', solve('cc0', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 14', solve('cc1', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 15', solve('cc0', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'linux'), ('cc0', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 16', solve('cc1', ['-Itwo', '-Ione'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'arm'), ('cc1', ('-Itwo', '-Ione'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 17', solve('cc0', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 18', solve('cc1', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 19', solve('cc0', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 20', solve('cc1', ['-v', '-v'], {'Z': '0', 'A': '1'}, {'a': '9'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
check('fixture 21', solve('cc0', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'linux'))
check('fixture 22', solve('cc1', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'b': '2', 'a': '1'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '1'), ('b', '2')), 'arm'))
check('fixture 23', solve('cc0', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'linux'), ('cc0', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'linux'))
check('fixture 24', solve('cc1', ['-v', '-v'], {'A': '1', 'Z': '0'}, {'a': '9'}, 'arm'), ('cc1', ('-v', '-v'), (('A', '1'), ('Z', '0')), (('a', '9'),), 'arm'))
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 fixtureActualExpectedOutcome
fixture 1['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Passed
fixture 2['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Passed
fixture 3['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Passed
fixture 4['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Passed
fixture 5['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Passed
fixture 6['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Passed
fixture 7['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']['cc0', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Passed
fixture 8['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']['cc1', ['-Ione', '-Itwo'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Passed
fixture 9['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Passed
fixture 10['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Passed
fixture 11['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Passed
fixture 12['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Passed
fixture 13['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Passed
fixture 14['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Passed
fixture 15['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']['cc0', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Passed
fixture 16['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']['cc1', ['-Itwo', '-Ione'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Passed
fixture 17['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Passed
fixture 18['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Passed
fixture 19['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Passed
fixture 20['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Passed
fixture 21['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'linux']Passed
fixture 22['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '1'], ['b', '2']], 'arm']Passed
fixture 23['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']['cc0', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'linux']Passed
fixture 24['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']['cc1', ['-v', '-v'], [['A', '1'], ['Z', '0']], [['a', '9']], 'arm']Passed

SHA-256 / 96df5b6978d7f36af612c7af17b859566c271bff5abd69feb4fd1c2c11e826ad

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

Case digest / 6009b6882540c129c60e78164e76c05b86176a5884849480e77e578de4ad3469