Skip to content

Actions: thefalsework/papers

Actions

comparator

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
comparator.yml
28 workflow runs
28 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
add license headers to the two Lean files missing them comparator #28: Commit 0ff8344 pushed by node0000
4m 16s main
main
4m 16s
falsework: schur_flattening + total_mass_mono kernel-checked (nine de… comparator #27: Commit e65ca78 pushed by node0000
4m 17s main
main
4m 17s
falsework: conservation iff density — biconditional kernel-checked; n… comparator #26: Commit 7d056cc pushed by node0000
4m 10s main
main
4m 10s
falsework: conservation characterized by density (dense observers mov… comparator #25: Commit 09f4e37 pushed by node0000
4m 17s main
main
4m 17s
falsework inequality kernel-checked: observer's L1 misperception of c… comparator #24: Commit cbb02d5 pushed by node0000
4m 38s main
main
4m 38s
phantom-predictor v0.2 after review: ClosureOperator.le_apply_iff and… comparator #23: Commit 7730ef3 pushed by node0000
4m 33s main
main
4m 33s
Lean sprint: meet half of the lattice conjecture proved (Lemma A, com… comparator #22: Commit 990bb55 pushed by node0000
4m 14s main
main
4m 14s
pocket-study: oracle clean (middle 100%, lattice closure 5984/5984, 4… comparator #21: Commit 40b2f14 pushed by node0000
4m 6s main
main
4m 6s
perturbation-study: oracle clean (29,646 trials, no kill), ratchet + … comparator #20: Commit 0815674 pushed by node0000
3m 57s main
main
3m 57s
lean: capacity threshold kernel-checked (W1-W4, CapacityThreshold.lea… comparator #19: Commit f5ace9d pushed by node0000
3m 31s main
main
3m 31s
lean: second-law package for phantom mass (S1-S4 kernel-checked, Seco… comparator #18: Commit edc77c2 pushed by node0000
3m 58s main
main
3m 58s
lean: kernel-check C1-C2/E5 - observer classification (S <-> j_S bije… comparator #17: Commit 167a73f pushed by node0000
4m 0s main
main
4m 0s
lean: BridgeDownSets - H1 as a LowerSet theorem, all seven H3 motif n… comparator #16: Commit 0ac4704 pushed by node0000
3m 34s main
main
3m 34s
Co-aperture closed form, kernel-checked: confusion-class lemma (Icc k… comparator #15: Commit a84289b pushed by node0000
3m 44s main
main
3m 44s
lean: PerceptronRegular.lean [K] - threshold units are regular elemen… comparator #14: Commit 653ee36 pushed by node0000
4m 35s main
main
4m 35s
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
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
Kernel-check Steps 2-3 and the assembled closed form (ApertureClosedF… comparator #11: Commit 409ff7c pushed by node0000
4m 9s main
main
4m 9s
Kernel-check the aperture anchors and both completeness instances: ge… comparator #10: Commit 5d3ce06 pushed by node0000
3m 57s main
main
3m 57s
Add Aristotelian relation profile of the opened square comparator #9: Commit 9cbce63 pushed by node0000
4m 20s main
main
4m 20s
Close the two opposition-figure review items; correct the chapter att… comparator #8: Commit ee79204 pushed by node0000
5m 11s main
main
5m 11s
Add the unification track: bridge theorem + opposition figure + spine… comparator #7: Commit d5dca50 pushed by node0000
3m 38s main
main
3m 38s
comparator comparator #6: Manually run by node0000
2m 19s main
main
2m 19s
comparator comparator #5: Manually run by node0000
1m 38s main
main
1m 38s
Add root Solution.lean to match the community's Challenge/Solution co… comparator #4: Commit 73173a3 pushed by node0000
2m 31s main
main
2m 31s