{"abstract":"Independent feeder peaks inflate the site demand register.","category":"Power metering accounting","checks":6,"contract":"Rows contain simultaneous nonnegative demand from each feeder for equal intervals. Return the maximum site sum over rows, or zero for no intervals. Rows are rectangular and nonempty.","evaluation_group":"model-ba555f1dc540e07c","failed_approach":"Taking the largest feeder reading avoids that sum but omits simultaneous demand from other feeders.","family":"z-power_metering-coincident-demand","id":"FA-12266","implementations":{"attempt":{"sha256":"bd221f5b499fae1f6801751e737baea03fcab732607c31b9b2691a31afe14541","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rows):\n    return max((max(row) for row in rows),default=0)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('noncoincident peaks', solve([[5*N,N],[N,5*N]]),6*N)\ncheck('coincident loads', solve([[3*N,4*N]]),7*N)\ncheck('one feeder', solve([[N],[2*N]]),2*N)\ncheck('idle site', solve([[0,0]]),0)\ncheck('no intervals', solve([]),0)\ncheck('smaller feeders together beat peak', solve([[5*N,0],[3*N,3*N]]),6*N)\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":"d2ab9e44b579654311110f282c728dfeaf640899a8d9a3d8615aa1d703367e0a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rows):\n    return sum(max(col) for col in zip(*rows)) if rows else 0\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('noncoincident peaks', solve([[5*N,N],[N,5*N]]),6*N)\ncheck('coincident loads', solve([[3*N,4*N]]),7*N)\ncheck('one feeder', solve([[N],[2*N]]),2*N)\ncheck('idle site', solve([[0,0]]),0)\ncheck('no intervals', solve([]),0)\ncheck('smaller feeders together beat peak', solve([[5*N,0],[3*N,3*N]]),6*N)\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":"7c94ea14134146d042653c660e0eb9cfdd0733e326339fd210601099f22ae367","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rows):\n    return max((sum(row) for row in rows),default=0)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('noncoincident peaks', solve([[5*N,N],[N,5*N]]),6*N)\ncheck('coincident loads', solve([[3*N,4*N]]),7*N)\ncheck('one feeder', solve([[N],[2*N]]),2*N)\ncheck('idle site', solve([[0,0]]),0)\ncheck('no intervals', solve([]),0)\ncheck('smaller feeders together beat peak', solve([[5*N,0],[3*N,3*N]]),6*N)\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-coincident-demand","generated_at":"2026-09-29T14:38:55.396120+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":"Sum synchronized feeder readings per interval before finding the maximum.","root_cause":"The sum of each feeder maximum combines peaks that occurred at different times.","sha256":"dc8005964187ca4d717f699a8ea3f191bdccb33a5362f464888a94e115e68ba2","title":"Independent feeder peaks inflate the site demand register · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.991,"exit_code":1,"observations":[{"actual":5,"check":"noncoincident peaks","expected":6,"passed":false},{"actual":4,"check":"coincident loads","expected":7,"passed":false},{"actual":2,"check":"one feeder","expected":2,"passed":true},{"actual":0,"check":"idle site","expected":0,"passed":true},{"actual":0,"check":"no intervals","expected":0,"passed":true},{"actual":5,"check":"smaller feeders together beat peak","expected":6,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"noncoincident peaks\", \"actual\": 5, \"expected\": 6, \"passed\": false}, {\"check\": \"coincident loads\", \"actual\": 4, \"expected\": 7, \"passed\": false}, {\"check\": \"one feeder\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"idle site\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"no intervals\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"smaller feeders together beat peak\", \"actual\": 5, \"expected\": 6, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.911,"exit_code":1,"observations":[{"actual":10,"check":"noncoincident peaks","expected":6,"passed":false},{"actual":7,"check":"coincident loads","expected":7,"passed":true},{"actual":2,"check":"one feeder","expected":2,"passed":true},{"actual":0,"check":"idle site","expected":0,"passed":true},{"actual":0,"check":"no intervals","expected":0,"passed":true},{"actual":8,"check":"smaller feeders together beat peak","expected":6,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"noncoincident peaks\", \"actual\": 10, \"expected\": 6, \"passed\": false}, {\"check\": \"coincident loads\", \"actual\": 7, \"expected\": 7, \"passed\": true}, {\"check\": \"one feeder\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"idle site\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"no intervals\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"smaller feeders together beat peak\", \"actual\": 8, \"expected\": 6, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.026,"exit_code":0,"observations":[{"actual":6,"check":"noncoincident peaks","expected":6,"passed":true},{"actual":7,"check":"coincident loads","expected":7,"passed":true},{"actual":2,"check":"one feeder","expected":2,"passed":true},{"actual":0,"check":"idle site","expected":0,"passed":true},{"actual":0,"check":"no intervals","expected":0,"passed":true},{"actual":6,"check":"smaller feeders together beat peak","expected":6,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"noncoincident peaks\", \"actual\": 6, \"expected\": 6, \"passed\": true}, {\"check\": \"coincident loads\", \"actual\": 7, \"expected\": 7, \"passed\": true}, {\"check\": \"one feeder\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"idle site\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"no intervals\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"smaller feeders together beat peak\", \"actual\": 6, \"expected\": 6, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}