CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore: add Stapeln selur-compose.toml service definition

  failed:
  CodeQL Security Analysis#15:Commit86f3323pushedbyhyperpolymath
  main

  Mar 24, 202654m 2s
  More actions for workflow run 15

• chore: add agent_instructions methodology layer

  failed:
  CodeQL Security Analysis#14:Commit8cc81abpushedbyhyperpolymath
  main

  Mar 24, 202615m 3s
  More actions for workflow run 14

• chore: fix, Rust, lint/fmt, issues

  failed:
  CodeQL Security Analysis#13:Commit8d772acpushedbyhyperpolymath
  main

  Mar 23, 20262m 4s
  More actions for workflow run 13

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#12:Scheduled
  main

  Mar 23, 202621m 29s
  More actions for workflow run 12

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

  failed:
  CodeQL Security Analysis#11:Commita0d07efpushedbyhyperpolymath
  main

  Mar 22, 20269m 54s
  More actions for workflow run 11

• chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u…

  failed:
  CodeQL Security Analysis#10:Commit4a08febpushedbyhyperpolymath
  main

  Mar 22, 202640s
  More actions for workflow run 10

• fix: rename .github/README.adoc to DIRECTORY.adoc

  failed:
  CodeQL Security Analysis#9:Commitc5db1a0pushedbyhyperpolymath
  main

  Mar 22, 202653s
  More actions for workflow run 9

• fix: use license-file for crates.io compatibility

  failed:
  CodeQL Security Analysis#8:Commit1303c17pushedbyhyperpolymath
  main

  Mar 21, 202633s
  More actions for workflow run 8

• chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile

  failed:
  CodeQL Security Analysis#7:Commitd247a27pushedbyhyperpolymath
  main

  Mar 21, 20261m 12s
  More actions for workflow run 7

• feat: alloyiser Phase 1 — API spec parser, Alloy model generation, as…

  failed:
  CodeQL Security Analysis#6:Commita9c0d77pushedbyhyperpolymath
  main

  Mar 21, 202638s
  More actions for workflow run 6

• docs: bespoke architecture, roadmap, topology, and ABI definitions fo…

  failed:
  CodeQL Security Analysis#5:Commitbfb9fa6pushedbyhyperpolymath
  main

  Mar 21, 20265m 6s
  More actions for workflow run 5

• chore(floor-raise): add integration files (Phase 2)

  failed:
  CodeQL Security Analysis#4:Commitf541508pushedbyhyperpolymath
  main

  Mar 21, 20267m 55s
  More actions for workflow run 4

• chore(floor-raise): add foundational tool integrations

  failed:
  CodeQL Security Analysis#3:Commit21535c4pushedbyhyperpolymath
  main

  Mar 21, 20261m 10s
  More actions for workflow run 3

• Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E…

  failed:
  CodeQL Security Analysis#2:Commitd41d4b6pushedbyhyperpolymath
  main

  Mar 20, 20263m 4s
  More actions for workflow run 2

• Initial commit: Alloyiser — Extract formal models from API specs and …

  failed:
  CodeQL Security Analysis#1:Commitdf4982fpushedbyhyperpolymath
  main

  Mar 20, 202655s
  More actions for workflow run 1