code wiki / _hdl_build / nx_recon2view_gate.nx

nx_recon2view_gate.nx

buildroot/runtime/_hdl_build/nx_recon2view_gate.nx

8881 B186 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_recon2view_gate.nx -- END-TO-END two-view reconstruction from IMAGES ALONE (cadtwin P1 capstone): a non-coplanar 3D cloud seen by 2 cameras with UNKNOWN relative pose -> project to normalized correspondences -> estimate essential matrix (nx_essential3d) -> decompose to 4 poses (nx_epose) -> CHEIRALITY selects the physically-correct (R,t) -> triangulate -> recovered cloud. Benchmarked by (a) recovered R matches the true relative rotation, (b) REPROJECTION error ~0 (scale-invariant -> valid despite two-view scale ambiguity). = "photograph an object from 2 views -> its 3D geometry", all sovereign SVD-free. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_epose.nx nx_essential3d.nx nx_recon2view_gate.nx

imports: nx_epose.nxnx_essential3d.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main vg_puts proj1 proj2 ep_build_E ep_matmul ep_abs ep_decompose ep_transpose ep_matmul ↻ ep_eig_dom ep_abs ↻ r3_normalize r3_isqrt ep_mv ep_eig_null ep_abs ↻ ep_eig_dom ↻ ep_cross r3_normalize ↻ ep_dethand ep_cross ↻ ep_mv ↻ ep_select ep_cheir ep_tv_tri r3_normalize ↻ ep_mvT r3_midpoint r3_dotq r3_dotc ep_depth2 vg_putn vg_puts ↻ ep_frob vg_tooth vg_puts ↻ r3_normalize ↻ ep_tv_tri ↻ ep_depth2 ↻

structs

none

consts

none

functions

11func vg_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 3: vg_putnvg_toothmain
12func vg_putn(v: i64) -> i64
called by 1: main calls 1: vg_puts
25func vg_tooth(name: *u8, pass: i64, fails: *i64) -> i64
called by 1: main calls 1: vg_puts
33func proj1(X0: i64, X1: i64, X2: i64, out2: *i64) -> i64
called by 1: main
40func proj2(R: *i64, t: *i64, X0: i64, X1: i64, X2: i64, out2: *i64) -> i64
called by 1: main
50func main() -> i64