CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• fix(rhodibot): automated RSR compliance fixes

  failed:
  CodeQL Security Analysis#19:Pull request#1openedbyhyperpolymath
  rhodibot/rsr-compliance-20260330

  Apr 3, 202630s
  More actions for workflow run 19

• Add casket pages workflow

  failed:
  CodeQL Security Analysis#18:Commitc82014fpushedbyhyperpolymath
  main

  Apr 2, 202656m 38s
  More actions for workflow run 18

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#17:Scheduled
  main

  Mar 30, 202637s
  More actions for workflow run 17

• feat: add stapeln.toml layer-based container definition\n\nConverted …

  failed:
  CodeQL Security Analysis#16:Commita18d7capushedbyhyperpolymath
  main

  Mar 28, 20262h 0m 28s
  More actions for workflow run 16

• chore: add UX infrastructure (quickstart, doctor, setup)

  failed:
  CodeQL Security Analysis#15:Commit6ac11abpushedbyhyperpolymath
  main

  Mar 28, 20261h 13m 14s
  More actions for workflow run 15

• chore: add agent_instructions methodology layer

  failed:
  CodeQL Security Analysis#14:Commitc4c86c9pushedbyhyperpolymath
  main

  Mar 24, 20261h 37m 24s
  More actions for workflow run 14

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

  failed:
  CodeQL Security Analysis#13:Commitdf2760cpushedbyhyperpolymath
  main

  Mar 24, 20261h 30m 52s
  More actions for workflow run 13

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

  failed:
  CodeQL Security Analysis#12:Commit6896c4apushedbyhyperpolymath
  main

  Mar 23, 202630m 14s
  More actions for workflow run 12

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#11:Scheduled
  main

  Mar 23, 202648s
  More actions for workflow run 11

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

  failed:
  CodeQL Security Analysis#10:Commitdb67604pushedbyhyperpolymath
  main

  Mar 22, 202632m 7s
  More actions for workflow run 10

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

  failed:
  CodeQL Security Analysis#9:Commitf96dcb8pushedbyhyperpolymath
  main

  Mar 22, 202612m 0s
  More actions for workflow run 9

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

  failed:
  CodeQL Security Analysis#8:Commitf489a44pushedbyhyperpolymath
  main

  Mar 22, 20264m 57s
  More actions for workflow run 8

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

  failed:
  CodeQL Security Analysis#7:Commitd9040e0pushedbyhyperpolymath
  main

  Mar 21, 202640s
  More actions for workflow run 7

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

  failed:
  CodeQL Security Analysis#6:Commit1381152pushedbyhyperpolymath
  main

  Mar 21, 202659s
  More actions for workflow run 6

• feat: implement Phase 1 — TLA+/PlusCal state machine codegen pipeline

  failed:
  CodeQL Security Analysis#5:Commit60489edpushedbyhyperpolymath
  main

  Mar 21, 202637s
  More actions for workflow run 5

• docs: replace template placeholders with bespoke TLAiser content

  failed:
  CodeQL Security Analysis#4:Commit65e6fd9pushedbyhyperpolymath
  main

  Mar 21, 202638s
  More actions for workflow run 4

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

  failed:
  CodeQL Security Analysis#3:Commitb72d218pushedbyhyperpolymath
  main

  Mar 21, 20267m 29s
  More actions for workflow run 3

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

  failed:
  CodeQL Security Analysis#2:Commitd9a9cdbpushedbyhyperpolymath
  main

  Mar 20, 20261m 7s
  More actions for workflow run 2

• Initial commit: Tlaiser — Extract state machines from code and model-…

  failed:
  CodeQL Security Analysis#1:Commitbb59f19pushedbyhyperpolymath
  main

  Mar 20, 202642s
  More actions for workflow run 1