KERN Code Scanning (SARIF)

Workflow runs for KERN Code Scanning (SARIF)

• #414 + #416: fields, operators and a FALSE HAVOC MODEL - 93 % of func…

  completed successfully:
  KERN Code Scanning (SARIF)#257:Commit46fd571pushedbynewmathphys
  main

  Oct 29, 20262m 57s
  More actions for workflow run 257

• Refresh the audit evidence snapshot: it had drifted since b646ad1

  completed successfully:
  KERN Code Scanning (SARIF)#256:Commit293def2pushedbynewmathphys
  main

  Oct 29, 20263m 18s
  More actions for workflow run 256

• Tack 2.2: the denominator was a lie (308 of 458 "functions" were CALL…

  completed successfully:
  KERN Code Scanning (SARIF)#255:Commitdf243aepushedbynewmathphys
  main

  Oct 29, 20263m 10s
  More actions for workflow run 255

• #410 follow-up: gate fixture and tree-sitter oracle updated to the tr…

  completed successfully:
  KERN Code Scanning (SARIF)#254:Commitc2d67a8pushedbynewmathphys
  main

  Oct 29, 20263m 5s
  More actions for workflow run 254

• #410 FIXED: the TS function splitter no longer invents functions from…

  completed successfully:
  KERN Code Scanning (SARIF)#253:Commit8a509fdpushedbynewmathphys
  main

  Oct 29, 20263m 6s
  More actions for workflow run 253

• Plan: the exact mechanism of the TS splitter defect (RE_FN_C matches …

  completed successfully:
  KERN Code Scanning (SARIF)#252:Commit20adf31pushedbynewmathphys
  main

  Oct 29, 20263m 28s
  More actions for workflow run 252

• Plan: the open function-splitter defect (fakes await/throw new) and t…

  completed successfully:
  KERN Code Scanning (SARIF)#251:Commit2c335f3pushedbynewmathphys
  main

  Oct 29, 20262m 34s
  More actions for workflow run 251

• Literal architecture WORKS: exact denominators restored (458/308) + t…

  completed successfully:
  KERN Code Scanning (SARIF)#250:Commitafbac7dpushedbynewmathphys
  main

  Oct 29, 20262m 59s
  More actions for workflow run 250

• Revert the literal-stripper work: the denominator is NOT stable, so t…

  completed successfully:
  KERN Code Scanning (SARIF)#249:Commit32321d9pushedbynewmathphys
  main

  Oct 29, 20264m 6s
  More actions for workflow run 249

• Literal stripper: newlines inside literals preserved; BOTH blockers D…

  completed successfully:
  KERN Code Scanning (SARIF)#248:Commit307ef18pushedbynewmathphys
  main

  Oct 29, 20262m 37s
  More actions for workflow run 248

• Priority 1 (literal stripper): literals become NUMBERS, not erased sp…

  completed successfully:
  KERN Code Scanning (SARIF)#247:Commit66009eapushedbynewmathphys
  main

  Oct 29, 20263m 32s
  More actions for workflow run 247

• Tack 2.2 step 6 COMPLETE: nil/null bucket closed (+65 checked), #409 …

  completed successfully:
  KERN Code Scanning (SARIF)#246:Commit291ebeapushedbynewmathphys
  main

  Oct 29, 20262m 14s
  More actions for workflow run 246

• Tack 2.2 step 6 (code): pointers modelled as Int (0 = NULL); +52 func…

  completed successfully:
  KERN Code Scanning (SARIF)#245:Commit628761bpushedbynewmathphys
  main

  Oct 29, 20264m 2s
  More actions for workflow run 245

• Plan: step-6 (nil/null) safeguards recorded before coding

  completed successfully:
  KERN Code Scanning (SARIF)#244:Commit8d79b23pushedbynewmathphys
  main

  Oct 29, 20262m 53s
  More actions for workflow run 244

• Tack 2.2 step 5: ternary -> ite, and the truth about the skip reason …

  completed successfully:
  KERN Code Scanning (SARIF)#243:Commitd0bb9d8pushedbynewmathphys
  main

  Oct 29, 20263m 23s
  More actions for workflow run 243

• Tack 2.2 step 4 (safety half): a free constant in the path no longer …

  completed successfully:
  KERN Code Scanning (SARIF)#242:Commitd7ba0b8pushedbynewmathphys
  main

  Oct 29, 20262m 50s
  More actions for workflow run 242

• Tack 2.2 step 2: three buckets in the --xray funnel; #405 CLOSED, j…

  completed successfully:
  KERN Code Scanning (SARIF)#241:Commita569dcdpushedbynewmathphys
  main

  Oct 29, 20267m 16s
  More actions for workflow run 241

• Tack 2.2 step 3.2: Belnap N in --xray, units separated; #406 and #4…

  completed successfully:
  KERN Code Scanning (SARIF)#240:Commitf2297bfpushedbynewmathphys
  main

  Oct 29, 20262m 37s
  More actions for workflow run 240

• Tack 2.2 step 3.1: the --xray funnel under KERN's OWN contract

  completed successfully:
  KERN Code Scanning (SARIF)#239:Commite1ee368pushedbynewmathphys
  main

  Oct 29, 20263m 11s
  More actions for workflow run 239

• Tack 2.2 premises re-measured (#407, #406 recurred); step 1 (R4) done

  completed successfully:
  KERN Code Scanning (SARIF)#238:Commita228a0epushedbynewmathphys
  main

  Oct 29, 20263m 27s
  More actions for workflow run 238

• Plan for tack 2.2 documented; defects #405 and #406 recorded as OPEN

  completed successfully:
  KERN Code Scanning (SARIF)#237:Commitd98953cpushedbynewmathphys
  main

  Oct 29, 20262m 44s
  More actions for workflow run 237

• Defects #402/#403/#404: the docs map was checked by nothing

  completed successfully:
  KERN Code Scanning (SARIF)#236:Commit08eb5cdpushedbynewmathphys
  main

  Oct 28, 20263m 8s
  More actions for workflow run 236

• Fix: revert a canfail sabotage that was committed by mistake

  completed successfully:
  KERN Code Scanning (SARIF)#235:Commitbc5e06epushedbynewmathphys
  main

  Oct 28, 20264m 3s
  More actions for workflow run 235

• Handoff: step 2.1 histogram closed, step 2.2 is next; defects #400/#4…

  completed successfully:
  KERN Code Scanning (SARIF)#234:Commit3067a1bpushedbynewmathphys
  main

  Oct 28, 20263m 20s
  More actions for workflow run 234

• sync + scorecard + metrics-guard --fix: re-synced 221 can-fail cases …

  completed successfully:
  KERN Code Scanning (SARIF)#233:Commit0670cb9pushedbynewmathphys
  main

  Oct 28, 20263m 12s
  More actions for workflow run 233