Repository navigation

v1 release: revamp the crate and add functional utilities and graph tracing - #90

Merged

krypticmouse merged 78 commits into

mainfrom

v1-revamp

Aug 19, 2026

Commits on Jul 28, 2026
- Implement functional DSRs with ambient parameter injection and caching
  krypticmouse
  committed
  071d20a
Commits on Aug 14, 2026
- feat(macros): #[predict]/#[cot] — bodyless fns as LM calls
  
  krypticmouse
  and
  claude
  committed
  479c0bd
- docs: v1 harness-engineering vision report + cross-framework benchmarks
  
  krypticmouse
  and
  claude
  committed
  f5469c0
- chore: phase-0 de-bloat — delete dead weight (§5.6 hit list)
  
  krypticmouse
  and
  claude
  committed
  2c88cc7
- refactor(lm): split LM into serializable LMConfig + live client
  
  krypticmouse
  and
  claude
  committed
  21ae93c
- docs(rfc): 0001 — unified trace format
  
  krypticmouse
  and
  claude
  committed
  ab5ce27
- refactor(cot): collapse chain-of-thought to the augmentation — ChainOfThought is now pure sugar
  
  krypticmouse
  and
  claude
  committed
  aae6907
- refactor(state): one mutation seam for instruction/demo state
  
  krypticmouse
  and
  claude
  committed
  cd65ab5
- feat(dsrs-tools): Tier-1 sandboxed tool-execution runtime (QuickJS)
  
  krypticmouse
  and
  claude
  committed
  0773edc
- test(dsrs-tools): assert rig ToolDyn Arc coercion for dspy-rs surfaces
  
  krypticmouse
  and
  claude
  committed
  83b9bb8
- refactor(call): collapse predictor call paths to typed call + Module::forward
  
  krypticmouse
  and
  claude
  committed
  8902bca
- Merge dsrs-tools: Tier-1 QuickJS tool-execution runtime
  
  krypticmouse
  and
  claude
  committed
  005b24b
- Merge phase-0 collapses: CoT 4→1, mutation seam 5→1, call paths 8→2
  
  krypticmouse
  and
  claude
  committed
  f6b1996
- docs(rfc): 0002 — the IR: value-level signatures, graph core, text format
  
  krypticmouse
  and
  claude
  committed
  adbeed5
- feat(trace): unified trace format core — Span/Trace, capture scope, JSONL
  
  krypticmouse
  and
  claude
  committed
  65af743
- feat(trace): move metric and optimizer consumers onto the trace format
  
  krypticmouse
  and
  claude
  committed
  bbec003
- refactor(trace): delete the legacy execution graph
  
  krypticmouse
  and
  claude
  committed
  8030185
- Merge trace-core: unified trace format (RFC 0001 PR-1/2/3)
  
  krypticmouse
  and
  claude
  committed
  1d8d793
- feat(typesys): serde derives + owned TypeTable registry; kill two leaked TypeId caches
  
  krypticmouse
  and
  claude
  committed
  b4f9e80
- feat(ir): SignatureDef — value-level signatures + the one StaticSigCache (RFC 0002 IR-1)
  
  krypticmouse
  and
  claude
  committed
  79c29e5
- feat(optimizer): shared evaluation engine — candidates, cache, budget, Pareto matrix (§5.4)
  
  krypticmouse
  and
  claude
  committed
  843f8d3
- feat(optimizer): BootstrapFewShot — minimal end-to-end exercise of the engine contract
  
  krypticmouse
  and
  claude
  committed
  502ffe1
- feat(adapter): dynamic rendering seam over SignatureDef (RFC 0002 IR-1)
  
  krypticmouse
  and
  claude
  committed
  7435d13
- refactor(gepa): port GEPA onto the shared evaluation engine
  
  krypticmouse
  and
  claude
  committed
  41418f9
- style: rustfmt + doc-link cleanup for IR-1 signature work
  
  krypticmouse
  and
  claude
  committed
  c408f4e
- Merge value-level signatures (RFC 0002 IR-1): SignatureDef + one static cache
  
  krypticmouse
  and
  claude
  committed
  3475192
