Skip to content

Actions: thefalsework/papers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
117 workflow runs
117 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
lean: PerceptronRegular.lean [K] - threshold units are regular elemen… comparator #14: Commit 653ee36 pushed by node0000
4m 35s main
main
4m 35s
battery v5 REVERSES (-0.076 same-section pairs): functional role kill… Build paper PDFs #103: Commit 676340a pushed by node0000
2m 1s main
main
2m 1s
battery v4 HOLDS (+0.083, momentum marginal +0.002; 10 for 27); paper… Build paper PDFs #102: Commit f173537 pushed by node0000
2m 3s main
main
2m 3s
the seedbed paper v0.1: the Debian claim in final form, full kill rec… Build paper PDFs #101: Commit 17373af pushed by node0000
2m 9s main
main
2m 9s
battery v3 lands: Debian E>R survives the complete synthetic mechanis… Build paper PDFs #100: Commit 3d41992 pushed by node0000
2m 18s main
main
2m 18s
battery v2 lands: BV1 Debian E>R holds at six-feature battery (+0.083… Build paper PDFs #99: Commit 75682cc pushed by node0000
2m 14s main
main
2m 14s
accretion Phase B-prime lands 3/3 (estimator unbiased on fresh seeds;… comparator #13: Commit 2755bb4 pushed by node0000
4m 32s main
main
4m 32s
accretion Phase B-prime lands 3/3 (estimator unbiased on fresh seeds;… Build paper PDFs #98: Commit 2755bb4 pushed by node0000
2m 14s main
main
2m 14s
debian-study executed: DB1 HOLDS (+0.098, pct 100, 264,330 pairs) - t… Build paper PDFs #97: Commit 6ad3bd5 pushed by node0000
2m 12s main
main
2m 12s
baseline-gauntlet executed: Go survives the full standard battery (BG… Build paper PDFs #96: Commit a67e7aa pushed by node0000
2m 3s main
main
2m 3s
deflation-control executed: E>R splits by domain (software survives d… Build paper PDFs #95: Commit cabf253 pushed by node0000
2m 5s main
main
2m 5s
docs: point synthesis paper, brief, and session log at the live 2028 … Build paper PDFs #94: Commit 2b7dcea pushed by node0000
2m 15s main
main
2m 15s
docs: garden/museum axis executed and dead — synthesis paper to v0.2,… Build paper PDFs #93: Commit 4a1adc7 pushed by node0000
2m 3s main
main
2m 3s
Add the unhedged one-sitting telling for the common reader (piano/lib… Build paper PDFs #92: Commit 885b8d6 pushed by node0000
2m 5s main
main
2m 5s
Synthesis paper v0.1: the field deployments account of record (surviv… Build paper PDFs #91: Commit 50d8db7 pushed by node0000
1m 59s main
main
1m 59s
Briefs: growth double reversal and garden/museum axis; register softw… Build paper PDFs #90: Commit 21f43a2 pushed by node0000
3m 16s main
main
3m 16s
AFP consolidation trends: H1 holds (+0.83), H2 fails (apertures widen… Build paper PDFs #89: Commit 384e347 pushed by node0000
2m 6s main
main
2m 6s
R/D ordering fails on final fresh namespaces (G3 2/5, reversed in Log… Build paper PDFs #88: Commit ad1343b pushed by node0000
5m 31s main
main
5m 31s
Consolidation arrow survives per-snapshot nulls 6/6 (young library in… Build paper PDFs #87: Commit 2443d99 pushed by node0000
2m 26s main
main
2m 26s
Study 10 v1.3 executed: P7 fails (p=0.364), S1 resolves as deflation … Build paper PDFs #86: Commit efe0c9c pushed by node0000
2m 0s main
main
2m 0s
Both briefs gain the second field deployment: CA study's split verdic… Build paper PDFs #85: Commit c14f209 pushed by node0000
6m 7s main
main
6m 7s
Kernel-check the closed form at every arity: aperture_closed_form_pi … comparator #12: Commit a429df9 pushed by node0000
4m 3s main
main
4m 3s
Correct the latency characterization (paper v0.3): the all-interior r… Build paper PDFs #84: Commit 6ddf3e1 pushed by node0000
2m 13s main
main
2m 13s
Index the Where the Error Goes essay with its register declared: the … Build paper PDFs #83: Commit 5f7614d pushed by node0000
51m 1s main
main
51m 1s
Plain brief gains the Mathlib field trip in lay register: the three f… Build paper PDFs #82: Commit d4ea0a2 pushed by node0000
4m 50s main
main
4m 50s