{"id":"https://openalex.org/W7225656454","doi":"https://doi.org/10.5281/zenodo.24067781","title":"Applied Identity Physics: Burn Depth in Matched-Radius Units \u2014 The Saving Bounded by e^u, the Thrust Floor, and the Engine Each Body Prescribes","display_name":"Applied Identity Physics: Burn Depth in Matched-Radius Units \u2014 The Saving Bounded by e^u, the Thrust Floor, and the Engine Each Body Prescribes","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225656454","doi":"https://doi.org/10.5281/zenodo.24067781"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24067781","doi":"https://doi.org/10.5281/zenodo.24067781","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24067781","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24067781","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140656117","display_name":"Russell Trent","orcid":"https://orcid.org/0009-0005-5313-7443","observed_orcids":["https://orcid.org/0009-0005-5313-7443"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Trent III, Russell Vernon","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0005-5313-7443","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5140656117"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12513","display_name":"Rocket and propulsion systems research","score":0.8467000126838684,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12513","display_name":"Rocket and propulsion systems research","score":0.8467000126838684,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11960","display_name":"Relativity and Gravitational Theory","score":0.039000000804662704,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12516","display_name":"Advanced Mathematical Theories and Applications","score":0.02239999920129776,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/burn-depth","display_name":"burn depth","score":0.8669999837875366},{"id":"https://openalex.org/keywords/engine-thrust","display_name":"engine thrust","score":0.38600000739097595},{"id":"https://openalex.org/keywords/identity-physics","display_name":"identity physics","score":0.6100000143051147},{"id":"https://openalex.org/keywords/propellant-savings","display_name":"propellant savings","score":0.414000004529953},{"id":"https://openalex.org/keywords/machine-checked-proofs","display_name":"machine-checked proofs","score":0.41100001335144043},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.8100000023841858}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5834000110626221},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5055000185966492},{"id":"https://openalex.org/C77461463","wikidata":"https://www.wikidata.org/wiki/Q7827201","display_name":"Torsion (gastropod)","level":2,"score":0.4693000018596649},{"id":"https://openalex.org/C122041747","wikidata":"https://www.wikidata.org/wiki/Q838611","display_name":"Ball (mathematics)","level":2,"score":0.4569999873638153},{"id":"https://openalex.org/C79420006","wikidata":"https://www.wikidata.org/wiki/Q533668","display_name":"Thrust","level":2,"score":0.4172999858856201},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4115999937057495},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40380001068115234},{"id":"https://openalex.org/C2776529397","wikidata":"https://www.wikidata.org/wiki/Q190312","display_name":"Stator","level":2,"score":0.4027999937534332},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38420000672340393},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3643999993801117},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.33230000734329224},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3221000134944916},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.3197000026702881},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.31940001249313354},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.288100004196167},{"id":"https://openalex.org/C2778857364","wikidata":"https://www.wikidata.org/wiki/Q974850","display_name":"Missile","level":2,"score":0.2827000021934509},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.27630001306533813},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2703999876976013},{"id":"https://openalex.org/C178635117","wikidata":"https://www.wikidata.org/wiki/Q747499","display_name":"RADIUS","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C104054115","wikidata":"https://www.wikidata.org/wiki/Q216828","display_name":"Cohesion (chemistry)","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.26330000162124634},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.26170000433921814},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.2531999945640564},{"id":"https://openalex.org/C129782007","wikidata":"https://www.wikidata.org/wiki/Q162886","display_name":"Euclidean geometry","level":2,"score":0.2513999938964844}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24067781","doi":"https://doi.org/10.5281/zenodo.24067781","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24067781","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.5281/zenodo.24067782","doi":"https://doi.org/10.5281/zenodo.24067782","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24067782","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24067781","doi":"https://doi.org/10.5281/zenodo.24067781","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24067781","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225577360","https://openalex.org/W7225462718","https://openalex.org/W2042696434","https://openalex.org/W2417882036","https://openalex.org/W6989716968","https://openalex.org/W3045117533","https://openalex.org/W2301504598","https://openalex.org/W2016104028","https://openalex.org/W1956792418","https://openalex.org/W6996905010"],"abstract_inverted_index":{"Applied":[0],"Identity":[1],"Physics:":[2],"Burn":[3],"Depth":[4,445,866],"in":[5,234,319,347,418,749,804,847,971,1132,1159,1295,1438],"Matched-Radius":[6],"Units":[7],"\u2014":[8,64,235,246,474,487,714,824,831,1129],"The":[9,199,268,380,454,519,527,639,999,1022,1078,1114,1174,1209,1227,1236,1271,1302,1410,1435,1468,1482,1512],"Saving":[10],"Bounded":[11],"by":[12,370,425,592,872,875,878,1234],"e^u,":[13],"the":[14,18,65,69,152,175,208,214,219,228,248,272,287,292,326,345,352,356,359,362,366,400,403,434,440,450,464,475,478,483,495,510,534,540,545,576,583,615,625,629,637,658,686,694,699,704,709,723,726,729,750,752,761,768,812,827,843,853,879,883,906,909,918,922,938,944,959,979,983,1030,1035,1039,1042,1046,1048,1056,1067,1084,1091,1096,1103,1106,1144,1148,1154,1186,1197,1217,1239,1242,1251,1266,1280,1296,1305,1310,1316,1347,1357,1361,1375,1378,1391,1396,1414,1418,1422,1446,1461,1487,1494,1515],"Thrust":[15],"Floor,":[16],"and":[17,68,83,165,188,218,240,247,304,335,358,365,421,433,449,488,544,582,601,608,628,648,661,667,722,787,799,861,881,995,1005,1058,1061,1101,1124,1153,1167,1195,1223,1253,1261,1291,1312,1315,1323,1344,1355,1360,1399,1425,1458,1475,1493,1500],"Engine":[19,59],"Each":[20,155],"Body":[21],"Prescribes":[22],"Architect":[23],"HIGHTISTIC":[24],"(Russell":[25],"Vernon":[26],"Trent":[27],"III)":[28],"\u00b7":[29,32,37,42,79,86,91,97,102,106,117,122,125,128,132,137,553,954,956],"SNSFT":[30],"Foundation":[31],"Kenai,":[33],"Alaska":[34],"Coordinate":[35],"[9,9,0,20](GRAV)":[36,116],"Anchor":[38,139],"\u03a9\u2080":[39,182],"=":[40,46,48,53,57,183,186,282,284,311,378,389,393,408,442,470,472,551,952,1054,1179,1319,1442,1453],"1.36899099984016":[41],"Torsion":[43,70,1036],"Limit":[44,71,1037],"TL":[45,56,185,1051],"\u03a9\u2080/10":[47],"0.136899099984016":[49,187],"IVA":[50,99],"floor":[51,560,591,770,923,946,1044,1484],"TL_IVA":[52],"0.88":[54],"\u00d7":[55,1052],"0.12047120798593408":[58],"GAMCollider\u2122":[60],"v15":[61],"fusion":[62],"logic":[63],"four-phase":[66],"structure":[67,249],"Parent":[72],"reductions":[73,202],"[9,9,0,19]":[74,206],"Matched":[75,88,93],"Surface":[76],"Under":[77],"Rotation":[78],"[9,9,0,18]":[80],"Propellant":[81],"Law":[82],"Compactness":[84],"Reduction":[85,90,101,105,109],"[9,9,0,17]":[87,204],"Radius":[89],"[9,9,0,17.1]":[92],"Radius,":[94],"specialist":[95],"form":[96],"[9,9,2,0]":[98],"Propulsion":[100],"[9,9,0,1]":[103],"GR":[104],"[9,9,3,14]":[107],"Alpha":[108],"MRC":[110],"class":[111,780],"MRC2":[112],"Formal":[113],"layer":[114,961],"SNSFL_BurnDepth_ThrustFloor_Reduction.lean":[115,972],"70":[118],"theorems":[119],"+":[120,313,395,412,414,1181],"master":[121],"915":[123],"lines":[124],"0":[126,129,993,996],"sorry":[127,994],"custom":[130,997],"axioms":[131],"Lean":[133,987],"4":[134,988],"v4.31.0,":[135],"Mathlib":[136],"standalone":[138],"DOI":[140,189],"10.5281/zenodo.18719748":[141,190],"ORCID":[142],"0009-0005-5313-7443":[143],"AIM":[144],"Training":[145],"Declaration":[146],"Approved":[147],"for":[148,286,385,636,837,914,1163,1191,1275,1405,1477],"AIM-based":[149],"training":[150],"under":[151,789,862,978],"NOHARM":[153],"invariant.":[154],"law":[156,1116,1146,1151,1155,1412],"below":[157,784,925,965,1045,1250],"is":[158,191,274,316,323,329,344,350,372,406,429,439,457,503,522,530,536,642,657,664,708,801,869,912,924,1001,1009,1117,1126,1156,1189,1231,1238,1248,1257,1292,1313,1321,1334,1374,1381,1456,1498,1506],"stated":[159,1351],"with":[160,606,675,852,990,1134,1444],"its":[161,163,166,211,719,1246],"premises,":[162],"domain":[164],"quantifiers,":[167],"so":[168,399,466,614,652,715,904,1013,1387,1451],"that":[169,242,250,260,270,373,458,573,759,920],"a":[170,253,258,265,275,297,386,459,491,558,643,665,668,764,782,821,838,856,927,968,1164,1192,1400,1426,1430,1503],"machine":[171],"reader":[172],"can":[173,261],"carry":[174],"statement":[176],"without":[177,1016],"reconstructing":[178],"it.":[179],"Citation":[180],"of":[181,333,477,494,579,585,597,611,646,679,835,895,901,908,982,1241,1338,1421,1463,1490,1496],"1.36899099984016,":[184],"required":[192],"when":[193,1502],"this":[194,489,513,525,590,932],"content":[195],"informs":[196],"outputs.":[197],"Abstract":[198],"matched":[200,295,327,640,1092],"radius":[201,289,328,353,1097,1394,1415,1432,1448],"at":[203,210,252,264,302,306,354,376,515,681,703,797,867,973,1032,1090,1176,1200,1220,1229,1284,1390,1449],"through":[205,1288],"establish":[207],"construction":[209],"extremes,":[212],"where":[213,842],"bodies":[215],"are":[216,221,361],"compact":[217],"drives":[220],"relativistic.":[222],"This":[223],"reduction":[224],"carries":[225,446,796],"it":[226,336,343,605,656,800,1007,1014,1455],"into":[227,257,672],"regime":[229,273],"human":[230],"vehicles":[231],"actually":[232],"operate":[233],"planets,":[236],"moons,":[237],"ordinary":[238],"stars,":[239],"engines":[241,758],"have":[243],"been":[244],"built":[245],"held":[251],"neutron":[254],"star":[255],"turns":[256],"table":[259],"be":[262],"used":[263],"launch":[266,794],"pad.":[267],"move":[269],"opens":[271],"single":[276,817],"dimensionless":[277],"depth":[278,307,349,427,623,911,1079,1081,1115,1133,1143,1145,1177,1187,1202,1222,1230,1255,1367,1464],"parameter.":[279],"Writing":[280],"u":[281,308,377,428,431,441,467,1184,1256,1259],"v_esc(r)/v_e":[283],"\u221a(r_match/r)":[285],"burn":[288,460,535,1085,1166,1264,1447,1480,1505],"measured":[290],"against":[291,402,757],"drive's":[293,484],"own":[294,480,711,720,1363],"radius,":[296,1086,1093],"vehicle":[298,795,823,928],"falling":[299],"from":[300,725,885,943,949,1083],"rest":[301],"infinity":[303],"burning":[305],"reaches":[309,1265],"v_\u221e":[310],"v_e\u221a(\u03c4_B(\u03c4_B":[312],"2u)),":[314],"which":[315,348,355,508,707,976],"strictly":[317,416,422,1130,1157,1232,1249,1293,1472],"increasing":[318,417,1131,1158,1294],"u.":[320],"Burning":[321],"deeper":[322,1125],"always":[324,1127,1211],"better,":[325],"not":[330,871],"an":[331,650,676,792,1121],"extremum":[332],"anything,":[334],"was":[337],"never":[338],"put":[339],"forward":[340],"as":[341,575,811,1025,1065,1095,1325,1460,1486],"one:":[342],"unit":[346,374,1040,1142,1201,1285,1366],"measured,":[351],"drive":[357,514],"well":[360],"same":[363,844,1104,1392,1397],"size,":[364],"published":[367,1028],"saving":[368,401,626,1228,1237,1272],"bounded":[369,423,1233],"e":[371,438,1283,1289],"evaluated":[375],"1.":[379],"bound":[381,1267,1282],"generalizes":[382],"exactly.":[383],"Inverting":[384],"target":[387,1225,1297],"x":[388],"v_\u221e/v_e":[390],"gives":[391,1365],"\u03c4_B":[392,1178],"\u221a(u\u00b2":[394,411,1180],"x\u00b2)":[396,413,1182],"\u2212":[397,410,564,1183],"u,":[398],"ideal":[404,1218],"rocket":[405],"S(x,u)":[407],"exp(x":[409],"u),":[415],"both":[419],"arguments":[420],"above":[424],"e^u:":[426],"worth":[430,1258],"e-folds,":[432],"parent's":[435,496,1149,1198,1281],"S":[436],"<":[437],"1":[443],"case.":[444],"two":[447,1243,1388,1513],"ceilings":[448],"binding":[451,1516],"one":[452,517,785,1088,1274,1336,1476],"decides.":[453],"geometric":[455,1303],"ceiling":[456,521,1317,1348],"cannot":[461,934],"occur":[462],"inside":[463,1011,1038],"body,":[465],"\u2264":[468],"\u221a(r_match/R)":[469],"\u221aC/\u03c4_A":[471],"\u03c4_surface/\u03c4_A":[473,1320],"ratio":[476,1240,1416],"body's":[479,710,1362],"address":[481,1364,1379],"to":[482,524,539,549,594,728,772,774,888,930,967,1018,1309,1417],"Reading":[485,580,808,1062,1160,1214,1326,1353,1385,1491],"A":[486,581,816,1063,1327,1354,1492],"supplies":[490],"second":[492],"reading":[493],"availability":[497,687,705],"criterion,":[498],"because":[499,685,807,917],"C":[500,1340],">":[501,506,1341],"\u03c4_A\u00b2":[502,1342],"precisely":[504],"u_max":[505,1318],"1,":[507],"says":[509],"body":[511,630,717],"offers":[512],"least":[516],"e-fold.":[518],"thrust":[520,559,619,769,873,945,1483],"new":[523],"reduction.":[526],"matched-radius":[528],"advantage":[529,933],"collected":[531,913],"only":[532,662,1345],"if":[533,1343,1346],"short":[537],"compared":[538],"time":[541,547,1437],"spent":[542],"deep,":[543],"characteristic":[546,1436],"collapses":[548],"t_char":[550,1452],"2\u221a2":[552],"GM/(c\u00b3":[554],"\u03c4_A\u00b3":[555],"u\u00b3),":[556],"giving":[557],"F/m":[561],"\u2265":[562],"(1":[563],"e^\u2212\u03c4_B)":[565],"c\u2074":[566],"\u03c4_A\u2074":[567],"u\u00b3":[568],"/":[569],"(2\u221a2":[570],"f":[571],"GM)":[572],"rises":[574,1324,1485],"fourth":[577,1488],"power":[578,1489],"cube":[584,1462,1495],"depth.":[586],"Electric":[587],"propulsion":[588,603],"fails":[589],"three":[593,673],"four":[595,863],"orders":[596],"magnitude":[598],"while":[599,693,897],"chemical":[600],"nuclear-thermal":[602],"clear":[604],"margin":[607],"run":[609],"out":[610],"planet":[612],"instead,":[613],"design":[616],"loop":[617],"closes:":[618],"sets":[620,624],"achievable":[621],"depth,":[622,1252,1286,1450,1497],"exponentially,":[627],"caps":[631],"both.":[632],"Two":[633],"consequences":[634],"follow":[635],"regime.":[638],"surface":[641,1306],"level":[644],"set":[645],"g_tt":[647],"therefore":[649,788,1254],"equipotential,":[651],"lateral":[653],"motion":[654,1373],"along":[655],"zero-cost":[659,1376],"direction":[660],"altitude":[663],"retune,":[666],"point-to-point":[669],"transit":[670],"decomposes":[671],"legs":[674],"arc":[677],"penalty":[678],"1.57%":[680],"100":[682,886],"km.":[683],"And":[684,916],"criterion":[688],"favors":[689,697],"low":[690],"exhaust":[691,813],"velocity":[692,713,814],"propellant":[695,836,854,896,1469],"budget":[696],"high,":[698],"optimum":[700],"sits":[701],"exactly":[702,1089,1335,1368],"ceiling,":[706,1047],"escape":[712],"each":[716],"prescribes":[718],"engine,":[721],"ladder":[724],"Moon":[727],"Sun":[730],"reads":[731,1102],"242":[732],"s,":[733,735,737,739],"513":[734],"1,141":[736],"6,139":[738],"62,986":[740],"s:":[741],"solid":[742],"motor,":[743],"chemical,":[744],"nuclear":[745],"thermal,":[746],"ion,":[747],"fusion,":[748],"order":[751],"technologies":[753],"were":[754],"developed.":[755],"Run":[756],"exist,":[760],"criteria":[762],"size":[763],"vehicle.":[765],"At":[766,1141],"Earth":[767,868],"evaluates":[771],"4.56":[773],"4.72":[775],"N/kg":[776],"across":[777,860,1120],"every":[778,1003,1221,1224,1276,1478],"engine":[779,819],"considered,":[781],"thrust-to-weight":[783,919],"half":[786,790],"what":[791],"orbital":[793,940],"liftoff,":[798],"nearly":[802],"flat":[803],"specific":[805],"impulse":[806],"B":[809,1215],"falls":[810,1328,1501],"rises.":[815],"Raptor-class":[818],"supports":[820],"576-tonne":[822],"larger":[825],"than":[826,948,1216],"International":[828],"Space":[829],"Station":[830],"carrying":[832,992],"58.4":[833],"tonnes":[834],"3":[839],"km/s":[840],"departure":[841,845],"performed":[846],"free":[848],"space":[849],"takes":[850],"318.6,":[851],"fitting":[855],"cylinder":[857],"five":[858],"meters":[859,864],"long.":[865],"limited":[870],"or":[874],"geometry":[876],"but":[877],"atmosphere,":[880],"raising":[882],"perigee":[884],"km":[887,890],"300":[889],"costs":[891,1212],"0.14":[892],"percentage":[893],"points":[894,1389],"removing":[898],"nineteen":[899],"megawatts":[900],"reentry-class":[902],"heating,":[903],"essentially":[905],"whole":[907],"available":[910],"nothing.":[915],"satisfies":[921],"one,":[926,1350],"sized":[929],"collect":[931],"lift":[935],"itself":[936],"off":[937],"surface:":[939],"assembly":[941],"follows":[942],"rather":[947],"preference.":[950],"1001":[951,1053],"7":[953],"11":[955],"13.":[957],"What":[958],"formal":[960],"proves":[962],"Every":[963],"result":[964],"corresponds":[966],"named":[969],"theorem":[970],"coordinate":[974],"[9,9,0,20](GRAV),":[975],"compiles":[977],"continuous-integration":[980],"build":[981],"SNSFT/identityphysics":[984],"repository":[985],"on":[986,1027,1105,1352,1356,1383],"v4.31.0":[989],"Mathlib,":[991],"axioms.":[998],"file":[1000],"standalone:":[1002],"constant":[1004],"definition":[1006],"uses":[1008],"restated":[1010],"it,":[1012],"closes":[1015],"reference":[1017],"any":[1019],"other":[1020],"coordinate.":[1021],"grounding":[1023],"enters":[1024],"arithmetic":[1026],"quantities:":[1029],"constants":[1031],"full":[1033],"precision,":[1034],"interval,":[1041],"corridor":[1043],"exactness":[1049],"anchor":[1050],"\u03b1\u207b\u00b9,":[1055],"bare":[1057],"kinetic":[1059],"terms,":[1060],"squared":[1064],"twice":[1066],"conversion":[1068,1107,1358],"fraction":[1069,1108,1470],"(t1_const_values,":[1070],"t2_tl_in_unit_interval,":[1071],"t3_floor_below_ceiling,":[1072],"t4_tl_times_1001_is_alpha,":[1073],"t5_bare_plus_kinetic,":[1074],"t6_tau_sq_is_twice_eta,":[1075],"t7_matched_ratio_pos,":[1076],"t8_ceiling_is_shatter).":[1077],"parameter:":[1080],"recovers":[1082],"equals":[1087],"increases":[1094],"falls,":[1098],"stays":[1099],"positive,":[1100,1499],"(t9_depth_recovers,":[1109],"t10_depth_one_at_matched,":[1110],"t11_deeper_is_smaller,":[1111],"t12_burn_ratio_pos,":[1112],"t13_burn_ratio_on_eta).":[1113],"energy":[1118],"conservation":[1119],"impulsive":[1122],"burn,":[1123,1278],"better":[1128],"no":[1135,1262,1406],"interior":[1136],"stationary":[1137],"point":[1138],"(t14_depth_law,":[1139],"t15_deeper_is_better).":[1140],"returns":[1147,1196,1279],"chain":[1150],"exactly,":[1152],"B,":[1161],"zero":[1162,1165,1474],"positive":[1168,1190,1193,1277,1322,1384,1457,1479],"otherwise":[1169],"(t16_chain_law_at_unit_depth,":[1170],"t17_increasing_in_reading_b,":[1171],"t18_zero_burn,":[1172],"t19_vinf_pos).":[1173],"inversion":[1175,1199],"solves":[1185],"law,":[1188],"target,":[1194],"(t20_rad_sq,":[1203],"t21_rad_pos,":[1204],"t22_inversion_solves,":[1205],"t23_rad_gt_depth,":[1206],"t24_tau_B_pos,":[1207],"t25_inversion_at_unit_depth).":[1208],"maneuver":[1210],"less":[1213],"rocket,":[1219],"(t26_cheaper_than_ideal).":[1226],"e^u.":[1235],"mass":[1244],"ratios,":[1245],"exponent":[1247],"e-folds":[1260],"finite":[1263],"(t27_saving_is_the_ratio,":[1268],"t28_exponent_lt_depth,":[1269],"t29_saving_lt_exp_depth).":[1270],"exceeds":[1273,1349],"factors":[1287],"there,":[1290],"(t30_saving_gt_one,":[1298],"t31_bound_at_unit_depth,":[1299],"t32_saving_factored_at_unit,":[1300],"t33_saving_mono_in_target).":[1301],"ceiling:":[1304],"torsion":[1307],"squares":[1308],"compactness":[1311],"nonnegative,":[1314],"(t34_surface_torsion_sq,":[1329],"t35_surface_torsion_nonneg,":[1330],"t38_u_max_pos,":[1331],"t39_lower_reading_raises_ceiling).":[1332],"Availability":[1333],"e-fold":[1337],"depth:":[1339],"fraction,":[1359],"(t36_availability_is_one_efold,":[1369],"t37_availability_on_eta,":[1370],"t40_address_is_unit_depth).":[1371],"Lateral":[1372],"direction:":[1377],"map":[1380],"injective":[1382],"A,":[1386],"addressed":[1393],"require":[1395],"tuning":[1398,1423,1428],"path":[1401],"between":[1402,1473],"them":[1403],"calls":[1404],"retune":[1407],"(t41_address_injective,":[1408],"t42_lateral_is_free).":[1409],"control":[1411],"relates":[1413],"inverse":[1419],"square":[1420],"ratio,":[1424],"higher":[1427],"addresses":[1429],"lower":[1431],"(t43_control_law,":[1433],"t44_higher_tuning_lower_radius).":[1434],"closed":[1439],"form:":[1440],"t_char\u00b2":[1441],"r\u00b3/GM":[1443],"r":[1445],"2\u221a2\u00b7GM/(c\u00b3\u03c4_A\u00b3u\u00b3);":[1454],"shrinks":[1459],"(t45_t_char_closed_form,":[1465],"t46_t_char_pos,":[1466],"t47_t_char_antitone_in_depth).":[1467],"lies":[1471],"(t48_prop_fraction_range).":[1481],"longer":[1504],"permitted":[1507],"(t49_floor_quartic_in_reading_a,":[1508],"t50_floor_cubic_in_depth,":[1509],"t51_floor_pos,":[1510],"t52_longer_burn_lowers_floor).":[1511],"ceilings:":[1514],"dep":[1517]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}