"""Check the advanced original-game observations; keep controlled preconditions explicit."""from pathlib import Pathimport jsonroot=Path('/workspace/analysis')rules=[]def load(name):return json.loads((root/f'runs/{name}/results.json').read_text())def check(name,ok,description,scenario): if not ok:raise AssertionError(name) rules.append({'id':name,'verified':True,'description':description, 'evidence':f'runs/{scenario}/results.json'})for trained in (0,1): name=f'weapon-34-training-{trained}';d=load(name);r=d['results'] check(name,r[1]['combat_bytes'][12]==31 and r[1]['used_item']==34 and r[-1]['combat_bytes'][12]==0 and r[-1]['room_record'][6]==0 and r[-1]['held']==34 and r[-1]['state']==0, 'Controlled shot with item 34: original aiming followed by COPY defeats a 31-HP enemy; weapon remains held. Enemy introduced with its original observed HP/strength at the weapon check. This does not establish an ammunition rule or quantify training benefit.',name)d=load('cupboard-torch');r=d['results']check('find-torch',not d['additional_pokes'] and r[1]['room_record'][39]==26 and r[2]['inventory'][0]==43, 'Open cupboard 13->26 in room 38, take first contents via the original menu: item 43. Only starting position is controlled.','cupboard-torch')for gloves in (0,1): name=f'electricity-gloves-{gloves}';r={v['label']:v for v in load(name)['results']} ok=r['without-fuse']['electricity_flag']==0 and r['fuse-installed']['quest_storage'][3]==(51 if gloves else 0) ok=ok and r['fuse-installed']['gauges_F_H_S']==([70,80,80] if gloves else [50,70,80]) ok=ok and r['electricity-on']['electricity_flag']==gloves and r['electricity-off']['electricity_flag']==0 check(name,ok,'Provided fuse, box and switch. Without active gloves: F-20/H-10 and installation fails. With item 45 active: fuse installed, switch 62->67 enables electricity, 67->62 disables it.',name)for fuel in (0,1): name=f'helicopter-fuel-{fuel}';r=load(name)['results'] check(name,r[1]['held']==47 and r[2]['room_record'][23]==17 and r[3]['state_aux']==90 and r[4]['room_record'][32]==69 and ((r[-1]['program_counter']=='0x8553')==bool(fuel)), 'Alexandre uses his initial key: open helicopter door, enter cockpit, insert key. Departure fails with tank=0; tank=1 reaches victory. Positive tank=1 is an injected precondition in this pair.',name)name='fuel-chain-controlled';d=load(name);r={v['label']:v for v in d['results']}check('fuel-full-chain',r['initial']['fuel_can']==0 and r['initial']['fuel_tank']==0 and r['can-filled']['fuel_can']==1 and r['tank-filled']['fuel_can']==0 and r['tank-filled']['fuel_tank']==1 and r['departure']['program_counter']=='0x8553' and all(':6710=' not in p and ':6711=' not in p for p in d['additional_pokes']), 'Tool 42, empty can 52 and source fitting 5 explicitly provided. Open source, use tool to fill can, close source, open tank, transfer fuel, select Alexandre, enter and start helicopter: victory without patching either fuel flag.',name)name='global-defeat';r=load(name)['results']check(name,r[0]['party'][3]['state']==0 and r[-1]['program_counter']=='0x851f', 'Three survivors preset unavailable (FFh); final survivor loses original fight with untouched health. All four states >=20h leads to the global defeat screen.',name)(root/'extracted/quest-rules.json').write_text(json.dumps({'scope':'Controlled original observations, not a completed natural walkthrough','rules':rules},indent=2))print(len(rules),'advanced behavior checks passed')