Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
347 workflow runs
347 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
Scorecards supply-chain security Scorecards supply-chain security #222: Scheduled
25s main
main
25s
Scorecards supply-chain security Scorecards supply-chain security #221: Scheduled
22s main
main
22s
Scorecards supply-chain security Scorecards supply-chain security #220: Scheduled
27s main
main
27s
chore: add opsm.toml manifests for all sub-projects + update Justfile Scorecards supply-chain security #219: Commit b42db7d pushed by hyperpolymath
3m 1s main
main
3m 1s
feat(quandledb): v0.3.0 extended invariants — determinant, signature,… Scorecards supply-chain security #218: Commit 38d495d pushed by hyperpolymath
7m 12s main
main
7m 12s
feat(quandledb): frontend query UI — textarea editor, results table, … Scorecards supply-chain security #217: Commit c5a577e pushed by hyperpolymath
6m 11s main
main
6m 11s
docs(explainme): add verisimdb EXPLAINME per README-EXPLAINME-STANDARD Scorecards supply-chain security #216: Commit 02ce526 pushed by hyperpolymath
1m 6s main
main
1m 6s
feat(quandledb): end-to-end KRL query pipeline — evaluator, fault tol… Scorecards supply-chain security #215: Commit afd3220 pushed by hyperpolymath
30s main
main
30s
feat(quandledb/krl): implement KRL parser suite — Lexer, AST, Parser,… Scorecards supply-chain security #214: Commit fe44933 pushed by hyperpolymath
1m 21s main
main
1m 21s
fix(lithoglyph): migrate Zig 0.15.2 API changes across core-zig and g… Scorecards supply-chain security #213: Commit 260dc69 pushed by hyperpolymath
1m 37s main
main
1m 37s
chore(a2ml-migration): rename .scm → .a2ml in lithoglyph + gql-dt Scorecards supply-chain security #212: Commit 2bf4009 pushed by hyperpolymath
2m 5s main
main
2m 5s
Scorecards supply-chain security Scorecards supply-chain security #211: Scheduled
27s main
main
27s
fix(project): remove circular KRLAdapter dep from Project.toml Scorecards supply-chain security #210: Commit 413aa0b pushed by hyperpolymath
29s main
main
29s
feat(verisim-api): POST /proof_attempts auth guard + pagination offset Scorecards supply-chain security #209: Commit 403e760 pushed by hyperpolymath
29s main
main
29s
test(quandledb): add property-based quandle axiom and Reidemeister in… Scorecards supply-chain security #208: Commit 27debe9 pushed by hyperpolymath
26s main
main
26s
chore(v-sweep): delete V-lang VeriSimDB client source Scorecards supply-chain security #207: Commit f546e6c pushed by hyperpolymath
25s main
main
25s
docs(v-migration): deprecate V-lang VeriSimDB client — point to Rust Scorecards supply-chain security #206: Commit 131e41b pushed by hyperpolymath
34s main
main
34s
chore(naming): estate-wide VQL → VCL + VCL-DT/dt++ → VCL-UT rename sweep Scorecards supply-chain security #205: Commit a4480ae pushed by hyperpolymath
23s main
main
23s
chore(rename): VQL → VCL + VQL-dt++ → VCL-UT estate-wide Scorecards supply-chain security #204: Commit 3396542 pushed by hyperpolymath
26s main
main
26s
feat(proofs/lean4): add V6 WAL integrity — sequence monotonicity + re… Scorecards supply-chain security #203: Commit 850c869 pushed by hyperpolymath
29s main
main
29s
feat(proofs/lean4): add V4 Raft consensus safety — single-node commit… Scorecards supply-chain security #202: Commit b20a347 pushed by hyperpolymath
1m 1s main
main
1m 1s
docs(proofs): V7 provenance chain immutability — DONE Scorecards supply-chain security #201: Commit c64d76b pushed by hyperpolymath
1m 16s main
main
1m 16s
proof(V7): provenance chain immutability — hash chain + monotonic tim… Scorecards supply-chain security #200: Commit 60b2124 pushed by hyperpolymath
33s main
main
33s
docs(proofs): update PROOF-NEEDS.md — Obj.magic eliminated, V11/V12 I… Scorecards supply-chain security #199: Commit 0639514 pushed by hyperpolymath
24s main
main
24s
docs: update manifest + EXPLAINME for CLI consumer + package Scorecards supply-chain security #198: Commit c632159 pushed by hyperpolymath
32s main
main
32s