Code

History

Commits on main to scripts35+
  1. Typeset the percolation entry's mathematics (#54)Rasmus Lindahl committed 2 months agoa3c43fe
  2. Review the two submissions pending on the evening of 8 September (#53)Rasmus Lindahl committed 2 months agoff56b8b
  3. Add the three Alpöge-Buckmaster forced-blowup entries (#52)Rasmus Lindahl committed 2 months agod2208e8
  4. Review the eight submissions pending on 9 September (#56)Rasmus Lindahl committed 2 months ago9195b9a
  5. Review the eight submissions pending on 8 September (#51)Rasmus Lindahl committed 2 months agoed1cd62
  6. Accept LaTeX's other math delimitersRasmus Lindahl committed 2 months ago858ac4b
  7. Merge pull request #32 from mrconter1/review-2026-09-05-bRasmus Lindahl committed 2 months ago9ccfbed
  8. Merge pull request #39 from mrconter1/review-2026-09-06Rasmus Lindahl committed 2 months ago48ff166
  9. Review of 6 September: eighteen submissionsRasmus Lindahl committed 2 months agob9b5f70
  10. Lyons-White script: retry the first database contactRasmus Lindahl committed 2 months agocb04dbf
  11. Add the Lyons-White conjecture entry (Defant and Ono, AxiomProver)Rasmus Lindahl committed 2 months agodc545a7
  12. Review of 5 September, second batch: Wong's question, Latin squares, YAHRasmus Lindahl committed 2 months ago827503f
  13. Review of 5 September: two Astra disproofs, K8-e, cycle residues, a treeRasmus Lindahl committed 2 months ago5fef8b0
  14. schema-lock: a --production flag, so the guard can be widened out loudRasmus Lindahl committed 2 months ago2a786df
  15. Reviewing: "I could not find it" is not "it does not exist"Rasmus Lindahl committed 2 months ago9f9deea
  16. Script to copy the frontier data from staging to productionRasmus Lindahl committed 2 months agoded3063
  17. Frontier chart: a numeric axis survives rows without a numberRasmus Lindahl committed 2 months ago2ee877a
  18. Rename Records to FrontiersRasmus Lindahl committed 2 months agod89c573
  19. Methodology: document records, and fix the scope rule they contradictedRasmus Lindahl committed 2 months agoa876d9a
  20. The 186 is a candidate on the record, not the frontier; answer the reportRasmus Lindahl committed 2 months ago47e59ca
  21. Name the gap records what the field calls themRasmus Lindahl committed 2 months agoa0c68d3
  22. Review the evening pair: K7-e approved, Latin squares held for a missing disclosureRasmus Lindahl committed 2 months agodc60fcb
  23. Records: the strip value wraps, and stop clipping rendered mathRasmus Lindahl committed 2 months agod358b9b
  24. Bounded gaps: catalog entries for all three AI rows, and reverse the 186 holdRasmus Lindahl committed 2 months ago48006ff
  25. The bounded-gaps record, prepared but not appliedRasmus Lindahl committed 2 months agoe049760
  26. Records get the community machinery: changelog, discussion, reportingRasmus Lindahl committed 2 months ago4b0cafa
  27. Records: keep the strips one line, with a compact value formRasmus Lindahl committed 2 months ago0cc18c1
  28. Records: a quantity with a direction and a staircase of best known valuesRasmus Lindahl committed 2 months ago49615a7
  29. Review the late-morning pair: QMA(2) oracle separation approved at 36, dynamo refiling heldRasmus Lindahl committed 2 months agod4c7305
  30. Review the Trautman counterexample submission: approve at 25Rasmus Lindahl committed 2 months ago07d63e1
  31. Conway refinement: Site-confirmed after the site's own build passedRasmus Lindahl committed 2 months agofa02349
  32. Long gaps: Site-confirmed after the site's own build passedRasmus Lindahl committed 2 months agoc1c9633
  33. Review the eight submissions of 4 September: five approvals, three holdsRasmus Lindahl committed 2 months ago4c1cb4a
  34. Add scripts/schema-lock.mjs: unlock or relock every table for a db pushRasmus Lindahl committed 2 months agob820643
  35. Correct the migration plan: catch production up first, and do not try to re-add secretsRasmus Lindahl committed 2 months ago7348205