Skip to content

Actions: hyperpolymath/affinescript

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
1,059 workflow runs
1,059 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
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompile.v) Governance #934: Pull request #640 opened by hyperpolymath
9s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
9s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold Governance #933: Pull request #639 synchronize by hyperpolymath
11s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
11s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold Governance #932: Pull request #639 opened by hyperpolymath
8s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
8s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + pla… Governance #931: Commit 1eaff91 pushed by hyperpolymath
30s main
main
30s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) Governance #930: Pull request #638 synchronize by hyperpolymath
27s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
27s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) Governance #929: Pull request #638 opened by hyperpolymath
40s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
40s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … Governance #928: Commit f005a74 pushed by hyperpolymath
9s main
main
9s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage profile Governance #927: Pull request #637 opened by hyperpolymath
9s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
9s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… Governance #926: Commit 55ae8bb pushed by hyperpolymath
16s main
main
16s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wave 1–3 Governance #925: Pull request #636 opened by hyperpolymath
9s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
9s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) Governance #924: Pull request #635 synchronize by hyperpolymath
16s claude/fix-gate-dune-path
claude/fix-gate-dune-path
16s
fix(ci): soundness gate must not assume bare dune on PATH (greens m… Governance #923: Commit 8859206 pushed by hyperpolymath
10s main
main
10s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) Governance #922: Pull request #635 opened by hyperpolymath
9s claude/fix-gate-dune-path
claude/fix-gate-dune-path
9s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soun… Governance #921: Commit 874e36c pushed by hyperpolymath
25s main
main
25s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soundly Governance #920: Pull request #634 opened by hyperpolymath
13s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
13s
fix(#624): fence Lean/Why3 on early return; finish the soundness-ga… Governance #919: Commit f020a6f pushed by hyperpolymath
12s main
main
12s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls Governance #918: Pull request #633 synchronize by hyperpolymath
13s claude/fence-stub-returns
claude/fence-stub-returns
13s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls Governance #917: Pull request #633 opened by hyperpolymath
12s claude/fence-stub-returns
claude/fence-stub-returns
12s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… Governance #916: Commit 381ca17 pushed by hyperpolymath
9s main
main
9s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usage Governance #915: Pull request #632 opened by hyperpolymath
9s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
9s
Harden the soundness-ledger gate: content-binding, stamp-enforcement,… Governance #914: Commit 65c2ae3 pushed by hyperpolymath
11s main
main
11s
Harden the soundness-ledger gate: content-binding, stamp-enforcement, xfail pin-liveness Governance #913: Pull request #631 opened by hyperpolymath
9s claude/soundness-gate-hardening
claude/soundness-gate-hardening
9s
chore(guix): substitute leftover template placeholders; fix licence c… Governance #912: Commit 13c02ba pushed by hyperpolymath
9s main
main
9s
chore(guix): substitute leftover template placeholders; fix licence comment Governance #911: Pull request #630 synchronize by hyperpolymath
9s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
9s
chore(guix): substitute leftover template placeholders; fix licence comment Governance #910: Pull request #630 opened by hyperpolymath
9s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
9s