Skip to content

Actions: hyperpolymath/ochrance

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
264 workflow runs
264 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(merkle): Stage 1.3 — IO↔pure bridge (proven Either-monad mirror + thin FFI assumption) CodeQL Security Analysis #189: Pull request #50 opened by hyperpolymath
36s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
36s
proof(merkle): Stage 1.2 — root-fold law (root of buildMerkleTree = f… CodeQL Security Analysis #188: Commit db0f830 pushed by hyperpolymath
47s main
main
47s
proof(merkle): Stage 1.2 — root-fold law (root of buildMerkleTree = foldRoot over leaves) CodeQL Security Analysis #187: Pull request #49 opened by hyperpolymath
47s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
47s
docs(proofs): record Stage 1.1; add optimisation ledger + build-with-… CodeQL Security Analysis #186: Commit 0785a9f pushed by hyperpolymath
48s main
main
48s
docs(proofs): record Stage 1.1; add optimisation ledger + build-with-proofs discipline; truth-fix TOPOLOGY CodeQL Security Analysis #185: Pull request #48 opened by hyperpolymath
50s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
50s
chore(deps): bump nixpkgs from ffa10e2 to 8c91a71 CodeQL Security Analysis #184: Commit 81a11e2 pushed by hyperpolymath
44s main
main
44s
proof(merkle): Stage 1.1 — buildMerkleTree/getLeafHash soundness (#47) CodeQL Security Analysis #183: Commit 205df0a pushed by hyperpolymath
1m 26s main
main
1m 26s
proof(merkle): Stage 1.1 — buildMerkleTree/getLeafHash soundness (re-land after #46) CodeQL Security Analysis #182: Pull request #47 opened by hyperpolymath
1m 22s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
1m 22s
proof(merkle): Stage 1 helper lemmas (index / splitAt / transport) CodeQL Security Analysis #181: Commit 03ce34f pushed by hyperpolymath
49s main
main
49s
proof(merkle): Stage 1 — buildMerkleTree correctness (WIP) CodeQL Security Analysis #180: Pull request #46 opened by hyperpolymath
46s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
46s
docs(readme): add Status section, de-dupe Architecture heading, align… CodeQL Security Analysis #179: Commit f271f7a pushed by hyperpolymath
37s main
main
37s
docs(readme): Status section + de-dupe Architecture heading + D1 framing CodeQL Security Analysis #178: Pull request #45 opened by hyperpolymath
47s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
47s
ci: cut Actions burn — scope push triggers + concurrency-cancel CodeQL Security Analysis #177: Commit 3183b22 pushed by hyperpolymath
3m 40s main
main
3m 40s
ci: cut Actions burn — scope push triggers + concurrency-cancel CodeQL Security Analysis #176: Pull request #38 opened by hyperpolymath
2m 29s ci/burn-reduction-triggers-concurrency
ci/burn-reduction-triggers-concurrency
2m 29s
docs: ochrance optional checkpoint items — clade, debt, coverage, EXP… CodeQL Security Analysis #175: Commit 53b5f4e pushed by hyperpolymath
44s main
main
44s
docs: ochrance optional checkpoint items (clade, debt, coverage, EXPLAINME) CodeQL Security Analysis #174: Pull request #37 opened by hyperpolymath
41s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
41s
chore(deps): bump nixpkgs from ffa10e2 to 8c91a71 CodeQL Security Analysis #173: Pull request #36 opened by dependabot Bot
46s dependabot/nix/nixpkgs-8c91a71
dependabot/nix/nixpkgs-8c91a71
46s
docs(machine_readable): ochrance checkpoint — refresh 6a2 + ANCHOR (#35) CodeQL Security Analysis #172: Commit 19c158a pushed by hyperpolymath
41s main
main
41s
docs(machine_readable): ochrance checkpoint — refresh 6a2 + ANCHOR CodeQL Security Analysis #171: Pull request #35 opened by hyperpolymath
49s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
49s
chore(deps): bump nixpkgs from 4100e83 to ffa10e2 (#33) CodeQL Security Analysis #170: Commit 47ac3c9 pushed by hyperpolymath
47s main
main
47s
ci(codeql): CodeQL cron weekly → monthly (#34) CodeQL Security Analysis #169: Commit 692871f pushed by hyperpolymath
58s main
main
58s
chore(deps): bump nixpkgs from 4100e83 to ffa10e2 CodeQL Security Analysis #168: Pull request #33 synchronize by hyperpolymath
46s dependabot/nix/nixpkgs-ffa10e2
dependabot/nix/nixpkgs-ffa10e2
46s
ci(codeql): CodeQL cron weekly → monthly (retire orphan branch, standards#288) CodeQL Security Analysis #167: Pull request #34 opened by hyperpolymath
53s cicd/codeql-cron-monthly
cicd/codeql-cron-monthly
53s
A2ML parser totality + correctness, Merkle combiner generalization, p… CodeQL Security Analysis #166: Commit 4ee5893 pushed by hyperpolymath
44s main
main
44s
A2ML parser totality + correctness, and CI/FFI root-cause fixes CodeQL Security Analysis #165: Pull request #32 synchronize by hyperpolymath
49s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
49s