Skip to content

Actions: hyperpolymath/verisimdb

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
80 workflow runs
80 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: update CHANGELOG + STATE.a2ml for 2026-04-05 session CodeQL Security Analysis #55: Commit d8bf79e pushed by hyperpolymath
1m 21s main
main
1m 21s
docs(formal-model): add weight renormalisation remark to def:agg-drift CodeQL Security Analysis #54: Commit a040713 pushed by hyperpolymath
1m 11s main
main
1m 11s
docs(spec): V4g — VCL-SPEC documents PROVEN + SANCTIFY proof types CodeQL Security Analysis #53: Commit 9445eec pushed by hyperpolymath
1m 26s main
main
1m 26s
refactor(prose): VCL Step 3 phase 3a — read/write intent query phrases CodeQL Security Analysis #52: Commit da46c06 pushed by hyperpolymath
1m 46s main
main
1m 46s
refactor: VCL Step 5 — -ut → -total in VCL dialect identifier CodeQL Security Analysis #51: Commit bc2caca pushed by hyperpolymath
1m 23s main
main
1m 23s
refactor(prose+verbs): VCL Step 3 phase 2 + Step 4 CodeQL Security Analysis #50: Commit 56e877a pushed by hyperpolymath
1m 14s main
main
1m 14s
chore: gitignore backup/ dumps CodeQL Security Analysis #49: Commit e247f87 pushed by hyperpolymath
1m 9s main
main
1m 9s
refactor(prose): VCL Step 3 phase 1 — unambiguous query phrase replac… CodeQL Security Analysis #48: Commit ad71733 pushed by hyperpolymath
1m 12s main
main
1m 12s
refactor(rename): VQL → VCL + verisimdb → verisim CodeQL Security Analysis #47: Commit a23d3d9 pushed by hyperpolymath
1m 17s main
main
1m 17s
fix(verisim-api): bracket IPv6 hosts in socket addresses CodeQL Security Analysis #46: Commit e8ee0eb pushed by hyperpolymath
1m 26s main
main
1m 26s
feat(proof_attempts): extend Prover enum to 42 variants CodeQL Security Analysis #45: Commit 16ed608 pushed by hyperpolymath
1m 46s main
main
1m 46s
feat(fly): deploy config for nesy-solver playground backend (Phase E3) CodeQL Security Analysis #44: Commit 881ca72 pushed by hyperpolymath
1m 13s main
main
1m 13s
fix(proof_attempts): maintenance pass — M3-M5 + tests (26 passing) CodeQL Security Analysis #43: Commit 7347f85 pushed by hyperpolymath
1m 14s main
main
1m 14s
feat(verisim-api): V4 — proof_attempts ↔ VQL-DT certificates (V4a–V4d) CodeQL Security Analysis #42: Commit 6cb93e7 pushed by hyperpolymath
1m 15s main
main
1m 15s
docs(V4): design proof_attempts ↔ VQL-DT certificate integration CodeQL Security Analysis #41: Commit 6b984f4 pushed by hyperpolymath
1m 35s main
main
1m 35s
docs(state): bump test count to 788 (workspace rerun) CodeQL Security Analysis #40: Commit a0cda84 pushed by hyperpolymath
1m 14s main
main
1m 14s
docs: update CHANGELOG + STATE for proof_attempts loop + Zig client CodeQL Security Analysis #39: Commit 0ef64b2 pushed by hyperpolymath
1m 17s main
main
1m 17s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #38: Commit a176ad5 pushed by hyperpolymath
6h 29m 8s main
main
6h 29m 8s
docs: add M2 estate audit report (2026-04-04) CodeQL Security Analysis #37: Commit 29e7a75 pushed by hyperpolymath
4h 3m 14s main
main
4h 3m 14s
feat: wire conflow config validation pipeline CodeQL Security Analysis #36: Commit 3893a95 pushed by hyperpolymath
3h 51m 56s main
main
3h 51m 56s
chore: add contractile.just runner CodeQL Security Analysis #35: Commit 782f4df pushed by hyperpolymath
2h 13m 51s main
main
2h 13m 51s
chore: add k9iser.toml (Batch 2A) CodeQL Security Analysis #34: Commit 9578228 pushed by hyperpolymath
2h 43m 36s main
main
2h 43m 36s
ci: deploy dogfood-gate, add Groove manifest, K9 contracts, CRG tests CodeQL Security Analysis #33: Commit c0eaee9 pushed by hyperpolymath
1h 51m 26s main
main
1h 51m 26s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #32: Commit 3f15c7a pushed by hyperpolymath
47m 1s main
main
47m 1s
test: CRG C blitz — E2E, contract, aspect, reflexive, property tests CodeQL Security Analysis #31: Commit 9602733 pushed by hyperpolymath
1m 16s main
main
1m 16s