Skip to content

Actions: hyperpolymath/ochrance

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
349 workflow runs
349 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: verify↔Merkle modes 2+3 (inclusion-proof verification + live Hash bridge) CodeQL Security Analysis #199: Pull request #54 opened by hyperpolymath
50s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
50s
proof(verify): Stage 2.4 — verify↔Merkle wiring (root is a faithful f… CodeQL Security Analysis #198: Commit 04b5da9 pushed by hyperpolymath
46s main
main
46s
proof: Stage 3.1 repair correctness + Stage 2.4 verify↔Merkle wiring CodeQL Security Analysis #197: Pull request #53 synchronize by hyperpolymath
51s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
51s
proof: Stage 3.1 repair correctness + Stage 2.4 verify↔Merkle wiring CodeQL Security Analysis #196: Pull request #53 opened by hyperpolymath
46s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
46s
proof(verify): Stage 2.2 — verifier soundness (acceptance ⇒ refs matc… CodeQL Security Analysis #195: Commit 04ce0c8 pushed by hyperpolymath
48s main
main
48s
proof: Stage 2 core — verifier soundness (2.2) + hex codec soundness (2.3) CodeQL Security Analysis #194: Pull request #52 opened by hyperpolymath
58s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
58s
proof(validator): Stage 2.1 — validateManifest soundness (ValidManife… CodeQL Security Analysis #193: Commit d32f82b pushed by hyperpolymath
35s main
main
35s
proof: Stage 1.4 (Merkle binding, D2) + Stage 2.1 (validator soundness) CodeQL Security Analysis #192: Pull request #51 synchronize by hyperpolymath
46s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
46s
proof: Stage 1.4 (Merkle binding, D2) + Stage 2.1 (validator soundness) CodeQL Security Analysis #191: Pull request #51 opened by hyperpolymath
47s claude/dazzling-noether-hkgAV
claude/dazzling-noether-hkgAV
47s
proof(merkle): Stage 1.3 — IO<->pure bridge (decompose: proven Either… CodeQL Security Analysis #190: Commit 02ba7ec pushed by hyperpolymath
42s main
main
42s
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