Repository navigation

task template: no background gc from the baseline commit - #44

Merged

ArjunS07 merged 286 commits into

mainfrom

fix/baseline-commit-no-auto-gc

Oct 8, 2026

This pull request is big! We're only showing the most recent 250 commits

Commits on Aug 3, 2026
Commits on Aug 10, 2026
- docs(spec): verification measurability design
  
  atharvas
  and
  claude
  committed
  a421287
- docs(plan): verification measurability implementation plan
  
  atharvas
  and
  claude
  committed
  8fc88f1
- docs(plan): close the producer-chain hole in the measurability plan
  
  atharvas
  and
  claude
  committed
  2479f83
- feat(docker): emit measurement facts from LSV results
  
  atharvas
  and
  claude
  committed
  9367f5a
- feat(docker): filter benchmark paths out of the oracle patch before applying
  
  atharvas
  and
  claude
  committed
  bfb93c3
- feat(docker): add measurability invariants to the manifest evaluator
  
  atharvas
  and
  claude
  committed
  662772a
- feat(docker): bake measure.sh and the LSV helpers into task images
  
  atharvas
  and
  claude
  committed
  4dd362d
- feat(agents): ship the oracle patch into the synthesis workspace
  
  atharvas
  and
  claude
  committed
  1e74b81
- feat(agents): gate verification on a real speedup measurement
  
  atharvas
  and
  claude
  committed
  54c35fb
- test(docker): end-to-end measurability proof, plus docs
  
  atharvas
  and
  claude
  committed
  dcabe1f
- fix(docker): name LSV-unavailable and missing-measure.sh explicitly
  
  atharvas
  and
  claude
  committed
  b18a26b
- test(agents): assert every Dockerfile.pr COPY source reaches the task dir
  
  atharvas
  and
  claude
  committed
  a24bb75
Commits on Aug 17, 2026
- docs(spec): follow-on plans 2-4 under a no-public-figure-change constraint
  
  atharvas
  and
  claude
  committed
  932d94c
- refactor(docker): remove the dead verifier API, guard the public figures
  
  atharvas
  and
  claude
  committed
  2a04f48
- feat(db): add formulacode_task_overrides, private and enforced
  
  atharvas
  and
  claude
  committed
  8ad0198
- feat(harbor): trial-time invariants over the reward
  
  atharvas
  and
  claude
  committed
  0788fd7
- feat(scripts): audit timeout-verified containers, stamp-only
  
  atharvas
  and
  claude
  committed
  5a273b4
Commits on Aug 18, 2026
- feat(overrides): wire expected_n and benchmark_dest, reviving two gates
  
  atharvas
  and
  claude
  committed
  06a00cf
Commits on Aug 23, 2026
- docs(spec): reproducible container builds
  
  atharvas
  and
  claude
  committed
  692d8b9
- docs(spec): correct the asv-config defect
  
  atharvas
  and
  claude
  committed
  b00912a
- docs(plan): pre-pass trial implementation plan
  
  atharvas
  and
  claude
  committed
  42e470d
- fix(templates): import sys in pytest_runner, and guard the exclusion
  
  atharvas
  and
  claude
  committed
  dd0f574
- fix(resolution): read the asv config with dict access, not getattr
  atharvas
  committed
  f621e33
- feat(scripts): honesty gate for built containers
  
  atharvas
  and
  claude
  committed
  301ac37
- fix(resolution): read the asv matrix as name-to-versions
  atharvas
  committed
  caac23e
- fix(docker): prune on disk pressure, not on a timer
  
  atharvas
  and
  claude
  committed
  c632ef8
- feat(pipeline): honour --tasks in stage 6, not only stage 7
  
  atharvas
  and
  claude
  committed
  b91af24
- feat(synthesis): record the no-agent build outcome
  atharvas
  committed
  6037ee7
- feat(synthesis): add DATASMITH_SKIP_SIMILAR_CONTEXTS
  
  atharvas
  and
  claude
  committed
  44eda59
- fix(tests): make the suite incapable of writing to a real database
  
  atharvas
  and
  claude
  committed
  be57a2c
- fix(templates): activate the env before calling asv in the run stage
  
  atharvas
  and
  claude
  committed
  2cdce16
- docs(plan): progress log for the autonomous pre-pass session
  
  atharvas
  and
  claude
  committed
  31c747a
- fix(resolution): stop harvesting bogus packages from install commands
  
  atharvas
  and
  claude
  committed
  1475281
- test(synthesis): exercise the TRY_DEFAULT wiring, not just the method
  
  atharvas
  and
  claude
  committed
  8df62a8
