Skip to content

Actions: hyperpolymath/affinescript

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
690 workflow runs
690 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 #640: Scheduled
39s main
main
39s
chore(licence): set repo primary licence to MPL-2.0 (core tech); keep… Scorecards supply-chain security #639: Commit 1f0d4eb pushed by hyperpolymath
38s main
main
38s
docs(ci): sketch required-check hygiene (human + machine) (#651) Scorecards supply-chain security #638: Commit 5ccddff pushed by hyperpolymath
31s main
main
31s
docs: onboarding polish — tutorial lesson-01 + audience router + STAT… Scorecards supply-chain security #637: Commit 81caf8e pushed by hyperpolymath
51s main
main
51s
ci: make the four required status checks reportable on every PR (#645) Scorecards supply-chain security #636: Commit 8b33cab pushed by hyperpolymath
34s main
main
34s
feat(formal): verify + wire Rows.v (P-11 record-row soundness) (#648) Scorecards supply-chain security #635: Commit 19bb2e0 pushed by hyperpolymath
32s main
main
32s
fix(release): restore release binaries — immutable-release draft flow… Scorecards supply-chain security #634: Commit b8ba479 pushed by hyperpolymath
39s main
main
39s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompil… Scorecards supply-chain security #633: Commit 5a42e6e pushed by hyperpolymath
31s main
main
31s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row sca… Scorecards supply-chain security #632: Commit 41dfce9 pushed by hyperpolymath
36s main
main
36s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + pla… Scorecards supply-chain security #631: Commit 1eaff91 pushed by hyperpolymath
1m 19s main
main
1m 19s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … Scorecards supply-chain security #630: Commit f005a74 pushed by hyperpolymath
31s main
main
31s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… Scorecards supply-chain security #629: Commit 55ae8bb pushed by hyperpolymath
3m 20s main
main
3m 20s
fix(ci): soundness gate must not assume bare dune on PATH (greens m… Scorecards supply-chain security #628: Commit 8859206 pushed by hyperpolymath
31s main
main
31s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soun… Scorecards supply-chain security #627: Commit 874e36c pushed by hyperpolymath
34s main
main
34s
fix(#624): fence Lean/Why3 on early return; finish the soundness-ga… Scorecards supply-chain security #626: Commit f020a6f pushed by hyperpolymath
33s main
main
33s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… Scorecards supply-chain security #625: Commit 381ca17 pushed by hyperpolymath
35s main
main
35s
Harden the soundness-ledger gate: content-binding, stamp-enforcement,… Scorecards supply-chain security #624: Commit 65c2ae3 pushed by hyperpolymath
41s main
main
41s
chore(guix): substitute leftover template placeholders; fix licence c… Scorecards supply-chain security #623: Commit 13c02ba pushed by hyperpolymath
35s main
main
35s
feat(formal): grow P-2 to the STLC with functions + the substitution … Scorecards supply-chain security #622: Commit 12618eb pushed by hyperpolymath
40s main
main
40s
fix(ci): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundne… Scorecards supply-chain security #621: Commit dd6c19e pushed by hyperpolymath
34s main
main
34s
feat(formal): grow P-3 to a real borrow graph (loan edges + move-loca… Scorecards supply-chain security #620: Commit 16a849a pushed by hyperpolymath
33s main
main
33s
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4)… Scorecards supply-chain security #619: Commit 769d6ff pushed by hyperpolymath
41s main
main
41s
Update SOUNDNESS.adoc Scorecards supply-chain security #618: Commit f28f525 pushed by hyperpolymath
32s main
main
32s
docs: make soundness status a single, test-anchored source of truth (… Scorecards supply-chain security #617: Commit e6c155f pushed by hyperpolymath
32s main
main
32s
feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/… Scorecards supply-chain security #616: Commit bfa312b pushed by hyperpolymath
30s main
main
30s