Provefab builds Provefab.

The source-available core is maintained with Provefab itself. Each pull request below was opened by Provefab from a labelled issue, with the repository's format, lint and test commands and a review by another model family recorded in it. A person decides: merged ones were merged by a person, closed ones were sent back. The evidence is in each pull request.

29 pull requests · 25 merged

• #54 provefab status shows a merged pull request's task as pr_open
  2026-10-05merged4/4 checks passedreviewed by codex-gpt0.54 quota units
• #52 README: remove the Linear paging detail from the Jira and Linear bullet
  2026-10-05merged3/3 checks passedreviewed by codex-gpt0.86 quota units
• #51 A worker's expired sign-in parks the task instead of failing the issue
  2026-10-05merged4/4 checks passedreviewed by claude-opus1.93 quota units
• #50 Make jevq::tests::the_deadline_covers_retries independent of machine load
  2026-10-05merged3/3 checks passedreviewed by codex-gpt0.10 quota units
• #49 Stricter review rubric: concrete, introduced by the change, shown to matter
  2026-10-05merged3/3 checks passedreviewed by codex-gpt0.09 quota units
• #48 Graceful shutdown on SIGTERM
  2026-10-05merged4/4 checks passedreviewed by codex-gpt0.47 quota units
• #47 `provefab add`: match the ticket's label case-insensitively
  2026-10-05merged4/4 checks passedreviewed by codex-gpt0.48 quota units
• #46 Stricter host validation for the Jira site
  2026-10-05merged3/3 checks passedreviewed by codex-gpt0.90 quota units
• #45 Timeout on Keychain reads
  2026-10-05merged4/4 checks passedreviewed by codex-gpt0.76 quota units
• #44 `provefab prune` also prunes old maintenance runs
  2026-10-05merged3/3 checks passedreviewed by claude-opus1.29 quota units
• #39 Rules parser: lines inside fenced code blocks are rule text
  2026-10-02merged4/4 checks passedreviewed by codex-gpt0.47 quota units
• #38 Clearer message when the queue lock is held by another command
  2026-10-02merged4/4 checks passedreviewed by codex-gpt0.21 quota units
• #37 `provefab prune` also prunes old maintenance runs
  2026-10-02closed3/3 checks passedreviewed by claude-opus0.69 quota units
• #36 `provefab add`: match the ticket's label case-insensitively
  2026-10-02closed4/4 checks passedreviewed by codex-gpt0.28 quota units
• #35 Stricter host validation for the Jira site
  2026-10-02closed3/3 checks passedreviewed by codex-gpt0.50 quota units
• #34 Timeout on Keychain reads
  2026-10-02closed4/4 checks passedreviewed by codex-gpt0.26 quota units
• #33 Decode non-ASCII Keychain comments
  2026-10-02merged4/4 checks passedreviewed by codex-gpt0.26 quota units
• #32 Test the doctor `rules` line when the base cannot be read
  2026-10-02merged3/3 checks passedreviewed by codex-gpt0.10 quota units
• #31 Shared helper for the rule prefix in review notes
  2026-10-02merged3/3 checks passedreviewed by codex-gpt0.15 quota units
• #30 Rules parser: tests for metadata order cases
  2026-10-02merged3/3 checks passedreviewed by codex-gpt0.19 quota units
• #29 Redaction tests for more token shapes
  2026-10-02merged3/3 checks passedreviewed by codex-gpt0.18 quota units
• #28 Say why Linear paging stopped
  2026-10-02merged3/3 checks passedreviewed by codex-gpt0.38 quota units
• #27 Fix the `task_branch` doc comment
  2026-10-02merged3/3 checks passedreviewed by codex-gpt0.07 quota units
• #26 `FakeHub::open_issues` honours the slug and label
  2026-10-02merged4/4 checks passedreviewed by codex-gpt0.54 quota units
• #10 Review routing: provider independence before a Jev frontier tier
  2026-10-01merged4/4 checks passedreviewed by codex-gpt0.47 quota units
• #9 Risk labels: never remove a label that may not exist
  2026-10-01merged4/4 checks passedreviewed by codex-gpt0.24 quota units
• #8 Risk labels: retry a label whose creation failed earlier in the same round
  2026-10-01merged4/4 checks passedreviewed by codex-gpt0.27 quota units
• #6 doctor: warn per implementer provider when risky reviews cannot be frontier
  2026-10-01merged4/4 checks passedreviewed by claude-opus0.36 quota units
• #2 Keep agents inside the issue's scope
  2026-09-29merged3/3 checks passedreviewed by codex-gpt0.10 quota units