code wiki / (root) / nx_forge_evidence_t274.nx

nx_forge_evidence_t274.nx

buildroot/runtime/nx_forge_evidence_t274.nx

4633 B101 linesdepth 6pulls 11 transitivereach 3 importersview sourcekind librarytopic forge

about

Additive structured evaluation for synthetic release-evidence reasoning. Does not authorize releases or execute model-produced code.

imports: nx_json.nxnx_json_lib_route_t160.nxnx_sha256.nxnx_lib_std.nx

imported by: nx_forge_evidence_gate_t274.nxnx_forge_judge.nxnx_forge_judge_trial_t274.nx

none

7	const FJ_TRI_MISSING:i64=0-2
8	const FJ_TRI_UNKNOWN:i64=0-1

9	func fje_len(s:*u8)->i64 { var n:i64=0;while s[n]!=(0 as u8){n=n+1};return n } called by 4: fje_eq fje_cli main main
10	func fje_eq(a:u8,n:i64,b:u8)->i64 { if n!=fje_len(b){return 0};var i:i64=0;while i<n{if a[i]!=b[i]{return 0};i=i+1};return 1 } called by 3: fje_parse main main calls 1: fje_len
11	func fje_parse(src:u8,n:i64,fixture:i64,v:i64)->i64 called by 1: fje_cli calls 3: nx_json_next jx_decode_span fje_eq
59	func fje_score(a:i64,b:i64)->i64 called by 1: fje_cli
64	func fje_hash(src:*u8,n:i64)->i64 called by 1: fje_cli calls 1: sha256_digest_checked_native
73	func fje_cli(fixture:u8,response:u8)->i64 called by 3: main main main calls 6: std_putln fje_parse fje_len fje_score std_puts fje_hash