- feat(scripts): Harbor half of the honesty gate
  
  atharvas
  and
  claude
  committed
  5fb7080
- docs(plan): correct the activation numbers
  
  atharvas
  and
  claude
  committed
  e7ef559
- test(scripts): cover the honesty and Harbor gate policies
  
  atharvas
  and
  claude
  committed
  cfb1897
- fix(templates): stop the secret scan matching its own source
  
  atharvas
  and
  claude
  committed
  3f83ad6
- docs(plan): the no-agent path succeeds and yields an honest container
  
  atharvas
  and
  claude
  committed
  c861341
- docs(scripts): say plainly that the honesty gate is not a security boundary
  
  atharvas
  and
  claude
  committed
  80e916a
- docs(plan): note that extensions_import has never fired
  
  atharvas
  and
  claude
  committed
  3f2d654
- fix(pipeline): stop dropping a third of the corpus from the no-agent path
  
  atharvas
  and
  claude
  committed
  6d4b407
- docs(plan): record the corpus-eligibility exclusion
  
  atharvas
  and
  claude
  committed
  705c191
- feat(scripts): measure the no-agent build rate and the honest rate
  
  atharvas
  and
  claude
  committed
  6ea1b95
- feat(db): half-open window filter, async siblings, and a large-select guardrail
  
  atharvas
  and
  claude
  committed
  2ec1b14
- perf(docker): cache the compile and the download, measured 3.1x on a rebuild
  
  atharvas
  and
  claude
  committed
  23f579f
- feat(github): window PR ingestion on merged_at and make GitHub failures visible
  
  atharvas
  and
  claude
  committed
  16c5112
- fix(github): make the GraphQL rate-limit retry able to succeed
  
  atharvas
  and
  claude
  committed
  4c277a5
- docs(plan): second honest container, and extensions_import now proven
  
  atharvas
  and
  claude
  committed
  12d1aee
- fix(runners): window stage 2 on merged_at instead of dropping half the corpus
  
  atharvas
  and
  claude
  committed
  bc7c35d
- feat(db): a key-scoped in_filters, so a skip set stops reading its table
  
  atharvas
  and
  claude
  committed
  3dcb44c
- feat(runners): give stage 3 the diff, and the size gate that protects it
  
  atharvas
  and
  claude
  committed
  9ff1846
- fix(pipeline): make stages 3, 4 and 5 mean the same window as stage 2
  
  atharvas
  and
  claude
  committed
  062c6bd
- perf(runners): bound stage 4's pool, and build stage 5's extractor once
  
  atharvas
  and
  claude
  committed
  7fb3eee
- test(pipeline): measure the window with the resume predicate switched off
  
  atharvas
  and
  claude
  committed
  03aa508
- fix(prepass): build in parallel, and stop picking the oldest commit
  
  atharvas
  and
  claude
  committed
  6a3780d
- fix(env): stop micromamba from pruning the interpreter away
  
  atharvas
  and
  claude
  committed
  22ffd85
- refactor(window): one definition of the run window, for every stage
  
  atharvas
  and
  claude
  committed
  0e66796
- fix(pytest): scope collection, and survive one unimportable module
  
  atharvas
  and
  claude
  committed
  d1e20fc
- fix(pkg): install the PEP 517 backend before a no-isolation build
  
  atharvas
  and
  claude
  committed
  cc85734
- fix(honesty): two checks that reported the wrong thing on a good container
  
  atharvas
  and
  claude
  committed
  1ff26b4
- fix(run-tests): tell a repo with no benchmarks from our discovery failing
  
  atharvas
  and
  claude
  committed
  a79e49d
- docs: record the github rate-limit spike, and why an app does not fix it
  
  atharvas
  and
  claude
  committed
  7482ea0
- docs(prepass): record the 24-repo signature distribution and four more of our defects
  
  atharvas
  and
  claude
  committed
  d2ef11d
- test(pkg): lock the PEP 517 backend-to-distribution mapping
  
  atharvas
  and
  claude
  committed
  2c23efe
- fix(github): stop the client throwing away answers it was given
  
  atharvas
  and
  claude
  committed
  a77e734
- feat(runners): make a stage say what it did, and preflight say what it has
  
  atharvas
  and
  claude
  committed
  f13a359
- fix(runners): write the diff before the LLM call that can lose it
  
  atharvas
  and
  claude
  committed
  46fb1d5
- docs(filters): correct a docstring the stage split made false, and narrow a select
  
  atharvas
  and
  claude
  committed
  ba38d81