- test(engine): close §5.4 evidence gaps — concurrency bound, gate budgets, charge, versioning, baseline-hash and salt cache keys
  
  krypticmouse
  and
  claude
  committed
  e7844cf
- refactor(copro): port COPRO onto the shared evaluation engine
  
  krypticmouse
  and
  claude
  committed
  0705cb9
- refactor(mipro): port MIPROv2 onto the shared evaluation engine
  
  krypticmouse
  and
  claude
  committed
  4e07719
- feat(optimizer): SIMBA — minibatch introspective ascent on the shared engine
  
  krypticmouse
  and
  claude
  committed
  4e63e51
- refactor(optimizer): de-dup sweep — delete the pre-engine eval/apply/restore seam
  
  krypticmouse
  and
  claude
  committed
  28f576f
- feat(ir): the graph core — Program arenas, closed Node enum, params/overlays, validation (RFC 0002 IR-2)
  
  krypticmouse
  and
  claude
  committed
  0783eea
- feat(ir): the interpreter — async evaluation of loaded programs (RFC 0002 IR-3/IR-4)
  
  krypticmouse
  and
  claude
  committed
  6c49b49
- test(ir): run the RFC 0002 §4.3 worked example end to end
  
  krypticmouse
  and
  claude
  committed
  ea5aa58
- Merge IR core: Program arenas, 9-node interpreter, builder frontend (RFC 0002 IR-2/3/4)
  
  krypticmouse
  and
  claude
  committed
  9f97960
- feat(trace): strict replay — serve Predict calls from a recorded Trace (RFC 0001 PR-4)
  
  krypticmouse
  and
  claude
  committed
  d3bde0c
- test(trace): counterfactual replay — UntilDivergence proven on a mutated fx candidate (RFC 0001 §4e)
  
  krypticmouse
  and
  claude
  committed
  5bf41eb
- feat(trace): RL rollout export — Agent Lightning / verifiers convention (RFC 0001 §4f)
  
  krypticmouse
  and
  claude
  committed
  3db6a54
- refactor(data): delete Prediction — cache stores usage, not an untyped carrier
  
  krypticmouse
  and
  claude
  committed
  8f4b2fc
- refactor(demos): demo rows are flat JSON objects, not RawExample
  
  krypticmouse
  and
  claude
  committed
  fd17801
- refactor(data): delete RawExample — the typed pair is the only data carrier
  
  krypticmouse
  and
  claude
  committed
  a0c704d
- feat(trace): OTel export — GenAI-convention spans in OTLP/JSON shape, zero deps (RFC 0001 §4g)
  
  krypticmouse
  and
  claude
  committed
  fa9d15b
- Merge replay + exports: strict/counterfactual replay, RL rollout + OTel export (RFC 0001 PR-4/5)
  
  krypticmouse
  and
  claude
  committed
  3fadce6
- Merge carrier collapse: Prediction + RawExample deleted, demos are flat JsonMap rows
  
  krypticmouse
  and
  claude
  committed
  d84fae0
- feat(ir): fx <-> Overlay bridge — bind/unbind + with_overlay scope (RFC 0002 IR-2 leftover)
  
  krypticmouse
  and
  claude
  committed
  dd79c35
- feat(ir): ModuleState <-> Overlay serde projection (RFC 0002 §2.4)
  
  krypticmouse
  and
  claude
  committed
  55376e6
- feat(ir): Program::bake — fold an overlay into a new program, stamp lineage (RFC 0002 IR-6)
  
  krypticmouse
  and
  claude
  committed
  ca8bd84
- feat(optimizer): IR-native eval path — candidate overlays with TRUE candidate-level parallelism (RFC 0002 IR-6)
  
  krypticmouse
  and
  claude
  committed
  7e51b1d
- feat(trace): Trace::attach_program fills RFC 0001's reserved param_ids column (RFC 0002 §3.3)
  
  krypticmouse
  and
  claude
  committed
  818adb6
- style: rustfmt the new IR-6 bridge/engine/test files
  
  krypticmouse
  and
  claude
  committed
  85e582e
