CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• feat(codegen): implement bitwise NOT and constant folding; fix .as le…

  completed successfully:
  CodeQL Security Analysis#128:Commit5d79e9epushedbyhyperpolymath
  main

  Apr 17, 20261m 0s
  More actions for workflow run 128

• Merge pull request #26 from hyperpolymath/runbook-rename

  completed successfully:
  CodeQL Security Analysis#127:Commit73cdcf3pushedbyhyperpolymath
  main

  Apr 17, 20262h 3m 27s
  More actions for workflow run 127

• a2ml: rename runbook out of .launcher.a2ml namespace

  completed successfully:
  CodeQL Security Analysis#126:Pull request#26openedbyhyperpolymath
  runbook-rename

  Apr 17, 20262h 2m 50s
  More actions for workflow run 126

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

  completed successfully:
  CodeQL Security Analysis#125:Commitf42f866pushedbyhyperpolymath
  main

  Apr 17, 20261m 1s
  More actions for workflow run 125

• feat: migrate file extension from .as to .affine for GitHub Linguist …

  completed successfully:
  CodeQL Security Analysis#124:Pull request#25synchronizebyhyperpolymath
  claude/explore-repo-language-3QNs5

  Apr 17, 202649s
  More actions for workflow run 124

• fix(cli): register cs-bridge subcommand to resolve unused value error

  completed successfully:
  CodeQL Security Analysis#123:Commite6efdcepushedbyhyperpolymath
  main

  Apr 17, 202646s
  More actions for workflow run 123

• ci: bump actions/upload-pages-artifact from 4.0.0 to 5.0.0

  completed successfully:
  CodeQL Security Analysis#122:Commit4595f96pushedbyhyperpolymath
  main

  Apr 16, 20262m 17s
  More actions for workflow run 122

• ci: bump trufflesecurity/trufflehog from 3.94.2 to 3.94.3

  completed successfully:
  CodeQL Security Analysis#121:Commitf96096cpushedbyhyperpolymath
  main

  Apr 16, 20261m 53s
  More actions for workflow run 121

• ci: bump actions/github-script from 8.0.0 to 9.0.0

  completed successfully:
  CodeQL Security Analysis#120:Commit27714fdpushedbyhyperpolymath
  main

  Apr 16, 20261m 44s
  More actions for workflow run 120

• ci: bump editorconfig-checker/action-editorconfig-checker

  completed successfully:
  CodeQL Security Analysis#119:Commit66d1269pushedbyhyperpolymath
  main

  Apr 16, 20261m 54s
  More actions for workflow run 119

• ci: bump ocaml/setup-ocaml from 3.4.8 to 3.6.0

  completed successfully:
  CodeQL Security Analysis#118:Commit4b21b53pushedbyhyperpolymath
  main

  Apr 16, 20261m 27s
  More actions for workflow run 118

• Update README.adoc

  completed successfully:
  CodeQL Security Analysis#117:Commit67a4903pushedbyhyperpolymath
  main

  Apr 13, 202641s
  More actions for workflow run 117

• Delete LICENSE-AGPL-3.0

  completed successfully:
  CodeQL Security Analysis#116:Commita55d04epushedbyhyperpolymath
  main

  Apr 13, 202643s
  More actions for workflow run 116

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#115:Scheduled
  main

  Apr 13, 202645s
  More actions for workflow run 115

• feat: TEA CS bridge + opsm.toml manifest

  completed successfully:
  CodeQL Security Analysis#114:Commit9b654c8pushedbyhyperpolymath
  main

  Apr 12, 202653s
  More actions for workflow run 114

• chore(state): capture Stage 12 in-progress checkpoint

  completed successfully:
  CodeQL Security Analysis#113:Commitaf96323pushedbyhyperpolymath
  main

  Apr 12, 202641s
  More actions for workflow run 113

• feat(quantity): Stage 11 — source-level Cmd linearity (QTT enforcement)

  completed successfully:
  CodeQL Security Analysis#112:Commitb8a0f9cpushedbyhyperpolymath
  main

  Apr 12, 20263m 19s
  More actions for workflow run 112

• feat(tw_interface): Stage 10 — multi-module boundary verifier

  completed successfully:
  CodeQL Security Analysis#111:Commit39995dcpushedbyhyperpolymath
  main

  Apr 12, 202641s
  More actions for workflow run 111

• feat(tw_verify): Stage 9 — per-path min/max linearity analysis

  completed successfully:
  CodeQL Security Analysis#110:Commitf6cab6dpushedbyhyperpolymath
  main

  Apr 12, 202649s
  More actions for workflow run 110

• feat(affinescript): Stage 8 — auto-verify ownership on compile + brid…

  completed successfully:
  CodeQL Security Analysis#109:Commitfbe7c98pushedbyhyperpolymath
  main

  Apr 12, 202658s
  More actions for workflow run 109

• feat(affinescript): Stage 7 — typed-wasm ownership verifier (Tw_verify)

  completed successfully:
  CodeQL Security Analysis#108:Commitec64ca6pushedbyhyperpolymath
  main

  Apr 12, 20262m 7s
  More actions for workflow run 108

• feat(parser): add SELF_KW keyword + self-receiver param rule

  completed successfully:
  CodeQL Security Analysis#107:Commit2abdb35pushedbyhyperpolymath
  main

  Apr 12, 202644s
  More actions for workflow run 107

• chore(a2ml): upgrade .machine_readable/ suite to current standards shape

  completed successfully:
  CodeQL Security Analysis#106:Commitc467c4apushedbyhyperpolymath
  main

  Apr 12, 202646s
  More actions for workflow run 106

• feat(typecheck+codegen): wire try/catch/finally through all backends …

  completed successfully:
  CodeQL Security Analysis#105:Commit732253epushedbyhyperpolymath
  main

  Apr 12, 202648s
  More actions for workflow run 105

• chore: update STATE.a2ml — Stage 6 complete

  completed successfully:
  CodeQL Security Analysis#104:Commit917c7capushedbyhyperpolymath
  main

  Apr 11, 202651s
  More actions for workflow run 104