CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• feat(spec): add Phase 1 formal specifications for TypeLL type system

  completed successfully:
  CodeQL Security Analysis#23:Commitd97ee7dpushedbyhyperpolymath
  main

  Mar 21, 202645s
  More actions for workflow run 23

• feat(server): Wire TypeLL server with VQL-UT bridge and 11 PanLL endp…

  completed successfully:
  CodeQL Security Analysis#22:Commit0344a34pushedbyhyperpolymath
  main

  Mar 20, 202649s
  More actions for workflow run 22

• chore(ci): maximize ci/cd values via dependabot and permissions

  completed successfully:
  CodeQL Security Analysis#21:Commit4749997pushedbyhyperpolymath
  main

  Mar 18, 20264m 7s
  More actions for workflow run 21

• chore(ci): Maximize CI/CD values (Dependabot & Permissions)

  completed successfully:
  CodeQL Security Analysis#20:Pull request#1openedbyhyperpolymath
  chore/cicd-optimizations

  Mar 18, 202637m 16s
  More actions for workflow run 20

• chore: Big Unification — attach to BoJ Server / Casket architecture

  completed successfully:
  CodeQL Security Analysis#19:Commit4172831pushedbyhyperpolymath
  main

  Mar 17, 20261h 51m 16s
  More actions for workflow run 19

• chore: Big Unification — attach to BoJ Server / Casket architecture

  completed successfully:
  CodeQL Security Analysis#18:Commit1ee893fpushedbyhyperpolymath
  main

  Mar 17, 202643m 34s
  More actions for workflow run 18

• chore: RSR sync and mass repository update

  completed successfully:
  CodeQL Security Analysis#17:Commit5c7bb73pushedbyhyperpolymath
  main

  Mar 17, 202647m 59s
  More actions for workflow run 17

• feat: add CLADE.a2ml — clade taxonomy declaration

  completed successfully:
  CodeQL Security Analysis#16:Commitb1cda1epushedbyhyperpolymath
  main

  Mar 16, 20261h 10m 4s
  More actions for workflow run 16

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#15:Scheduled
  main

  Mar 16, 20264h 58m 35s
  More actions for workflow run 15

• ci: migrate CodeQL Action v3 → v4

  completed successfully:
  CodeQL Security Analysis#14:Commitf06f5ffpushedbyhyperpolymath
  main

  Mar 16, 20268h 58m 59s
  More actions for workflow run 14

• ci: update SHA pins for codeql-action and trufflehog

  completed successfully:
  CodeQL Security Analysis#13:Commite0c7d2cpushedbyhyperpolymath
  main

  Mar 16, 20268h 44m 25s
  More actions for workflow run 13

• ci: remove duplicate jekyll-gh-pages.yml (jekyll.yml is canonical)

  completed successfully:
  CodeQL Security Analysis#12:Commitfb4cc08pushedbyhyperpolymath
  main

  Mar 16, 20268h 20m 8s
  More actions for workflow run 12

• chore: replace RSR template placeholders with actual values

  completed successfully:
  CodeQL Security Analysis#11:Commit4719c0apushedbyhyperpolymath
  main

  Mar 16, 20263h 40m 20s
  More actions for workflow run 11

• SHA-pin GitHub Actions and upgrade deprecated checkout versions

  completed successfully:
  CodeQL Security Analysis#10:Commit74d36d9pushedbyhyperpolymath
  main

  Mar 16, 20262h 18m 48s
  More actions for workflow run 10

• Replace RSR template placeholders with actual values

  completed successfully:
  CodeQL Security Analysis#9:Commita6686a6pushedbyhyperpolymath
  main

  Mar 16, 202639m 33s
  More actions for workflow run 9

• chore: RSR compliance — fix .editorconfig template placeholder

  completed successfully:
  CodeQL Security Analysis#8:Commitc285acfpushedbyhyperpolymath
  main

  Mar 14, 202648s
  More actions for workflow run 8

• feat: adopt contractile system

  completed successfully:
  CodeQL Security Analysis#7:Commit18746dcpushedbyhyperpolymath
  main

  Mar 14, 202647s
  More actions for workflow run 7

• chore: sync local changes

  completed successfully:
  CodeQL Security Analysis#6:Commitc09e994pushedbyhyperpolymath
  main

  Mar 14, 202644s
  More actions for workflow run 6

• Standardise license setup: MPL-2.0 + PMPL-1.0-or-later (REUSE)

  completed successfully:
  CodeQL Security Analysis#5:Commit68a65ccpushedbyhyperpolymath
  main

  Mar 11, 202628m 32s
  More actions for workflow run 5

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#4:Scheduled
  main

  Mar 9, 202647s
  More actions for workflow run 4

• Auto-commit: Sync changes [2026-03-05]

  completed successfully:
  CodeQL Security Analysis#3:Commit81cf6capushedbyhyperpolymath
  main

  Mar 5, 20265m 41s
  More actions for workflow run 3

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#2:Scheduled
  main

  Mar 2, 202642s
  More actions for workflow run 2

• Initial commit: Typell — PanLL's verification kernel

  completed successfully:
  CodeQL Security Analysis#1:Commit39ed242pushedbyhyperpolymath
  main

  Mar 1, 202646s
  More actions for workflow run 1