CodeQL Advanced

Workflow runs for CodeQL Advanced

• docs(status): the epistemic-types pin is 6ce8c74 since #40, not 495db9c

  completed successfully:
  CodeQL Advanced#44:Pull request#42synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 20261h 21m 31s
  More actions for workflow run 44

• docs(status): the epistemic-types pin is 6ce8c74 since #40, not 495db9c

  completed successfully:
  CodeQL Advanced#43:Pull request#42openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202629m 52s
  More actions for workflow run 43

• Ledger: record where rows say more than the Agda states

  completed successfully:
  CodeQL Advanced#42:Pull request#41synchronizebyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Nov 9, 202631m 51s
  More actions for workflow run 42

• Ledger: record where rows say more than the Agda states

  completed successfully:
  CodeQL Advanced#41:Pull request#41openedbyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Nov 9, 202618m 45s
  More actions for workflow run 41

• Prove asynchronous whole-world partial recovery obstruction (#40)

  completed successfully:
  CodeQL Advanced#40:Commit17240c7pushedbyhyperpolymath
  main

  Nov 7, 20261m 17s
  More actions for workflow run 40

• Prove asynchronous whole-world partial recovery obstruction

  completed successfully:
  CodeQL Advanced#39:Pull request#40openedbyhyperpolymath
  codex/async-whole-world-obstruction-20261107

  Nov 7, 202652s
  More actions for workflow run 39

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-typ…

  completed successfully:
  CodeQL Advanced#38:Commit5a2a6cfpushedbyhyperpolymath
  main

  Nov 5, 20261m 21s
  More actions for workflow run 38

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  completed successfully:
  CodeQL Advanced#37:Pull request#38synchronizebycoderabbitai[bot]Bot
  arena/3bf1061a-choreographic-types

  Nov 5, 20261m 0s
  More actions for workflow run 37

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  completed successfully:
  CodeQL Advanced#36:Pull request#38synchronizebyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 5, 20261m 5s
  More actions for workflow run 36

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  completed successfully:
  CodeQL Advanced#35:Pull request#38synchronizebyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 5, 20261m 3s
  More actions for workflow run 35

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  completed successfully:
  CodeQL Advanced#34:Pull request#38synchronizebyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 5, 202656s
  More actions for workflow run 34

• Add a minimal repo deed with the notify job's egress (standards ADR-0…

  completed successfully:
  CodeQL Advanced#33:Commitfdebaf8pushedbyhyperpolymath
  main

  Nov 5, 20261m 27s
  More actions for workflow run 33

• Add a minimal repo deed with the notify job's egress (standards ADR-009)

  completed successfully:
  CodeQL Advanced#32:Pull request#39openedbyhyperpolymath
  claude/happy-sagan-mwnm7h

  Nov 4, 20262m 27s
  More actions for workflow run 32

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#31:Scheduled
  main

  Nov 4, 20261m 25s
  More actions for workflow run 31

• K-CUT theorem family audit, grade-3 gate alignment, and epistemic-types integration plan

  completed successfully:
  CodeQL Advanced#30:Pull request#38openedbyhyperpolymath
  arena/3bf1061a-choreographic-types

  Nov 1, 20263m 22s
  More actions for workflow run 30

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#29:Scheduled
  main

  Oct 28, 20261m 13s
  More actions for workflow run 29

• CI: re-sync the label workflows to the template (github.token) (#37)

  completed successfully:
  CodeQL Advanced#28:Commit8751c7dpushedbyhyperpolymath
  main

  Oct 27, 20263m 59s
  More actions for workflow run 28

• CI: re-sync the label workflows to the template (github.token)

  completed successfully:
  CodeQL Advanced#27:Pull request#37openedbyhyperpolymath
  claude/happy-sagan-mwnm7h

  Oct 27, 20261m 15s
  More actions for workflow run 27

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#26:Scheduled
  main

  Oct 21, 20261m 27s
  More actions for workflow run 26

• CI: move the estate-audit pin to cicd-suite #55; docs: T-6 resolved u…

  completed successfully:
  CodeQL Advanced#25:Commit7e0d49epushedbyhyperpolymath
  main

  Oct 19, 20261m 2s
  More actions for workflow run 25

• CI: move the estate-audit pin to cicd-suite #55; docs: T-6 resolved upstream

  completed successfully:
  CodeQL Advanced#24:Pull request#36synchronizebyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Oct 19, 202659s
  More actions for workflow run 24

• CI: move the estate-audit pin to cicd-suite #55; docs: T-6 resolved upstream

  completed successfully:
  CodeQL Advanced#23:Pull request#36synchronizebyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Oct 19, 20263m 51s
  More actions for workflow run 23

• CI: move the estate-audit pin to cicd-suite #55; docs: T-6 resolved upstream

  completed successfully:
  CodeQL Advanced#22:Pull request#36openedbyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Oct 19, 20262m 0s
  More actions for workflow run 22

• Asynchrony: K-CUT-LOSS survives, transport becomes directional (I3a) …

  completed successfully:
  CodeQL Advanced#21:Commitd853618pushedbyhyperpolymath
  main

  Oct 19, 20263m 0s
  More actions for workflow run 21

• Asynchrony: K-CUT-LOSS survives, transport becomes directional (I3a)

  completed successfully:
  CodeQL Advanced#20:Pull request#35synchronizebyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Oct 19, 202614m 14s
  More actions for workflow run 20