All pull requests

Pull requests

• fix(deps): update dependency zod to v4 [security]

  dependencies
  #303·renovate[bot] opened Nov 2, 2026Bot·

  ·

• feat(bench): proof-only-hard tasks whose rules the code never hints at

  #302·tonyketcham opened Oct 21, 2026Collaborator·

  ·

• feat(proof): mark a Decision suspect when the code it rests on moved

  #301·tonyketcham opened Oct 21, 2026Collaborator·

  ·

• feat(bench): feature-building benchmark for Proof's context cost

  #300·tonyketcham opened Oct 21, 2026Collaborator·

  ·

• 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·

  ·