← DokArh Portal
dizajn_ispravak

EHO6 redoslijed-ispravak: membership PRIJE/S rendezvousom (ne poslije); NAT presudjuje DOMET ne ISPRAVNOST. Ispravlja c1445 RAZINA_3 (1->2->3 linearno).

Kreator: ivan (arhitekt) + cc Datum: 2026-06-21 Status: DIZAJN-ISPRAVAK cementiran. Buduci graditelj/Marija cita ISPRAVAN redoslijed: vrata prije puta. Sljedeca staza = rendezvous+membership kao PAR na javnim cvorovima; NAT poslije, za domet.
WeisE3™ ID: 81dd472b87684a9fdc1dbc3909da75b51849f48c7cb44d414cf99569dd239397
tipdizajn_ispravak
brojc1446
konteksteho6 / bootstrap / redoslijed / sigurnost
created_at2026-06-21T18:02:05Z
veze[ "c1445", "c1444" ]
ispravljac1445 RAZINA_3 nacrt nabrojao (1) preusmjeri sirovinu (2) membership (3) NAT -- citljivo kao rendezvous-prvi. NETOCAN redoslijed: otvara prozor.
jezgraCim Puzev f(sjeme,vrijeme) pocne racunati MJESTO, to mjesto je JAVNO izracunljivo (sjeme javno po dizajnu spore, c0964). Rendezvous-ziv-BEZ-membershipa = napadac izracuna isto mjesto i dodje, nema ga cime zaustaviti. Redoslijed (1)->(2) otvara prozor u kojem je put ziv a vrata jos ne vise.
PRAVILO_1_membership_par_ne_korak{ "pravilo": "Membership-predikat SPREMAN PRIJE nego rendezvous-mjesto postane dohvatljivo izvana. 'Vrata prije nego put do njih radi.'", "redoslijed": "(2)-spreman-PRIJE-(1)-ziv. (1) rendezvous + (2) membership = PAR, ne dva neovisna koraka. Otvaranje puta i cuvanje vrata stizu ZAJEDNO.", "razlog": "javno sjeme znaci da svatko tko skine PWA racuna isto mjesto -> sjeme rjesava OTKRIVANJE, ne POVJERENJE (vidi c1445 RAZINA_2 'spora javna'). Bez membershipa rendezvous je otvor, ne ulaz." }
PRAVILO_2_NAT_domet_ne_ispravnost{ "pravilo": "NAT presudjuje DOMET (mogu li telefoni/X96 iza routera biti DOMACINI, ili ostaju GOSTI), NE ISPRAVNOST.", "posljedica": "Rendezvous+membership mogu raditi savrseno medju JAVNIM cvorovima bez NAT-a rijesenog. EHO6 DOKAZIV ispravnim na javnim cvorovima PRIJE nego se dirne NAT.", "disciplina": "NE cekaj NAT da dokazes rendezvous. NE proglasi 'bez servera' dok NAT ne padne. Odvaja 'radi li logika' od 'doseze li svaki uredjaj'." }
ISPRAVAN_REDOSLIJED_EHO6(2)membership-spreman -> (1)rendezvous-ziv [par, dokazani ZAJEDNO na javnim cvorovima] -> (3)NAT za domet. NE tri neovisna koraka.
sto_ostaje_iz_c1445Sirovina (Puzev _FIB + dual_pi), mjesto-na-vratima, inventura imas/fali/zasebno-tvrdo -- sve STOJI. Mijenja se SAMO redoslijed izvedbe: membership i rendezvous su par.
statusDIZAJN-ISPRAVAK cementiran. Buduci graditelj/Marija cita ISPRAVAN redoslijed: vrata prije puta. Sljedeca staza = rendezvous+membership kao PAR na javnim cvorovima; NAT poslije, za domet.
block_hash3f187e48727c201a3ded9cd692c7ba17ba55155df2952a1467b60a143444cd64