CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CNO: pc-driven machine, observable identity, real termination (#199)

  completed successfully:
  CodeQL Security Analysis#415:Commitffcfed1pushedbyhyperpolymath
  main

  Nov 10, 20262m 31s
  More actions for workflow run 415

• CNO: pc-driven machine, observable identity, real termination

  completed successfully:
  CodeQL Security Analysis#414:Pull request#199synchronizebycoderabbitai[bot]Bot
  proofs/cno-pc-machine

  Nov 9, 20262m 54s
  More actions for workflow run 414

• CNO: pc-driven machine, observable identity, real termination

  cancelled:
  CodeQL Security Analysis#413:Pull request#199synchronizebycoderabbitai[bot]Bot
  proofs/cno-pc-machine

  Nov 9, 20262m 40s
  More actions for workflow run 413

• CNO: pc-driven machine, observable identity, real termination

  completed successfully:
  CodeQL Security Analysis#412:Pull request#199synchronizebyhyperpolymath
  proofs/cno-pc-machine

  Nov 9, 20261h 11m 31s
  More actions for workflow run 412

• CNO: pc-driven machine, observable identity, real termination

  completed successfully:
  CodeQL Security Analysis#411:Pull request#199openedbyhyperpolymath
  proofs/cno-pc-machine

  Nov 9, 202646m 26s
  More actions for workflow run 411

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real

  completed successfully:
  CodeQL Security Analysis#410:Pull request#198synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202643m 11s
  More actions for workflow run 410

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real

  cancelled:
  CodeQL Security Analysis#409:Pull request#198openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202628m 50s
  More actions for workflow run 409

• docs(proofs): record what the active Agda CNO/OND terms actually state

  completed successfully:
  CodeQL Security Analysis#408:Pull request#197openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202615m 10s
  More actions for workflow run 408

• chore(deps): bump github/codeql-action from 4.39.1 to 4.39.2 in the a…

  completed successfully:
  CodeQL Security Analysis#407:Commitcbe9ae9pushedbyhyperpolymath
  main

  Nov 7, 20262m 50s
  More actions for workflow run 407

• chore(deps): bump github/codeql-action from 4.39.1 to 4.39.2 in the actions group

  completed successfully:
  CodeQL Security Analysis#406:Pull request#196openedbydependabot[bot]Bot
  dependabot/github_actions/actions-86b173927e

  Nov 6, 20262m 20s
  More actions for workflow run 406

• docs(proof-status): canonical active-vs-archived reconciliation table…

  completed successfully:
  CodeQL Security Analysis#405:Commit80bb4e2pushedbyhyperpolymath
  main

  Nov 1, 20262m 52s
  More actions for workflow run 405

• docs(proof-status): canonical active-vs-archived reconciliation table with estate grades

  completed successfully:
  CodeQL Security Analysis#404:Pull request#195openedbyhyperpolymath
  arena/1a7659fe-absolute-zero

  Nov 1, 20262m 52s
  More actions for workflow run 404

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#403:Scheduled
  main

  Nov 1, 20262m 32s
  More actions for workflow run 403

• chore(deps): bump the actions group with 3 updates (#194)

  completed successfully:
  CodeQL Security Analysis#402:Commitbb46232pushedbyhyperpolymath
  main

  Oct 31, 20262m 15s
  More actions for workflow run 402

• chore(deps): bump the actions group with 3 updates

  completed successfully:
  CodeQL Security Analysis#401:Pull request#194openedbydependabot[bot]Bot
  dependabot/github_actions/actions-ad128ebd5c

  Oct 30, 20262m 35s
  More actions for workflow run 401

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the a…

  completed successfully:
  CodeQL Security Analysis#400:Commit64a47ecpushedbyhyperpolymath
  main

  Oct 23, 20262m 47s
  More actions for workflow run 400

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the actions group

  completed successfully:
  CodeQL Security Analysis#399:Pull request#193openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 23, 20262m 40s
  More actions for workflow run 399

• chore(deps): bump github/codeql-action from 4.38.2 to 4.38.3 in the a…

  completed successfully:
  CodeQL Security Analysis#398:Commite249d7fpushedbyhyperpolymath
  main

  Oct 16, 20262m 24s
  More actions for workflow run 398

• chore(deps): bump github/codeql-action from 4.38.2 to 4.38.3 in the actions group

  completed successfully:
  CodeQL Security Analysis#397:Pull request#191openedbydependabot[bot]Bot
  dependabot/github_actions/actions-90fd21f639

  Oct 16, 20262m 42s
  More actions for workflow run 397

• ci+docs: unify the standards pins, close the lock, underscore the arc…

  completed successfully:
  CodeQL Security Analysis#396:Commitb60f227pushedbyhyperpolymath
  main

  Oct 15, 20262m 47s
  More actions for workflow run 396

• ci+docs: unify the standards pins, close the lock, underscore the archived session id

  completed successfully:
  CodeQL Security Analysis#395:Pull request#190openedbyhyperpolymath
  ci/governance-repair

  Oct 15, 20262m 36s
  More actions for workflow run 395

• docs: an Applications-in-practice section (#189)

  failed at startup:
  CodeQL Security Analysis#394:Commit4471796pushedbyhyperpolymath
  main

  Oct 15, 2026Startup failure
  More actions for workflow run 394

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#393:synchronizebyhyperpolymath
  docs/applications-in-practice

  Oct 15, 2026Startup failure
  More actions for workflow run 393

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#392:openedbyhyperpolymath
  docs/applications-in-practice

  Oct 15, 2026Startup failure
  More actions for workflow run 392

• t1-exception-2026-10-12 (#188)

  failed at startup:
  CodeQL Security Analysis#391:Commitae1b681pushedbyhyperpolymath
  main

  Oct 12, 2026-1s
  More actions for workflow run 391