{"id":"c17979","filename":"c17979_J5: INO-DOH jezgra paritet Rust<->Python 1000_1000 seed 24102026, 9_9 regresija, svjedok S1-S5 PROLAZ.dok.json","weise3_id":"","tip":"racun_sesije","naziv":"jezgra/src/ino_doh.rs (pub mod ino_doh u lib.rs): obracun(Ulaz)->Ishod, CIJELI centi + bazni bodovi, bez floata → bajt-identicno Rust/Python/WASM. Parametarski (dohodak, ino_porez, osobni_odbitak, pra","kreator":"genesis","datum":"","snippet":"jezgra/src/ino_doh.rs (pub mod ino_doh u lib.rs): obracun(Ulaz)->Ishod, CIJELI centi + bazni bodovi, bez floata → bajt-identicno Rust/Python/WASM. Parametarski (dohodak, ino_porez, osobni_odbitak, prag, niza_bp, visa_bp = ULAZI) → tocan za bilo koju opcinu/godinu; HR 2025 defaulti dokumentirani (odb","status":"","prev_weise3":"","bunker_l":"#00d4ff","full":{"tip":"racun_sesije","naslov":"J5 (plan c16328): INO-DOH jezgra — paritet Rust↔Python 1000/1000 (seed 24102026), bajt-identično","deset_rijeci":["DOKAZIV","ISTINIT","PRENOSIV"],"stop_nalaz":"Plan c16328 pretpostavio referentni ino_doh.py — NE POSTOJI. Korak Nula (Z58, grep po znacenju): INO-DOH u Kelavi je SAMO enum vrste obrasca (tax_wizard/models.py:89), racun je shema-vodjen Django engine (prefill_engine/services), bez izdvojene aritmetike. Vjerna interpretacija (duh J6 'po jedna implementacija INO-DOH'): jezgra dobiva numericku srz, ino_doh.py je Python ljuska iste srzi, oboje iz istog spec-a.","sto_je_napravljeno":"jezgra/src/ino_doh.rs (pub mod ino_doh u lib.rs): obracun(Ulaz)->Ishod, CIJELI centi + bazni bodovi, bez floata → bajt-identicno Rust/Python/WASM. Parametarski (dohodak, ino_porez, osobni_odbitak, prag, niza_bp, visa_bp = ULAZI) → tocan za bilo koju opcinu/godinu; HR 2025 defaulti dokumentirani (odbitak 600€/mj, prag 60000€, niza 15-23%, visa 25-33%, kredit=min(ino_porez,bruto)). Python referenca jezgra/ino_doh.py (isti LCG MMIX + ista aritmetika). Rust example examples/ino_doh_paritet.rs.","triplet":"cargo test -p eho_v2_jezgra ino_doh = 3/3 ok; cargo test -p eho_v2_jezgra (puni) = 9/9 ok (nema regresije od dodanog modula); paritet seed=24102026 n=1000: Rust sha256=e3142604ec3c1d94448e81b91b804f6b3a01923223f5cdd00ee1bc066ed5ad3c == Python sha256 isti, diff=0, jednakih 1000/1000; integracijski harness testovi/test_svjedok_f1.py S1-S5 PROLAZ exit 0.","razina":"DOKAZANO (n=1000, egzaktno podudaranje — ne statistika, nije potreban CI)","ostaje":"JS ljuska iste srzi (plan: 'JS i Python su ljuske') — jos nenapisana; produkcijski cutover (Kelava Django engine zove jezgru) NIJE radjen i ceka zasebni DA (plan: 'ne dira produkciju prije zasebnog DA'); 'IH-10' iz plana je labela bez doslovnog koda — kao regresijski gate pokrenut stvarni eho_v2 harness svjedok_f1.","izmijenjeno":["paketi/eho_v2/jezgra/src/ino_doh.rs (nova)","paketi/eho_v2/jezgra/src/lib.rs (+pub mod, .bak)","paketi/eho_v2/jezgra/Cargo.toml (+[[example]], .bak)","paketi/eho_v2/jezgra/examples/ino_doh_paritet.rs (nova)","paketi/eho_v2/jezgra/ino_doh.py (nova)"],"trostanje":"NEPOZNATO (shema 2.1: tvrdnja DRZI bez neovisnog svjedoka)","veze":["c16328"],"dokarh_version":"2.1","pisac":{"akter":"nenavedena sesija","cvor":"ubuntu","korisnik":"root","ppid":1297060,"kako":"auto (shema 2.1) — polje nije bilo postavljeno"},"trostanje_pisca":"NEPOZNATO (shema 2.1: tvrdnja DRZI s neispravnim tripletom)","triplet_nalaz":{"stanje":"nije objekt","pravilo":"Triplet mora biti objekt s nepraznom 'naredba', cjelobrojnim 'exit' i dokazom (neprazan 'izlaz' koji nije zamjenski tekst, ili polje sha/hash s hex vrijednoscu 16+ znakova). Prepisano iz c10296.","izvorna_tvrdnja":"DRZI"},"svjedok":{"stanje":"NEMA","pravilo":"DRZI trazi svjedoka koji je DRUGI akter od pisca, s naredbom i sha256 izlaza. Bez toga presuda je najvise NEPOZNATO (cl.5).","pisac_akter":"nenavedena sesija","izvorna_tvrdnja":"NEPOZNATO (shema 2.1: tvrdnja DRZI s neispravnim tripletom)"},"osnovica":{"stanje":"NEDEKLARIRANA","faza":"A (samo oznaka; kapa na presudu dolazi u fazi B)","pravilo":"Atom nosi odnos ili postotak. Odnos bez deklarirane osnovice (sto, alat, verzija, gzip_B, zstd_B) nije provjerljiva tvrdnja."},"intent_nalaz":{"stanje":"NEDEKLARIRAN","faza":"1 (samo oznaka; odbijanje u fazi 2)","pravilo":"RACUN nosi 'intent': 'cNNNN' (INTENT koji zatvara) ILI 'bez_intenta': '<razlog>' (periodicni dokaz, verifikacija citanjem). ODLUKA c16378."},"prev_lanac":{"c":"c17978","datoteka":"c17978_racun_prez_ogledalo_auto_dokaz.dok.json","sha3_256":"1d4938e1efb0acbe0b4a8ee3cd82e55a1452d549230deaf3f2580bcbd5f283a3","duplikata":1}},"sloj":"file","digest":"f2ef2b9afebbc39d7604a3a51427403982dc3e19e19e53826faa144e51f0d5aa","has_resolver":false,"weise3_valjan":false}