III.P38 — P vs NP as Polynomial Translation Obstruction

P vs NP = polynomial translation obstruction. succinct_circuits has damage 3 (bridge breaks). Internal P_adm = NP_adm (all finite problems decidable) but cannot be translated to ZFC. Verified at depth 3.