<!-- DO NOT EDIT BY HAND.
Generated by `cargo xtask gen` (xtask/src/main.rs) from docs-src/models/c-api.json
(clang C inventory) joined with the syn-extracted Rust inventory and the curated,
validated map in docs-src/models/parity.model.json. Run `cargo xtask check` to
verify freshness; it fails if this file drifts or a model invariant is violated. -->

# Claim index — courts, receipts, and the functions that cite them

Each oracle court has a receipt under `reports/oracle/<id>.json` with the ncurses
version, TERM, terminfo hash, locale, geometry, and both byte hashes. A counterpart
marked `partial` or `divergent` must cite at least one court; this index is the
join, and `cargo xtask check` fails if any cited receipt is missing.

| court | verdict | cited by |
|---|---|---|
| `NCURSES.BKGD.NOOUTPUT` | admitted_match | `bkgd`, `bkgdset`, `wbkgd`, `wbkgdset` |
| `NCURSES.BYTE.FRAME.FULL` | admitted_match | `endwin`, `endwin_sp`, `exit_curses`, `initscr`, `newterm`, `newterm_sp` |
| `NCURSES.CAP.BEL` | admitted_match | `beep`, `beep_sp` |
| `NCURSES.CAP.CLEAR` | admitted_match | `clear`, `wclear` |
| `NCURSES.CAP.CUP` | admitted_match | `mvcur` |
| `NCURSES.CAP.CUU1` | admitted_match | `mvcur` |
| `NCURSES.CAP.ED` | admitted_match | `clrtobot`, `wclrtobot` |
| `NCURSES.CAP.EL` | admitted_match | `clrtoeol`, `wclrtoeol` |
| `NCURSES.CAP.FLASH` | admitted_match | `flash`, `flash_sp` |
| `NCURSES.CAP.HOME` | admitted_match | `mvcur` |
| `NCURSES.COLOR.ALLOC` | admitted_match | `alloc_pair`, `alloc_pair_sp`, `find_pair`, `find_pair_sp`, `free_pair`, `free_pair_sp` |
| `NCURSES.COLOR.CONTENT` | admitted_match | `color_content`, `color_content_sp`, `extended_color_content`, `extended_color_content_sp` |
| `NCURSES.COLOR.PAIR` | admitted_match | `COLOR_PAIR`, `PAIR_NUMBER`, `extended_pair_content`, `extended_pair_content_sp`, `init_extended_pair`, `init_extended_pair_sp`, `init_pair`, `init_pair_sp`, `pair_content`, `pair_content_sp` |
| `NCURSES.CURS_SET` | admitted_match | `curs_set`, `curs_set_sp` |
| `NCURSES.DOUPDATE` | admitted_match | `doupdate`, `refresh`, `vidattr`, `vidattr_sp`, `vidputs`, `vidputs_sp`, `wnoutrefresh`, `wrefresh` |
| `NCURSES.ERASE.NOOUTPUT` | admitted_match | `clearok` |
| `NCURSES.INPUT` | admitted_match | `getch`, `wgetch` |
| `NCURSES.KEY.DEFINED` | admitted_match | `has_key`, `has_key_sp`, `key_defined`, `key_defined_sp` |
| `NCURSES.KEYNAME` | admitted_match | `keyname`, `keyname_sp` |
| `NCURSES.MOUSE.TRAFO` | admitted_match | `mouse_trafo`, `wenclose`, `wmouse_trafo` |
| `NCURSES.MVCUR` | admitted_match | `mvcur` |
| `NCURSES.OVERLAY.NOOUTPUT` | admitted_match | `copywin`, `overlay`, `overwrite` |
| `NCURSES.REFRESH.NOOUTPUT` | admitted_match | `redrawwin`, `wredrawln` |
| `NCURSES.RESIZE.NOOUTPUT` | admitted_match | `resize_term`, `resize_term_sp`, `resizeterm`, `resizeterm_sp` |
| `NCURSES.SCROLL.NOOUTPUT` | admitted_match | `idcok`, `idlok`, `immedok`, `leaveok`, `scrl`, `scroll`, `scrollok`, `setscrreg`, `wscrl`, `wsetscrreg` |
| `NCURSES.SLK` | admitted_match | `slk_label`, `slk_label_sp`, `slk_set`, `slk_set_sp` |
| `NCURSES.SLK.NOOUTPUT` | admitted_match | `slk_clear`, `slk_clear_sp`, `slk_noutrefresh`, `slk_noutrefresh_sp`, `slk_refresh`, `slk_refresh_sp`, `slk_restore`, `slk_restore_sp`, `slk_touch`, `slk_touch_sp` |
| `NCURSES.TERMATTRS` | admitted_match | `has_ic`, `has_ic_sp`, `has_il`, `has_il_sp`, `longname`, `longname_sp`, `termname`, `termname_sp` |
| `NCURSES.TERMCAP` | admitted_divergence | `tgetent`, `tgetent_sp`, `tgetflag`, `tgetflag_sp`, `tgetnum`, `tgetnum_sp`, `tgetstr`, `tgetstr_sp`, `tgoto`, `tgoto_sp` |
| `NCURSES.TERMINFO.ECOLOGY` | admitted_match | `can_change_color`, `can_change_color_sp`, `has_colors`, `has_colors_sp`, `restartterm`, `restartterm_sp`, `setupterm`, `tigetflag`, `tigetflag_sp`, `tigetnum`, `tigetnum_sp`, `tigetstr`, `tigetstr_sp` |
| `NCURSES.TERMINFO.LOOKUP` | admitted_match | `can_change_color`, `can_change_color_sp`, `has_colors`, `has_colors_sp`, `tigetflag`, `tigetflag_sp`, `tigetnum`, `tigetnum_sp`, `tigetstr`, `tigetstr_sp` |
| `NCURSES.TOUCH.NOOUTPUT` | admitted_match | `syncok`, `touchline`, `touchwin`, `untouchwin`, `wcursyncup`, `wsyncdown`, `wsyncup`, `wtouchln` |
| `NCURSES.TPARM` | admitted_match | `tiparm`, `tiparm_s`, `tparm`, `tparm_sp` |
| `NCURSES.TPUTS` | admitted_match | `putp`, `putp_sp`, `tputs`, `tputs_sp` |
| `NCURSES.WINDOW.ATTR` | admitted_match | `addchnstr`, `addchstr`, `attr_get`, `attr_off`, `attr_on`, `attr_set`, `attroff`, `attron`, `attrset`, `chgat`, `color_set`, `getattrs`, `mvaddchnstr`, `mvaddchstr`, `mvchgat`, `mvwaddchnstr`, `mvwaddchstr`, `mvwchgat`, `standend`, `standout`, `waddchnstr`, `waddchstr`, `wattr_get`, `wattr_off`, `wattr_on`, `wattr_set`, `wattroff`, `wattron`, `wattrset`, `wchgat`, `wcolor_set`, `wstandend`, `wstandout` |
| `NCURSES.WINDOW.GEOMETRY` | admitted_match | `derwin`, `dupwin`, `getbegx`, `getbegy`, `getcurx`, `getcury`, `getmaxx`, `getmaxy`, `getparx`, `getpary`, `is_pad`, `is_subwin`, `mvderwin`, `mvwin`, `newpad`, `newpad_sp`, `newwin`, `newwin_sp`, `subpad`, `subwin`, `wresize` |
| `NCURSES.WINDOW.STATE` | admitted_match | `addch`, `addnstr`, `addstr`, `border`, `box`, `delch`, `deleteln`, `echochar`, `erase`, `hline`, `inch`, `inchnstr`, `inchstr`, `innstr`, `insch`, `insdelln`, `insertln`, `insnstr`, `insstr`, `instr`, `move`, `mvaddch`, `mvaddnstr`, `mvaddstr`, `mvdelch`, `mvhline`, `mvinch`, `mvinchnstr`, `mvinchstr`, `mvinnstr`, `mvinsch`, `mvinsnstr`, `mvinsstr`, `mvinstr`, `mvvline`, `mvwaddch`, `mvwaddnstr`, `mvwaddstr`, `mvwdelch`, `mvwhline`, `mvwinch`, `mvwinchnstr`, `mvwinchstr`, `mvwinnstr`, `mvwinsch`, `mvwinsnstr`, `mvwinsstr`, `mvwinstr`, `mvwvline`, `vline`, `waddch`, `waddnstr`, `waddstr`, `wborder`, `wdelch`, `wdeleteln`, `wechochar`, `werase`, `whline`, `winch`, `winchnstr`, `winchstr`, `winnstr`, `winsch`, `winsdelln`, `winsertln`, `winsnstr`, `winsstr`, `winstr`, `wmove`, `wvline` |

