CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• feat(formal): prove no_leaks + memory_safety, complete type safety in…

  completed successfully:
  CodeQL Security Analysis#137:Commit6013c00pushedbyhyperpolymath
  main

  Mar 22, 20261m 15s
  More actions for workflow run 137

• feat(formal): add 4 helper lemmas for type safety proofs

  completed successfully:
  CodeQL Security Analysis#136:Commit3cea8d0pushedbyhyperpolymath
  main

  Mar 22, 20261m 22s
  More actions for workflow run 136

• docs: add EXPLAINME.adoc — prove-it file backing README claims

  completed successfully:
  CodeQL Security Analysis#135:Commit87ad698pushedbyhyperpolymath
  main

  Mar 22, 202616m 2s
  More actions for workflow run 135

• ci: add CodeQL and Scorecard workflows for OpenSSF compliance

  completed successfully:
  CodeQL Security Analysis#134:Commit4b06dbfpushedbyhyperpolymath
  main

  Mar 22, 20267m 17s
  More actions for workflow run 134

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#133:Scheduled
  main

  Feb 23, 202637s
  More actions for workflow run 133

• Update README.adoc

  failed:
  CodeQL Security Analysis#132:Commit74c7235pushedbyhyperpolymath
  main

  Feb 16, 202628s
  More actions for workflow run 132

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#131:Scheduled
  main

  Feb 16, 202620s
  More actions for workflow run 131

• chore: remove crash capture artifacts, update .gitignore

  failed:
  CodeQL Security Analysis#130:Commit808b6c4pushedbyhyperpolymath
  main

  Feb 13, 202621m 58s
  More actions for workflow run 130

• Auto-commit: Sync changes [2026-02-10]

  failed:
  CodeQL Security Analysis#129:Commite07f947pushedbyhyperpolymath
  main

  Feb 10, 20263m 55s
  More actions for workflow run 129

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#128:Scheduled
  main

  Feb 9, 202639s
  More actions for workflow run 128

• feat: absorb ephapax-playground as playground/ subdirectory

  failed:
  CodeQL Security Analysis#127:Commit90efe80pushedbyhyperpolymath
  main

  Feb 8, 20261m 7s
  More actions for workflow run 127

• chore(deps): bump git2 from 0.19.0 to 0.20.4 in the cargo group across 1 directory

  failed:
  CodeQL Security Analysis#126:Pull request#17synchronizebydependabot[bot]Bot
  dependabot/cargo/cargo-3169503097

  Feb 7, 202658s
  More actions for workflow run 126

• fix: enable compilation and add bootstrap test results

  failed:
  CodeQL Security Analysis#125:Commit53e9a96pushedbyhyperpolymath
  main

  Feb 7, 202650s
  More actions for workflow run 125

• docs: add comprehensive session summary for 2026-02-07

  failed:
  CodeQL Security Analysis#124:Commit82dbd65pushedbyhyperpolymath
  main

  Feb 7, 202644s
  More actions for workflow run 124

• feat: add parser module for list and tuple literals

  failed:
  CodeQL Security Analysis#123:Commit357735bpushedbyhyperpolymath
  main

  Feb 7, 202643s
  More actions for workflow run 123

• feat: add VS Code extension and closure optimization framework

  failed:
  CodeQL Security Analysis#122:Commita77303bpushedbyhyperpolymath
  main

  Feb 7, 20261m 1s
  More actions for workflow run 122

• feat: add comprehensive performance benchmark suite

  failed:
  CodeQL Security Analysis#121:Commita8acf4epushedbyhyperpolymath
  main

  Feb 7, 202652s
  More actions for workflow run 121

• feat: implement self-hosting Ephapax compiler in Ephapax

  failed:
  CodeQL Security Analysis#120:Commitfadeed8pushedbyhyperpolymath
  main

  Feb 7, 202644s
  More actions for workflow run 120

• feat: add complete list and tuple support to compiler

  failed:
  CodeQL Security Analysis#119:Commit6292bb1pushedbyhyperpolymath
  main

  Feb 7, 202654s
  More actions for workflow run 119

• chore(deps): bump git2 from 0.19.0 to 0.20.4 in the cargo group across 1 directory

  failed:
  CodeQL Security Analysis#118:Pull request#17openedbydependabot[bot]Bot
  dependabot/cargo/cargo-3169503097

  Feb 7, 202658s
  More actions for workflow run 118

• chore: update STATE.scm with package manager session

  failed:
  CodeQL Security Analysis#117:Commit5b5bca1pushedbyhyperpolymath
  main

  Feb 7, 202648s
  More actions for workflow run 117

• feat: implement package manager (Enhancement #2)

  failed:
  CodeQL Security Analysis#116:Commitfd66b73pushedbyhyperpolymath
  main

  Feb 7, 202649s
  More actions for workflow run 116

• chore: update STATE.scm with enhancement session history

  failed:
  CodeQL Security Analysis#115:Commit6962b83pushedbyhyperpolymath
  main

  Feb 7, 202653s
  More actions for workflow run 115

• docs: add comprehensive enhancement suite status tracking

  failed:
  CodeQL Security Analysis#114:Commitbdfda22pushedbyhyperpolymath
  main

  Feb 7, 202653s
  More actions for workflow run 114

• docs: add DYADIC-DESIGN.md paradigm breakthrough explanation

  failed:
  CodeQL Security Analysis#113:Commit92010cdpushedbyhyperpolymath
  main

  Feb 7, 202647s
  More actions for workflow run 113