nx_autoformalize_cap_probe.nx

nx_autoformalize_cap_probe.nx -- what does the 8-token cap in af_parse ACTUALLY do? Debt 1785521261 claimed it produces a WELL-FORMED FORMALIZATION OF A WEAKER STATEMENT (silently dropping trailing constraints). Reading the consumer suggests otherwise: it accepts ONLY nt==3 or nt==5 and returns 0 for anything else, so a 9+ token sentence truncated to 8 should match NEITHER shape and REFUSE. This probe settles which is true by RUNNING it, because a wrong debt is worse than no debt -- it sends the next person to fix something that is not broken. expect_exit: 0 license_tier: ORIGINAL