원문 필드 없이 구조만 묶는 합성 오류 보고서

"""Strict structural synthetic reports, not arbitrary-log redaction or repair."""
from copy import deepcopy

STAGES={'lookup':'resolve_target','prepare':'prepare_input','dispatch':'send_native_input','verify':'verify_input'}
CODES={'TARGET_MISSING','INPUT_UNSUPPORTED','TARGET_COVERED','DOCUMENT_CHANGED','OUTCOME_UNKNOWN','INPUT_MISMATCH','CONTEXT_LIMIT'}
NODE_KEYS={'tag','editable','width','height','label_present','sensitive','parents'}


def exact(value,keys):
    if type(value) is not dict or set(value)!=set(keys):raise ValueError('EXACT_STRUCTURAL_FIELDS_REQUIRED')


def boolean(value):
    if type(value) is not bool:raise ValueError('BOOLEAN_REQUIRED')
    return value


def dimension(value):
    if type(value) is not int or not 0<=value<=32768:raise ValueError('DIMENSION_INVALID')
    return min(4096,((value+4)//8)*8)


def node(raw):
    exact(raw,NODE_KEYS)
    if raw['tag'] not in ('input','textarea','div','select','button'):raise ValueError('TAG_NOT_ALLOWED')
    for key in ('editable','label_present','sensitive'):boolean(raw[key])
    width,height=dimension(raw['width']),dimension(raw['height'])
    parents=raw['parents']
    if type(parents) is not list or len(parents)>6:raise ValueError('PARENT_LIMIT')
    clean=[]
    for p in parents:
        exact(p,{'visible','hidden','inert'})
        clean.append({k:boolean(p[k]) for k in ('visible','hidden','inert')})
    if raw['sensitive']:return None
    return {'tag':raw['tag'],'editable':raw['editable'],'width':width,'height':height,
            'label_present':raw['label_present'],'parents':clean}


def report(raw):
    exact(raw,{'stage','code','function','outcome_uncertain','nodes'})
    stage=raw['stage']
    if type(stage) is not str or stage not in STAGES or raw['function']!=STAGES[stage]:raise ValueError('STAGE_FUNCTION_INVALID')
    if type(raw['code']) is not str or raw['code'] not in CODES:raise ValueError('ERROR_CODE_NOT_ALLOWED')
    boolean(raw['outcome_uncertain'])
    if type(raw['nodes']) is not list or len(raw['nodes'])>8:raise ValueError('NODE_LIMIT')
    converted=[node(n) for n in raw['nodes']]
    return {'stage':stage,'code':raw['code'],'function':raw['function'],'outcome_uncertain':raw['outcome_uncertain'],
            'nodes':[n for n in converted if n is not None],'excluded_sensitive_nodes':sum(n is None for n in converted),
            'automatic_replay':False,'source_fix_verified':False}


def bundle(events):
    if type(events) is not list or not 1<=len(events)<=20:raise ValueError('EVENT_LIMIT')
    reports=[report(e) for e in events]
    return {'version':1,'reports':deepcopy(reports),'events':len(reports),
            'stage_counts':{s:sum(r['stage']==s for r in reports) for s in STAGES},
            'safe_to_publish_verified':False,'scope_identity_authenticated':False,
            'automatic_replay':False,'arbitrary_log_redaction':False}