- docs: correct the rate-limit spike — the 403s are historical, the 401 is not
  
  atharvas
  and
  claude
  committed
  b34d2b6
- test(github): pin the search cap to the client, not to one bisection
  
  atharvas
  and
  claude
  committed
  433b782
- fix(manifest): stop the sealer silently dropping breadcrumbs
  
  atharvas
  and
  claude
  committed
  4e7c3d6
- fix(run-tests): the pandas shim was invalid Python, and in every repo
  
  atharvas
  and
  claude
  committed
  463386a
- docs(prepass): separate Python misassignment from resolution gaps
  
  atharvas
  and
  claude
  committed
  6fdf159
- docs: say which branch the spike read, and stop claiming an expiry header
  
  atharvas
  and
  claude
  committed
  b899a20
- feat(stage6): DATASMITH_SKIP_IMAGE_PUSH, so a trial can build without publishing
  
  atharvas
  and
  claude
  committed
  5e979ac
- fix(prepass): make the failure signature name a cause
  
  atharvas
  and
  claude
  committed
  c01ef98
- feat(stage4): honour --tasks, so one repo can be re-resolved
  
  atharvas
  and
  claude
  committed
  6715c6d
- fix(runners): stage 6 ends with a summary too, and a test that says so
  
  atharvas
  and
  claude
  committed
  58662de
- feat(manifest): record the pytest pass ratio, and do not gate on it
  
  atharvas
  and
  claude
  committed
  a55b740
- style(honesty): name the AST node tuple so both ruff configs agree
  
  atharvas
  and
  claude
  committed
  b3bbbcd
- docs(prepass): record the first in-container confirmation
  
  atharvas
  and
  claude
  committed
  168ca5b
- docs(spec): stage 4 resolution redesign, with the audit that motivates it
  
  atharvas
  and
  claude
  committed
  1ffc918
- docs(spec): the base image owns tooling only when its install succeeds
  
  atharvas
  and
  claude
  committed
  5c2f45c
- perf(scripts): fast status via direct Postgres, not PostgREST
  
  atharvas
  and
  claude
  committed
  30bcfe6
- fix(agents): a model that cannot answer is not a model saying "no"
  
  atharvas
  and
  claude
  committed
  fbe111d
- docs(plan): stage 4 resolution redesign, 15 tasks
  
  atharvas
  and
  claude
  committed
  629c4df
- feat(resolution): parse requirements instead of rewriting them
  atharvas
  committed
  064ffa5
- refactor(resolution): route every requirement through the real parser
  atharvas
  committed
  381605b
- fix(resolution): keep the requirement lines uv accepts but PEP 508 cannot state
  atharvas
  committed
  ce2cf0f
- fix(resolution): strip the comment where the seed is built, not only where uv reads it
  atharvas
  committed
  120603d
- refactor(resolution): delete the global blocklist
  atharvas
  committed
  4689813
- feat(resolution): read declared dependencies, stop inventing them
  atharvas
  committed
  bab29af
- fix(resolution): stop the harvest declare() was still being fed
  atharvas
  committed
  514d27a
- feat(resolution): choose the interpreter from what the project declares
  atharvas
  committed
  1f6df24
- fix(resolution): make the package root independent of dict order
  atharvas
  committed
  8269797
- fix(resolution): close the third order-dependent root, and read asv tuples
  atharvas
  committed
  ae7996c
- docs(plan): Task 6 has three order-dependent returns, not two
  atharvas
  committed
  4808188
- feat(resolution): pin project dependencies, and only those
  atharvas
  committed
  c6bf3f9
- feat(resolution): keep the cheap check, drop the claim
  atharvas
  committed
  6d701f7
- refactor(resolution): compose six units instead of one 669-line branch
  atharvas
  committed
  d50c617
- test(resolution): cover the asv matrix reader the plan assumed existed
  atharvas
  committed
  9fb3d1c
- fix(resolution): probe a real interpreter, and keep foreign names out of the seed
  atharvas
  committed
  658ab13
- test(resolution): dry-run every interpreter the ladder can return
  atharvas
  committed
  4b4a026
- feat(db): provenance and an advisory probe on packages
  atharvas
  committed
  62ad7d6
- feat(runners): persist what the resolver actually found
  atharvas
  committed
  3f42826
- feat(pipeline): order on the probe instead of excluding on it
  atharvas
  committed
  85090a7
- fix(docker): put the interpreter in the repo image tag
  atharvas
  committed
  8970f31
- fix(docker): build in the package root stage 4 discovered
  atharvas
  committed
  a766e6e
