{"abstract":"Already-applied dilution steps are multiplied again.","category":"Laboratory measurement reporting","checks":6,"contract":"Return the Fraction string for value multiplied by each positive integer factor whose applied flag is false. Empty history preserves value.","evaluation_group":"model-ffb20ff46879d272","failed_approach":"Skipping all factors when any one is applied loses remaining manual factors.","family":"z-laboratory_units-pending-dilution","id":"FA-12391","implementations":{"attempt":{"sha256":"2e27a62a42db535bec86a975f6643d93d8880a082dc27ea712b31132b4179255","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(value, steps):\n    return str(Fraction(value) if any(applied for f, applied in steps) else Fraction(value) * math.prod(f for f, applied in steps))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('mixed instrument and manual steps', solve(N, [(2, True), (3, False)]), str(3*N))\ncheck('only applied', solve(N, [(5, True)]), str(N))\ncheck('only pending', solve(N, [(5, False)]), str(5*N))\ncheck('serial pending', solve(N, [(2, False), (3, False)]), str(6*N))\ncheck('no history', solve(N, []), str(N))\ncheck('zero concentration', solve(0, [(2, True), (3, False)]), '0')\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"e33777f87164765b6cdaa3db8ee4427506ae0f24b115ffd47bcadab6fa32a6c8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(value, steps):\n    return str(Fraction(value) * math.prod(f for f, applied in steps))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('mixed instrument and manual steps', solve(N, [(2, True), (3, False)]), str(3*N))\ncheck('only applied', solve(N, [(5, True)]), str(N))\ncheck('only pending', solve(N, [(5, False)]), str(5*N))\ncheck('serial pending', solve(N, [(2, False), (3, False)]), str(6*N))\ncheck('no history', solve(N, []), str(N))\ncheck('zero concentration', solve(0, [(2, True), (3, False)]), '0')\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"53884f80e1ee0e2b6527bee85ba37191229ecc9df3195c0be783b80b27debc60","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(value, steps):\n    return str(Fraction(value) * math.prod(f for f, applied in steps if not applied))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('mixed instrument and manual steps', solve(N, [(2, True), (3, False)]), str(3*N))\ncheck('only applied', solve(N, [(5, True)]), str(N))\ncheck('only pending', solve(N, [(5, False)]), str(5*N))\ncheck('serial pending', solve(N, [(2, False), (3, False)]), str(6*N))\ncheck('no history', solve(N, []), str(N))\ncheck('zero concentration', solve(0, [(2, True), (3, False)]), '0')\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Synthetic integer/rational fixtures only; no instrument validation or clinical interpretation. 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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"z-laboratory_units-pending-dilution","generated_at":"2026-09-29T14:38:56.468896+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic synthetic laboratory reporting model isolates a software metadata contract; it is not a clinical procedure.","repair":"Multiply only factors not yet applied to the incoming result.","root_cause":"A report uses every recorded dilution factor without respecting instrument-applied flags.","sha256":"4d37ad62c2a304ea8e6203c7ade1eae551dfa773973978446a485571e315e2e7","title":"Already-applied dilution steps are multiplied again · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.68,"exit_code":1,"observations":[{"actual":"1","check":"mixed instrument and manual steps","expected":"3","passed":false},{"actual":"1","check":"only applied","expected":"1","passed":true},{"actual":"5","check":"only pending","expected":"5","passed":true},{"actual":"6","check":"serial pending","expected":"6","passed":true},{"actual":"1","check":"no history","expected":"1","passed":true},{"actual":"0","check":"zero concentration","expected":"0","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mixed instrument and manual steps\", \"actual\": \"1\", \"expected\": \"3\", \"passed\": false}, {\"check\": \"only applied\", \"actual\": \"1\", \"expected\": \"1\", \"passed\": true}, {\"check\": \"only pending\", \"actual\": \"5\", \"expected\": \"5\", \"passed\": true}, {\"check\": \"serial pending\", \"actual\": \"6\", \"expected\": \"6\", \"passed\": true}, {\"check\": \"no history\", \"actual\": \"1\", \"expected\": \"1\", \"passed\": true}, {\"check\": \"zero concentration\", \"actual\": \"0\", \"expected\": \"0\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.207,"exit_code":1,"observations":[{"actual":"6","check":"mixed instrument and manual steps","expected":"3","passed":false},{"actual":"5","check":"only applied","expected":"1","passed":false},{"actual":"5","check":"only pending","expected":"5","passed":true},{"actual":"6","check":"serial pending","expected":"6","passed":true},{"actual":"1","check":"no history","expected":"1","passed":true},{"actual":"0","check":"zero concentration","expected":"0","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mixed instrument and manual steps\", \"actual\": \"6\", \"expected\": \"3\", \"passed\": false}, {\"check\": \"only applied\", \"actual\": \"5\", \"expected\": \"1\", \"passed\": false}, {\"check\": \"only pending\", \"actual\": \"5\", \"expected\": \"5\", \"passed\": true}, {\"check\": \"serial pending\", \"actual\": \"6\", \"expected\": \"6\", \"passed\": true}, {\"check\": \"no history\", \"actual\": \"1\", \"expected\": \"1\", \"passed\": true}, {\"check\": \"zero concentration\", \"actual\": \"0\", \"expected\": \"0\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.475,"exit_code":0,"observations":[{"actual":"3","check":"mixed instrument and manual steps","expected":"3","passed":true},{"actual":"1","check":"only applied","expected":"1","passed":true},{"actual":"5","check":"only pending","expected":"5","passed":true},{"actual":"6","check":"serial pending","expected":"6","passed":true},{"actual":"1","check":"no history","expected":"1","passed":true},{"actual":"0","check":"zero concentration","expected":"0","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mixed instrument and manual steps\", \"actual\": \"3\", \"expected\": \"3\", \"passed\": true}, {\"check\": \"only applied\", \"actual\": \"1\", \"expected\": \"1\", \"passed\": true}, {\"check\": \"only pending\", \"actual\": \"5\", \"expected\": \"5\", \"passed\": true}, {\"check\": \"serial pending\", \"actual\": \"6\", \"expected\": \"6\", \"passed\": true}, {\"check\": \"no history\", \"actual\": \"1\", \"expected\": \"1\", \"passed\": true}, {\"check\": \"zero concentration\", \"actual\": \"0\", \"expected\": \"0\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}