{"abstract":"A missing interval is reported as measured zero consumption.","category":"Power metering accounting","checks":6,"contract":"Rows [quality, energy] use actual or missing. Missing energy is None. Return [sum of actual energy, complete], where complete is true exactly when no missing interval exists. A measured zero is valid.","evaluation_group":"model-a0f80df51bec0001","failed_approach":"Truthiness detects missing readings but also marks legitimate measured zeros incomplete.","family":"z-power_metering-quality-zero","id":"FA-12261","implementations":{"attempt":{"sha256":"4a4066bbd04764603f719d10a7b16e5443ae9859c24adf6cf9f57716dcd499da","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rows):\n    return [sum(e or 0 for q,e in rows),all(e for q,e in rows)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('missing alongside actual', solve([['actual',N],['missing',None]]),[N,False])\ncheck('measured zero', solve([['actual',0]]),[0,True])\ncheck('all missing', solve([['missing',None]]),[0,False])\ncheck('ordinary actual', solve([['actual',N]]),[N,True])\ncheck('zero mixed with energy', solve([['actual',0],['actual',N]]),[N,True])\ncheck('empty complete by convention', solve([]),[0,True])\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":"e68a2c2f525ca7a3bc98d967dde3e43174e5a6342865c0b9c499b6d8d106ce95","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rows):\n    return [sum(e or 0 for q,e in rows),True]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('missing alongside actual', solve([['actual',N],['missing',None]]),[N,False])\ncheck('measured zero', solve([['actual',0]]),[0,True])\ncheck('all missing', solve([['missing',None]]),[0,False])\ncheck('ordinary actual', solve([['actual',N]]),[N,True])\ncheck('zero mixed with energy', solve([['actual',0],['actual',N]]),[N,True])\ncheck('empty complete by convention', solve([]),[0,True])\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":"00966c5b474cd431dff70fce387b79c7ecd360edd949c599f385f76f299636d3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rows):\n    return [sum(e for q,e in rows if q==\"actual\"),all(q==\"actual\" for q,e in rows)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('missing alongside actual', solve([['actual',N],['missing',None]]),[N,False])\ncheck('measured zero', solve([['actual',0]]),[0,True])\ncheck('all missing', solve([['missing',None]]),[0,False])\ncheck('ordinary actual', solve([['actual',N]]),[N,True])\ncheck('zero mixed with energy', solve([['actual',0],['actual',N]]),[N,True])\ncheck('empty complete by convention', solve([]),[0,True])\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":"Simplified integer-energy accounting model; no hardware protocol, legal tariff, measurement uncertainty, or live grid behavior is represented. 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-power_metering-quality-zero","generated_at":"2026-09-29T14:38:55.347538+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Meter settlement depends on explicit register and tariff policies; this controlled model makes that policy observable.","repair":"Determine completeness from the quality flag, independently of the measured magnitude.","root_cause":"Missing readings are silently filled with zero and reported complete.","sha256":"d0802ebbad78d12457a01473040354ca387011e448a6bceb32bc717d027efaf9","title":"A missing interval is reported as measured zero consumption · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.242,"exit_code":1,"observations":[{"actual":[1,false],"check":"missing alongside actual","expected":[1,false],"passed":true},{"actual":[0,false],"check":"measured zero","expected":[0,true],"passed":false},{"actual":[0,false],"check":"all missing","expected":[0,false],"passed":true},{"actual":[1,true],"check":"ordinary actual","expected":[1,true],"passed":true},{"actual":[1,false],"check":"zero mixed with energy","expected":[1,true],"passed":false},{"actual":[0,true],"check":"empty complete by convention","expected":[0,true],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"missing alongside actual\", \"actual\": [1, false], \"expected\": [1, false], \"passed\": true}, {\"check\": \"measured zero\", \"actual\": [0, false], \"expected\": [0, true], \"passed\": false}, {\"check\": \"all missing\", \"actual\": [0, false], \"expected\": [0, false], \"passed\": true}, {\"check\": \"ordinary actual\", \"actual\": [1, true], \"expected\": [1, true], \"passed\": true}, {\"check\": \"zero mixed with energy\", \"actual\": [1, false], \"expected\": [1, true], \"passed\": false}, {\"check\": \"empty complete by convention\", \"actual\": [0, true], \"expected\": [0, true], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.746,"exit_code":1,"observations":[{"actual":[1,true],"check":"missing alongside actual","expected":[1,false],"passed":false},{"actual":[0,true],"check":"measured zero","expected":[0,true],"passed":true},{"actual":[0,true],"check":"all missing","expected":[0,false],"passed":false},{"actual":[1,true],"check":"ordinary actual","expected":[1,true],"passed":true},{"actual":[1,true],"check":"zero mixed with energy","expected":[1,true],"passed":true},{"actual":[0,true],"check":"empty complete by convention","expected":[0,true],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"missing alongside actual\", \"actual\": [1, true], \"expected\": [1, false], \"passed\": false}, {\"check\": \"measured zero\", \"actual\": [0, true], \"expected\": [0, true], \"passed\": true}, {\"check\": \"all missing\", \"actual\": [0, true], \"expected\": [0, false], \"passed\": false}, {\"check\": \"ordinary actual\", \"actual\": [1, true], \"expected\": [1, true], \"passed\": true}, {\"check\": \"zero mixed with energy\", \"actual\": [1, true], \"expected\": [1, true], \"passed\": true}, {\"check\": \"empty complete by convention\", \"actual\": [0, true], \"expected\": [0, true], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.284,"exit_code":0,"observations":[{"actual":[1,false],"check":"missing alongside actual","expected":[1,false],"passed":true},{"actual":[0,true],"check":"measured zero","expected":[0,true],"passed":true},{"actual":[0,false],"check":"all missing","expected":[0,false],"passed":true},{"actual":[1,true],"check":"ordinary actual","expected":[1,true],"passed":true},{"actual":[1,true],"check":"zero mixed with energy","expected":[1,true],"passed":true},{"actual":[0,true],"check":"empty complete by convention","expected":[0,true],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"missing alongside actual\", \"actual\": [1, false], \"expected\": [1, false], \"passed\": true}, {\"check\": \"measured zero\", \"actual\": [0, true], \"expected\": [0, true], \"passed\": true}, {\"check\": \"all missing\", \"actual\": [0, false], \"expected\": [0, false], \"passed\": true}, {\"check\": \"ordinary actual\", \"actual\": [1, true], \"expected\": [1, true], \"passed\": true}, {\"check\": \"zero mixed with energy\", \"actual\": [1, true], \"expected\": [1, true], \"passed\": true}, {\"check\": \"empty complete by convention\", \"actual\": [0, true], \"expected\": [0, true], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}