nx_propose_verify.nx

nx_propose_verify.nx -- ORGAN: the PROPOSE->VERIFY capability as a reusable CLI (2026-07-15). The sovereign no-float Qwen PROPOSES an answer; the LCF-kernel autoformalization verifier CERTIFIES or REFUTES it -- nothing unverified is ever trusted (the autonomous-building safety primitive, now an organ). Accepted question forms (space-tokenized; digits or number-words zero..twelve): solve-form : "what plus 3 equals 7" / "3 plus what equals 7" (also times; x works for what) completion form: "6 plus 7 equals what" (model proposes the result) full claim : "2 plus 2 equals 4" (pass-through: kernel verdict only, no model, no init cost) Modes: argv[1] = one question (argv[2] = optional gguf path); no-arg = self-battery (expect_exit 0). Exit codes: 0 CERTIFIED · 2 REFUTED · 3 UNSUPPORTED · 5 NO-PROPOSAL · 1 infra failure. Battery teeth are model-IQ-INDEPENDENT: proposals parse + verdicts SOUND (kernel == independent arithmetic), the unsolvable question never certifies, pass-through true/false/garbage honest. Requires the gguf only for model routes. Return from main (pool reap), never sys_exit. No hw writes (Rule 26). expect_exit: 0 license_tier: ORIGINAL