Skip to content

Actions: Arithmon/Sieve

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
docs(Status): erratum freeze v1.1.1 (10.5281/zenodo.21820451) and pre… Lint #27: Commit 692fce7 pushed by gift-framework
11s main
main
11s
docs(D34 follow-up): align remaining calibration language and the M3 … Lint #26: Commit f0215b9 pushed by gift-framework
14s main
main
14s
docs(calibration language): development cases are poles, not prescrip… Lint #25: Commit 85bfc42 pushed by gift-framework
13s main
main
13s
docs(README): propagate decision-rule preprint concept DOI (10.5281/z… Lint #24: Commit ead6b59 pushed by gift-framework
11s main
main
11s
Carry the canonical footer into CONTRIBUTING Lint #23: Commit fbaa4e4 pushed by gift-framework
10s main
main
10s
chore(naming): footer canonique -> K7 (formerly GIFT), identite current Lint #22: Commit ca11cf1 pushed by gift-framework
9s main
main
9s
docs: fix prose linter errors (em-dashes, marketing term) Lint #21: Commit f4201e5 pushed by gift-framework
14s main
main
14s
ledger: D33 inverse-problem landscape sweep (general method) Lint #20: Commit ee5e080 pushed by gift-framework
13s main
main
13s
ledger: close M5 (robustness battery) at scaffold level; M6 in progress Lint #19: Commit efcd73b pushed by gift-framework
15s main
main
15s
ledger: D28 exact/certified isolation rank (general method) Lint #18: Commit 545b1e6 pushed by gift-framework
14s main
main
14s
readme: two-tier structure, plain-language lede before the technical … Lint #17: Commit 20b531c pushed by gift-framework
10s main
main
10s
add CONTRIBUTING: null models, hostile frameworks, freeze challenges,… Lint #16: Commit c32ae3c pushed by gift-framework
15s main
main
15s
readme: point to the lean formal layer (Sieve's machine-checked count… Lint #15: Commit 3a7957a pushed by gift-framework
11s main
main
11s
ledger: resolve D10 (in-framework-theorem rebate) + N2/N3 method entries Lint #14: Commit 1ce1b22 pushed by gift-framework
13s main
main
13s
ledger: D19 popularity = peak over simple budgets; mc: popularity swe… Lint #13: Commit c24a9b9 pushed by gift-framework
10s main
main
10s
docs Lint #12: Commit 4514236 pushed by gift-framework
16s main
main
16s
README: route to program and atlas siblings Lint #11: Commit 9b099a1 pushed by gift-framework
10s main
main
10s
pipeline: generic scorecard module + README status (calibration compl… Lint #10: Commit 6090aff pushed by gift-framework
13s main
main
13s
M4 prep: N2 (adversarial numerologist) + N3 (permutation) complete th… Lint #9: Commit bd8ad84 pushed by gift-framework
10s main
main
10s
M3: historical controls reproduce known verdicts (Eddington FAILS, qu… Lint #8: Commit 3d003cd pushed by gift-framework
12s main
main
12s
M2: first N1 run against the FROZEN list (post-deposit, permitted) Lint #7: Commit 5d6e906 pushed by gift-framework
14s main
main
14s
M2: negative controls built and condemned (skeleton 5.1) Lint #6: Commit fd530f8 pushed by gift-framework
11s main
main
11s
M2 scaffold: grammar engine + N0/N1 nulls on synthetic targets Lint #5: Commit bfd5232 pushed by gift-framework
11s main
main
11s
docs: record the v1.0 freeze DOI (10.5281/zenodo.20666879) Lint #4: Commit c3d97ce pushed by gift-framework
12s main
main
12s
freeze v1.0: observable list + grammars FROZEN (spot-check done 2026-… Lint #3: Commit 247e165 pushed by gift-framework
12s main
main
12s