Repository navigation

Refactor and clean up unused code, enhance IR and optimizer - #91

Merged

krypticmouse merged 75 commits into

mainfrom

v1-program-unification

Aug 21, 2026

Commits on Aug 20, 2026
- refactor(cleanup): delete trace export layer (otel/rl projections)
  
  krypticmouse
  and
  claude
  committed
  2455a92
- refactor(cleanup): trim dead trace span API
  
  krypticmouse
  and
  claude
  committed
  7419d8b
- refactor(cleanup): delete ParetoFrontier wrapper module
  
  krypticmouse
  and
  claude
  committed
  eabd766
- refactor(cleanup): delete evaluate::feedback_helpers (zero callers)
  
  krypticmouse
  and
  claude
  committed
  651471f
- refactor(syntax): extract dsrs-syntax leaf crate (one lexer, one structural grammar)
  
  krypticmouse
  and
  claude
  committed
  4d4ddc0
- refactor(syntax): re-point dspy-rs text parser at the shared dsrs-syntax lexer
  
  krypticmouse
  and
  claude
  committed
  9e85dc3
- refactor(cleanup): delete EvalEngine checkpoint/resume
  
  krypticmouse
  and
  claude
  committed
  ac88298
- refactor(cleanup): trim typesys::constraint to what the .dsrs parser uses
  
  krypticmouse
  and
  claude
  committed
  f0b161b
- refactor(syntax): include_program! validates through dsrs-syntax; delete the shadow parser
  
  krypticmouse
  and
  claude
  committed
  cf225ed
- chore(workspace): centralize shared dependency pins in [workspace.dependencies]
  
  krypticmouse
  and
  claude
  committed
  2f1899e
- chore(repo): archive CURRENT_PLAN.md and CURRENT_SPEC.md to docs/archive/
  
  krypticmouse
  and
  claude
  committed
  8018319
- fix(cache): keep disk-tier tempdir alive, degrade gracefully, drop the cache-wide mutex
  
  krypticmouse
  and
  claude
  committed
  a66624b
- fix(telemetry): claim tracing init atomically to fix concurrent-call race
  
  krypticmouse
  and
  claude
  committed
  d6298aa
- refactor(cleanup): drop constraints_from_field stub in typesys::schema
  
  krypticmouse
  and
  claude
  committed
  7c2d560
- refactor(cleanup): flatten data/v1 into data/
  
  krypticmouse
  and
  claude
  committed
  a8f6a5b
- fix(tools): reject reserved JS names as capabilities, mangle in js_identifier
  
  krypticmouse
  and
  claude
  committed
  6b98bd8
- refactor(cleanup): delete unused sign! macro
  
  krypticmouse
  and
  claude
  committed
  2f6a677
- fix(tools): harden capability install, deadline-bound capability calls, bound bytecode cache
  
  krypticmouse
  and
  claude
  committed
  b162d83
- fix(tools): regression tests for sandbox hardening
  
  krypticmouse
  and
  claude
  committed
  12283ed
- Merge wave 1e: workspace deps table, cache tempdir/mutex fixes, telemetry race
  
  krypticmouse
  and
  claude
  committed
  c340575
- Merge wave 1b: dsrs-tools sandbox hardening
  
  krypticmouse
  and
  claude
  committed
  808e335
- refactor(syntax): drop the #[BamlType] compat alias for #[Schema]
  
  krypticmouse
  and
  claude
  committed
  61fde62
- refactor(cleanup): delete Chat::from_json and the legacy chat JSON parsers
  
  krypticmouse
  and
  claude
  committed
  65e5ca3
- refactor(cleanup): trim never-constructed LmError and ErrorClass variants
  
  krypticmouse
  and
  claude
  committed
  58bb0b3
- refactor(cleanup): fix stale 'what doesn't work' section in lib.rs docs
  
  krypticmouse
  and
  claude
  committed
  b3b3115
- Merge wave 1c: extract dsrs-syntax leaf crate, delete shadow parser, drop BamlType alias
  
  krypticmouse
  and
  claude
  committed
  161e043
- Merge wave 1a: dspy-rs dead-code kill list (trace/export, pareto, feedback_helpers, checkpoint, dead typesys/errors, data/v1 flatten)
  
  krypticmouse
  and
  claude
  committed
  1ff0eab
- feat(ir): edit calculus
  
  krypticmouse
  and
  claude
  committed
  4b26e30
- Merge wave 1d: IR edit calculus (Edit enum, Program::edited, legal_edits, migrate_overlay)
  
  krypticmouse
  and
  claude
  committed
  a94837f
- refactor(modules): delete ReAct and ModuleExt combinators
  
  krypticmouse
  and
  claude
  committed
  2c388d8
- feat(ir): interpreter leaf metadata
  
  krypticmouse
  and
  claude
  committed
  72af2e6
- Merge phase 2α: delete ReAct/ModuleExt, add Interpreter leaf metadata seam
  
  krypticmouse
  and
  claude
  committed
  b94c850
- refactor(predict): route Predict through the IR interpreter
  
  krypticmouse
  and
  claude
  committed
  5801b91
- refactor(predict): tools via AgentLoop program + compat shims
  
  krypticmouse
  and
  claude
  committed
  1e41f0f
- refactor(adapter): collapse static lane
  
  krypticmouse
  and
  claude
  committed
  543ac57
- Merge phase 2β: Predict demoted onto IR Interpreter, adapter static lane collapsed
  
  krypticmouse
  and
  claude
  committed
  0287cb0
- feat(module): explicit predictors() discovery
  
  krypticmouse
  and
  claude
  committed
  abdc9da
