Add native terminfo reader; reconstruct tigetstr/tigetnum/tigetflag

The wisest next move: a real terminfo substrate, so the crate's hardcoded xterm
byte sequences are derived from the compiled terminfo entry instead of asserted.

src/terminfo/:
- A dependency-free reader for the compiled terminfo binary format (legacy i16
  and 32-bit-number magics; names, booleans, even-offset pad, numbers, string
  table). Pure, never panics, #![forbid(unsafe_code)] preserved.
- tigetflag/tigetnum/tigetstr with ncurses' exact return semantics
  (present / absent / cancelled / not-a-capability).
- caps.rs: canonical capability-name tables CODEGENNED by `cargo xtask gen`
  from docs-src/models/terminfo-caps.json (extracted from ncurses' own
  boolnames/numnames/strnames). The freshness gate now covers codegen too.

Evidence (multiple oracles + fixture):
- tests/terminfo/xterm: committed xterm entry (sha 83fc9790) for hermetic tests.
- NCURSES.TERMINFO.LOOKUP: crate tiget* vs ncurses' own tiget* over ALL 497
  standard caps (44 bool + 39 num + 414 str), TERMINFO pinned to the fixture,
  admitted_match with zero diffs.
- Unit tests prove the seed caps (clear/el/ed/el1/cuu1/home/bel/smcup/rmcup/op/
  sgr0) equal the parsed terminfo strings.

Compass (clang C inventory vs syn Rust inventory) used before/during/after; the
syn walker now also indexes inherent-impl methods so curated counterparts can
target Terminfo::tiget* and be verified.

Result: terminfo group 0 -> 18.2% (6 full). Overall 43/481 (8.9%): 10 full, 9
partial, 15 scaffold, 2 divergent, 6 deferred, 1 n/a. docs/terminfo-atlas.md
records method and non-claims (extended caps, setupterm, tparm/tputs, mvcur).

Author: claude

README.md

@@ -36,9 +36,11 @@ clang C inventory joined with the `syn`-extracted Rust inventory and a curated,
 validated counterpart map). `cargo xtask check` is the freshness gate -- it
 re-renders in memory and fails if a doc drifted, a counterpart points at a
 missing Rust symbol, or a cited court has no receipt. CI and the optional
-`.githooks/pre-commit` run it on every change. Measured coverage today: **37 /
-481 functions (7.7%)** resolved (4 full, 9 partial, 15 scaffold, 2 divergent, 6
-deferred, 1 n/a). Three groups are fully resolved: **Bell** (`curs_beep`) is
+`.githooks/pre-commit` run it on every change. Measured coverage today: **43 /
+481 functions (8.9%)** resolved (10 full, 9 partial, 15 scaffold, 2 divergent, 6
+deferred, 1 n/a), including the terminfo lookup primitives
+`tigetflag`/`tigetnum`/`tigetstr` (full, oracle-matched over the whole xterm
+entry). Three groups are fully resolved: **Bell** (`curs_beep`) is
 reconstructed to full byte parity; **Erase** (`curs_clear`) is complete (6
 byte producers oracle-pinned, 3 deferred functions *proven* to emit no immediate
 bytes, `is_cleared` n/a); and **Overlap** (`curs_overlay`: `overlay`,
@@ -47,6 +49,20 @@ copy is in-memory, shown by a later refresh). "Resolved" covers both
 reconstructed byte producers and these evidence-backed non-output
 classifications -- it is not a claim of full API equivalence.
 
