CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Update STATE.a2ml: mark modshells as CRG C complete with test coverag…

  completed successfully:
  CodeQL Security Analysis#105:Commitcce2320pushedbyhyperpolymath
  main

  Apr 4, 202655s
  More actions for workflow run 105

• CRG blitz D→C: comprehensive test coverage for modshells

  completed successfully:
  CodeQL Security Analysis#104:Commitdbb8ab1pushedbyhyperpolymath
  main

  Apr 4, 20261m 2s
  More actions for workflow run 104

• chore(deps): Bump the actions group across 1 directory with 2 updates…

  failed:
  CodeQL Security Analysis#103:Commita600af2pushedbyhyperpolymath
  main

  Apr 3, 20263m 15s
  More actions for workflow run 103

• chore(deps): Bump the actions group across 1 directory with 2 updates

  failed:
  CodeQL Security Analysis#102:Pull request#25synchronizebyhyperpolymath
  dependabot/github_actions/actions-1a9f155adc

  Apr 3, 20261m 58s
  More actions for workflow run 102

• Add casket pages workflow

  failed:
  CodeQL Security Analysis#101:Commita808061pushedbyhyperpolymath
  main

  Apr 2, 202640m 53s
  More actions for workflow run 101

• docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit

  failed:
  CodeQL Security Analysis#100:Commitdc4ec53pushedbyhyperpolymath
  main

  Mar 30, 20267m 16s
  More actions for workflow run 100

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#99:Scheduled
  main

  Mar 30, 202643s
  More actions for workflow run 99

• feat: add stapeln.toml container definition

  failed:
  CodeQL Security Analysis#98:Commit349fc4epushedbyhyperpolymath
  main

  Mar 29, 202621m 30s
  More actions for workflow run 98

• chore: deploy UX infrastructure (contractile.just, .well-known, manif…

  failed:
  CodeQL Security Analysis#97:Commit62a95a8pushedbyhyperpolymath
  main

  Mar 29, 202628m 25s
  More actions for workflow run 97

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

  failed:
  CodeQL Security Analysis#96:Commit502b59apushedbyhyperpolymath
  main

  Mar 28, 202656m 18s
  More actions for workflow run 96

• chore: add agent_instructions methodology layer

  failed:
  CodeQL Security Analysis#95:Commit7357451pushedbyhyperpolymath
  main

  Mar 24, 202650m 49s
  More actions for workflow run 95

• chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, …

  failed:
  CodeQL Security Analysis#94:Commitbd59a9apushedbyhyperpolymath
  main

  Mar 23, 202620m 24s
  More actions for workflow run 94

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#93:Scheduled
  main

  Mar 23, 202643s
  More actions for workflow run 93

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

  failed:
  CodeQL Security Analysis#92:Commit5e4bbedpushedbyhyperpolymath
  main

  Mar 22, 202640m 15s
  More actions for workflow run 92

• chore(deps): Bump the actions group across 1 directory with 2 updates

  failed:
  CodeQL Security Analysis#91:Pull request#25openedbydependabot[bot]Bot
  dependabot/github_actions/actions-1a9f155adc

  Mar 19, 202625s
  More actions for workflow run 91

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

  failed:
  CodeQL Security Analysis#90:Commit399ed2apushedbyhyperpolymath
  main

  Mar 18, 202613m 1s
  More actions for workflow run 90

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

  failed:
  CodeQL Security Analysis#89:Pull request#24synchronizebyhyperpolymath
  chore/cicd-optimizations

  Mar 18, 202612m 11s
  More actions for workflow run 89

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

  failed:
  CodeQL Security Analysis#88:Pull request#24openedbyhyperpolymath
  chore/cicd-optimizations

  Mar 18, 202623m 11s
  More actions for workflow run 88

• chore(deps): Bump github/codeql-action from 4.32.6 to 4.33.0 in the actions group

  failed:
  CodeQL Security Analysis#87:Pull request#23openedbydependabot[bot]Bot
  dependabot/github_actions/actions-08da7132b3

  Mar 17, 202629s
  More actions for workflow run 87

• chore(deps): Bump erlef/setup-beam from 1.22.0 to 1.23.0 in the actio…

  failed:
  CodeQL Security Analysis#86:Commit9740059pushedbyhyperpolymath
  main

  Mar 16, 20264h 38m 59s
  More actions for workflow run 86

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#85:Scheduled
  main

  Mar 16, 20265h 0m 32s
  More actions for workflow run 85

• chore(deps): Bump erlef/setup-beam from 1.22.0 to 1.23.0 in the actions group

  failed:
  CodeQL Security Analysis#84:Pull request#22openedbydependabot[bot]Bot
  dependabot/github_actions/actions-edfc3fc012

  Mar 16, 20268h 21m 33s
  More actions for workflow run 84

• migrate: .scm → .a2ml state files in .machine_readable/

  failed:
  CodeQL Security Analysis#83:Commit1ec6ae4pushedbyhyperpolymath
  main

  Mar 16, 20266h 51m 32s
  More actions for workflow run 83

• fix: SPDX headers (AGPL→PMPL), email, author name

  failed:
  CodeQL Security Analysis#82:Commita50c2e1pushedbyhyperpolymath
  main

  Mar 16, 20263h 2m 48s
  More actions for workflow run 82

• refactor: migrate 6SCM → 6A2 (.scm → .a2ml format)

  failed:
  CodeQL Security Analysis#81:Commit2d085c6pushedbyhyperpolymath
  main

  Mar 15, 202627m 58s
  More actions for workflow run 81