code wiki / (root) / nx_grammar_gate.nx

nx_grammar_gate.nx

buildroot/runtime/nx_grammar_gate.nx

3768 B92 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_grammar_gate.nx -- REFEREE for WRITING rung W-R2g (nx_grammar). [T1] doubled word: "I saw the the cat." -> doubled=1 [T2] a/an misuse: "She ate a apple and an cat." -> a_an=2 [T3] cap-after-period: "He left. she cried." -> cap=1 [T4] NEG-CONTROL clean: "He left. She cried. The cat ate an apple." -> 0/0/0 Evidence -> stdout + knowledge/status/grammar_gate.log. Exit 0/1. Sovereign.

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_grammar.nx nx_grammar_gate.nx

imports: nx_syscalls_x86_64.nxnx_grammar.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 gr_check wc_is_alpha wc_lower gr_words_eq wc_lower ↻ gr_is_art_vowel wc_lower ↻ gr_eq_lit wc_lower ↻ slen pr_kv gp ↻ gn

structs

none

consts

none

functions

12func gp(logfd: i64, s: *u8) -> i64
called by 2: pr_kvmain
19func gn(logfd: i64, v: i64) -> i64
called by 1: pr_kv
33func slen(s: *u8) -> i64
called by 1: main
38func pr_kv(logfd: i64, label: *u8, got: i64, exp: i64) -> i64
called by 1: main calls 2: gpgn
47func main() -> i64