KERN Code Scanning (SARIF)

Workflow runs for KERN Code Scanning (SARIF)

• evidence: core_tests and core_tests_relsafe re-shot (live run is 441,…

  completed successfully:
  KERN Code Scanning (SARIF)#184:Commitc2c4b02pushedbynewmathphys
  main

  Oct 25, 20263m 11s
  More actions for workflow run 184

• #356: a new gate/case was not entered into the project's own accounting

  completed successfully:
  KERN Code Scanning (SARIF)#183:Commita7b3904pushedbynewmathphys
  main

  Oct 25, 20262m 34s
  More actions for workflow run 183

• seal: attestation refreshed after the #355 fix

  completed successfully:
  KERN Code Scanning (SARIF)#182:Commit0b61c93pushedbynewmathphys
  main

  Oct 25, 20263m 13s
  More actions for workflow run 182

• #355: the artifact-check gate could never pass, and record #285 said …

  completed successfully:
  KERN Code Scanning (SARIF)#181:Commit20212e2pushedbynewmathphys
  main

  Oct 25, 20262m 10s
  More actions for workflow run 181

• v2.7.2: attestation regenerated on a CLEAN tree

  completed successfully:
  KERN Code Scanning (SARIF)#180:Commit607825dpushedbynewmathphys
  main

  Oct 25, 20262m 32s
  More actions for workflow run 180

• v2.7.2: release README linked a document that never existed (#354)

  completed successfully:
  KERN Code Scanning (SARIF)#179:Commit4eada12pushedbynewmathphys
  main

  Oct 25, 20262m 30s
  More actions for workflow run 179

• Adversarially verified on z3 5.3.1: trusted:0 holds (evm-proof-check,…

  completed successfully:
  KERN Code Scanning (SARIF)#178:Commit798c706pushedbynewmathphys
  main

  Oct 25, 20263m 14s
  More actions for workflow run 178

• Merge pull request #17 from newmathphys/dependabot/github_actions/act…

  completed successfully:
  KERN Code Scanning (SARIF)#177:Commit8293079pushedbynewmathphys
  main

  Oct 25, 20263m 7s
  More actions for workflow run 177

• Merge pull request #16 from newmathphys/dependabot/github_actions/git…

  completed successfully:
  KERN Code Scanning (SARIF)#176:Commit4361eaapushedbynewmathphys
  main

  Oct 25, 20262m 17s
  More actions for workflow run 176

• @kern:lang evm is a real frontend: the directive overrides the exte…

  completed successfully:
  KERN Code Scanning (SARIF)#175:Commit706b33apushedbynewmathphys
  main

  Oct 25, 20262m 12s
  More actions for workflow run 175

• Language semantics live in ONE place: three properties moved into the…

  completed successfully:
  KERN Code Scanning (SARIF)#174:Commit74aa2ecpushedbynewmathphys
  main

  Oct 25, 20263m 13s
  More actions for workflow run 174

• Diff-test abs / -x / min / max against the language, with a live cont…

  completed successfully:
  KERN Code Scanning (SARIF)#173:Commit5939289pushedbynewmathphys
  main

  Oct 25, 20262m 18s
  More actions for workflow run 173

• Self-scan reaches zero: decorator preconditions modelled, empty fixtu…

  completed successfully:
  KERN Code Scanning (SARIF)#172:Commit1ed8653pushedbynewmathphys
  main

  Oct 25, 20262m 56s
  More actions for workflow run 172

• Charter text now matches the checker's measurement + a gate against d…

  completed successfully:
  KERN Code Scanning (SARIF)#171:Commite03860dpushedbynewmathphys
  main

  Oct 25, 20262m 7s
  More actions for workflow run 171

• sync: anchors 145 -> 144 after the claims-audit anchor became dynamic…

  completed successfully:
  KERN Code Scanning (SARIF)#170:Commitd7c61b2pushedbynewmathphys
  main

  Oct 25, 20262m 36s
  More actions for workflow run 170

• Constant reduction: Euclidean division, no panic, live guard, Lean th…

  completed successfully:
  KERN Code Scanning (SARIF)#169:Commitcf3e3b0pushedbynewmathphys
  main

  Oct 25, 20262m 22s
  More actions for workflow run 169

• Bump actions/upload-artifact from 4 to 7

  completed successfully:
  KERN Code Scanning (SARIF)#168:Pull request#17openedbydependabot[bot]Bot
  dependabot/github_actions/actions/upload-artifact-7

  Oct 24, 20262m 31s
  More actions for workflow run 168

• Bump github/codeql-action from 3 to 4

  completed successfully:
  KERN Code Scanning (SARIF)#167:Pull request#16openedbydependabot[bot]Bot
  dependabot/github_actions/github/codeql-action-4

  Oct 24, 20263m 2s
  More actions for workflow run 167

• Harness: non-UTF-8 output must not masquerade as a case error (#348)

  completed successfully:
  KERN Code Scanning (SARIF)#166:Commit625b6eapushedbynewmathphys
  main

  Oct 24, 20263m 18s
  More actions for workflow run 166

• Bump z3-solver from 5.1.0.0 to 5.3.1.0

  completed successfully:
  KERN Code Scanning (SARIF)#165:Pull request#15openedbydependabot[bot]Bot
  dependabot/pip/z3-solver-5.3.1.0

  Oct 24, 20262m 31s
  More actions for workflow run 165

• EVM identities proved with trusted: 0: define-fun unfolding + constan…

  completed successfully:
  KERN Code Scanning (SARIF)#164:Commit64123ebpushedbynewmathphys
  main

  Oct 24, 20263m 8s
  More actions for workflow run 164

• Bounds: range(start, min(..., len(arr))) recognised as a length gua…

  completed successfully:
  KERN Code Scanning (SARIF)#163:Commitfd6295fpushedbynewmathphys
  main

  Oct 24, 20263m 22s
  More actions for workflow run 163

• Bounds: three guard forms modelled, false [BOUNDS PATH] on our own …

  completed successfully:
  KERN Code Scanning (SARIF)#162:Commit1a24eb7pushedbynewmathphys
  main

  Oct 24, 20262m 19s
  More actions for workflow run 162

• Allman style recognised: { on the next line no longer hides a funct…

  completed successfully:
  KERN Code Scanning (SARIF)#161:Commitd43d827pushedbynewmathphys
  main

  Oct 24, 20263m 7s
  More actions for workflow run 161

• ci.sh: run the new journal-parity gate in the CI contour (#335)

  completed successfully:
  KERN Code Scanning (SARIF)#160:Commitb9f3e93pushedbynewmathphys
  main

  Oct 24, 20263m 7s
  More actions for workflow run 160