nx_triangulation_battery.nx

nx_triangulation_battery.nx -- substrate-side triangulated proof that algorithms can be called via NishiLang AND produce the proper result, with NO external dependencies. Per user 2026-05-14: "we want proofs that any algorithm can be called via nishi and have the proper result via nishi lang itself in a triangulated fashion". Method: for each primitive under test (AUT), run the AUT plus TWO independent witnesses: W1 = known-vector oracle (hardcoded expected answer) W2 = algebraic identity (compute the same value via a different path, often by composing other substrate primitives) If AUT == W1 == W2, the result is TRIANGULATED on that input. Aggregate verdict over the battery: tri_total, tri_agree, tri_fail. genealogy_id: substrate_triangulation_battery_2026_05_14 lineage_id: self_verified_correctness