nx_imgattr_lib_gate.nx

nx_imgattr_lib_gate.nx -- the gate for nx_imgattr_lib. IN-PROCESS: it imports the lib and calls it directly, so nx_gate_bite can mutate the subject and watch teeth die. WHAT IT HAS TO PROVE: - the WRITER can never emit an img whose attributes the data can escape from, however hostile the caption is, and it REFUSES rather than emitting an img with no usable alt; - the READER can say NO. A checker that passes everything passes every test, so every positive tooth is paired with a control on markup that MUST fail; - the reader sees something the incumbent ruler cannot. nx_page_verify's a11y check counts the byte pattern - alt=- across the whole page; that rule is transcribed BY HAND below and asserted to ACQUIT the exact markup our own site serves. So is a present/absent alt test. Only the quote-break axis convicts it. That gap IS the defect, written as a test. THE ORACLES ARE INDEPENDENT ON PURPOSE. A tooth that calls the same function on both sides cannot fail, so nothing here asks ia_scan what the answer should have been: the expected values are literals, and the two foreign grammars (nx_page_verify's alt counter and its src scan) are transcribed here rather than imported. license_tier: ORIGINAL expect_exit: 0