All pull requests

Pull requests

• records(intake): the 17 October sweep, stages 0 and 1: #659, #664, #446's 18 lower bounds, six watch reads (think-e2sz)

  intakeS1
  #667·jlevy opened Oct 17, 2026Owner·1 task done·

  ·

• feat(houses): adopt T-174 at 37 rational counts and regularize each (think-3mry)

  intakeS2
  #665·jlevy opened Oct 17, 2026Owner·1 task done·

  ·

• records(#622): PingYou Ltd's N29 certificate, replayed on both exact routes and registered as T-195 (think-30n2)

  deep-gateintakeS2
  #661·jlevy opened Oct 16, 2026Owner·1 task done·

  ·

• records(#639, #640): map the s(19) review onto T-194 (C1) and do T-193's stage 4 exit (V3/C3)

  intakeS2
  #658·jlevy opened Oct 16, 2026Owner·1 task done·

  ·

• fix(site): simplify News filters and align card styling

  projectS2
  #646·jlevy opened Oct 16, 2026Owner·6 tasks·

  ·

• fix(assurance): separate source verification from independent confirmation

  n-17projectS3
  #645·jlevy opened Oct 16, 2026Owner·1 of 6 tasks·

  ·
  1

• data: submit a tighter exact N29 packing certificate

  intake
  #622·BuddenPing opened Oct 15, 2026·

  ·
  2

• Stabilize CI and default local feedback to quick tests

  #599·jlevy opened Oct 14, 2026Owner·

  ·
  2

• feat: person profiles, linked news and reviewed attribution (supersedes #490)

  #578·jlevy opened Oct 13, 2026Owner·

  ·
  2

• research: submit 148 square-packing certificate refinements with exact endpoints

  intake
  #574·BuddenPing opened Oct 13, 2026·

  ·
  2

• feat(site): the results page opens on what was added in the last seven days, with an Added filter

  #514·jlevy opened Oct 11, 2026Owner·

  ·
  3

• feat: publish the complete exact-side catalogue on the web

  intaken-17
  #435·jlevy opened Oct 8, 2026Owner·2/2·

  ·
  16

• Darwin self-current RSS with native SDK and release controls

  #407·Guzhou0806 opened Oct 7, 2026Collaborator·

  ·

• feat: refuse added bulk Git blobs using actual PR base

  #406·Guzhou0806 opened Oct 7, 2026Collaborator·

  ·
  1

• feat: preserve exact polynomials through native source adoption

  n-17
  #403·jlevy opened Oct 7, 2026Owner·1/2·

  ·
  13