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,
tipracun_sesije
naslovJ5 (plan c16328): INO-DOH jezgra — paritet Rust↔Python 1000/1000 (seed 24102026), bajt-identično
deset_rijeci[
"DOKAZIV",
"ISTINIT",
"PRENOSIV"
]
stop_nalazPlan 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 imp
sto_je_napravljenojezgra/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
tripletcargo 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 ha
razinaDOKAZANO (n=1000, egzaktno podudaranje — ne statistika, nije potreban CI)
ostajeJS 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 har
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)"
]
trostanjeNEPOZNATO (shema 2.1: tvrdnja DRZI bez neovisnog svjedoka)
veze[
"c16328"
]
dokarh_version2.1
pisac{
"akter": "nenavedena sesija",
"cvor": "ubuntu",
"korisnik": "root",
"ppid": 1297060,
"kako": "auto (shema 2.1) — polje nije bilo postavljeno"
}
trostanje_piscaNEPOZNATO (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
}