Skip to content

Actions: hyperpolymath/echo-types

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
247 workflow runs
247 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
docs(affirmation): AFFIRMATION + what-it-is (owner-granted SPDX excep… CodeQL Security Analysis #122: Commit 124fb87 pushed by hyperpolymath
50s main
main
50s
docs/affirmation 2026 06 16 CodeQL Security Analysis #121: Pull request #229 synchronize by hyperpolymath
1m 1s docs/affirmation-2026-06-16
docs/affirmation-2026-06-16
1m 1s
docs/affirmation 2026 06 16 CodeQL Security Analysis #120: Pull request #229 opened by hyperpolymath
48s docs/affirmation-2026-06-16
docs/affirmation-2026-06-16
48s
docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO… CodeQL Security Analysis #119: Commit 84daa83 pushed by hyperpolymath
48s main
main
48s
docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO, wired-layer only) CodeQL Security Analysis #118: Pull request #228 opened by hyperpolymath
48s docs/proof-trust-audit-2026-06-16
docs/proof-trust-audit-2026-06-16
48s
docs(echo): classify EchoDisplayed in kernel-note + MAP (kernel-guard… CodeQL Security Analysis #117: Commit 1a2c52f pushed by hyperpolymath
48s main
main
48s
feat(echo): Displayed/DispHom fibration packaging of the categorical base CodeQL Security Analysis #116: Pull request #227 synchronize by hyperpolymath
55s feat/echo-displayed-packaging
feat/echo-displayed-packaging
55s
feat(echo): Displayed/DispHom fibration packaging of the categorical base CodeQL Security Analysis #115: Pull request #227 synchronize by hyperpolymath
42s feat/echo-displayed-packaging
feat/echo-displayed-packaging
42s
feat(echo): Displayed/DispHom fibration packaging of the categorical base CodeQL Security Analysis #114: Pull request #227 opened by hyperpolymath
45s feat/echo-displayed-packaging
feat/echo-displayed-packaging
45s
docs: standardize attribution email to j.d.a.jewell@open.ac.uk (#226) CodeQL Security Analysis #113: Commit d4048b2 pushed by hyperpolymath
2m 56s main
main
2m 56s
docs: standardize attribution email to j.d.a.jewell@open.ac.uk CodeQL Security Analysis #112: Pull request #226 opened by hyperpolymath
1m 42s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
1m 42s
proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH tar… CodeQL Security Analysis #111: Commit 1fa8129 pushed by hyperpolymath
1m 6s main
main
1m 6s
proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH target in --safe kernel CodeQL Security Analysis #110: Pull request #225 opened by hyperpolymath
46s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
46s
Ordinal/Buchholz: checked refutation of rank-pow monotonicity at the … CodeQL Security Analysis #109: Commit fe18943 pushed by hyperpolymath
54s main
main
54s
Ordinal/Buchholz: checked refutation — rank-pow reverses a <ᵇ step at the ψ/Ω boundary CodeQL Security Analysis #108: Pull request #224 opened by hyperpolymath
52s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
52s
ci: SessionStart hook to auto-provision Agda toolchain on the web CodeQL Security Analysis #107: Commit 137e3ad pushed by hyperpolymath
48s main
main
48s
ci: SessionStart hook to auto-provision Agda toolchain on the web CodeQL Security Analysis #106: Pull request #223 opened by hyperpolymath
53s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
53s
proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT CodeQL Security Analysis #105: Commit 9edb6e3 pushed by hyperpolymath
1m 22s main
main
1m 22s
proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT CodeQL Security Analysis #104: Pull request #222 synchronize by hyperpolymath
1m 29s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
1m 29s
build: idempotent Agda toolchain provisioner (scripts/provision-agda.sh) CodeQL Security Analysis #103: Pull request #221 synchronize by hyperpolymath
1m 0s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
1m 0s
build: add idempotent scripts/provision-agda.sh toolchain provisioner CodeQL Security Analysis #102: Commit 7c54e0b pushed by hyperpolymath
42s main
main
42s
proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT CodeQL Security Analysis #101: Pull request #222 opened by hyperpolymath
44s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
44s
build: idempotent Agda toolchain provisioner (scripts/provision-agda.sh) CodeQL Security Analysis #100: Pull request #221 opened by hyperpolymath
42s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
42s
feat(experimental): echo-additive R4 — F_r ⊣ U_r adjunction discrimin… CodeQL Security Analysis #99: Commit 94ccebc pushed by hyperpolymath
50s main
main
50s
[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol CodeQL Security Analysis #98: Pull request #220 synchronize by hyperpolymath
57s experimental/echo-additive-r2-r3
experimental/echo-additive-r2-r3
57s