Skip to content

Actions: a9lim/blam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
159 workflow runs
159 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Add qALC direct RRI proof gate CI #146: Commit 81ac3ff pushed by a9lim
2m 25s dev
dev
2m 25s
Isolate qALC reachable-recall proof frontier CI #145: Commit 7ee6c73 pushed by a9lim
2m 36s dev
dev
2m 36s
Narrow qALC instance identity proof gap CI #144: Commit 800d435 pushed by a9lim
2m 50s dev
dev
2m 50s
docs: post-PASS current-only pass — STATUS compressed, core docs upda… CI #143: Commit db729b4 pushed by a9lim
3m 9s dev
dev
3m 9s
qalc: audit #35 PASSES kernel v1.42 — the loop closes at thirty-five CI #142: Commit a7b405d pushed by a9lim
3m 5s dev
dev
3m 5s
qalc: kernel v1.42 — the rationale learns which families it describes CI #141: Commit f2c5c34 pushed by a9lim
2m 54s dev
dev
2m 54s
qalc: kernel v1.41 — verdicts were always predicates; the boundary ge… CI #140: Commit 10eaff0 pushed by a9lim
2m 29s dev
dev
2m 29s
qalc: kernel v1.41 — verdicts were always predicates; the boundary ge… CI #139: Commit 10eaff0 pushed by a9lim
2s dev
dev
2s
qalc: kernel v1.40 — the claim shrinks to what the gates prove; the r… CI #138: Commit 8e04c1c pushed by a9lim
2m 42s dev
dev
2m 42s
qalc: kernel v1.39 — the walker pops from the other end; corruption l… CI #137: Commit 29c2cf3 pushed by a9lim
2m 58s dev
dev
2m 58s
qalc: kernel v1.38 — the carrier that was never read; sensitivity bec… CI #136: Commit 70d76d5 pushed by a9lim
3m 0s dev
dev
3m 0s
qalc: kernel v1.37 — the correction corrected; n−1 stated with its re… CI #135: Commit 21db0ec pushed by a9lim
2m 33s dev
dev
2m 33s
qalc: kernel v1.36 — regression 31's shells become distinct for real;… CI #134: Commit 429572d pushed by a9lim
2m 55s dev
dev
2m 55s
qalc: kernel v1.35 — comments catch up to their code; audit #27 regis… CI #133: Commit fdef4df pushed by a9lim
5m 30s dev
dev
5m 30s
qalc: kernel v1.34 — field-presence guards; the defaulted-field fallb… CI #132: Commit 0fa62ea pushed by a9lim
2m 36s dev
dev
2m 36s
qalc: kernel v1.33 — the lam-count clamp; both provenance misses mark… CI #131: Commit aaca38a pushed by a9lim
2m 30s dev
dev
2m 30s
qalc: kernel v1.32 — extend-once-per-slice; the KD sibling preempted;… CI #130: Commit 9a882c7 pushed by a9lim
2m 31s dev
dev
2m 31s
qalc: kernel v1.31 — the occurrence memo; the memos' honest invariant… CI #129: Commit 5a2dd5c pushed by a9lim
2m 36s dev
dev
2m 36s
qalc: kernel v1.30 — the full-lp memo restores composition linearity;… CI #128: Commit 468de2a pushed by a9lim
2m 22s dev
dev
2m 22s
qalc: kernel v1.29 — roots and d join purity; index-based binder walk… CI #127: Commit 289f200 pushed by a9lim
2m 38s dev
dev
2m 38s
qalc: kernel v1.28 — the linear max-free term validator; wf7 gated by… CI #126: Commit 60c9ba3 pushed by a9lim
2m 33s dev
dev
2m 33s
qalc: kernel v1.27 — the checker learns what a term is; the structura… CI #125: Commit 5f2f443 pushed by a9lim
2m 46s dev
dev
2m 46s
qalc: kernel v1.26 — every wf traversal iterative; totality scoped to… CI #124: Commit 2fe9499 pushed by a9lim
3m 9s dev
dev
3m 9s
qalc: kernel v1.25 — wf() total by the W0 gate; alien-gate; ten-mark … CI #123: Commit b661ba2 pushed by a9lim
2m 27s dev
dev
2m 27s
qalc: kernel v1.24 — every fire appends exactly one arm-typed head; a… CI #122: Commit 49e25ca pushed by a9lim
2m 26s dev
dev
2m 26s