CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(contractiles): remove lust (not in 6-verb set: intend trust mus…

  completed successfully:
  CodeQL Security Analysis#73:Commit044c714pushedbyhyperpolymath
  main

  Apr 18, 20264h 10m 44s
  More actions for workflow run 73

• Standardize workspace: Capitalize Justfile references in scripts and …

  completed successfully:
  CodeQL Security Analysis#72:Commit1698411pushedbyhyperpolymath
  main

  Apr 18, 20262h 25m 43s
  More actions for workflow run 72

• chore: fill empty .tool-versions from drift inventory (2026-04-17)

  completed successfully:
  CodeQL Security Analysis#71:Commit6bb7c8dpushedbyhyperpolymath
  main

  Apr 17, 202615m 55s
  More actions for workflow run 71

• ci: restore Dependabot security path + wire auto-merge

  completed successfully:
  CodeQL Security Analysis#70:Commit96810dfpushedbyhyperpolymath
  main

  Apr 17, 20261h 40m 37s
  More actions for workflow run 70

• chore: sync local state

  completed successfully:
  CodeQL Security Analysis#69:Commit8b1d02epushedbyhyperpolymath
  main

  Apr 17, 202631m 46s
  More actions for workflow run 69

• chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback

  completed successfully:
  CodeQL Security Analysis#68:Commit40353acpushedbyhyperpolymath
  main

  Apr 17, 20261h 7m 21s
  More actions for workflow run 68

• chore: M5 CI/Workflow Sweep - final synchronisation

  completed successfully:
  CodeQL Security Analysis#67:Commita270e35pushedbyhyperpolymath
  main

  Apr 16, 202646m 4s
  More actions for workflow run 67

• Merge branch 'main' of github.com:hyperpolymath/typell

  completed successfully:
  CodeQL Security Analysis#66:Commitf35b969pushedbyhyperpolymath
  main

  Apr 16, 20266m 25s
  More actions for workflow run 66

• chore(deps): bump rand in the cargo group across 1 directory

  completed successfully:
  CodeQL Security Analysis#65:Commit66b76capushedbyhyperpolymath
  main

  Apr 14, 20266m 5s
  More actions for workflow run 65

• chore(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across 1 directory

  completed successfully:
  CodeQL Security Analysis#64:Pull request#2openedbydependabot[bot]Bot
  dependabot/cargo/cargo-2cb957d483

  Apr 14, 20261m 26s
  More actions for workflow run 64

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#63:Scheduled
  main

  Apr 13, 202647s
  More actions for workflow run 63

• docs(adr): add ADR-0002 reversibility as typing case study

  completed successfully:
  CodeQL Security Analysis#62:Commit3d95018pushedbyhyperpolymath
  main

  Apr 12, 20265m 14s
  More actions for workflow run 62

• docs(roadmap): link tropical-resource-typing completion to 007 + kata…

  completed successfully:
  CodeQL Security Analysis#61:Commita963d8cpushedbyhyperpolymath
  main

  Apr 11, 202653s
  More actions for workflow run 61

• docs(abi): propagate open-ended progressive framing to source-level c…

  completed successfully:
  CodeQL Security Analysis#60:Commita5efd0bpushedbyhyperpolymath
  main

  Apr 11, 202641s
  More actions for workflow run 60

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  completed successfully:
  CodeQL Security Analysis#59:Commit619ac8epushedbyhyperpolymath
  main

  Apr 11, 20261h 30m 54s
  More actions for workflow run 59

• docs(ecosystem): add nextgen-typing, katagoria, and typed-wasm pipeli…

  completed successfully:
  CodeQL Security Analysis#58:Commit8c44545pushedbyhyperpolymath
  main

  Apr 11, 202644s
  More actions for workflow run 58

• docs(roadmap): reframe TypeLL as open-ended progressive, not capped a…

  completed successfully:
  CodeQL Security Analysis#57:Commit1652c42pushedbyhyperpolymath
  main

  Apr 11, 202650s
  More actions for workflow run 57

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#56:Scheduled
  main

  Apr 6, 202643s
  More actions for workflow run 56

• refactor(rename): VQL → VCL + verisimdb → verisim

  completed successfully:
  CodeQL Security Analysis#55:Commit2936952pushedbyhyperpolymath
  main

  Apr 5, 202643s
  More actions for workflow run 55

• feat(crg): add crg-grade and crg-badge justfile recipes

  completed successfully:
  CodeQL Security Analysis#54:Commit1683c27pushedbyhyperpolymath
  main

  Apr 4, 20266h 25m 56s
  More actions for workflow run 54

• feat(crg): add Current Grade badge anchor to READINESS.md

  completed successfully:
  CodeQL Security Analysis#53:Commit5b9474bpushedbyhyperpolymath
  main

  Apr 4, 20265h 17m 54s
  More actions for workflow run 53

• chore: remove orphaned workspace-level bench file

  completed successfully:
  CodeQL Security Analysis#52:Commitbc81af8pushedbyhyperpolymath
  main

  Apr 4, 20265h 16m 25s
  More actions for workflow run 52

• test: add criterion benchmarks for TypeLL core verification kernel

  completed successfully:
  CodeQL Security Analysis#51:Commit9a843d8pushedbyhyperpolymath
  main

  Apr 4, 20265h 14m 48s
  More actions for workflow run 51

• fix: set correct Groove capability type (was: custom)

  completed successfully:
  CodeQL Security Analysis#50:Commitd8fd2cepushedbyhyperpolymath
  main

  Apr 4, 20265h 14m 0s
  More actions for workflow run 50

• chore: add eclexiaiser-validate job to dogfood gate

  completed successfully:
  CodeQL Security Analysis#49:Commitf072b09pushedbyhyperpolymath
  main

  Apr 4, 20264h 55m 6s
  More actions for workflow run 49