s665.py

from research import *
s=begin(665,'Derive the native core from carrier and flank','What minimal source inputs generate the720/30 family?',{'carrier':720,'flank':30},['Supplement A §§1.1–1.2'])
carrier,f=720,30; core=carrier-f
finish(s,{'core':core,'flank_coefficients':{'core':F(core,f),'carrier':F(carrier,f),'native_bracket':F(core+2*f,f),'expanded_core':F(E*core,f)}},'The crossed core690 is23 flanks of30. The carrier is24 flanks, and both the native two-flank bracket and E-expanded core are25 flanks. Their shared750 is forced by core=23×flank, while their component roles differ.','Generate all native, P and E core/flank/bracket states together.',{'core':core==690==23*f,'forced_equality':E*core==core+2*f==750})