Skip to content

Actions: hyperpolymath/echo-types

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
288 workflow runs
288 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
proof(ordinal): doubled-ladder atomic-boundary rank2-mono primitives … CodeQL Security Analysis #63: Commit c2c6a44 pushed by hyperpolymath
1m 9s main
main
1m 9s
proof(ordinal): doubled-ladder atomic-boundary rank2-mono primitives CodeQL Security Analysis #62: Pull request #205 opened by hyperpolymath
1m 4s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
1m 4s
proof(ordinal): WfAdm→rank2 scale-transfer bridge (Gate 1 equal-Ω clo… CodeQL Security Analysis #61: Commit ab73eb2 pushed by hyperpolymath
1m 13s main
main
1m 13s
proof(ordinal): WfAdm→rank2 scale-transfer bridge (Gate 1 equal-Ω closure) CodeQL Security Analysis #60: Pull request #204 opened by hyperpolymath
56s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
56s
proof(ordinal): ω-rank-pow reflects _<Ω_ (bridge bOmega-case inve… CodeQL Security Analysis #59: Commit d31f25e pushed by hyperpolymath
1m 13s main
main
1m 13s
proof(ordinal): ω-rank-pow reflects _<Ω_ (bridge bOmega-case inversion) CodeQL Security Analysis #58: Pull request #203 opened by hyperpolymath
59s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
59s
proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slic… CodeQL Security Analysis #57: Commit 11199e1 pushed by hyperpolymath
1m 21s main
main
1m 21s
proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slice 2) CodeQL Security Analysis #56: Pull request #202 synchronize by hyperpolymath
59s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
59s
proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slice 2) CodeQL Security Analysis #55: Pull request #202 synchronize by hyperpolymath
57s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
57s
proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slice 2) CodeQL Security Analysis #54: Pull request #202 opened by hyperpolymath
47s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
47s
feat(experimental): echo-additive R0+R1 — grade semiring + comparativ… CodeQL Security Analysis #53: Commit f7a965f pushed by hyperpolymath
1m 23s main
main
1m 23s
docs(claude): add 2026-06-13 deniability session arc to rung ledger CodeQL Security Analysis #52: Commit 09be594 pushed by hyperpolymath
1m 11s main
main
1m 11s
fix(ci): classify EchoDeniability in kernel-note and MAP.adoc CodeQL Security Analysis #51: Commit 0ca71a5 pushed by hyperpolymath
1m 16s main
main
1m 16s
feat(deniability): add EchoDeniability module and wiki page CodeQL Security Analysis #50: Commit cc06c45 pushed by hyperpolymath
1m 5s main
main
1m 5s
docs(licence): align prose SPDX headers to CC-BY-SA-4.0 (ShareAlike) CodeQL Security Analysis #49: Commit ac99259 pushed by hyperpolymath
1m 15s main
main
1m 15s
Merge branch 'docs/foundations-bridge': FOUNDATIONS_BRIDGE.md CodeQL Security Analysis #48: Commit 1cd486a pushed by hyperpolymath
1m 17s main
main
1m 17s
feat(foundation): export curated Echo.* foundation-contract surface CodeQL Security Analysis #47: Commit 70673fa pushed by hyperpolymath
1m 3s main
main
1m 3s
proof(ordinal): doubled-ladder rank foundation (equal-Ω cross-index f… CodeQL Security Analysis #46: Commit e293d06 pushed by hyperpolymath
1m 9s main
main
1m 9s
proof(ordinal): doubled-ladder rank foundation (equal-Ω cross-index fix, Slice 1) CodeQL Security Analysis #45: Pull request #201 synchronize by hyperpolymath
53s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
53s
proof(ordinal): ψ-below-Ω boundary room lemma ω-rank-pow-⊕-below-succ CodeQL Security Analysis #44: Commit 2bedb85 pushed by hyperpolymath
1m 3s main
main
1m 3s
proof(ordinal): ψ-below-Ω boundary room lemma (equal-Ω building block) CodeQL Security Analysis #43: Pull request #200 synchronize by hyperpolymath
1m 23s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
1m 23s
proof(ordinal): ψ-below-Ω boundary room lemma (equal-Ω building block) CodeQL Security Analysis #42: Pull request #200 opened by hyperpolymath
51s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
51s
proof(ordinal): head-Ω-strict-or-eq — the joint-bplus umbrella case-s… CodeQL Security Analysis #41: Commit 558b8fa pushed by hyperpolymath
1m 13s main
main
1m 13s
proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split CodeQL Security Analysis #40: Pull request #199 synchronize by hyperpolymath
1m 10s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
1m 10s
proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split CodeQL Security Analysis #39: Pull request #199 opened by hyperpolymath
57s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
57s
ProTip! You can narrow down the results and go further in time using created:<2026-06-13 or the other filters available.