Issues

• fix(audits): preserve exact freshness without output/cache mutation

  cslib-community/cslib-frontier#4700 · Filter by author SamuelSchlesinger opened on Nov 12, 2026
  

• refactor(WordRAM): share the bounded packed-array update proof

  cslib-community/cslib-frontier#4695 · Filter by author SamuelSchlesinger opened on Nov 12, 2026
  4

  

• Hitting sets for any-order ROABPs of bounded individual degree, in characteristic zero

  cslib-community/cslib-frontier#4693 · Filter by author barni120400 opened on Nov 12, 2026
  2

• refactor(Crypto): expose leveled reduction branch selection as a free program

  cslib-community/cslib-frontier#4680 · Filter by author SamuelSchlesinger opened on Nov 11, 2026

• refactor(Crypto): share oracle-adapter composition in GGM and PRF game hops

  cslib-community/cslib-frontier#4679 · Filter by author SamuelSchlesinger opened on Nov 11, 2026

• refactor(Crypto): make Diffie–Hellman challenges and security experiments explicit

  cslib-community/cslib-frontier#4678 · Filter by author SamuelSchlesinger opened on Nov 11, 2026

• fix(WordRAM): enforce output bounds and nonvacuous native contracts

  cslib-community/cslib-frontier#4677 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  1

• feat(WordRAM): supply method certificates directly to realization tactics

  cslib-community/cslib-frontier#4675 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  8

  

• refactor: structural consolidation — TFNP classes, MetricGraph geometry, Fibonacci-heap migration, Succinct frames

  cslib-community/cslib-frontier#4669 · Filter by author chris-ai1 opened on Nov 11, 2026
  10

• Formalize STOC submission 1318: d-DNNF is not polynomially closed under negation

  cslib-community/cslib-frontier#4668 · Filter by author chris-ai1 opened on Nov 11, 2026

• Formalize STOC submission 1421: 3SUM made simpler; odd k-SUM and deterministic real reductions

  cslib-community/cslib-frontier#4667 · Filter by author chris-ai1 opened on Nov 11, 2026

• Formalize STOC submission 1516: Linear codes exceeding the Gilbert–Varshamov bound

  cslib-community/cslib-frontier#4666 · Filter by author chris-ai1 opened on Nov 11, 2026

• Formalize STOC submission 865: Solving One of Many Instances is Almost as Hard as Solving One

  cslib-community/cslib-frontier#4665 · Filter by author chris-ai1 opened on Nov 11, 2026
  4

• fix(manual): render missing Unicode math/subscript glyphs in PDF converter and reject XeLaTeX missing-character warnings

  cslib-community/cslib-frontier#4662 · Filter by author SamuelSchlesinger opened on Nov 11, 2026

• refactor(WordRAM,Logics): factor shared counting-loop and power-loop helpers and drop redundant CNF compaction hypotheses (#3725 R27–R29, H73)

  cslib-community/cslib-frontier#4658 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  1

  

• refactor(Crypto): retire internal ComputableTidilyInPolyTime plumbing across NaorReingold, OneWay, and MPC/PolyTime (Part of #862)

  cslib-community/cslib-frontier#4656 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  1

  

• refactor(metacomplexity): #884 residuals and new friction (re-check at 4bd621a1e)

  cslib-community/cslib-frontier#4644 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  11

• Andreev's function: sharper depth-two threshold bounds

  cslib-community/cslib-frontier#4640 · Filter by author chris-ai1 opened on Nov 11, 2026
  

• refactor(Crypto): retire ComputableTidilyInPolyTime proof plumbing in Authenticated, EncryptThenMAC, MerkleDamgard, TCR, and MerkleSignature (Part of #862)

  cslib-community/cslib-frontier#4638 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  4

  

• refactor(GameTheory,Computability,Algorithms,Logics): retire getD_eq_getElem?_getD chains across 9 modules

  cslib-community/cslib-frontier#4637 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  5

  

• feat(MachineLearning, NaturalProof): CIKK Theorem 5.1 from natural properties, P/poly and constant-depth forms (#798 M6)

  cslib-community/cslib-frontier#4635 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  4

• feat(MachineLearning): CIKK learners as non-adaptive oracle circuits of size 2^{O(ℓ+g+e)} (#798 M6)

  cslib-community/cslib-frontier#4634 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  9

• refactor: address seven findings from the November 11 code-smell review

  cslib-community/cslib-frontier#4623 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  15

• Hitting sets for multilinear any-order ROABPs (Shpilka, TR26-314): perfect hash families and support-concentrating shifts

  cslib-community/cslib-frontier#4581 · Filter by author barni120400 opened on Nov 11, 2026
  3

• fix(scripts): local --wfail gates pass when Lake restores a warned module from the shared artifact cache

  cslib-community/cslib-frontier#4523 · Filter by author SamuelSchlesinger opened on Nov 11, 2026
  4