- feat(optimizer): unified Engine + object-safe Optimizer trait; five strategies rewritten
  
  krypticmouse
  and
  claude
  committed
  8758814
- refactor(core): delete DynPredictor/facet walker/mutation model
  
  krypticmouse
  and
  claude
  committed
  c342089
- build: unpin facet — upstream crates.io 0.43 replaces the fork
  
  krypticmouse
  and
  claude
  committed
  292f1c4
- docs(optimizer): scrub stale mutation-seam references
  
  krypticmouse
  and
  claude
  committed
  aceb29c
- Merge phase 3: object-safe Optimizer, unified Engine, DynPredictor/facet-walker deleted, facet fork unpinned
  
  krypticmouse
  and
  claude
  committed
  e3ad3c5
- docs: fix ReAct mention and stale facet-patch comment post phase-3 merge
  
  krypticmouse
  and
  claude
  committed
  fb9083e
- refactor(build): collapse ir/code-mode features; add data feature
  
  krypticmouse
  and
  claude
  committed
  6bdaed1
- fix(fx): bounded predictor cache + honest errors
  
  krypticmouse
  and
  claude
  committed
  a5ea8f9
- docs: predict/modules/adapters match the IR-interpreter execution model
  
  krypticmouse
  and
  claude
  committed
  ad1c025
- docs: optimizer pages match the object-safe Optimizer + unified Engine
  
  krypticmouse
  and
  claude
  committed
  bc20a65
- feat(prelude): curated prelude
  
  krypticmouse
  and
  claude
  committed
  c09633a
- docs: scrub deleted trace exports, DynPredictor, feedback helpers, data::v1
  
  krypticmouse
  and
  claude
  committed
  bbcdd0c
- docs: add the edit calculus component page
  
  krypticmouse
  and
  claude
  committed
  1e37260
- docs: regenerate API reference from post-unification rustdoc; add dsrs-syntax
  
  krypticmouse
  and
  claude
  committed
  888bf7c
- docs: rewrite module_system_overview for the unified architecture
  
  krypticmouse
  and
  claude
  committed
  a9b4449
- docs: drop feedback-helpers mention from evaluation page description
  
  krypticmouse
  and
  claude
  committed
  cd737c0
- Merge phase 4b: docs sweep for the unified architecture
  
  krypticmouse
  and
  claude
  committed
  9e15b97
- docs(adapter): fix stale ChatAdapter doc comments flagged by docs sweep
  
  krypticmouse
  and
  claude
  committed
  6bbe34e
- fix(macros): #[agent] standalone path honors options
  
  krypticmouse
  and
  claude
  committed
  e3414b5
- docs(rfc): remaining seams ledger
  
  krypticmouse
  and
  claude
  committed
  9a5d30a
- Merge branch 'v1-program-unification' into worktree-agent-af5bdd77646eb445a
  krypticmouse
  committed
  5ec8de6
- docs: align #[agent] model option row with the standalone contract
  
  krypticmouse
  and
  claude
  committed
  5dec43b
- Merge phase 4a: feature collapse, data feature, fx CLOCK cache, prelude, #[agent] options honored, seams ledger
  
  krypticmouse
  and
  claude
  committed
  78e63aa
- docs: regenerate API reference against final phase-4 surface; register prelude page
  
  krypticmouse
  and
  claude
  committed
  3fcef48
- feat(optimizer): Structural — the sixth strategy, LM-guided edits over ir::Edit
  
  krypticmouse
  and
  claude
  committed
  09a987d
- docs: Structural optimizer page; register it and retire the no-structural-optimizer claims
  
  krypticmouse
  and
  claude
  committed
  dc7eff8
- Merge seam 6: Structural strategy — GEPA-style edit proposals over ir::Edit
  
  krypticmouse
  and
  claude
  committed
  ca14e08
- feat(optimizer): per-span credit assignment in demo harvesting (RFC 0004 seam 4)
  
  krypticmouse
  and
  claude
  committed
  ea6ee26
- Merge seam 4: per-span credit assignment in demo harvesting
  
  krypticmouse
  and
  claude
  committed
  109c571
- feat(ir): tool membership as a ParamSlot — the ToolSet gene (RFC 0004 seam 5)
  
  krypticmouse
  and
  claude
  committed
  d7805eb
- Merge seam 5: tool membership as a ParamSlot (the ToolSet gene)
  
  krypticmouse
  and
  claude
  committed
  16f2b27
- docs: handoff ledger for v1-program-unification; annotate RFC 0004 seams 4-6 as landed-unreviewed
  
  krypticmouse
  and
  claude
  committed
  7f6bee9
- docs: record HEAD verification result in handoff (80/80 suites green)
  
  krypticmouse
  and
  claude
  committed
  e48d00a
- docs(handoff): session B addendum — author-side ledger for the seam merges
  
  krypticmouse
  and
  claude
  committed
  0914b27
- feat(interp): conversation surface + caller-managed suspend/resume (RFC 0004 seams 1-2)
  
  krypticmouse
  and
  claude
  committed
  139fba6
- Merge seams 1+2: interpreter conversation surface + caller-managed suspend/resume
  krypticmouse
  committed
  f7d67a6
- docs: close out RFC 0004 — annotate seams 1+2 landed, handoff seam-1+2 ledger, regenerate API reference
  
  krypticmouse
  and
  claude
  committed
  0d6ef49
Commits on Aug 21, 2026
- feat(gepa): implement GEPA adapter and evaluation framework for docs-chat worker
  krypticmouse
  committed
  2796e08

Commits

Commits on Aug 20, 2026

Commits on Aug 21, 2026