- feat(ir): the .dsrs text format — parser, canonical printer, text-preimage hash (RFC 0002 IR-5)
  
  krypticmouse
  and
  claude
  committed
  dca5d9e
- test(ir): golden .dsrs fixtures — dual-frontend equality, round trips, parse-error quality
  
  krypticmouse
  and
  claude
  committed
  20ea3c4
- docs: dsrs-format.md — one-page LLM-oriented .dsrs syntax reference
  
  krypticmouse
  and
  claude
  committed
  fa2db25
- Merge IR-5: .dsrs text format — parser, canonical printer, text-preimage hash
  
  krypticmouse
  and
  claude
  committed
  dc42e82
- fix(ir): carry Lineage.overlay through the .dsrs lineage block
  
  krypticmouse
  and
  claude
  committed
  3e732f5
- feat(dsrs-tools): Capability::from_tool — rig tools as sandbox JS APIs
  
  krypticmouse
  and
  claude
  committed
  0331f07
- feat(macros): include_program! — build-time .dsrs embedding (RFC 0002 IR-7, §6.1)
  
  krypticmouse
  and
  claude
  committed
  2209ca0
- feat(dsrs-tools): CodeModeTool — one run_js tool replaces N JSON tool calls
  
  krypticmouse
  and
  claude
  committed
  e664dc3
- feat(cli): dsrs binary — check, fmt, and the serving host (RFC 0002 IR-7, §6.2)
  
  krypticmouse
  and
  claude
  committed
  460e062
- feat(dspy-rs): code-mode feature — ToolSet::code_mode for the module lane
  
  krypticmouse
  and
  claude
  committed
  f7f9c3f
- test(ir): include_program! through the dspy_rs re-export
  
  krypticmouse
  and
  claude
  committed
  479aa13
- feat(ir): Code Mode as a RuntimeEnv binding — AgentLoop presents run_js
  
  krypticmouse
  and
  claude
  committed
  8e4a2e0
- Merge Code Mode: rig tools as sandbox JS APIs, run_js meta-tool, module + IR lanes
  
  krypticmouse
  and
  claude
  committed
  2a46da6
Commits on Aug 15, 2026
- fix(docs): unbreak the deployed Reference tab
  
  krypticmouse
  and
  claude
  committed
  2c217a6
- docs: commit the uncommitted docs baseline before the revamp
  
  krypticmouse
  and
  claude
  committed
  39ec27e
- docs: Field Guide skeleton — 3-tab nav, redirects, Prologue landing
  
  krypticmouse
  and
  claude
  committed
  bba9e5a
- docs(field-guide): Act I + first half of Act II — chapters 1 through 8
  
  krypticmouse
  and
  claude
  committed
  20b944f
- docs(field-guide): Acts III-V — chapters 9 through 15, absorbed pages retired
  
  krypticmouse
  and
  claude
  committed
  7aa2f89
- docs+examples: compile-verify the Field Guide, add Front Desk examples 18-26
  
  krypticmouse
  and
  claude
  committed
  25e2fe2
- docs(guides): de-stale the optimizer recipes, shared comparison, examples index
  
  krypticmouse
  and
  claude
  committed
  d5192fd
- docs(internal): make two internal notes MDX-parse-safe
  
  krypticmouse
  and
  claude
  committed
  556236e
- docs: restructure to one page per component
  
  krypticmouse
  and
  claude
  committed
  e9217b4
- docs: auto-generated API Reference tab from rustdoc JSON
  
  krypticmouse
  and
  claude
  committed
  ec235d5
Commits on Aug 17, 2026
Commits on Aug 19, 2026
- feat(docs): add agentic search functionality and chat widget
  krypticmouse
  committed
  a234150
- feat(docs): enhance toast-chat.js with Rust syntax highlighting and improved code styling
  krypticmouse
  committed
  f8431ed

Commits

Commits on Jul 28, 2026

Commits on Aug 14, 2026

Commits on Aug 15, 2026

Commits on Aug 17, 2026

Commits on Aug 19, 2026