All pull requests

Pull requests

• feat(repo): record public_at and guidance:rev history for leak checks

  #359·antonwolfy opened Nov 1, 2026Contributor·6 tasks done·

  ·
  9

  

• fix(novelty): a capped run probes atoms spread over the whole input

  #358·antonwolfy opened Nov 1, 2026Contributor·6 tasks done·

  ·
  11

  

• feat(repo): judged recall over the credited replay hits

  cli-interface-change
  #357·antonwolfy opened Nov 1, 2026Contributor·6 tasks done·

  ·
  11

  

• docs(network): allowlist carries HTTPS; plain-HTTP mirrors behind a host proxy need verify=public

  #353·napetrov opened Nov 1, 2026Contributor·

  ·
  2

• chore(codefactor): exclude the vendored task-format fixtures

  #352·napetrov opened Nov 1, 2026Contributor·

  ·
  4

• fix(harness): docker-claude arms stop showing dokimi's names to the agent

  #351·napetrov opened Nov 1, 2026Contributor·

  ·
  3

• feat(repo): inspect --index adds a structure section from a SCIP index

  cli-interface-change
  #349·napetrov opened Nov 1, 2026Contributor·

  ·
  15

• feat(stats): keep the unrounded delta, CI and corrected p next to the rounded ones

  #345·napetrov opened Nov 1, 2026Contributor·

  ·
  13

• feat(subjects): subjects evidence renders a scorecard as skill_evidence.v1

  cli-interface-change
  #344·napetrov opened Nov 1, 2026Contributor·

  ·
  30

• feat(subjects): distribution_digest, the digest a well-known skill index carries

  #343·napetrov opened Nov 1, 2026Contributor·

  ·
  20

• chore(deps): refresh pip-compile outputs and the docs lock, and have Renovate refresh it

  #341·napetrov opened Nov 1, 2026Contributor·

  ·
  9

• feat(eval): eval coverage against a frozen need graph (#331)

  cli-interface-change
  #340·napetrov opened Nov 1, 2026Contributor·

  ·
  43

• feat(repo): read a SCIP code index (#41)

  #339·napetrov opened Nov 1, 2026Contributor·

  ·
  41

• feat(repo): guidance:overlay arm and overlay reach check

  #338·napetrov opened Nov 1, 2026Contributor·

  ·
  47

• feat(repo): dokimi:typecheck grader and repo scan --typecheck for Python fences

  cli-interface-change
  #337·napetrov opened Nov 1, 2026Contributor·

  ·
  87

• feat(repo): rule ledger: repo compare --ledger with per-rule keep/review/insufficient-evidence verdicts

  cli-interface-change
  #336·napetrov opened Nov 1, 2026Contributor·

  ·
  50

• feat(repo): effective-instructions receipt for repo reach

  cli-interface-change
  #335·napetrov opened Nov 1, 2026Contributor·

  ·
  81

• feat(context): prefilter AGENTS.md rules against session logs (candidates for ablation)

  cli-interface-change
  #334·napetrov opened Nov 1, 2026Contributor·

  ·
  87

• feat(repo): guidance:format=xml and guidance:as-skill arms

  #333·napetrov opened Nov 1, 2026Contributor·

  ·
  39

• feat(repo): time to first useful result, with a rate in repo compare

  #332·napetrov opened Nov 1, 2026Contributor·

  ·
  60

• feat(routing): estimate-only, all-vs-all repeats and cost, description queries

  cli-interface-change
  #329·napetrov opened Oct 31, 2026Contributor·

  ·
  38

• fix(catalog): flag name conflicts, fail an empty root, keep spec errors out of routing

  cli-interface-change
  #328·napetrov opened Oct 31, 2026Contributor·5 tasks done·

  ·
  29

• feat(repo): repo budget counts .claude/rules

  #326·napetrov opened Oct 31, 2026Contributor·

  ·
  69

• feat(cli): eval group: move the evaluation commands under eval (#94 M1)

  cli-interface-change
  #325·napetrov opened Oct 31, 2026Contributor·

  ·
  39

• feat(repo): dokimi_config.v1 schema and repo_config loader

  cli-interface-change
  #323·napetrov opened Oct 31, 2026Contributor·

  ·
  105