Deterministic Code as a Safety Net

  • DGG Conversion
  • Lost in the Middle
  • RAG Saturation

The DGG project made contact with the outside world this week.

Agentic DGG conversion

I integrated a collaborator's FoxFlow transpiler service, which exposes an OpenAI-compatible endpoint. Around it I built an extractor for FoxFlow code blocks, a lightweight local validator with three syntax checks, deterministic repairs for known problems, and a validate-and-retry loop.

The bigger addition is a deterministic emitter that turns the typed DGG model straight into FoxFlow, with no LLM involved. I wrote a golden corpus of six hand-built models (particle loop, birth-death, diffusion along an edge, microtubule growth, boundary interaction, observable counting) and documented how our representation maps onto FoxFlow and the DGGML C++ library.

The first smoke test against the live service timed out, which is exactly why a deterministic path matters. When the LLM path fails, the system can still produce something checkable instead of nothing.

Lost in the Middle

I prepared the reproduction for release: a mocked test for the Ollama adapter, an MIT license, a preflight document with 23 passing tests and every citation checked against ACL Anthology, arXiv or OpenReview, and a tagged v0.1 release.

RAG saturation

I added proper packaging with pinned dependencies, made metric saving idempotent so re-runs replace rows instead of appending duplicates, and wrote a release manifest that maps every artifact to the run that produced it.