CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(deps): bump trufflesecurity/trufflehog from 3.94.3 to 3.95.2 in the actions group

  completed successfully:
  CodeQL Security Analysis#15:Pull request#4openedbydependabot[bot]Bot
  dependabot/github_actions/actions-d8ef2e9271

  Apr 24, 20261m 7s
  More actions for workflow run 15

• feat(ai-manifest): add ECHIDNA call-protocol snippet (Package 8)

  completed successfully:
  CodeQL Security Analysis#14:Commit842bd35pushedbyhyperpolymath
  main

  Apr 24, 20263m 38s
  More actions for workflow run 14

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#13:Scheduled
  main

  Apr 20, 20261m 34s
  More actions for workflow run 13

• chore(contractiles): add bust/ + relocate k9 to svc/

  completed successfully:
  CodeQL Security Analysis#12:Commit315feb3pushedbyhyperpolymath
  main

  Apr 18, 20265h 53m 0s
  More actions for workflow run 12

• chore(contractiles): remove lust (not in 6-verb set: intend trust mus…

  completed successfully:
  CodeQL Security Analysis#11:Commitb151765pushedbyhyperpolymath
  main

  Apr 18, 20263h 14m 39s
  More actions for workflow run 11

• Standardize workspace: Capitalize Justfile references in scripts and …

  completed successfully:
  CodeQL Security Analysis#10:Commit3d52acdpushedbyhyperpolymath
  main

  Apr 18, 20262h 48m 34s
  More actions for workflow run 10

• Standardize workspace: Justfile migration and A2ML directive cleanup

  completed successfully:
  CodeQL Security Analysis#9:Commite8be300pushedbyhyperpolymath
  main

  Apr 18, 20266m 4s
  More actions for workflow run 9

• Merge pull request #3 from hyperpolymath/fix/issue-2-abi-types

  completed successfully:
  CodeQL Security Analysis#8:Commit4654410pushedbyhyperpolymath
  main

  Apr 18, 20261m 15s
  More actions for workflow run 8

• fix(abi): resolve Types.idr size proof accessibility + pointer typing

  completed successfully:
  CodeQL Security Analysis#7:Pull request#3openedbyhyperpolymath
  fix/issue-2-abi-types

  Apr 18, 20261m 1s
  More actions for workflow run 7

• chore(deps): bump the actions group with 15 updates (#1)

  completed successfully:
  CodeQL Security Analysis#6:Commitb0b15bfpushedbyhyperpolymath
  main

  Apr 18, 20261m 18s
  More actions for workflow run 6

• chore(deps): bump the actions group across 1 directory with 15 updates

  completed successfully:
  CodeQL Security Analysis#5:Pull request#1synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-5422b9698b

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

• proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b…

  completed successfully:
  CodeQL Security Analysis#4:Commitbe301dfpushedbyhyperpolymath
  main

  Apr 17, 20261m 24s
  More actions for workflow run 4

• proof(absolute-zero): close FilesystemCNO.lean sorry (idempotent != CNO)

  completed successfully:
  CodeQL Security Analysis#3:Commit6cd1c72pushedbyhyperpolymath
  main

  Apr 17, 20261m 15s
  More actions for workflow run 3

• chore(deps): bump the actions group across 1 directory with 15 updates

  completed successfully:
  CodeQL Security Analysis#2:Pull request#1openedbydependabot[bot]Bot
  dependabot/github_actions/actions-5422b9698b

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

• proofs: eliminate believe_me in src/abi/Layout.idr (6 → 0)

  completed successfully:
  CodeQL Security Analysis#1:Commit02c2c85pushedbyhyperpolymath
  main

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