Skip to content

Paper A, 2026-10-07, 1012c420ffc5

Choose a tag to compare

View all tags
@github-actions github-actions released this 07 Oct 22:58
paper-a/1012c420ffc5
b1bacf4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Paper A, version of 2026-10-07, commit b1bacf4.

  • paper-a-artifact.tar.gz: the service at the commit the paper describes, 52ce86908135, with its reference tasks and their solvers, and the research the paper's numbers come from: the experiments with their results, the protocol with its timestamp and its deviations, the evidence ledger and every number the paper prints. MIT.
  • paper-a-artifact-anonymous.tar.gz: the same for a double-blind review, with every name and commit that leads to the system or its authors replaced.
  • paper-a-anonymous.pdf: the paper as a review reads it; paper-a-submission.pdf once no TBD is left in it.
  • The named paper is not here yet: it still prints a placeholder.
  • SHA256SUMS, and beside every file a cosign bundle, signed by .github/workflows/paper.yml on main.

Both artifacts reproduced E-A1 and E-A3 byte for byte, and E-A4's package sizes, on a runner of https://github.com/MathTrail/mathtrail-standalone/actions/runs/37697126309. To check one yourself, unpack it and follow its README.

Assets 10
Loading