"""Verify native storage/portable-container rules from controlled captures."""from pathlib import Pathimport jsonroot=Path('/workspace/analysis');checks=[]def check(label,ok): assert ok,label checks.append(label)cases=('put-cupboard','put-body','full-cupboard','full-body','nested-cupboard','nested-body','roundtrip-cupboard','roundtrip-body','drink','food','duplicate-bag','duplicate-held','guard0','guard1-held','guard1-bag','guard2','guard2-bag','take-portable27','take-portable28')for case in cases: d=json.loads((root/f'runs/storage-{case}/storage.json').read_text());a=d['states'][0];b=next(x for x in d['states'] if x['label']=='after') check(case+' preserves nested identity contents',a['body30']==b['body30']) check(case+' preserves unused portable contents',a['portable27']==b['portable27'] and a['portable28']==b['portable28']) if case.startswith('guard'): allowed=case.startswith('guard2');check(case+' object selector guard',d['enteredTake']==allowed) items=a['items'][:] if allowed:items[items.index(0)]=29 check(case+' inventory result',b['items']==items) check(case+' body contents retained',a['body29']==b['body29']) check(case+' body markers removed only on success',(29 in b['cells'])!=allowed) elif case.startswith('take-portable'): item=int(case[-2:]);check(case+' identity picked up',b['items']==[43,item,0,0,0]);check(case+' markers cleared',item not in b['cells']) elif case in ('full-cupboard','full-body','drink','food'): check(case+' rejected without mutation',a|{'label':'after'}==b) else: field='body29' if 'body' in case else 'cup';item=30 if case.startswith(('nested','roundtrip')) else 43 slots=a[field][:];slots[slots.index(0)]=item check(case+' fills first empty slot',b[field]==slots) items=a['items'][:];items[items.index(item)]=0 check(case+' removes first bag match',b['items']==items) check(case+' active item cleared by value',b['used']==(0 if item==a['used'] else a['used'])) if case.startswith('roundtrip'): c=d['states'][-1];check(case+' identity retrieved',c['items'][0]==30) check(case+' source emptied',c[field]==a[field]);check(case+' nested contents still retained',c['body30']==a['body30'])(root/'extracted/storage-rules.json').write_text(json.dumps({'checks':checks},indent=2))print(str(len(checks))+' native storage checks passed')