- fix(docker): key the repo image on the package root as well
  atharvas
  committed
  018195d
- docs(spec): the cached base image, not the run, fixes the interpreter
  atharvas
  committed
  d85118e
- test(resolution): lock in the 13 audited commits as golden fixtures
  atharvas
  committed
  a0f97cc
- refactor(resolution): delete the filter module the redesign replaced
  atharvas
  committed
  dfa4217
- fix(resolution): a pinned patch level still names rung 1
  atharvas
  committed
  c1a86de
- test(update): the can_install guard was asserting from the wrong directory
  atharvas
  committed
  41009d0
- docs(db): dropped_requirements holds req, not raw
  atharvas
  committed
  4267a46
- test: close two guards that could not see what they were guarding
  atharvas
  committed
  317bb49
- docs(resolution): describe the six units that replaced the two strategies
  atharvas
  committed
  9c2e6c0
- docs(resolution): correct three claims the identifier check could not see
  atharvas
  committed
  526f525
- test(resolution): give the import_analyzer guard the half it was missing
  atharvas
  committed
  05f2d9b
- docs(spec): Cirq's empty seed is a defect, not the accepted case
  atharvas
  committed
  af629fe
- feat(agents): judge the diff, not the title, when classifying performance
  
  atharvas
  and
  claude
  committed
  45f19c5
- docs(spec): producer/verifier reflexive container builds
  
  atharvas
  and
  claude
  committed
  bdef246
- docs(spec): fold the advisor review into the producer/verifier design
  
  atharvas
  and
  claude
  committed
  57be238
- fix(github): retry a 200 whose body was cut off mid-stream
  
  atharvas
  and
  claude
  committed
  2f1c626
- docs(spec): fix two internal contradictions, and a claim I never checked
  
  atharvas
  and
  claude
  committed
  4d3ad4a
- docs(plan): implementation plan for producer/verifier reflexive builds
  
  atharvas
  and
  claude
  committed
  fe5de2f
- docs(plan): fix three blockers found by advisor review
  
  atharvas
  and
  claude
  committed
  4e34d26
- merge: absorb spec/ingestion-window into the stage 4 redesign
  atharvas
  committed
  a2a9788
- feat(reflexive): wire format for the producer/verifier loop
  
  atharvas
  and
  claude
  committed
  b86cbf1
- docs(plan): close two seams found before tasks 2, 3 and 8 launched
  
  atharvas
  and
  claude
  committed
  99258e9
Commits on Aug 24, 2026
- feat(reflexive): grade severity in our code, not the agent's prompt
  atharvas
  committed
  3f14035
- fix(agents): truncate the patch PerfClassifier sends, like the judge already did
  
  atharvas
  and
  claude
  committed
  0451411
- fix(reflexive): close three seams the Task 2 audit found in the plan's code
  
  atharvas
  and
  claude
  committed
  6745f94
- feat(reflexive): the verifier's fact-collecting battery
  
  atharvas
  and
  claude
  committed
  5766673
- fix(reflexive): stop tail masking the exit status of every battery command
  
  atharvas
  and
  claude
  committed
  afca2e8
- feat(reflexive): the verifier half, fail-closed on every path
  atharvas
  committed
  8e9a035
- test(reflexive): make the verifier's read-only posture structural
  
  atharvas
  and
  claude
  committed
  5005c20
- feat(reflexive): the producer half, owning exactly two scripts
  atharvas
  committed
  241ab91
- feat(reflexive): the loop, with no-progress detection that can fire
  atharvas
  committed
  57e1ebe
- fix(reflexive): make the two _signature implementations actually agree
  
  atharvas
  and
  claude
  committed
  a0cbe1c
- feat(sandbox): build without the legacy pytest gate, and report the tag
  
  atharvas
  and
  claude
  committed
  abf255d
- feat(stage6): PRODUCE_VERIFY, behind a flag that is off by default
  
  atharvas
  and
  claude
  committed
  01b16ae
- test(reflexive): give PRODUCE_VERIFY executing coverage, not source greps
  
  atharvas
  and
  claude
  committed
  4b71b01
- docs(claude): document the producer/verifier tunables
  atharvas
  committed
  56b8443
- fix(github): await a rate-limit reset instead of sleeping the event loop
  
  atharvas
  and
  claude
  committed
  f63a536
- fix(reflexive): close the tunables guard, and hoist two knobs to module scope
  
  atharvas
  and
  claude
  committed
  b1bfbce
- test(reflexive): the 16-container validation set and its pass criterion
  atharvas
  committed
  ed5b1ec
