"""Independently validate a single wheel trial from native input/choice records."""
import math
import re
from ordinary_gate_choices import join_choice_snapshots,exact_prison_choices
from ordinary_gate_evidence import validate_gate_geometry
from prison_alignment_evidence import validate_facing_evidence
from prison_approach_evidence import need,number,neutral,yaw,angle,horizontal


def validate_selection_evidence(content,nonce,look_proof,approach_proof,facing_proof,proof,*,facing_profile="standard"):
    result={'verified':False,'errors':[],'scope':'one guarded private wheel pair and native selection of the original prison lock after verified approach/facing; no F hold, unlock, exit or multiplayer qualification','held_action_verified':False,'escape_verified':False}
    try:
        facing=validate_facing_evidence(content,nonce,look_proof,approach_proof,facing_proof,profile=facing_profile)
        need(facing['verified'],'independent native facing prerequisite failed: '+str(facing['errors']))
        need(type(proof) is dict and proof.get('requested') is True and proof.get('completed') is True and proof.get('nonce')==nonce and not proof.get('error') and not proof.get('events') and not proof.get('motions'),'selection did not complete under exact nonce without extra input')
        need(set(proof)=={'requested','completed','nonce','geometry','started_monotonic','finished_monotonic','deadline_monotonic','initial_sample','final_sample','selection_samples','actions','wheel','samples'},'unexpected selection proof fields or extra input')
        start=number(proof['started_monotonic']);finish=number(proof['finished_monotonic']);deadline=number(proof['deadline_monotonic'])
        need(facing_proof['finished_monotonic']<=start<finish<=deadline==facing_proof['deadline_monotonic'],'selection renewed or exceeded original facing deadline')
        need(proof['geometry']==facing_proof['geometry'] and proof['actions']==facing_proof['actions'],'selection geometry/actions differ from original facing')
        data=join_choice_snapshots(content,nonce);samples=data['snapshots'];anchor=facing['last_sample'];first=proof['initial_sample'];last=proof['final_sample']
        need(type(first) is int and type(last) is int and anchor<=first<last and first in samples and last in samples,'invalid selection native references')
        geometry=validate_gate_geometry(content,nonce,anchor,last);need(geometry['verified'],'selection gate geometry changed: '+str(geometry['errors']))
        refs=proof['samples'];need(type(refs) is list and 2<=len(refs)<=450,'bounded selection receipts missing')
        ids=[r['sample'] for r in refs];need(all(type(i) is int for i in ids) and ids==list(range(first,last+1)),'selection receipts missing, repeated or reversed')
        receipts={};prior=0
        for r in refs:
            i=r['sample'];received=number(r['received_monotonic'])
            need(type(r['real_ms']) is int and r['real_ms']==samples[i]['real_ms'] and prior<=received<=finish,'selection native/receipt clocks disagree')
            receipts[i]=received;prior=received
        need(0<=finish-receipts[last]<=.5,'final selection observation stale')
        wheel=proof['wheel'];need(type(wheel) is dict and set(wheel)=={'button','attempted_monotonic','after_sample','confirmed','down_monotonic','up_monotonic','released'} and type(wheel['button']) is int and wheel['button']==5 and wheel['confirmed'] is True and wheel['released'] is True,'expected one confirmed wheel5 pair')
        attempted=number(wheel['attempted_monotonic']);down=number(wheel['down_monotonic']);up=number(wheel['up_monotonic']);before=wheel['after_sample']
        need(start<=attempted<=down<up<finish<=deadline and up-attempted<=1.5 and finish-up<=1.5 and deadline-attempted>=1.5,'wheel request/release/acknowledgement outside original bounds')
        need(type(before) is int and first<=before<last and before in receipts and receipts[before]<=attempted and down-receipts[before]<=.5,'wheel proposal lacks fresh pre-input native sample')
        queued=re.findall(r'ERR INPUT OBSERVE: run='+re.escape(nonce)+r' sample=0 real=(\d+) world=[^ ]+ QUEUED(?:\r?$)',content,re.MULTILINE)
        need(len(queued)==1,'original native queued clock missing');queued=int(queued[0])
        body=samples[anchor]['input']['origin'];view=yaw(samples[anchor]['look']['direction']);actions=facing_proof['actions'];acquired=None;previous=None
        for i in range(anchor,last+1):
            need(i in samples,'missing native handoff/selection sample');s=samples[i];a=s['action'];g=s['geometry'];c=exact_prison_choices(s)
            need(queued<=s['real_ms']<queued+45000 and neutral(s) and math.dist(body,s['input']['origin'])<=.05,'selection body/input/lifetime changed')
            need(a['phase']==1 and a['pressed']==0 and a['progress']==0 and not a['performing'] and g['door_state']==0 and g['door_control']==0,'selection-only stage operated gate/action')
            eye=s['look']['camera'];handle=g['context'];need(.25<=horizontal(eye,handle)<=5,'selection bearing degenerate')
            bearing=math.degrees(math.atan2(handle[0]-eye[0],handle[2]-eye[2]));heading=yaw(s['look']['direction'])
            need(abs(angle(bearing,heading))<=3 and abs(angle(heading,view))<=.2,'view changed during wheel-only selection')
            need(c['actions']==actions and a['context_selected'] and a['cached_performable'] and a['progress_bound'] is a['selected'],'original action list or native binding changed')
            chosen=actions[1 if a['selected'] else 0]
            need(c['selected_id']==chosen['id'] and c['selected_class']==chosen['class'],'native action class/ID disagrees')
            if a['selected']:
                need(i>before and i in receipts and receipts[i]>=down,'lock selected before wheel request')
                if acquired is None:acquired=i
            else:need(acquired is None,'native lock selection dropped after acknowledgement')
            if previous is not None:need(0<s['real_ms']-previous<=500,'selection native sample gap')
            previous=s['real_ms']
        pair=proof['selection_samples'];need(type(pair) is list and len(pair)==2 and all(type(i) is int for i in pair) and before<pair[0] and pair[1]==pair[0]+1 and pair[1]==last,'native selection lacks consecutive references')
        one,two=(samples[i] for i in pair)
        need(acquired is not None and acquired<=pair[0] and 100<=two['real_ms']-one['real_ms']<=500 and abs(angle(yaw(two['look']['direction']),yaw(one['look']['direction'])))<=.2,'selected view did not settle')
        result.update(verified=True,first_sample=first,last_sample=last,selection_samples=pair,selected_action_id=actions[1]['id'],wheel_button=5,native_duration_ms=samples[last]['real_ms']-samples[first]['real_ms'])
    except (ValueError,KeyError,TypeError,OverflowError,IndexError) as error:
        result['errors'].append(str(error))
    return result