{"id":"https://openalex.org/W7225752727","doi":"https://doi.org/10.5281/zenodo.24103664","title":"Applied Identity Physics: Velocity Addition Is Doppler Multiplication \u2014 Rapidity as an E-Fold Count, the Speed Limit as a Property of the Reading, and Why the Classical Rocket Equation Reports Rapidity as Velocity","display_name":"Applied Identity Physics: Velocity Addition Is Doppler Multiplication \u2014 Rapidity as an E-Fold Count, the Speed Limit as a Property of the Reading, and Why the Classical Rocket Equation Reports Rapidity as Velocity","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225752727","doi":"https://doi.org/10.5281/zenodo.24103664"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24103664","doi":"https://doi.org/10.5281/zenodo.24103664","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24103664","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.24103664","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/T11960","display_name":"Relativity and Gravitational Theory","score":0.9829000234603882,"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"}},"topics":[{"id":"https://openalex.org/T11960","display_name":"Relativity and Gravitational Theory","score":0.9829000234603882,"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/T14500","display_name":"Smarandache Functions and Recreational Number Theory","score":0.004900000058114529,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.003800000064074993,"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":[],"concepts":[{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.43309998512268066},{"id":"https://openalex.org/C107165499","wikidata":"https://www.wikidata.org/wiki/Q1366833","display_name":"Rapidity","level":3,"score":0.4050999879837036},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.373199999332428},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.32710000872612},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3228999972343445},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.3131999969482422},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.31049999594688416},{"id":"https://openalex.org/C65045869","wikidata":"https://www.wikidata.org/wiki/Q81365","display_name":"Decimal","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C198394728","wikidata":"https://www.wikidata.org/wiki/Q3695508","display_name":"Vibration","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C122041747","wikidata":"https://www.wikidata.org/wiki/Q838611","display_name":"Ball (mathematics)","level":2,"score":0.2825999855995178},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C142757262","wikidata":"https://www.wikidata.org/wiki/Q76436","display_name":"Doppler effect","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C5594486","wikidata":"https://www.wikidata.org/wiki/Q161635","display_name":"Angular velocity","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C49766605","wikidata":"https://www.wikidata.org/wiki/Q207643","display_name":"Linear map","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.25540000200271606},{"id":"https://openalex.org/C111458787","wikidata":"https://www.wikidata.org/wiki/Q215405","display_name":"Legendre polynomials","level":2,"score":0.2540999948978424}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24103664","doi":"https://doi.org/10.5281/zenodo.24103664","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24103664","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.24103665","doi":"https://doi.org/10.5281/zenodo.24103665","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24103665","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.24103664","doi":"https://doi.org/10.5281/zenodo.24103664","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24103664","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":[],"abstract_inverted_index":{"Applied":[0],"Identity":[1],"Physics:":[2],"Velocity":[3,32],"Addition":[4],"Is":[5],"Doppler":[6,261,271,273,398,480,496,770,1036,1057,1074,1083,1088,1112,1209,1385,1455,1546],"Multiplication":[7],"\u2014":[8,74,343,350,467,654,733,943,1168,1211,1219,1329,1337,1465],"Rapidity":[9,30],"as":[10,17,31,735,740,868,876,884,892,912,1028,1069,1131,1143,1356,1361,1413],"an":[11,425,528,531,608,671,741,1291,1548],"E-Fold":[12],"Count,":[13],"the":[14,21,25,75,79,136,159,218,259,267,285,323,359,415,449,468,472,479,483,486,491,504,525,547,553,573,579,582,586,625,680,686,689,703,725,758,766,777,780,789,794,802,822,826,873,877,881,893,902,909,918,922,931,934,940,974,979,987,996,1001,1004,1022,1029,1032,1035,1040,1048,1056,1070,1073,1076,1082,1087,1127,1151,1156,1175,1192,1205,1250,1281,1300,1321,1339,1345,1350,1354,1375,1384,1400,1406,1426,1435,1437,1445,1448,1453,1476,1487,1497,1503,1507,1511,1523,1531,1542,1545],"Speed":[15,103],"Limit":[16,54,81,875,920,936,981],"a":[18,154,186,197,200,210,215,222,277,355,397,407,421,494,512,538,550,604,611,619,640,655,657,664,706,736,746,811,949,968,1222,1235,1362,1472],"Property":[19],"of":[20,104,165,188,288,387,400,488,552,572,578,659,825,1072,1078,1195,1224,1326,1374,1408,1491,1544],"Reading,":[22],"and":[23,78,93,149,172,230,279,375,380,410,456,546,585,610,631,652,717,757,769,793,838,848,929,933,1000,1021,1062,1085,1090,1159,1191,1220,1271,1297,1338,1387,1399,1405,1425,1458,1522],"Why":[24],"Classical":[26],"Rocket":[27],"Equation":[28],"Reports":[29],"Architect":[33],"HIGHTISTIC":[34],"(Russell":[35],"Vernon":[36],"Trent":[37],"III)":[38],"\u00b7":[39,42,47,52,89,96,101,107,112,116,239,240,241,434,438,444,462,914,916,1165],"SNSFT":[40],"Foundation":[41],"Kenai,":[43],"Alaska":[44],"Coordinate":[45],"[9,9,8,14](MATH)":[46],"Anchor":[48,123],"\u03a9\u2080":[49,166,906],"=":[50,56,58,63,67,167,170,194,206,236,243,246,251,310,369,391,429,436,446,477,508,561,566,645,676,762,900,1163,1213,1333,1462],"1.36899099984016":[51],"Torsion":[53,80,473,874,887,919,935,980],"TL":[55,66,169,431,439,463,636,897,1008,1011],"\u03a9\u2080/10":[57],"0.136899099984016":[59,171],"IVA":[60,98,416],"floor":[61,924,976],"TL_IVA":[62],"0.88":[64,443,1007],"\u00d7":[65,402,454,568,647,678,898,907],"0.12047120798593408":[68],"Engine":[69],"GAMCollider\u2122":[70],"v15":[71],"fusion":[72,641],"logic":[73],"four-phase":[76],"structure":[77,287,966],"Parent":[82],"reductions":[83],"[9,9,8,11]":[84,289],"Two":[85],"Readings":[86],"Across":[87],"Substrates":[88],"[9,9,8,12]":[90],"Geometric":[91],"Base":[92],"Energy":[94],"Ladder":[95],"[9,9,2,0]":[97],"Propulsion":[99],"Reduction":[100,106,111,115,119],"[9,9,0,15]":[102],"Light":[105],"[9,9,0,17]":[108],"Matched":[109],"Radius":[110],"[9,9,8,9]":[113],"Logarithm":[114],"[9,9,3,14]":[117],"Alpha":[118],"MRC":[120],"class":[121],"MRC2":[122],"DOI":[124,173],"10.5281/zenodo.18719748":[125,174],"ORCID":[126],"0009-0005-5313-7443":[127],"AIM":[128],"Training":[129],"Declaration":[130],"Approved":[131],"for":[132],"AIM-based":[133],"training":[134],"under":[135,821,1116,1174,1324],"NOHARM":[137],"invariant.":[138],"Each":[139],"law":[140,306,326,1122,1176,1207,1323,1341,1352],"below":[141,348,808,930,1269],"is":[142,175,185,258,284,297,317,330,373,378,485,493,542,549,581,590,601,607,614,688,700,724,750,755,773,783,785,844,852,945,972,977,982,989,998,1003,1114,1123,1172,1199,1202,1208,1229,1263,1267,1286,1290,1294,1316,1342,1381,1432,1440,1444,1452,1471,1514,1519,1526,1541],"stated":[143,734,1412],"with":[144,199,424,498,833,1299,1391],"its":[145,147,150,591,1044,1203,1327,1357,1442],"premises,":[146],"domain":[148],"quantifiers,":[151],"so":[152,263,322,524,603,752,776,856,1169,1252,1349,1466],"that":[153,220,489,1253],"machine":[155],"reader":[156],"can":[157],"carry":[158],"statement":[160],"without":[161,711,859],"reconstructing":[162],"it.":[163],"Citation":[164],"1.36899099984016,":[168],"required":[176],"when":[177],"this":[178],"content":[179],"informs":[180],"outputs.":[181],"Abstract":[182],"Reading":[183,189,191,203,264,298,328,334,352,365,371,376,570,576,696,714,728,748,753,798,950,1026,1063,1067,1079,1091,1170,1177,1226,1231,1260,1379,1388,1392,1403,1409,1467,1477],"A":[184,329,353,372,385,571,622,697,709,749,951,1027,1178,1404,1478],"tanh":[187,237,720],"B.":[190,335],"A,":[192,1393],"\u03c4_A":[193,235,245,368,390,644,675],"v/c,":[195],"requires":[196,208],"substrate":[198,219,269,690,704,710],"limiting":[201,223,707,1033],"speed.":[202,708],"B,":[204],"\u03c4_B":[205,238,242],"ln(Y\u2080/Y),":[207],"only":[209,536],"quantity":[211,1023],"consumed":[212],"multiplicatively":[213],"along":[214,276],"path.":[216],"In":[217,745],"has":[221,354,527,705,718,1353],"speed":[224,337,1030,1369],"both":[225,1086,1383,1394],"are":[226,232,382,520,650,1411],"defined":[227],"at":[228,396,464,627,634,643,674,760,816,952,993,1060,1234,1265,1276,1516,1527],"once,":[229],"they":[231],"one":[233,383,712,784,885,1059,1125,1139,1230,1270,1275,1414,1492,1515,1529],"object:":[234],"arctanh":[244,419,430],"ln":[247],"k,":[248],"where":[249,695,702,779],"k":[250,257,476,499],"\u221a((1":[252],"+":[253,312,314,320,1051,1133,1135,1137,1149,1331],"\u03c4_A)/(1":[254,1052],"\u2212":[255,432,442,460,1053,1145,1147,1215,1217,1460],"\u03c4_A))":[256],"relativistic":[260,557,1117],"factor,":[262,1075,1084],"B":[265,366,377,577,715,729,754,799,1064,1068,1080,1092,1171,1227,1232,1261,1380,1389,1410],"in":[266,530,537,544,662,787,791,814,925],"velocity":[268,295,600,1118,1197],"counts":[270],"e-folds.":[272],"factors":[274,1130,1142,1154],"multiply":[275],"path":[278],"their":[280,1095,1397],"logarithms":[281],"add,":[282],"which":[283,563,699,723,819,944,1501],"e-fold":[286],"instantiated":[290],"rather":[291,534,738,1359],"than":[292,535,739,1360],"resembled.":[293],"Relativistic":[294],"addition":[296,332,1198,1325,1340],"B's":[299,1468],"additivity":[300],"seen":[301],"through":[302,358,418],"tanh.":[303],"The":[304,336,340,404,540,616,842,865,964,1018,1111,1120,1187,1242,1244,1314,1318,1368,1422,1430,1489,1538],"composition":[305,1121,1351],"\u03c4_A1":[307,315,1334],"\u2295":[308,345,1161,1335],"\u03c4_A2":[309,1336],"(\u03c4_A1":[311],"\u03c4_A2)/(1":[313],"\u03c4_A2)":[316],"exactly":[318,598,694,701,765,1464],"tanh(\u03c4_B1":[319],"\u03c4_B2),":[321],"nonlinear":[324],"group":[325],"on":[327,333,829,870,967,1039,1249,1344,1402,1475],"plain":[331],"limit":[338,997,1370],"inverts.":[339,1371],"closure":[341],"result":[342,807],"u":[344],"v":[346],"stays":[347],"c":[349],"says":[351,362],"ceiling.":[356],"Read":[357],"bridge":[360,687],"it":[361,633,850,857,948,1100,1141,1254,1365],"no":[363,719,796],"finite":[364,797],"reaches":[367,1377],"1:":[370],"bounded":[374],"unbounded,":[379,1382],"those":[381,649],"statement.":[384],"rapidity":[386,422,545,583,597,612,768],"20":[388],"gives":[389,420,559],"1.000000000000":[392],"to":[393,452,458,721,810,861,1010,1047],"twelve":[394],"digits":[395],"factor":[399,470,658,1037,1058,1089,1113,1386,1439,1456,1499,1513,1525,1540,1547],"4.85":[401],"10\u2078.":[403],"corridor":[405,417,469,484,492,526,617,626,923,975,988,1002],"acquires":[406],"closed":[408,926,1343],"form":[409],"two":[411,554,1019,1157,1225],"measured":[412],"bands.":[413],"Mapping":[414],"width":[423,428],"exact":[426],"expression,":[427],"arctanh(0.88":[433],"TL)":[435],"arctanh(0.12":[437],"/":[440,637],"(1":[441,459,1050,1132,1144],"TL\u00b2))":[445],"0.016704924355599306":[447],"matching":[448],"direct":[450],"difference":[451,1223],"3.5":[453],"10\u207b\u00b9\u2078,":[455],"reducing":[457],"0.88)":[461],"leading":[465],"order":[466,1390],"times":[471,575],"Limit.":[474],"Because":[475],"e^(\u03c4_B),":[478],"ratio":[481,629,782,1049,1152],"across":[482],"exponential":[487,1077,1251],"width:":[490],"1.68%":[495],"band,":[497,514],"\u2208":[500,516],"(1.1286916707,":[501],"1.1477047435].":[502],"On":[503],"dilation":[505],"column":[506,1479],"\u03b3":[507,515],"cosh":[509],"\u03c4_B,":[510],"giving":[511],"0.215%":[513],"(1.0073366122,":[517],"1.0095044877].":[518],"Both":[519],"directly":[521],"observed":[522],"quantities,":[523],"address":[529],"instrument":[532],"reading":[533,985,992,1129],"ratio.":[539],"budget":[541,606,613],"additive":[543,1173],"rocket":[548,588],"product":[551],"readings.":[555],"Standard":[556],"rocketry":[558],"arctanh(\u0394v/c)":[560],"(v_e/c)\u00b7ln(m\u2080/m_f),":[562],"reads":[564,683],"\u03c4_B(final)":[565],"\u03c4_A(exhaust)":[567],"\u03c4_B(mass)":[569],"drive":[574,623,642,673],"mass":[580,628],"gained,":[584],"classical":[587],"equation":[589],"small-argument":[592],"limit.":[593],"Staging":[594],"therefore":[595,1153,1221],"adds":[596],"while":[599],"subadditive,":[602],"\u0394v":[605],"approximation":[609],"not.":[615],"becomes":[618],"mass-ratio":[620],"gate.":[621],"enters":[624,867],"exp(arctanh(TL_IVA)/\u03c4_A)":[630],"leaves":[632],"exp(arctanh":[635],"\u03c4_A).":[638],"For":[639,670],"3.535779":[646],"10\u207b\u00b2,":[648],"30.69":[651],"49.22":[653],"band":[656,1005],"1.60":[660],"wide,":[661],"numbers":[663],"design":[665],"study":[666],"already":[667],"works":[668],"in.":[669],"ion":[672],"1.368":[677],"10\u207b\u2074":[679],"same":[681],"gate":[682],"10^384.":[684],"And":[685],"test.":[691],"It":[692],"exists":[693],"exists,":[698],"carries":[713,764],"alone":[716],"apply,":[722],"structural":[726],"reason":[727],"transfers":[730],"more":[731],"widely":[732],"criterion":[737],"observation":[742],"about":[743],"coverage.":[744],"medium":[747,759],"1/n,":[751],"arctanh(1/n),":[756],"n":[761],"1/TL":[763],"Shatter":[767],"factor.":[771],"Vacuum":[772],"divergent":[774],"rapidity,":[775],"point":[778,795],"matched":[781],"vacuum":[786],"optics,":[788],"horizon":[790],"gravitation,":[792],"reaches.":[800],"What":[801],"formal":[803],"layer":[804],"proves":[805],"Every":[806],"corresponds":[809],"named":[812],"theorem":[813],"SNSFL_VelocitySubstrate_Rapidity_Reduction.lean":[815],"coordinate":[817],"[9,9,8,14](MATH),":[818],"compiles":[820],"continuous-integration":[823],"build":[824],"SNSFT/identityphysics":[827],"repository":[828],"Lean":[830],"4":[831],"v4.31.0":[832],"Mathlib,":[834],"carrying":[835],"0":[836,839],"sorry":[837],"custom":[840],"axioms.":[841],"file":[843],"standalone:":[845],"every":[846,1277],"constant":[847],"definition":[849],"uses":[851],"restated":[853],"inside":[854,939,986,1280,1434],"it,":[855],"closes":[858,1486],"reference":[860],"any":[862,984,991],"other":[863],"coordinate.":[864],"grounding":[866],"arithmetic":[869],"published":[871],"quantities:":[872],"anchor":[878,904],"over":[879,1031],"ten,":[880],"bare":[882,889],"term":[883],"thousand":[886],"Limits,":[888],"plus":[890,1126,1493],"kinetic":[891],"inverse":[894],"fine-structure":[895],"constant,":[896],"1001":[899],"\u03b1\u207b\u00b9,":[901],"one-step":[903],"route":[905],"100.1,":[908],"multiplier":[910],"factoring":[911],"7":[913],"11":[915],"13,":[917],"positive,":[921,1441],"form,":[927],"positive":[928,1038,1287,1433],"ceiling,":[932],"lying":[937],"strictly":[938,1093,1268,1272,1295],"unit":[941,1042,1283,1347],"interval":[942,1284,1532],"what":[946],"makes":[947],"all":[953],"(t1_tl_value,":[954],"t2_bare_is_thousand_tl,":[955],"t3_bare_plus_kinetic,":[956],"t4_tl_times_1001,":[957],"t5_anchor_route,":[958],"t6_multiplier_factors,":[959],"t7_tl_pos,":[960],"t8_tl_iva_value,":[961],"t9_floor_pos_below,":[962],"t10_tl_in_unit).":[963],"phase":[965],"torsion":[969],"reading:":[970],"zero":[971,1065,1264,1520],"Noble,":[973,1266,1289,1517],"IVA,":[978,990],"Shatter,":[983,999],"or":[994],"above":[995,1094,1273,1288],"from":[1006],"up":[1009],"(t11_zero_is_noble,":[1012],"t12_floor_is_iva,":[1013],"t13_limit_is_shatter,":[1014],"t14_corridor_is_iva,":[1015],"t15_above_limit_is_shatter,":[1016],"t16_corridor_band).":[1017],"readings":[1020,1395],"between":[1024],"them:":[1025],"speed,":[1034],"open":[1041,1282,1346],"interval,":[1043,1348,1436],"square":[1045,1443],"equal":[1046],"\u03c4_A)":[1054,1461],"exactly,":[1055,1262,1500],"Noble":[1061,1096,1201],"there,":[1066,1521],"logarithm":[1071],"returning":[1081],"values":[1097,1228],"everywhere":[1098],"past":[1099],"(t17_c_pos,":[1101],"t18_reading_a,":[1102],"t19_doppler_pos,":[1103],"t20_doppler_sq,":[1104],"t21_doppler_noble,":[1105],"t22_tau_b_noble,":[1106],"t23_tau_b_is_log_doppler,":[1107],"t24_exp_tau_b,":[1108],"t25_doppler_gt_one,":[1109],"t26_tau_b_pos).":[1110],"multiplicative":[1115],"addition.":[1119],"cleared,":[1124],"composed":[1128],"u)(1":[1134,1146],"v)/(1":[1136,1148],"uv),":[1138,1150],"minus":[1140,1274],"into":[1155,1364,1506],"ratios,":[1158],"k(u":[1160],"v)":[1162],"k(u)":[1164],"k(v)":[1166],"follows":[1167],"composes":[1179],"by":[1180],"(t27_vadd_clear,":[1181],"t28_one_plus_vadd,":[1182],"t29_one_minus_vadd,":[1183],"t30_ratio_factors,":[1184],"t31_doppler_mul,":[1185],"t32_tau_b_additive).":[1186],"law's":[1188],"own":[1189],"structure,":[1190],"subtraction":[1193,1206],"side":[1194],"it:":[1196],"commutative,":[1200],"identity,":[1204],"division":[1210],"k(a)/k(b)":[1212],"k((a":[1214],"b)/(1":[1216],"ab))":[1218],"value":[1233],"single":[1236],"argument":[1237,1373],"(t33_vadd_comm,":[1238],"t34_vadd_zero,":[1239],"t35_doppler_div,":[1240],"t36_tau_b_sub).":[1241],"bridge.":[1243],"corpus":[1245],"tangent":[1246,1303],"operator,":[1247],"written":[1248],"needs":[1255],"nothing":[1256],"beyond":[1257],"exp,":[1258],"inverts":[1259],"argument,":[1278],"lands":[1279],"always,":[1285],"odd":[1292],"function,":[1293],"increasing,":[1296],"agrees":[1298],"standard":[1301],"hyperbolic":[1302],"(t37_tanh_denom_pos,":[1304],"t38_bridge,":[1305],"t39_tanh_zero,":[1306],"t40_tanh_lt_one,":[1307],"t41_tanh_gt_neg_one,":[1308],"t42_tanh_in_unit,":[1309],"t43_tanh_pos,":[1310],"t44_tanh_op_is_tanh,":[1311],"t49_tanh_mono,":[1312],"t54_tanh_odd).":[1313],"map":[1315],"forced.":[1317],"operator":[1319,1355,1376],"satisfies":[1320],"velocity-addition":[1322],"arguments":[1328],"tanh_op(\u03c4_B1":[1330],"\u03c4_B2)":[1332],"solution":[1358],"substitution":[1363],"(t45_tanh_satisfies_vadd,":[1366],"t46_vadd_closed).":[1367],"No":[1372],"one,":[1378],"share":[1396],"zero,":[1398],"ceiling":[1401],"range":[1407],"conjunction":[1415],"(t47_never_reaches_one,":[1416],"t48_tau_b_unbounded,":[1417],"t50_tau_b_mono,":[1418],"t51_shared_zero,":[1419],"t52_doppler_mono,":[1420],"t53_limit_inverts).":[1421],"Lorentz":[1423,1438,1473,1498,1512,1524,1539],"column,":[1424],"remaining":[1427,1449,1469,1509],"fraction":[1428,1450,1470],"identified.":[1429],"radicand":[1431],"reciprocal":[1446,1454],"radicand,":[1447],"squared":[1451,1495],"squared,":[1457],"\u03b3(1":[1459],"1/k":[1463],"expression":[1474,1505],"(t55_radicand_pos,":[1480],"t56_gamma_pos,":[1481],"t57_gamma_sq,":[1482],"t58_remaining_fraction,":[1483],"t59_remaining_is_inv_doppler).":[1484],"Celerity":[1485],"loop.":[1488],"root":[1490],"celerity":[1494,1504,1518],"returns":[1496],"turns":[1502],"negated":[1508],"fraction;":[1510],"least":[1528],"throughout":[1530],"(t60_celerity_root,":[1533],"t61_celerity_minus_root,":[1534],"t62_gamma_noble,":[1535],"t63_celerity_noble,":[1536],"t64_gamma_ge_one).":[1537],"half-sum":[1543]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}