- fix(runners): stop tokenising a 150 KB diff on the event loop
  
  atharvas
  and
  claude
  committed
  cdbcfca
- fix(reflexive): the battery failed identically on every container
  atharvas
  committed
  0ff0087
- docs(handoff): the producer/verifier gate failed its negative control
  
  atharvas
  and
  claude
  committed
  7a29b52
Commits on Aug 25, 2026
- Merge remote-tracking branch 'origin/worktree-gh-rate-limit-spike' into worktree-spec+stage4-redesign
  atharvas
  committed
  86b1644
- merge: rl-prep task-issue notes and the oracle flag on the reward writer
  atharvas
  committed
  dce8ab4
- feat(resolution): say when the ceiling, not the project, chose the interpreter
  atharvas
  committed
  5100c87
- feat(reflexive): collect integrity facts from outside the container
  
  atharvas
  and
  claude
  committed
  5278a85
- fix(reflexive): a build that failed can never be an accept
  
  atharvas
  and
  claude
  committed
  5348471
- fix(reflexive): the stall detector could not see a repeat
  
  atharvas
  and
  claude
  committed
  a1f64c2
- fix(stage6): the no-agent path skipped the gate entirely
  
  atharvas
  and
  claude
  committed
  a1488e9
- feat(measure): make the measurement step legible when it fails
  
  atharvas
  and
  claude
  committed
  c1cc295
- test(reflexive): pin the validation set to digests, not tags
  
  atharvas
  and
  claude
  committed
  3123a36
- chore(infra): reconcile the model list from live servers
  
  atharvas
  and
  claude
  committed
  efee5ae
- docs: the host image scan, and what the route to 100 containers costs
  
  atharvas
  and
  claude
  committed
  ba13cbe
- merge: the stage 4 resolution redesign, onto the verified-container branch
  
  atharvas
  and
  claude
  committed
  2e5619c
- chore: make the merged branch pass its own checks
  
  atharvas
  and
  claude
  committed
  588fcbc
- feat(ingestion): stop paying for six repositories that never produce a container
  
  atharvas
  and
  claude
  committed
  f9abd46
- docs(ingestion): a runbook and a preflight for the failures this run actually hit
  
  atharvas
  and
  claude
  committed
  b2e00bb
Commits on Aug 26, 2026
Commits on Aug 28, 2026
- Durable oracle snapshots: align key convention + publish server-side
  
  ArjunS07
  and
  claude
  committed
  e8f747a
- Bake LSV baseline + deps into the task image (kill per-trial re-measure)
  
  ArjunS07
  and
  claude
  committed
  499ad1a
- Don't pip-install deps at image-build time (base already has LSV; build has no network)
  
  ArjunS07
  and
  claude
  committed
  25b6c2d
- lsv_init: skip initialize_diffcheck entirely when baked baseline is staged
  
  ArjunS07
  and
  claude
  committed
  09ff32c
Commits on Aug 29, 2026
- setup.sh: skip oracle snapshot capture in training runs (HARBOR_AGENT_NAME=agent)
  
  ArjunS07
  and
  claude
  committed
  f0afde1
- lsv parser: Python 3.8-safe summary prefix strip (removeprefix is 3.9+)
  ArjunS07
  committed
  966beb6
Commits on Sep 1, 2026
- adapter: LSV rounds default to DATASMITH_LSV_ROUNDS (was hardcoded 1)
  ArjunS07
  committed
  10ce814
Commits on Sep 4, 2026
- harbor template: serialize LSV measure via the host measure-gate (fail-open)
  ArjunS07
  committed
  4af993d
Commits on Sep 6, 2026
Commits on Sep 8, 2026
- handoff: pointer to top-level HANDOFF.md (2026-09-08)
  ArjunS07
  committed
  adaa396
- docs: HANDOFF.md -> pointer to rl-recipe/docs/HANDOFF.md
  ArjunS07
  committed
  24f5e99
Commits on Sep 22, 2026
Commits on Sep 25, 2026
Commits on Sep 28, 2026
Commits on Sep 29, 2026
Commits on Sep 30, 2026
Commits on Oct 1, 2026
Commits on Oct 5, 2026
Commits on Oct 6, 2026
Commits on Oct 7, 2026
- task template: no background gc from the baseline commit, so base_copy does not lose git objects
  ArjunS07
  committed
  67f4988

Commits

Commits on Aug 3, 2026

Commits on Aug 10, 2026

Commits on Aug 17, 2026

Commits on Aug 18, 2026

Commits on Aug 23, 2026

Commits on Aug 24, 2026