code wiki / (root) / nx_write_exceed_gate.nx

nx_write_exceed_gate.nx

buildroot/runtime/nx_write_exceed_gate.nx

9034 B200 linesdepth 8pulls 13 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_write_exceed_gate.nx -- WRITING arc EXCEED-BENCH (W-EXC-1): the MEASURED S-class-exceed verdict for nishi-write, in the codebase's competitive-census style (exceed is MEASURED, never asserted -- STARTUP_BRIEFING law 5). A 10-capability matrix. Each NISHI cell is PROVEN by actually RUNNING the real organ in this gate (no cell is declared true without a passing run). The incumbent columns (Hemingway / Grammarly / ProWritingAid / Scrivener) are STATED PUBLIC capability -- a named reference yardstick, NOT a fabricated score (the same discipline as the WMS-R11 "git as yardstick" exceed-bench). caps 0-4 (SHARED): readability-grade, adverbs, passive, weak/qualifiers, hard-sentence -- incumbents have these; Nishi PROVES parity. caps 5-9 (NISHI-UNIQUE): scene-extraction, character-presence, descriptor/ image-gen profile, register-routing+governance, integrated sovereign stack -- the incumbents lack these. EXCEED = nishi_cov (proven by running) STRICTLY GREATER THAN the best incumbent, with the 5 shared cells at proven parity and the 5 unique cells the incumbents do not cover. NO-FABRICATION control: an honestly-absent capability (grammar/spell-check, not yet built) stays 0 -- the census reflects reality. Evidence -> stdout + knowledge/status/write_exceed_gate.log. Exit 0/1. Sovereign x86_64. license_tier: ORIGINAL

dependencies 7 imports · 0 importers

nx_syscalls_x86_64.nx nx_writecraft.nx nx_writestyle.nx nx_ingest.nx nx_ingest_scene.nx nx_descriptor.nx nx_register.nx nx_write_exceed_gate.nx

imports: nx_syscalls_x86_64.nxnx_writecraft.nxnx_writestyle.nxnx_ingest.nxnx_ingest_scene.nxnx_descriptor.nxnx_register.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_openat_append gp wc_counts wc_is_alpha wc_lower wc_syllables wc_is_vowel wc_lower ↻ wc_lower ↻ slen wc_fk_grade cap gp ↻ ws_signals wc_is_alpha ↻ ws_eval_word ws_ends2 wc_lower ↻ ws_is_weak ws_streq_ci wc_lower ↻ ws_is_beverb ws_streq_ci ↻ ig_extract ig_close_scene ig_name_off ig_count_name_in ig_match_at wc_is_alpha ↻ wc_lower ↻ dx_profile ig_name_off ↻ ig_count_name_in ↻ rg_score ig_name_off ↻ ig_count_name_in ↻ rg_decision gn

structs

none

consts

none

functions

32func gp(logfd: i64, s: *u8) -> i64
called by 2: capmain
39func gn(logfd: i64, v: i64) -> i64
called by 1: main
57func slen(s: *u8) -> i64
called by 1: main
63func cap(logfd: i64, name: *u8, proven: i64) -> i64
called by 1: main calls 1: gp
72func main() -> i64