Skip to content

Actions: hyperpolymath/echo-types

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
347 workflow runs
347 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol CodeQL Security Analysis #97: Pull request #220 synchronize by hyperpolymath
47s experimental/echo-additive-r2-r3
experimental/echo-additive-r2-r3
47s
[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol CodeQL Security Analysis #96: Pull request #220 opened by hyperpolymath
42s experimental/echo-additive-r2-r3
experimental/echo-additive-r2-r3
42s
CodeQL Security Analysis CodeQL Security Analysis #95: Scheduled
51s main
main
51s
fix(governance): document Fidelity postulates for the Trusted-base re… CodeQL Security Analysis #94: Commit 44de47e pushed by hyperpolymath
46s main
main
46s
fix(governance): document Fidelity postulates for the Trusted-base reduction policy CodeQL Security Analysis #93: Pull request #219 opened by hyperpolymath
47s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
47s
proof(ordinal): Fidelity scaffold — typed shape of BH order-type fide… CodeQL Security Analysis #92: Commit 46ef277 pushed by hyperpolymath
42s main
main
42s
proof(ordinal): Fidelity scaffold — typed shape of BH order-type fidelity, hard half as named postulates CodeQL Security Analysis #91: Pull request #218 opened by hyperpolymath
53s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
53s
ci: set CodeQL language matrix to actions (no JS/TS source in repo) CodeQL Security Analysis #90: Commit b7b1990 pushed by hyperpolymath
47s main
main
47s
ci: CodeQL language matrix -> actions CodeQL Security Analysis #89: Pull request #216 synchronize by hyperpolymath
58s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
58s
chore(debt): record the outstanding-proofs inventory at 2026-06-14 CodeQL Security Analysis #88: Commit a7c006f pushed by hyperpolymath
1m 13s main
main
1m 13s
chore(debt): record the outstanding-proofs inventory at 2026-06-14 CodeQL Security Analysis #87: Pull request #217 opened by hyperpolymath
1m 5s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
1m 5s
ci: CodeQL language matrix -> actions CodeQL Security Analysis #86: Pull request #216 opened by hyperpolymath
47s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
47s
docs(pillar-e): write the ordinal appendix at the WF milestone; name … CodeQL Security Analysis #85: Commit 95e7f18 pushed by hyperpolymath
1m 12s main
main
1m 12s
docs(pillar-e): ordinal appendix at the WF milestone; order-type fidelity named OPEN CodeQL Security Analysis #84: Pull request #215 opened by hyperpolymath
1m 2s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
1m 2s
proof(ordinal): unbudgeted sound-carrier extended order wf-<ᵇ⁺² (K-li… CodeQL Security Analysis #83: Commit ffa3152 pushed by hyperpolymath
1m 13s main
main
1m 13s
proof(ordinal): unbudgeted sound-carrier extended order wf-&lt;ᵇ⁺² (K-limited shared-binder) CodeQL Security Analysis #82: Pull request #214 opened by hyperpolymath
54s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
54s
docs(ordinal): record the unbudgeted sound-carrier wf-<ᵇʳᶠ² closure (… CodeQL Security Analysis #81: Commit deaff4f pushed by hyperpolymath
1m 21s main
main
1m 21s
docs(ordinal): record the unbudgeted sound-carrier wf-&lt;ᵇʳᶠ² closure (#212) CodeQL Security Analysis #80: Pull request #213 opened by hyperpolymath
49s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
49s
proof(ordinal): unbudgeted sound-carrier recursive surface wf-&lt;ᵇʳᶠ… CodeQL Security Analysis #79: Commit 9f84dbf pushed by hyperpolymath
1m 17s main
main
1m 17s
proof(ordinal): unbudgeted sound-carrier recursive surface wf-&lt;ᵇʳᶠ² CodeQL Security Analysis #78: Pull request #212 opened by hyperpolymath
49s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
49s
docs(roadmap): note the doubled-ladder Gate 1 closure in Lane 3 (#211) CodeQL Security Analysis #77: Commit 0469e91 pushed by hyperpolymath
1m 3s main
main
1m 3s
docs(roadmap): note the doubled-ladder Gate 1 closure in Lane 3 CodeQL Security Analysis #76: Pull request #211 synchronize by hyperpolymath
49s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
49s
docs(roadmap): note the doubled-ladder Gate 1 closure in Lane 3 CodeQL Security Analysis #75: Pull request #211 opened by hyperpolymath
57s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
57s
docs(claude): record doubled-ladder Gate 1 closure in current rung st… CodeQL Security Analysis #74: Commit a76d49a pushed by hyperpolymath
1m 11s main
main
1m 11s
docs(claude): record doubled-ladder Gate 1 closure in current rung state CodeQL Security Analysis #73: Pull request #210 opened by hyperpolymath
50s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
50s
ProTip! You can narrow down the results and go further in time using created:<2026-06-14 or the other filters available.