"""合成离线样本检查。与同名 JSON 及文中列出的附件放在同一目录运行。"""
from pathlib import Path, PurePosixPath
import base64, hashlib, io, inspect, json, math, re, subprocess, sys, tempfile, wave, zipfile
from collections import Counter, defaultdict
from datetime import date, datetime
from decimal import Decimal
sys.dont_write_bytecode=True

def sha(b): return hashlib.sha256(b).hexdigest()
def rejected(fn):
    try: fn()
    except (ValueError,TypeError,KeyError,UnicodeError,OverflowError): return True
    return False

def git(root,*args,input=None,check=True):
    r=subprocess.run(['git','-c','core.autocrlf=false',*args],cwd=root,input=input,capture_output=True,check=check)
    return r

def verify(d,base):
    def mapping(rows):
        out={}
        for r in rows:
            if r['id'] in out:raise ValueError('重复 ID')
            if type(r['pass']) is not bool:raise ValueError('状态不是布尔')
            out[r['id']]=r['pass']
        return out
    old=mapping(d['old']);new=mapping(d['new']);assert set(old)==set(new)
    counts=Counter();regressions=[]
    for key,a in old.items():
        b=new[key];counts[('pass' if a else 'fail')+'_'+('pass' if b else 'fail')]+=1
        if a and not b:regressions.append(key)
    assert dict(counts)==d['expected_counts'];assert regressions==['甲'];assert sum(old.values())==sum(new.values())==3
    missing=sorted(set(old)-set(mapping(d['new'][:-1])));assert missing==['戊']
    assert rejected(lambda:mapping(d['old']+[d['old'][0]]))
    return {'transition_counts':dict(counts),'regressions':regressions,'missing_separate':missing,'equal_total_pass':3}

if __name__=='__main__':
    base=Path(__file__).resolve().parent
    data=json.loads((base/'a036.json').read_text('utf-8'))
    result=verify(data,base)
    print(json.dumps({'id':'A036','passed':True,'result':result},ensure_ascii=True))