CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• feat(verisim-core): productise VerisimCore as shippable Julia package

  completed successfully:
  CodeQL Security Analysis#135:Commitc7bab75pushedbyhyperpolymath
  main

  Apr 5, 20261m 30s
  More actions for workflow run 135

• feat(verisim-modular-experiment): Phase 4+5 closure — experiment closed

  completed successfully:
  CodeQL Security Analysis#134:Commitb744433pushedbyhyperpolymath
  main

  Apr 5, 20261m 28s
  More actions for workflow run 134

• docs(quandledb): add CHANGELOG + docstrings for QuandleSemantic publi…

  completed successfully:
  CodeQL Security Analysis#133:Commit240d8capushedbyhyperpolymath
  main

  Apr 5, 20261m 32s
  More actions for workflow run 133

• feat(verisim-modular-experiment): Ed25519, multi-peer, VCL subset

  completed successfully:
  CodeQL Security Analysis#132:Commitd83e81epushedbyhyperpolymath
  main

  Apr 5, 20261m 17s
  More actions for workflow run 132

• docs(verisim-modular-experiment): mark 6→8 regen foldback APPLIED

  completed successfully:
  CodeQL Security Analysis#131:Commit7ac61e8pushedbyhyperpolymath
  main

  Apr 5, 20263m 18s
  More actions for workflow run 131

• feat(verisim-modular-experiment): Phase 3 runtime validation of Path B

  completed successfully:
  CodeQL Security Analysis#130:Commitf7fc0e4pushedbyhyperpolymath
  main

  Apr 5, 20261m 19s
  More actions for workflow run 130

• docs(quandledb): add EXPLAINME, TEST-NEEDS, PROOF-NEEDS

  completed successfully:
  CodeQL Security Analysis#129:Commit4c74d07pushedbyhyperpolymath
  main

  Apr 5, 20261m 33s
  More actions for workflow run 129

• docs(verisim-modular-experiment): mark renormalisation foldback APPLIED

  completed successfully:
  CodeQL Security Analysis#128:Commit07bca08pushedbyhyperpolymath
  main

  Apr 5, 20261m 26s
  More actions for workflow run 128

• docs(verisim-modular-experiment): note KRLAdapter.jl Phase 4 prep

  completed successfully:
  CodeQL Security Analysis#127:Commitf270f40pushedbyhyperpolymath
  main

  Apr 5, 20261m 11s
  More actions for workflow run 127

• docs(quandledb): add CRG v2 READINESS.md (grade D)

  completed successfully:
  CodeQL Security Analysis#126:Commitaff5549pushedbyhyperpolymath
  main

  Apr 5, 20262m 15s
  More actions for workflow run 126

• chore: absorb quandledb into monorepo + align with KRL stack

  completed successfully:
  CodeQL Security Analysis#125:Commit88bce1dpushedbyhyperpolymath
  main

  Apr 5, 20261m 22s
  More actions for workflow run 125

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

  completed successfully:
  CodeQL Security Analysis#124:Commitc94c8fbpushedbyhyperpolymath
  main

  Apr 4, 20265h 59m 49s
  More actions for workflow run 124

• docs: note Groove manifest in nqc sub-service

  completed successfully:
  CodeQL Security Analysis#123:Commit2edacb1pushedbyhyperpolymath
  main

  Apr 4, 20265h 10m 57s
  More actions for workflow run 123

• chore: update eclexiaiser.toml with real function entries

  completed successfully:
  CodeQL Security Analysis#122:Commit6f62171pushedbyhyperpolymath
  main

  Apr 4, 20265h 7m 11s
  More actions for workflow run 122

• chore: add eclexiaiser.toml manifests for container sub-services

  completed successfully:
  CodeQL Security Analysis#121:Commit9ff302fpushedbyhyperpolymath
  main

  Apr 4, 20264h 7m 54s
  More actions for workflow run 121

• chore: add Groove protocol manifest for nqc

  completed successfully:
  CodeQL Security Analysis#120:Commita8f1cf5pushedbyhyperpolymath
  main

  Apr 4, 20263h 53m 25s
  More actions for workflow run 120

• feat: add Groove service discovery manifest for lithoglyph

  completed successfully:
  CodeQL Security Analysis#119:Commite2eb4a0pushedbyhyperpolymath
  main

  Apr 4, 20262h 16m 19s
  More actions for workflow run 119

• feat: update NQC web app (ReScript v12→v13, remove rescript version p…

  completed successfully:
  CodeQL Security Analysis#118:Commit81bc69dpushedbyhyperpolymath
  main

  Apr 4, 20261h 41m 7s
  More actions for workflow run 118

• docs: substantive CRG C annotation (EXPLAINME.adoc)

  completed successfully:
  CodeQL Security Analysis#117:Commite346708pushedbyhyperpolymath
  main

  Apr 4, 202627m 56s
  More actions for workflow run 117

• test: blitz nextgen-databases to CRG C with E2E, P2P, aspect and benc…

  completed successfully:
  CodeQL Security Analysis#116:Commit5d9eb42pushedbyhyperpolymath
  main

  Apr 4, 20261m 19s
  More actions for workflow run 116

• fix: eliminate all Obj.magic dangerous patterns across monorepo

  completed successfully:
  CodeQL Security Analysis#115:Commit74e4a5epushedbyhyperpolymath
  main

  Apr 3, 20261m 10s
  More actions for workflow run 115

• Snapshot local work before sync

  completed successfully:
  CodeQL Security Analysis#114:Commit52aab49pushedbyhyperpolymath
  main

  Apr 2, 20265m 20s
  More actions for workflow run 114

• fix: replace String.to_atom with String.to_existing_atom

  completed successfully:
  CodeQL Security Analysis#113:Commit4815a44pushedbyhyperpolymath
  main

  Mar 30, 20261m 56s
  More actions for workflow run 113

• Remove template-only ABI files that falsely implied formal verification

  completed successfully:
  CodeQL Security Analysis#112:Commit914aa8dpushedbyhyperpolymath
  main

  Mar 30, 202620m 59s
  More actions for workflow run 112

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#111:Scheduled
  main

  Mar 30, 20261m 24s
  More actions for workflow run 111