{"abstract":"The calendar year is used after a non-January fiscal boundary.","category":"Calendar arithmetic","checks":4,"contract":"Valid ISO Gregorian dates in years 1 through 9999; generated dates must remain in that range. Month is 1 through 12 and zero-based weekday is Monday 0 through Sunday 6 unless the output convention says otherwise. Label a fiscal year by the calendar year of its final month; a January start retains the calendar year. Exact operational definition: year + int(start!=1 and month>=start)","contract_signature":"year, month, start","evaluation_group":"model-01652698f1307a51","failed_approach":"A January-start fiscal year is incorrectly advanced.","family":"xn-fiscal-year-label-ending-year","id":"FA-6516","implementations":{"attempt":{"sha256":"2f2f3e67c6c9457b55d0fffca28b95cf9c9d8c5444c220911ef8f078f889d03d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport calendar\nimport statistics\nimport itertools\nfrom fractions import Fraction\nfrom datetime import date, datetime, timedelta, timezone\nfrom decimal import Decimal, ROUND_HALF_UP, ROUND_DOWN, ROUND_CEILING, ROUND_FLOOR\n\nN = 1\nobservations = []\ndef solve(year, month, start):\n    return year + int(month>=start)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1: (2024, 10, 10)', solve(*(2024, 10, 10)), 2025)\ncheck('fixture 2: (2024, 9, 10)', solve(*(2024, 9, 10)), 2024)\ncheck('fixture 3: (2024, 1, 1)', solve(*(2024, 1, 1)), 2024)\ncheck('fixture 4: (2024, 4, 4)', solve(*(2024, 4, 4)), 2025)\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":"46488ad25fcfae87fa65f7810ef2b67bc0d090c44840ea92389410eb734e4aa9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport calendar\nimport statistics\nimport itertools\nfrom fractions import Fraction\nfrom datetime import date, datetime, timedelta, timezone\nfrom decimal import Decimal, ROUND_HALF_UP, ROUND_DOWN, ROUND_CEILING, ROUND_FLOOR\n\nN = 1\nobservations = []\ndef solve(year, month, start):\n    return year\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1: (2024, 10, 10)', solve(*(2024, 10, 10)), 2025)\ncheck('fixture 2: (2024, 9, 10)', solve(*(2024, 9, 10)), 2024)\ncheck('fixture 3: (2024, 1, 1)', solve(*(2024, 1, 1)), 2024)\ncheck('fixture 4: (2024, 4, 4)', solve(*(2024, 4, 4)), 2025)\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":" 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":"xn-fiscal-year-label-ending-year","generated_at":"2026-09-29T14:38:02.760086+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Small exact fixtures expose this error without platform timing, external services, or probabilistic observations. Calendar conventions results depend on the stated convention.","root_cause":"The calendar year is used after a non-January fiscal boundary.","sha256":"3492d6904689ec9976dc27d9fa7ba8745ddda12392f0b6a727bd74061de34a76","title":"Fiscal year label ending year · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.26,"exit_code":1,"observations":[{"actual":2025,"check":"fixture 1: (2024, 10, 10)","expected":2025,"passed":true},{"actual":2024,"check":"fixture 2: (2024, 9, 10)","expected":2024,"passed":true},{"actual":2025,"check":"fixture 3: (2024, 1, 1)","expected":2024,"passed":false},{"actual":2025,"check":"fixture 4: (2024, 4, 4)","expected":2025,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1: (2024, 10, 10)\", \"actual\": 2025, \"expected\": 2025, \"passed\": true}, {\"check\": \"fixture 2: (2024, 9, 10)\", \"actual\": 2024, \"expected\": 2024, \"passed\": true}, {\"check\": \"fixture 3: (2024, 1, 1)\", \"actual\": 2025, \"expected\": 2024, \"passed\": false}, {\"check\": \"fixture 4: (2024, 4, 4)\", \"actual\": 2025, \"expected\": 2025, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.789,"exit_code":1,"observations":[{"actual":2024,"check":"fixture 1: (2024, 10, 10)","expected":2025,"passed":false},{"actual":2024,"check":"fixture 2: (2024, 9, 10)","expected":2024,"passed":true},{"actual":2024,"check":"fixture 3: (2024, 1, 1)","expected":2024,"passed":true},{"actual":2024,"check":"fixture 4: (2024, 4, 4)","expected":2025,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1: (2024, 10, 10)\", \"actual\": 2024, \"expected\": 2025, \"passed\": false}, {\"check\": \"fixture 2: (2024, 9, 10)\", \"actual\": 2024, \"expected\": 2024, \"passed\": true}, {\"check\": \"fixture 3: (2024, 1, 1)\", \"actual\": 2024, \"expected\": 2024, \"passed\": true}, {\"check\": \"fixture 4: (2024, 4, 4)\", \"actual\": 2024, \"expected\": 2025, \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}