All pull requests

Pull requests

• docs(bench): record Phase 3 on the refactor bed

  #299·tonyketcham opened Oct 20, 2026Collaborator·

  ·

• feat(proof): follow git renames in --path and flag stale code anchors

  #298·tonyketcham opened Oct 20, 2026Collaborator·

  ·

• feat(bench): refactor bed with behaviour, many-branch and refactor question sets

  #297·tonyketcham opened Oct 20, 2026Collaborator·

  ·

• docs(bench): record Phase 2 on the scaled test bed

  #296·tonyketcham opened Oct 20, 2026Collaborator·4 of 8 tasks·

  ·

• feat(bench): scale the git test bed with --scale

  #295·tonyketcham opened Oct 20, 2026Collaborator·4 of 8 tasks·

  ·

• docs(bench): record the Phase 2 trial of code and branch reads

  #294·tonyketcham opened Oct 20, 2026Collaborator·4 of 8 tasks·

  ·

• feat(bench): add a git test bed with code-context and branch questions

  #293·tonyketcham opened Oct 20, 2026Collaborator·4 of 8 tasks·

  ·

• feat(proof): find the records behind code, and see what branches propose

  #292·tonyketcham opened Oct 20, 2026Collaborator·6 of 8 tasks·

  ·

• feat(proof): report compaction drift on get, filter records by standing

  #291·tonyketcham opened Oct 19, 2026Collaborator·5 of 8 tasks·

  ·

• docs(bench): record Run C, Sonnet, Run D and a held-out check on real graphs

  #290·tonyketcham opened Oct 19, 2026Collaborator·4 of 8 tasks·

  ·

• feat(proof): add proof state, one read for counts, contests and blockers

  #289·tonyketcham opened Oct 19, 2026Collaborator·5 of 8 tasks·

  ·

• feat(bench): keep private question sets outside the repository

  #288·tonyketcham opened Oct 19, 2026Collaborator·5 of 8 tasks·

  ·

• fix(proof): never take the socket from a busy read server

  #287·tonyketcham opened Oct 19, 2026Collaborator·5 of 8 tasks·

  ·

• docs(bench): record proof find against no-brief on the 10x graph

  #286·tonyketcham opened Oct 19, 2026Collaborator·4 of 8 tasks·

  ·

• feat(bench): add questions that name no Effort, and filler that looks real

  #285·tonyketcham opened Oct 19, 2026Collaborator·4 of 8 tasks·

  ·
  1

• feat(proof): put the answer on more proof find cards

  #284·tonyketcham opened Oct 19, 2026Collaborator·5 of 8 tasks·

  ·

• feat(bench): add a free offline gate for proof find

  #283·tonyketcham opened Oct 19, 2026Collaborator·4 of 8 tasks·

  ·

• Find Proof records by what they say with proof find

  #282·tonyketcham opened Oct 19, 2026Collaborator·5 of 8 tasks·

  ·

• Add Proof compaction records, proof brief, and a recall benchmark

  #281·tonyketcham opened Oct 18, 2026Collaborator·6 of 8 tasks·

  ·

• chore(deps): update dependency vitest to v4.1.11 [security]

  dependencies
  #276·renovate[bot] opened Sep 11, 2026Bot·1 task·

  ·

• chore(deps): update dependency @react-three/drei to v10.7.9

  dependencies
  #275·renovate[bot] opened Sep 3, 2026Bot·1 task·

  ·

• chore(deps): update dependency @cursor/sdk to v1.0.40

  dependencies
  #274·renovate[bot] opened Sep 3, 2026Bot·1 task·

  ·

• chore(deps): update dependency vite to v8.0.16 [security]

  dependencies
  #273·renovate[bot] opened Aug 26, 2026Bot·1 task·

  ·

• fix(deps): update dependency esbuild to v0.28.1 [security]

  dependencies
  #272·renovate[bot] opened Aug 26, 2026Bot·1 task·

  ·

• chore(deps): update dependency sanitize-html to v2.17.7 [security]

  dependencies
  #271·renovate[bot] opened Aug 26, 2026Bot·1 task·

  ·