code wiki / _hdl_build / nx_claude_requests_canonical_gate_t144.nx
`nx_claude_requests_canonical_gate_t144.nx` source

↩ module page · 140 lines · 31009 B
1// nx_claude_usage_gate_t76.nx -- Processes token usage records to calculate and verify context and token counts across different time windows.
2import "nx_claude_harvest.nx"
3func main(argc:i64,argv:*i64)->i64{
if argc==7{let a:*u8=argv[3] as *u8;let b:*u8=argv[4] as *u8;let s:*u8=argv[5] as *u8;let e:*u8=argv[6] as *u8;return ch_usage_window_mode(argv[2] as *u8,chu_uint(a,0,sj_vlen(a)),chu_uint(b,0,sj_vlen(b)),chu_uint(s,0,sj_vlen(s)),chu_uint(e,0,sj_vlen(e)),1)}
if argc!=2{return 2}
let ctr:*i64=gv_ctr();gv_head("CONTEXT-REQUEST-WINDOW-PRIVATE")
let q:*u8=sys_mmap(CH_WIN);let table:*i64=sys_mmap(CH_AH_MAXPATHS*CHU_ROW*8) as *i64
let r:*i64=sys_mmap(CHU_ROW*8) as *i64;let c:*i64=sys_mmap(80) as *i64;let t:*NxJsonTok=nx_json_new(q,0)
let n:i64=ch_read("/tmp/usage-t76-actual.jsonl",q,CH_WIN)
gv_check("actual token only fixture exact extent",n==39729,ctr)
var rc:i64=chu_totals(q,n,1789076880,1789077120,table,t,r,c)
gv_check("actual combined44 context inclusive totals",rc==0&&c[2]==44&&c[4]==7918450&&c[5]==7737984&&c[7]==9780&&c[8]==2337&&c[9]==7928230,ctr)
rc=chu_totals(q,21695,1789076880,1789077120,table,t,r,c)
gv_check("actual root24 exact retained totals",rc==0&&c[2]==24&&c[4]==4279186&&c[5]==4229632&&c[7]==4508&&c[8]==1216&&c[9]==4283694,ctr)
rc=chu_totals((q as i64+21695) as *u8,n-21695,1789076880,1789077120,table,t,r,c)
gv_check("actual dispatcher20 exact retained totals",rc==0&&c[2]==20&&c[4]==3639264&&c[5]==3508352&&c[7]==5272&&c[8]==1121&&c[9]==3644536,ctr)
rc=chu_totals(q,n,1789076880,1789076881,table,t,r,c)
gv_check("half open one second window includes first request only",rc==0&&c[2]==1&&c[9]==160824,ctr)
rc=chu_totals(q,0,1789076880,1789077120,table,t,r,c)
gv_check("observed empty scan is known zero only in scope",rc==0&&c[2]==0&&c[9]==0,ctr)
let s0:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s0,sj_vlen(s0),1789076880,1789077120,table,t,r,c)
gv_check("duplicate identical request counted once",rc==0&&c[2]==1&&c[9]==160824,ctr)
let s1:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":139,\"reasoning_output_tokens\":44,\"total_tokens\":160825}}}\n"
rc=chu_totals(s1,sj_vlen(s1),1789076880,1789077120,table,t,r,c)
gv_check("conflicting usage refuses whole reconciliation",rc==-4,ctr)
let s2:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n{\"timestamp\":\"2026-09-10T22:00:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s2,sj_vlen(s2),1789076880,1789077120,table,t,r,c)
gv_check("same request changed timestamp outside window refuses",rc==-4,ctr)
let s3:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"other-thread\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s3,sj_vlen(s3),1789076880,1789077120,table,t,r,c)
gv_check("same response different thread stays distinct",rc==0&&c[2]==2&&c[9]==321648,ctr)
let s4:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824},\"thread_token_usage\":{\"total_tokens\":9007199254740991}}}\n"
rc=chu_totals(s4,sj_vlen(s4),1789076880,1789077120,table,t,r,c)
gv_check("changed cumulative snapshot does not double count request",rc==0&&c[2]==1&&c[9]==160824,ctr)
let s5:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160687,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s5,sj_vlen(s5),1789076880,1789077120,table,t,r,c)
gv_check("cache input subset enforced",rc==-3,ctr)
let s6:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":139,\"total_tokens\":160824}}}\n"
rc=chu_totals(s6,sj_vlen(s6),1789076880,1789077120,table,t,r,c)
gv_check("reasoning output subset enforced",rc==-3,ctr)
let s7:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160825}}}\n"
rc=chu_totals(s7,sj_vlen(s7),1789076880,1789077120,table,t,r,c)
gv_check("total equals input plus output enforced",rc==-3,ctr)
let s8:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s8,sj_vlen(s8),1789076880,1789077120,table,t,r,c)
gv_check("missing usage field refuses instead of zero",rc==-3,ctr)
let s9:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":-1,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s9,sj_vlen(s9),1789076880,1789077120,table,t,r,c)
gv_check("negative counter refused",rc==-3,ctr)
let s10:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":0.5,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s10,sj_vlen(s10),1789076880,1789077120,table,t,r,c)
gv_check("fractional counter refused",rc==-3,ctr)
let s11:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":9007199254740992,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s11,sj_vlen(s11),1789076880,1789077120,table,t,r,c)
gv_check("unsafe integer refused",rc==-3,ctr)
let s12:*u8="{\"timestamp\":\"2026-02-30T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s12,sj_vlen(s12),1789076880,1789077120,table,t,r,c)
gv_check("invalid calendar day refused",rc==-3,ctr)
let s13:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s13,sj_vlen(s13),1789076880,1789077120,table,t,r,c)
gv_check("timezone missing refused",rc==-3,ctr)
let s14:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s14,sj_vlen(s14),1789076880,1789077120,table,t,r,c)
gv_check("duplicate required JSON field refused",rc==-3,ctr)
let s15:*u8="{\"type\":\"event_msg\",}\n"
rc=chu_totals(s15,sj_vlen(s15),1789076880,1789077120,table,t,r,c)
gv_check("malformed unrelated event refuses explicitly",rc==-3,ctr)
let s16:*u8="{\"type\":\"event_msg\",\"payload\":{\"type\":\"token_count\",\"info\":{\"total_tokens\":999999}}}\n{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s16,sj_vlen(s16),1789076880,1789077120,table,t,r,c)
gv_check("well formed cumulative event ignored",rc==0&&c[2]==1&&c[9]==160824,ctr)
let s17:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_reco\\u0072d\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}\n"
rc=chu_totals(s17,sj_vlen(s17),1789076880,1789077120,table,t,r,c)
gv_check("escaped record type refused not silently omitted",rc==-3,ctr)
let s18:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824}}}"
rc=chu_totals(s18,sj_vlen(s18),1789076880,1789077120,table,t,r,c)
gv_check("incomplete physical record refuses core scan",rc==-2,ctr)
let s19:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":9007199254740991,\"cached_input_tokens\":0,\"cache_write_input_tokens\":0,\"output_tokens\":0,\"reasoning_output_tokens\":0,\"total_tokens\":9007199254740991}}}\n{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"another\",\"usage\":{\"input_tokens\":9007199254740991,\"cached_input_tokens\":0,\"cache_write_input_tokens\":0,\"output_tokens\":0,\"reasoning_output_tokens\":0,\"total_tokens\":9007199254740991}}}\n"
rc=chu_totals(s19,sj_vlen(s19),1789076880,1789077120,table,t,r,c)
gv_check("aggregate safe integer overflow refuses",rc==-6,ctr)
gv_check("missing file through actual entrypoint is unknown not zero",ch_usage_window("/tmp/usage-t76-absent-source.jsonl",1789076880,1789077120,0,1)==3,ctr)
gv_check("source snapshot beyond actual file refuses",ch_usage_window("/tmp/usage-t76-actual.jsonl",1789076880,1789077120,0,39730)==3,ctr)
gv_check("invalid byte range refuses before source open",ch_usage_window("/tmp/usage-t76-actual.jsonl",1789076880,1789077120,2,1)==2,ctr)
84
rc=chu_totals(q,n,1789076880,1789077120,table,t,r,c)
gv_check("request stream uses same reconciled44 table",rc==0&&c[0]==44&&c[2]==44,ctr)
let outfd:i64=sys_openat_exclusive(argv[1] as *u8,384)
gv_check("caller selected unique evidence path",outfd>=0,ctr)
if outfd>=0{
gv_check("actual44 request records and complete terminal written",chu_request_records(outfd,q,table,1789076880,1789077120,c,"ac4acae4edaa15818166b7d0755cefd74bb71410e01e6c5bde94264d13c245f4")==0,ctr)
gv_check("request fixture close checked",sys_close(outfd)==0,ctr)
}
gv_check("invalid output descriptor refuses",chu_request_records(-1,q,table,1789076880,1789077120,c,"fixture")==3,ctr)
let fullfd:i64=sys_openat_wr("/dev/full",384)
gv_check("real full device opens",fullfd>=0,ctr)
if fullfd>=0{
gv_check("valid descriptor actual write failure refuses",chu_request_records(fullfd,q,table,1789076880,1789077120,c,"fixture")==3,ctr)
gv_check("full device close checked",sys_close(fullfd)==0,ctr)
}
rc=chu_totals(s0,sj_vlen(s0),1789076880,1789077120,table,t,r,c)
gv_check("stream source table excludes duplicate request",rc==0&&c[0]==1&&c[2]==1&&c[1]==1,ctr)
rc=chu_totals(q,n,1789076880,1789076881,table,t,r,c)
gv_check("stream selection uses half open window",rc==0&&c[0]==44&&c[2]==1,ctr)
104
105
let artifact:*u8=sys_mmap(CH_AH_PATHCELL+32)
var ap:i64=sj_cat(artifact,0,argv[1] as *u8);ap=sj_cat(artifact,ap,".artifact");artifact[ap]=0 as u8
gv_check("durable artifact actual full entrypoint",ch_usage_requests_file("/tmp/usage-t76-actual.jsonl",1789076880,1789077120,0,39729,artifact)==0,ctr)
gv_check("existing artifact refuses exclusive overwrite",ch_usage_requests_file("/tmp/usage-t76-actual.jsonl",1789076880,1789077120,0,39729,artifact)==3,ctr)
ap=sj_cat(artifact,0,argv[1] as *u8);ap=sj_cat(artifact,ap,".failed");artifact[ap]=0 as u8
gv_check("missing input artifact is explicit failed evidence",ch_usage_requests_file("/tmp/usage-t76-absent-source.jsonl",1789076880,1789077120,0,1,artifact)==3,ctr)
gv_check("artifact path scratch released",sys_munmap(artifact,CH_AH_PATHCELL+32)==0,ctr)
113
114
let unistr:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"ordinal\":39484,\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"é\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824},\"turn_token_usage\":{\"input_tokens\":939799,\"cached_input_tokens\":922368,\"cache_write_input_tokens\":0,\"output_tokens\":649,\"reasoning_output_tokens\":66,\"total_tokens\":940448},\"thread_token_usage\":{\"input_tokens\":597853476,\"cached_input_tokens\":587841024,\"cache_write_input_tokens\":0,\"output_tokens\":1103978,\"reasoning_output_tokens\":176458,\"total_tokens\":598957454}}}\n"
rc=chu_totals(unistr,sj_vlen(unistr),1789076880,1789077120,table,t,r,c)
gv_check("valid UTF8 identity preserved",rc==0&&c[2]==1,ctr)
var bi:i64=0;while bi<sj_vlen(unistr){q[bi]=unistr[bi];bi=bi+1}
q[108]=255 as u8
gv_check("invalid UTF8 lead byte refused",chu_totals(q,sj_vlen(unistr),1789076880,1789077120,table,t,r,c)==-3,ctr)
q[108]=192 as u8
gv_check("overlong UTF8 refused",chu_totals(q,sj_vlen(unistr),1789076880,1789077120,table,t,r,c)==-3,ctr)
q[108]=9 as u8
gv_check("raw control byte refused before copy",chu_totals(q,sj_vlen(unistr),1789076880,1789077120,table,t,r,c)==-3,ctr)
let quoteid:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"ordinal\":39484,\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"x\\\"y\",\"turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"session_id\":\"01a0893b-7403-7111-a0c1-6f0c6099a919\",\"root_turn_id\":\"01a08d4a-0714-7501-b08c-40705516181f\",\"response_id\":\"resp_0883d41a10d828ad016aa3258b036887d1b67f4683907faf3c\",\"usage\":{\"input_tokens\":160686,\"cached_input_tokens\":160384,\"cache_write_input_tokens\":0,\"output_tokens\":138,\"reasoning_output_tokens\":44,\"total_tokens\":160824},\"turn_token_usage\":{\"input_tokens\":939799,\"cached_input_tokens\":922368,\"cache_write_input_tokens\":0,\"output_tokens\":649,\"reasoning_output_tokens\":66,\"total_tokens\":940448},\"thread_token_usage\":{\"input_tokens\":597853476,\"cached_input_tokens\":587841024,\"cache_write_input_tokens\":0,\"output_tokens\":1103978,\"reasoning_output_tokens\":176458,\"total_tokens\":598957454}}}\n"
gv_check("escaped quote identity explicitly unsupported",chu_totals(quoteid,sj_vlen(quoteid),1789076880,1789077120,table,t,r,c)==-3,ctr)
let overid:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"ordinal\":39484,\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\",\"turn_id\":\"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\",\"session_id\":\"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\",\"root_turn_id\":\"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\",\"response_id\":\"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\",\"usage\":{\"input_tokens\":4503599627370495,\"cached_input_tokens\":4503599627370495,\"cache_write_input_tokens\":4503599627370495,\"output_tokens\":4503599627370495,\"reasoning_output_tokens\":4503599627370495,\"total_tokens\":9007199254740990},\"turn_token_usage\":{\"input_tokens\":939799,\"cached_input_tokens\":922368,\"cache_write_input_tokens\":0,\"output_tokens\":649,\"reasoning_output_tokens\":66,\"total_tokens\":940448},\"thread_token_usage\":{\"input_tokens\":597853476,\"cached_input_tokens\":587841024,\"cache_write_input_tokens\":0,\"output_tokens\":1103978,\"reasoning_output_tokens\":176458,\"total_tokens\":598957454}}}\n"
gv_check("401-byte identity refuses boundary",chu_totals(overid,sj_vlen(overid),1789076880,1789077120,table,t,r,c)==-3,ctr)
let maxid:*u8="{\"timestamp\":\"2026-09-10T21:48:00.932Z\",\"ordinal\":39484,\"type\":\"token_usage_record\",\"payload\":{\"thread_id\":\"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\",\"turn_id\":\"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\",\"session_id\":\"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\",\"root_turn_id\":\"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\",\"response_id\":\"xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\",\"usage\":{\"input_tokens\":4503599627370495,\"cached_input_tokens\":4503599627370495,\"cache_write_input_tokens\":4503599627370495,\"output_tokens\":4503599627370495,\"reasoning_output_tokens\":4503599627370495,\"total_tokens\":9007199254740990},\"turn_token_usage\":{\"input_tokens\":939799,\"cached_input_tokens\":922368,\"cache_write_input_tokens\":0,\"output_tokens\":649,\"reasoning_output_tokens\":66,\"total_tokens\":940448},\"thread_token_usage\":{\"input_tokens\":597853476,\"cached_input_tokens\":587841024,\"cache_write_input_tokens\":0,\"output_tokens\":1103978,\"reasoning_output_tokens\":176458,\"total_tokens\":598957454}}}\n"
rc=chu_totals(maxid,sj_vlen(maxid),1789076880,1789077120,table,t,r,c)
gv_check("maximal five400-byte identities and16-digit counters accepted",rc==0&&c[2]==1,ctr)
let maxpath:*u8=sys_mmap(CH_AH_PATHCELL+32);var mo:i64=sj_cat(maxpath,0,argv[1] as *u8);mo=sj_cat(maxpath,mo,".max");maxpath[mo]=0 as u8
let maxfd:i64=sys_openat_exclusive(maxpath,CHU_SNAPSHOT_MODE)
gv_check("maximal row evidence exclusive file",maxfd>=0,ctr)
if maxfd>=0{gv_check("maximal row serializes in existing buffer",chu_request_records(maxfd,maxid,table,1789076880,1789077120,c,"ac4acae4edaa15818166b7d0755cefd74bb71410e01e6c5bde94264d13c245f4")==0,ctr);gv_check("maximal row output close",sys_close(maxfd)==0,ctr)}
gv_check("maximal row path released",sys_munmap(maxpath,CH_AH_PATHCELL+32)==0,ctr)
137
gv_puts("CONTEXT-REQUEST-WINDOW passed=");gv_num(ctr[0]);gv_puts("/");gv_num(ctr[1]);gv_puts("\n")
if ctr[0]!=ctr[1]{return 1};return 0
140}
nx_claude_requests_canonical_gate_t144.nx source

`nx_claude_requests_canonical_gate_t144.nx` source
