nx_propose_verify_lib.nx

nx_propose_verify_lib.nx -- the PROPOSE->VERIFY primitive as a reusable LIBRARY (2026-07-15): few-shot templating + greedy no-float generation (through the PRODUCTION serve core) + first-integer proposal parse + concrete-claim building for kernel certification. Composes nx_nofloat_serve_core (the PROPOSER) and nx_autoformalize_lib (the DISPOSER: af_decide -- a wrong proposal cannot certify, soundness by construction). This is the autonomous-building safety primitive: generator proposes, sound checker disposes, nothing unverified is trusted. Consumers: nx_propose_verify (organ/CLI) + the probe gates nx_nofloat_propose_verify_gate / nx_nofloat_propose_solve_gate (single source of truth for the templates: the gates measure EXACTLY the code path the organ serves). Caller must nsv_init(<gguf path>) ONCE before pvl_generate (and RETURN from main -- pool-worker reap). license_tier: ORIGINAL (lib: no main -- build standalone gives rc=102 by design)