"""State-confusion probe: duplicate devid across HDCP slots + asymmetric ASD teardown.

open devid=D twice (slots A,B), free A (tears down ASD state for D via 0x189/0x160),
then drive slot B (still active=1, devid=D) -> its asd_rpc_1a2(D)/1a3(D) hit torn-down
ASD state. Compare to a clean control slot.
"""
import ctypes, struct, time
from tinygrad import Device
from tinygrad.runtime.autogen.am import am
from tinygrad.helpers import lo32, hi32
d=Device["AMD"]; adev=d.iface.dev_impl; psp=adev.psp
SZ=ctypes.sizeof(am.struct_psp_gfx_cmd_resp); C2P=90112+64
def crash(): return {n:adev.rreg(C2P+n) for n in (82,83,84,85,86)}
def stat(): return int.from_bytes(bytes(adev.vram.view(psp.cmd_paddr,SZ)[:])[864:868],"little")
def alloc(n):
    pa=adev.mm.palloc(n,align=0x1000,zero=True); return pa,adev.paddr2mc(pa)
P='/Users/user/dev/amd-psp-re/psp_out/'
def load(cmd,blob):
    ap,amc=alloc(0x40000); cp,cmc=alloc(0x8000)
    adev.vram.view(ap,len(blob))[:]=blob; adev.gmc.flush_hdp()
    adev.vram.view(psp.cmd_paddr,SZ)[:]=b"\x00"*SZ
    c=am.struct_psp_gfx_cmd_resp(cmd_id=cmd); t=c.cmd.cmd_load_ta
    t.app_phy_addr_hi,t.app_phy_addr_lo=hi32(amc),lo32(amc); t.app_len=len(blob)
    t.cmd_buf_phy_addr_hi,t.cmd_buf_phy_addr_lo=hi32(cmc),lo32(cmc); t.cmd_buf_len=0x8000
    r=psp._ring_submit(c); return r.resp.session_id,cp
load(am.GFX_CMD_ID_LOAD_ASD, open(P+'asd_full.bin','rb').read())
dtm_sid,dtm_shm=load(am.GFX_CMD_ID_LOAD_TA, open(P+'dtm_full.bin','rb').read())
sid,shm=load(am.GFX_CMD_ID_LOAD_TA, open(P+'hdcp_full.bin','rb').read())
def inv(s,sh,buf,tc):
    adev.vram.view(sh,0x8000)[:]=bytes(buf); adev.gmc.flush_hdp()
    adev.vram.view(psp.cmd_paddr,SZ)[:]=b"\x00"*SZ
    ic=am.struct_psp_gfx_cmd_resp(cmd_id=am.GFX_CMD_ID_INVOKE_CMD); iv=ic.cmd.cmd_invoke_cmd
    iv.session_id,iv.ta_cmd_id=s,tc; t0=time.time()
    try: psp._ring_submit(ic); return 0, bytes(adev.vram.view(sh,0x2000)[:]), time.time()-t0
    except RuntimeError: return stat(), bytes(adev.vram.view(sh,0x2000)[:]), time.time()-t0
    except TimeoutError: return "TIMEOUT",None,time.time()-t0
def topo(h):
    b=bytearray(0x8000); struct.pack_into('<I',b,0,2)
    struct.pack_into('<10I',b,0x10,h,1,1,0,0,0,0,0,0,0)
    return inv(dtm_sid,dtm_shm,b,2)[1]
def hdcp(cmd,mut):
    b=bytearray(0x8000); struct.pack_into('<I',b,0,cmd); mut(b)
    ps,out,dt=inv(sid,shm,b,cmd)
    if out is None: return ps,None,None,dt
    return ps, struct.unpack_from('<I',out,4)[0], out, dt
for h in range(8): topo(h)
def opn(devid):
    ps,ret,out,dt=hdcp(0x0E, lambda b: struct.pack_into('<I',b,0xC,devid))
    return ret,(struct.unpack_from('<I',out,0x1410)[0] if out else None),dt
def close(slot):
    # cmd 2 = sub_4019B4: msg[0] = slot index
    ps,ret,out,dt=hdcp(0x02, lambda b: struct.pack_into('<I',b,0xC,slot))
    return ret,dt
def probe12(slot):
    # subcmd12 branch-B tiny (N=1, seq!=0) -> sub-status distinguishes state
    def m(b):
        struct.pack_into('<I',b,0xC,slot); struct.pack_into('<I',b,0x10,12)
        struct.pack_into('<I',b,0x14,5*1+26); b[0x28]=12
        b[0x29]=0; b[0x2A]=0; b[0x2B]=1; b[0x2F]=1
    ps,ret,out,dt=hdcp(0x0F,m)
    return ret,(struct.unpack_from('<I',out,0x1424)[0] if out else None),dt

print("=== CONTROL: single open devid=0x55, drive it ===")
r,sc,dt=opn(0x55); print("open devid=0x55 -> ret=%s slot=%s"%(r,sc))
print("probe12(control) -> ret=%s sub=%s %.3fs"%probe12(sc))

print("\n=== DUP+FREE: open devid=0x66 twice, free A, drive B ===")
rA,slotA,_=opn(0x66); print("open#1 devid=0x66 -> ret=%s slotA=%s"%(rA,slotA))
rB,slotB,_=opn(0x66); print("open#2 devid=0x66 -> ret=%s slotB=%s"%(rB,slotB))
rc,dt=close(slotA); print("close slotA=%s -> ret=%s %.3fs"%(slotA,rc,dt))
print("probe12(slotB dangling) -> ret=%s sub=%s %.3fs"%probe12(slotB))
print("crash regs:", {k:hex(v) for k,v in crash().items()}, " sOS:",psp.is_sos_alive())

print("\n=== also: double-free slotA (already freed) ===")
rc2,dt=close(slotA); print("close slotA again -> ret=%s %.3fs"%(rc2,dt))
print("sOS alive:", psp.is_sos_alive())