code wiki / _hdl_build / nx_honesty_grade_lib.nx

nx_honesty_grade_lib.nx

buildroot/runtime/_hdl_build/nx_honesty_grade_lib.nx

4774 B88 linesdepth 0pulls 0 transitivereach 4 importersview sourcekind library
docsdependenciesstructsconstsfunctions

about

nx_honesty_grade_lib.nx -- the CYNICAL BAR, shared. Operator directive 2026-07-24: "our graders and judges and census are way too positive about our capabilities ... I want them almost cynical ... to correct the optimism that bleeds in on your side ... or at least incredibly accurate." Root cause: an instrument's author (me) is optimistic about the author's own work, and every grader re-invents its own generous PRESENT bar ("a gate passed on SYNTHETIC data" => "capability PRESENT"). This library is the ONE skeptical bar all graders import so the optimism cannot be re-introduced per-instrument. THE DISCIPLINE (import and call hg_grade instead of awarding a level directly): * DEFAULT SKEPTICAL: the unproven/unknown level is HG_ABSENT(0), never PRESENT. Burden of proof is on the optimistic claim, not on the doubter. * A claim is HONORED ONLY UP TO WHAT ITS EVIDENCE SUPPORTS. hg_grade(claimed, evidence) DOWNGRADES a claim whose evidence carries a stub-tell -- so wording can never lift a toy to REAL/PARTIAL. * levels: 0 ABSENT (nothing real) | 1 STUB (a gate passes on synthetic data; unusable at scale) | 2 PARTIAL (real + usable, sub-incumbent scale) | 3 REAL (production-grade AND live vs non-synthetic reality). "gate passes on synthetic" is capped at STUB, PERIOD. No main, no syscalls -> any grader/census/judge imports it. license_tier: ORIGINAL

dependencies 0 imports · 4 importers

nx_honesty_grade_lib.nx nx_connect_maturity.nx nx_honesty_grade_gate.nx nx_suitebench.nx nx_suitebench_gate.nx

imports: none

imported by: nx_connect_maturity.nxnx_honesty_grade_gate.nxnx_suitebench.nxnx_suitebench_gate.nx

structs

none

consts

18const HG_ABSENT: i64 = 0
19const HG_STUB: i64 = 1
20const HG_PARTIAL: i64 = 2
21const HG_REAL: i64 = 3

functions

23func hg_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 1: hg_contains
24func hg_contains(h: *u8, nd: *u8) -> i64
39func hg_stub_tell(ev: *u8) -> i64
called by 1: hg_grade calls 1: hg_contains
63func hg_has_real_proof(ev: *u8) -> i64
called by 1: hg_grade calls 1: hg_contains
76func hg_grade(claimed: i64, ev: *u8) -> i64
88func hg_readiness(sum: i64, n: i64) -> i64 { if n<=0 { return 0 } return (sum*1000)/(3*n) }
called by 2: mainmain