On an Essential Unverified Step in Baek's "Optimality of Gerver's Sofa" and three ancillary corrections to arXiv:2411.19826v1

{"Baek's":[0],"preprint":[1],"\\"Optimality":[2],"of":[3,58,75,119,134,158,180,196],"Gerver's":[4,9,59,151,185],"Sofa\\"":[5],"(arXiv:2411.19826v1)":[6],"claims":[7],"that":[8,32,65,184],"sofa":[10,186],"attains":[11],"the":[12,16,35,46,51,88,96,116,123,132,155,166,191,197],"maximal":[13],"area":[14],"in":[15,38,92,99,105,115,147,169,176],"moving-sofa":[17],"problem.":[18],"This":[19],"note":[20,140],"isolates":[21,142],"a":[22],"proof-completeness":[23],"issue":[24],"already":[25],"acknowledged":[26],"locally":[27],"by":[28],"Baek":[29],"and":[30,55,84,154,172,193],"shows":[31],"it":[33,164],"enters":[34],"final":[36,117],"argument":[37,90],"two":[39,173],"logically":[40],"distinct":[41],"ways.":[42],"Theorem":[43,76,80,85,100,106,120,135,148,152,177],"8.4.1":[44,63,77,101,136],"identifies":[45],"formal":[47],"Gerver-Romik":[48],"curves":[49,54],"with":[50],"actual":[52],"support/contact":[53],"niche":[56],"boundary":[57],"sofa,":[60],"while":[61],"Remark":[62],"states":[64],"these":[66,181],"geometric":[67],"assertions":[68],"still":[69],"require":[70],"rigorous":[71],"logical/symbolic":[72],"verification.":[73],"Parts":[74],"feed":[78],"through":[79],"8.4.3,":[81],"Proposition":[82,170],"8.4.4,":[83],"8.4.5":[86],"into":[87],"directional-derivative":[89],"culminating":[91],"Corollary":[93],"8.5.8;":[94],"independently,":[95],"niche-boundary":[97],"assertion":[98],"is":[102,127,137,187],"used":[103],"directly":[104],"8.4.6":[107],"to":[108],"identify":[109],"A(K)=Q(K,B_K,D_K)=|G|.":[110],"Both":[111],"ingredients":[112],"are":[113],"invoked":[114],"proof":[118,126],"1.1.1.":[121],"Thus":[122],"public":[124],"v1":[125],"incomplete":[128],"as":[129],"written":[130,198],"unless":[131],"verification":[133],"supplied.":[138],"The":[139],"also":[141],"an":[143],"internal":[144,194],"attribution":[145],"mismatch":[146],"6.1.2":[149],"concerning":[150],"2":[153],"stronger":[156],"notion":[157],"globally":[159],"maximizing":[160],"polygon":[161],"caps.":[162],"Finally,":[163],"corrects":[165],"bounded-density":[167],"formulation":[168],"5.1.4":[171],"sign/index":[174],"errors":[175],"8.5.7.":[178],"None":[179],"observations":[182],"proves":[183],"non-optimal;":[188],"they":[189],"concern":[190],"completeness":[192],"consistency":[195],"proof.":[199]}