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

↩ module page · 195 lines · 11937 B
1// nx_analyst_case_sources.nx -- ANALYST CASE 001 SOURCE RE-GRADE: the source-criticism organ
2// pointed at OUR OWN earlier work (the honest move: the instrument's first target is us).
3// Every S1-S8 source from nx_analyst_case_ac.nx gets an Admiralty pair + first-party distance +
4// incentive class + method rung; every ledger row is re-tested under the INDEPENDENCE RULE
5// (corroboration only across distinct bias classes). Emits knowledge/status/analyst_sources_ac.log.
6// EXPECTED honest outcome (hand-computed): most rows were backed by ECHO-pairs (same incentive
7// class), so the strict verdict DEMOTES v0's SHENANIGAN to UNDERTRACED + names the exact fetch
8// tasks that would re-earn it. Confidence and likelihood reported on SEPARATE lines (ICD 203).
9// LAWS: struct-free, integer-only, no &&/||. license_tier: ORIGINAL
10import "nx_analyst.nx"
11import "nx_source_grade.nx"
12import "nx_syscalls.nx"
13const CS_MAGIC_230000: i64 = 230000
14const CS_MAGIC_210000: i64 = 210000
15const CS_MAGIC_30000: i64 = 30000
16const CS_MAGIC_575000: i64 = 575000
17
18// case thresholds = the analyst gate contract
19const CS_TOL_PPM: i64 = 5000
20const CS_MIN_TP:  i64 = 600
21const CS_MAX_RP:  i64 = 150
22
23// incentive classes (case data; ids are labels, independence = different ids)
24const CL_LEADGEN: i64 = 1   // ad/lead-funded home-services media (hvac.com, todayshomeowner)
25const CL_VENDOR:  i64 = 2   // direct-to-consumer equipment vendors (acdirect, hvacdirect, servicetitan chart)
26const CL_CONSULT: i64 = 3   // consultants selling to HVAC contractors (profitabilitypartners, simpro)
27const CL_ISSUER:  i64 = 4   // audited issuer self-reports (Dell/HP SEC filings)
28// declared OPPOSED pair: vendors (want the markup story big) vs trade consultants (serve the
29// contractors being described) -- when THESE two agree on the margin, that is the strongest signal.
30const CS_OPP_A: i64 = 2
31const CS_OPP_B: i64 = 3
32
33func cs_wf(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 }
34func cs_wnf(fd: i64, v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(fd,"-" as *u8,1)} let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1} sys_write(fd,bb,k); return 0 }
35
36// the 8 sources: rel, cred, party, method, class (parallel arrays)
37func cs_sources(rel: *i64, cred: *i64, party: *i64, method: *i64, cls: *i64) -> i64 {
  rel[0]=3; cred[0]=3; party[0]=3; method[0]=3; cls[0]=CL_LEADGEN   // S1 hvac.com price guide
  rel[1]=3; cred[1]=3; party[1]=3; method[1]=3; cls[1]=CL_LEADGEN   // S2 todayshomeowner
  rel[2]=2; cred[2]=2; party[2]=1; method[2]=5; cls[2]=CL_VENDOR    // S3 acdirect/hvacdirect POSTED PRICES (primary, measured)
  rel[3]=3; cred[3]=3; party[3]=2; method[3]=2; cls[3]=CL_VENDOR    // S4 vendor blog + servicetitan markup chart (expert claim)
  rel[4]=2; cred[4]=2; party[4]=2; method[4]=4; cls[4]=CL_CONSULT   // S5 profitabilitypartners (200+ P&Ls, systematic)
  rel[5]=3; cred[5]=2; party[5]=2; method[5]=2; cls[5]=CL_CONSULT   // S6 simpro (corroborating consultant claim)
  rel[6]=1; cred[6]=2; party[6]=1; method[6]=5; cls[6]=CL_ISSUER    // S7 Dell SEC 8-K (audited filing)
  rel[7]=1; cred[7]=2; party[7]=1; method[7]=5; cls[7]=CL_ISSUER    // S8 HP SEC 8-K
  return 8
47}
48
49// strength of one row given its supporting sources' classes
50func cs_row_strength(cls: *i64, sup: *i64, nsup: i64) -> i64 {
  let c: *i64 = sys_mmap(8*(nsup+2)) as *i64
  var i: i64 = 0
  while i < nsup { c[i] = cls[sup[i]]; i = i + 1 }
  let d: i64 = sg_distinct(c, nsup)
  let op: i64 = sg_has_opposed(c, nsup, CS_OPP_A, CS_OPP_B)
  return sg_strength(d, op)
57}
58
59func main() -> i64 {
  let rel: *i64 = sys_mmap(8*12) as *i64
  let cred: *i64 = sys_mmap(8*12) as *i64
  let party: *i64 = sys_mmap(8*12) as *i64
  let method: *i64 = sys_mmap(8*12) as *i64
  let cls: *i64 = sys_mmap(8*12) as *i64
  let ns: i64 = cs_sources(rel, cred, party, method, cls)
  let score: *i64 = sys_mmap(8*12) as *i64
  var i: i64 = 0
  while i < ns { score[i] = sg_score_permil(rel[i], cred[i], party[i], method[i]); i = i + 1 }
69
  // rows -> supporting source indexes (case data, from nx_analyst_case_ac.nx provenance)
  let sup: *i64 = sys_mmap(8*8) as *i64
  // R0 root price [S1,S2]
  sup[0]=0; sup[1]=1
  let st_r0: i64 = cs_row_strength(cls, sup, 2)
  // R1 equipment [S3,S4]
  sup[0]=2; sup[1]=3
  let st_r1: i64 = cs_row_strength(cls, sup, 2)
  // R2 materials [S1,S2]
  sup[0]=0; sup[1]=1
  let st_r2: i64 = cs_row_strength(cls, sup, 2)
  // R3 labor: DERIVED, zero sources
  let st_r3: i64 = SG_ECHO
  // R4 contractor margin [S4,S5,S6] -- vendor class + consultant class = OPPOSED pair agreeing
  sup[0]=3; sup[1]=4; sup[2]=5
  let st_r4: i64 = cs_row_strength(cls, sup, 3)
  // R5 PC-margin contrast [S7,S8] -- two issuers, ONE structural class (audited self-report)
  sup[0]=6; sup[1]=7
  let st_r5: i64 = cs_row_strength(cls, sup, 2)
89
  // strict ledger: a row keeps MEASURED status only if strength >= CORROB
  // admitted cents = R4 margin 230000 only (R0-R2,R5 echo-pairs, R3 derived)
  var admitted: i64 = 0
  if st_r4 >= SG_CORROB { admitted = admitted + CS_MAGIC_230000 }
  if st_r1 >= SG_CORROB { admitted = admitted + CS_MAGIC_210000 }
  if st_r2 >= SG_CORROB { admitted = admitted + CS_MAGIC_30000 }
  let tp: i64 = an_traced_permil(CS_MAGIC_575000, admitted)
  let rp: i64 = an_residual_permil(CS_MAGIC_575000, admitted)
  let vd: i64 = an_verdict(0, 0, tp, rp, CS_MIN_TP, CS_MAX_RP)
99
  // confidence of the surviving claim set: weakest admitted leg. R4's two legs are
  // best-vendor-support S4=122 and best-consultant-support S5=462 -> the row stands on its
  // weaker leg, 122 permil.
  var worst_leg: i64 = 1000
  if st_r4 >= SG_CORROB {
      var leg_vendor: i64 = score[3]
      var leg_consult: i64 = score[4]
      if score[5] > leg_consult { leg_consult = score[5] }
      var rleg: i64 = leg_vendor
      if leg_consult < rleg { rleg = leg_consult }
      if rleg < worst_leg { worst_leg = rleg }
  }
  var worst_st: i64 = SG_ECHO
  if st_r4 >= SG_CORROB { worst_st = st_r4 }
  let conf: i64 = sg_confidence(worst_st, worst_leg)
115
  // ---- the report (confidence and likelihood on SEPARATE lines -- the ICD 203 law) ----
  let fd: i64 = sys_openat_wr("knowledge/status/analyst_sources_ac.log" as *u8, 0x1a4)
  cs_wf(fd, "# ANALYST CASE 001 SOURCE RE-GRADE -- the source-criticism organ pointed at our own ledger\n" as *u8)
  cs_wf(fd, "# 2026-06-10; tradecraft basis: knowledge/library/analyst-tradecraft-best-practices-2026-06-10.txt\n\n" as *u8)
  cs_wf(fd, "## per-source grades (Admiralty rel/cred | party 1=primary | method 5=measured | class | score permil)\n" as *u8)
  var k: i64 = 0
  while k < ns {
      cs_wf(fd, "  S" as *u8); cs_wnf(fd, k+1)
      cs_wf(fd, "  rel=" as *u8); cs_wnf(fd, rel[k])
      cs_wf(fd, " cred=" as *u8); cs_wnf(fd, cred[k])
      cs_wf(fd, " party=" as *u8); cs_wnf(fd, party[k])
      cs_wf(fd, " method=" as *u8); cs_wnf(fd, method[k])
      cs_wf(fd, " class=" as *u8); cs_wnf(fd, cls[k])
      cs_wf(fd, " score=" as *u8); cs_wnf(fd, score[k])
      cs_wf(fd, "\n" as *u8)
      k = k + 1
  }
  cs_wf(fd, "\n## per-row independence verdicts (strength 0=ECHO->DEMOTED 1=CORROBORATED 2=OPPOSED-AGREE)\n" as *u8)
  cs_wf(fd, "  R0 root-price      [S1,S2] strength=" as *u8); cs_wnf(fd, st_r0); cs_wf(fd, "  (both lead-gen media = ONE interest)\n" as *u8)
  cs_wf(fd, "  R1 equipment       [S3,S4] strength=" as *u8); cs_wnf(fd, st_r1); cs_wf(fd, "  (both vendor class -- S3 is primary+measured but UNCORROBORATED outside its class)\n" as *u8)
  cs_wf(fd, "  R2 materials       [S1,S2] strength=" as *u8); cs_wnf(fd, st_r2); cs_wf(fd, "\n" as *u8)
  cs_wf(fd, "  R3 labor           []      strength=" as *u8); cs_wnf(fd, st_r3); cs_wf(fd, "  (derived, was already a named debt)\n" as *u8)
  cs_wf(fd, "  R4 contractor-marg [S4,S5,S6] strength=" as *u8); cs_wnf(fd, st_r4); cs_wf(fd, "  (vendor class vs consultant class AGREE = opposed incentives, strongest)\n" as *u8)
  cs_wf(fd, "  R5 pc-margin       [S7,S8] strength=" as *u8); cs_wnf(fd, st_r5); cs_wf(fd, "  (two issuers, one structural class: audited self-report)\n" as *u8)
  cs_wf(fd, "\n## strict re-verdict (rows keep MEASURED only with >=2 independent bias classes)\n" as *u8)
  cs_wf(fd, "  admitted-cents=" as *u8); cs_wnf(fd, admitted)
  cs_wf(fd, "  coverage-permil=" as *u8); cs_wnf(fd, tp)
  cs_wf(fd, "  VERDICT=" as *u8); cs_wnf(fd, vd)
  cs_wf(fd, " (3=UNDERTRACED -- v0's SHENANIGAN is DEMOTED until the fetch tasks land; the instrument outranks our own earlier confidence)\n" as *u8)
  cs_wf(fd, "  LIKELIHOOD: withheld -- coverage " as *u8); cs_wnf(fd, tp)
  cs_wf(fd, " permil < 600; quantify only after the fetch tasks (the honest don't-know-yet)\n" as *u8)
  cs_wf(fd, "  CONFIDENCE: " as *u8); cs_wf(fd, sg_conf_name(conf))
  cs_wf(fd, " -- weakest admitted leg " as *u8); cs_wnf(fd, worst_leg)
  cs_wf(fd, " permil (R4's vendor leg is an expert-claim blog, not a measured record)\n" as *u8)
  cs_wf(fd, "\n## fetch tasks (each one re-earns a demoted row through a NEW bias class)\n" as *u8)
  cs_wf(fd, "  F1 root price: BLS CPI shelter/HVAC component or manufacturer MSRP or insurer claims data (class != lead-gen)\n" as *u8)
  cs_wf(fd, "  F2 equipment cost: distributor pricelist or contractor invoice corpus (class != vendor)\n" as *u8)
  cs_wf(fd, "  F3 materials+disposal: supplier invoices / municipal disposal fee schedules\n" as *u8)
  cs_wf(fd, "  F4 labor: BLS OES 49-9021 wage x measured job-hours (carried from v0, kills the DERIVED row)\n" as *u8)
  cs_wf(fd, "  F5 pc-margin: third-party market research (IDC/Gartner-class) to break the issuer echo\n" as *u8)
  cs_wf(fd, "  F6 strengthen R4 vendor leg: measured markup data (invoice pairs) to replace the expert claim\n" as *u8)
  sys_close(fd)
158
  // ---- self-checks (hand-computed) ----
  let r: *i64 = sys_mmap(8*24) as *i64
  var t: i64 = 0
  r[t]=0; if score[0] == 163 { r[t]=1 } t=t+1
  r[t]=0; if score[1] == 163 { r[t]=1 } t=t+1
  r[t]=0; if score[2] == 640 { r[t]=1 } t=t+1
  r[t]=0; if score[3] == 122 { r[t]=1 } t=t+1
  r[t]=0; if score[4] == 462 { r[t]=1 } t=t+1
  r[t]=0; if score[5] == 163 { r[t]=1 } t=t+1
  r[t]=0; if score[6] == 800 { r[t]=1 } t=t+1
  r[t]=0; if score[7] == 800 { r[t]=1 } t=t+1
  r[t]=0; if st_r0 == SG_ECHO { r[t]=1 } t=t+1
  r[t]=0; if st_r1 == SG_ECHO { r[t]=1 } t=t+1
  r[t]=0; if st_r2 == SG_ECHO { r[t]=1 } t=t+1
  r[t]=0; if st_r4 == SG_OPPOSED { r[t]=1 } t=t+1
  r[t]=0; if st_r5 == SG_ECHO { r[t]=1 } t=t+1
  r[t]=0; if admitted == CS_MAGIC_230000 { r[t]=1 } t=t+1
  r[t]=0; if tp == 400 { r[t]=1 } t=t+1
  r[t]=0; if vd == AN_UNDERTRACED { r[t]=1 } t=t+1
  r[t]=0; if worst_leg == 122 { r[t]=1 } t=t+1
  r[t]=0; if conf == SG_CONF_LOW { r[t]=1 } t=t+1
  r[t]=0; if sg_separation_ok(0) == 1 { r[t]=1 } t=t+1
  r[t]=0; if sg_is_reproducible(2,2,2,4) == 1 { r[t]=1 } t=t+1
182
  var pass: i64 = 0
  i = 0
  while i < t { pass = pass + r[i]; i = i + 1 }
  cs_wf(1, "=== ANALYST CASE 001 SOURCE RE-GRADE ===\n strict-verdict=" as *u8); cs_wnf(1, vd)
  cs_wf(1, " (3=UNDERTRACED, demoted from v0 SHENANIGAN) coverage=" as *u8); cs_wnf(1, tp)
  cs_wf(1, " confidence=" as *u8); cs_wf(1, sg_conf_name(conf))
  cs_wf(1, "\n report -> knowledge/status/analyst_sources_ac.log\n checks " as *u8)
  cs_wnf(1, pass); cs_wf(1, "/" as *u8); cs_wnf(1, t); cs_wf(1, "\n" as *u8)
  var j: i64 = 0
  while j < t { if r[j] == 0 { cs_wf(1, " FAIL check#" as *u8); cs_wnf(1, j); cs_wf(1, "\n" as *u8) } j = j + 1 }
  if pass == t { sys_exit(0); return 0 }
  sys_exit(1); return 1
195}
nx_analyst_case_sources.nx source

`nx_analyst_case_sources.nx` source
