CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Layer1 local work (#42)

  completed successfully:
  CodeQL Security Analysis#155:Commit03fd5c3pushedbyhyperpolymath
  main

  Mar 26, 20261m 7s
  More actions for workflow run 155

• Layer1 local work

  completed successfully:
  CodeQL Security Analysis#154:Pull request#42synchronizebyhyperpolymath
  layer1-local-work

  Mar 26, 20261m 21s
  More actions for workflow run 154

• fix: add loop context validation for break/continue statements

  completed successfully:
  CodeQL Security Analysis#153:Pull request#44openedbyhyperpolymath
  fix-break-continue

  Mar 26, 20261m 12s
  More actions for workflow run 153

• fix: add loop context validation for break/continue statements (#44)

  completed successfully:
  CodeQL Security Analysis#152:Commite5347b8pushedbyhyperpolymath
  main

  Mar 26, 20261m 15s
  More actions for workflow run 152

• Chore/cicd optimizations (#43)

  completed successfully:
  CodeQL Security Analysis#151:Commit3aca491pushedbyhyperpolymath
  main

  Mar 26, 20261m 16s
  More actions for workflow run 151

• Chore/cicd optimizations

  completed successfully:
  CodeQL Security Analysis#150:Pull request#43synchronizebyhyperpolymath
  chore/cicd-optimizations

  Mar 26, 20261m 25s
  More actions for workflow run 150

• chore(deps): bump trufflesecurity/trufflehog from 3.94.0 to 3.94.1 in…

  completed successfully:
  CodeQL Security Analysis#149:Commitc3c2ff2pushedbyhyperpolymath
  main

  Mar 26, 20261m 5s
  More actions for workflow run 149

• chore(deps): bump trufflesecurity/trufflehog from 3.94.0 to 3.94.1 in the actions group

  completed successfully:
  CodeQL Security Analysis#148:Pull request#41openedbydependabot[bot]Bot
  dependabot/github_actions/actions-f13e834c3b

  Mar 26, 20261m 8s
  More actions for workflow run 148

• fix(proofs): add 8 step rules, prove T_Eq progress, document root cause

  completed successfully:
  CodeQL Security Analysis#147:Commit3e92d14pushedbyhyperpolymath
  main

  Mar 24, 20261m 6s
  More actions for workflow run 147

• chore: update Coq verification file

  completed successfully:
  CodeQL Security Analysis#146:Commit1546503pushedbyhyperpolymath
  main

  Mar 24, 20261h 1m 17s
  More actions for workflow run 146

• feat(proofs): eliminate all 12 Lean4 sorry proofs

  completed successfully:
  CodeQL Security Analysis#145:Commit486226cpushedbyhyperpolymath
  main

  Mar 23, 20263m 38s
  More actions for workflow run 145

• chore(deps): bump the actions group across 1 directory with 10 update…

  completed successfully:
  CodeQL Security Analysis#144:Commit078ab89pushedbyhyperpolymath
  main

  Mar 23, 20262m 41s
  More actions for workflow run 144

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#143:Scheduled
  main

  Mar 23, 20263m 48s
  More actions for workflow run 143

• chore(deps): bump the actions group across 1 directory with 10 updates

  completed successfully:
  CodeQL Security Analysis#142:Pull request#40openedbydependabot[bot]Bot
  dependabot/github_actions/actions-ee7bf3044c

  Mar 23, 202656s
  More actions for workflow run 142

• fix(proofs): document 13 blocked Lean4 sorry proofs in WokeLang

  completed successfully:
  CodeQL Security Analysis#141:Commitb6932dbpushedbyhyperpolymath
  main

  Mar 22, 20261m 10s
  More actions for workflow run 141

• feat: merge Layer 1 S-expression AST dump and all source code onto main

  completed successfully:
  CodeQL Security Analysis#140:Commit5272220pushedbyhyperpolymath
  main

  Mar 21, 20261m 1s
  More actions for workflow run 140

• chore(deps): bump minimatch from 5.1.6 to 5.1.8 in /editors/vscode in the npm_and_yarn group across 1 directory

  failed:
  CodeQL Security Analysis#139:Pull request#36openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/editors/vscode/npm_and_yarn-9550428184

  Feb 25, 20264s
  More actions for workflow run 139

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#138:Scheduled
  main

  Feb 23, 20261m 18s
  More actions for workflow run 138

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#137:Scheduled
  main

  Feb 16, 20261m 0s
  More actions for workflow run 137

• fix: move SCM files to .machine_readable/ (RSR compliance)

  completed successfully:
  CodeQL Security Analysis#136:Commit85b56f8pushedbyhyperpolymath
  main

  Feb 15, 20264m 40s
  More actions for workflow run 136

• chore: remove crash capture artifacts, update .gitignore

  completed successfully:
  CodeQL Security Analysis#135:Commite676c01pushedbyhyperpolymath
  main

  Feb 13, 202633m 28s
  More actions for workflow run 135

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#134:Scheduled
  main

  Feb 9, 20262m 18s
  More actions for workflow run 134

• chore: add repository configuration files and SPDX headers

  completed successfully:
  CodeQL Security Analysis#133:Commit35cfaccpushedbyhyperpolymath
  main

  Feb 7, 20261m 26s
  More actions for workflow run 133

• docs: update SCM files with project information

  completed successfully:
  CodeQL Security Analysis#132:Commit29ce182pushedbyhyperpolymath
  main

  Feb 4, 20263h 43m 47s
  More actions for workflow run 132

• docs: add RSR compliance files and ABI/FFI documentation

  completed successfully:
  CodeQL Security Analysis#131:Commit0d67d84pushedbyhyperpolymath
  main

  Feb 4, 202633m 35s
  More actions for workflow run 131