+## Terminfo substrate
+
+`src/terminfo/` is a native, dependency-free reader for the compiled terminfo
+binary format. It parses the admitted xterm entry and reconstructs the lookup
+primitives `tigetflag`/`tigetnum`/`tigetstr` with ncurses' exact return
+semantics. The capability-name tables (`src/terminfo/caps.rs`) are generated from
+ncurses' own ordered name arrays and freshness-gated. This is the first major
+credibility step: the hardcoded byte sequences (`clear`, `el`, `smcup`, `op`, ...)
+are now *derived* from the parsed entry, not merely asserted. The reconstruction
+is checked against ncurses' own lookup over **all 497** standard capabilities of
+the xterm entry (`NCURSES.TERMINFO.LOOKUP`, `admitted_match`, zero diffs). See
+[`docs/terminfo-atlas.md`](docs/terminfo-atlas.md) for the method and non-claims
+(extended caps, `setupterm`, `tparm`/`tputs`, and `mvcur` are out of scope).
+
 ## Oracle receipts
 
 Byte claims are backed by receipts under [`reports/oracle/`](reports/oracle/),

docs-src/models/parity.model.json

@@ -413,6 +413,12 @@
     "beep_sp": {"rust": "bell::beep", "status": "full", "courts": ["NCURSES.CAP.BEL"], "note": "Byte-identical to beep; the _sp screen selection is not modeled but emits the same bel byte."},
     "flash": {"rust": "bell::flash", "status": "full", "courts": ["NCURSES.CAP.FLASH"], "note": "Emits the flash capability; the $<100/> delay is a real-time pause, not bytes, so the stream is the DECSCNM on/off pair."},
     "flash_sp": {"rust": "bell::flash", "status": "full", "courts": ["NCURSES.CAP.FLASH"], "note": "Byte-identical to flash; the _sp screen selection is not modeled."},
+    "tigetstr": {"rust": "terminfo::Terminfo::tigetstr", "status": "full", "courts": ["NCURSES.TERMINFO.LOOKUP"], "note": "Reconstructed from a native compiled-terminfo reader; matches ncurses tigetstr over every standard string cap of the xterm entry (return semantics: present/absent/not-a-string)."},
+    "tigetstr_sp": {"rust": "terminfo::Terminfo::tigetstr", "status": "full", "courts": ["NCURSES.TERMINFO.LOOKUP"], "note": "Same lookup; the _sp screen-pointer global state is not modeled but the returned value is identical."},
+    "tigetnum": {"rust": "terminfo::Terminfo::tigetnum", "status": "full", "courts": ["NCURSES.TERMINFO.LOOKUP"], "note": "Reconstructed terminfo numeric lookup; matches ncurses tigetnum over every standard numeric cap (value / -1 absent / -2 not-a-number)."},
+    "tigetnum_sp": {"rust": "terminfo::Terminfo::tigetnum", "status": "full", "courts": ["NCURSES.TERMINFO.LOOKUP"], "note": "Same lookup; _sp variant not modeled, value identical."},
+    "tigetflag": {"rust": "terminfo::Terminfo::tigetflag", "status": "full", "courts": ["NCURSES.TERMINFO.LOOKUP"], "note": "Reconstructed terminfo boolean lookup; matches ncurses tigetflag over every standard boolean cap (1 / 0 / -1 not-a-boolean)."},
+    "tigetflag_sp": {"rust": "terminfo::Terminfo::tigetflag", "status": "full", "courts": ["NCURSES.TERMINFO.LOOKUP"], "note": "Same lookup; _sp variant not modeled, value identical."},
     "mvcur": {"rust": "cursor::mvcur", "status": "partial", "courts": ["NCURSES.CAP.CUP", "NCURSES.CAP.CUU1", "NCURSES.CAP.HOME"], "note": "Reconstructs ncurses relative_move strategy enumeration; the move primitives (CUP/cuu1/home) are byte-pinned to the terminfo oracle. The full capability-cost tie-break is not yet independently oracle-pinned beyond the unit fixtures."},
     "mvcur_sp": {"rust": "cursor::mvcur", "status": "scaffold", "note": "Same byte producer; the screen-pointer (_sp) reentrant variant is not modeled."},
     "clear": {"rust": "screen::clear", "status": "partial", "courts": ["NCURSES.CAP.CLEAR"], "note": "Emits the clear_screen capability bytes; not the full clear() window-state semantics."},