nx_bit_provenance_pipeline_test.nx

nx_bit_provenance_pipeline_test.nx -- BP-2 proof: bit-provenance composes through a multi-layer pipeline silicon-to-death. Pipeline simulated: L-1 silicon: 4 input bits born (b_a / b_b / b_c / b_d) L0 ISA: each input bit consumed by a load instruction L3 primitive: XOR composes b_a^b_b -> b_x, b_c^b_d -> b_y L3.5 ML: weighted sum composes b_x * w + b_y * (1-w) -> b_z L7 browser: b_z displayed (death) Audit at end: zombies = 0 (every produced bit consumed somewhere). expect_exit: 0