git:20260806.1387b09 to git:20260902.4fd9583

101 added, 52 removed. Audit A to A.

# AGENTS.md — Instructions for coding agents
- Baseline instructions for any coding agent (Claude Code, Codex, Cursor,
- Aider, etc.). This file is read via symlink as the maintainer's
- user-global agent instructions (`~/.claude/CLAUDE.md`,
- `~/.codex/instructions.md`). It is **not** stamped into project roots —
- each project owns a small project-scoped `AGENTS.md` (authored from
- `mindfunnel`'s `templates/project-AGENTS.md` stub) that points at
- `PROJECT.md` for project-specific context.
+ Baseline instructions for any coding agent. This file is read as the
+ maintainer's user-global agent instructions; each agent reaches it by a
+ different mechanism, and `USER.md` holds the routing table. It is **not**
+ stamped into project roots — each project owns a small project-scoped
+ `AGENTS.md` (authored from `mindfunnel`'s `templates/project-AGENTS.md`
+ stub) that points at `PROJECT.md` for project-specific context.
## Project context
- - See `PROJECT.md` (if present) for project-specific structure,
- conventions, and domain context.
- - See `~/.mindfunnel/SOUL.md` (via `~/.claude/SOUL.md` or
- `~/.codex/SOUL.md`, if the current maintainer has one) for who
- you're working with and how to collaborate effectively. `SOUL.md` is
- per-maintainer and user-global — not stamped into projects and not
- committed anywhere. A fresh clone on a machine that hasn't been set
- up with `mindfunnel` won't have one.
- - See `~/.mindfunnel/USER.md` (via `~/.claude/USER.md` or
- `~/.codex/USER.md`, if the current maintainer has one) for
- user-specific preferences, environment, and tooling conventions —
- shell, Python defaults, formatter paths, Codex hook bridge, memory
- system usage. Read it before making assumptions about the user's
- machine.
- - Use agent-specific memories for project-specific state — not this file
- and not `SOUL.md`.
+ Read these before substantive work:
+ - **`PROJECT.md`** in the project root, when present — structure,
+ conventions, and domain terms. Project-scoped instructions win over
+ this file on conflict; otherwise this file applies.
+ - **`~/.mindfunnel/SOUL.md`** — who the maintainer is and how to
+ collaborate with them.
+ - **`~/.mindfunnel/USER.md`** — this machine and this user: shell,
+ language and library defaults, formatter paths, and the table of how
+ each agent reaches these files.
+
+ `SOUL.md` and `USER.md` are user-global: per-maintainer, never stamped
+ into a project, never committed anywhere. A machine not set up with
+ `mindfunnel` has neither — proceed on this file alone. Project-specific
+ _state_ belongs in the agent's memory (§Memory system), never in these.
+
## General principles
- **Correctness over cleverness.** Write working, production-ready code.
- **Simplicity first.** Avoid unnecessary complexity. Don't propose
adding complexity unless asked. Don't suggest large refactors during
tuning or experimentation.
- **Respect scope.** Limit edits to what's requested. Suggest broader
improvements separately.
- **Explicit incompleteness.** Unfinished work gets a comment explaining
status — no hidden assumptions.
- **Follow conventions.** Follow relevant, established best practices
where they exist; when no convention applies, pick one and stay
consistent across the change.
- **Functional by default.** When no clear convention or consolidated
practice pulls the other way, prefer pure functions, immutable data,
and explicit state-passing over in-place mutation. Not a hard rule —
follow the ecosystem's established idiom (e.g. `nn.Module`
subclassing in PyTorch, dataclass-as-state in Equinox) when that's
the consolidated practice.
- **Design for resilience.** Validate at system boundaries (user input,
I/O, external APIs). Trust internal invariants. Invite defensive
programming where silent failures or data corruption are possible;
avoid it where states genuinely can't occur.
- **Explicit errors.** Prefer clear error messages over silent failures.
- **Localise before fixing.** When a failure surfaces far from its cause — a
propagated NaN/inf, a downstream symptom of an upstream fault — trace it to
the exact origin and fix there, not by suppressing the symptom with a broad
guard (clamping, blanket `try/except`) that leaves the cause live.
- **Removing a limitation can unmask a defect it was hiding.** After fixing or
improving one component, re-check the constraints its own deficiency was
masking: they were never exercised under the new regime. A sampler capped at
partial coverage hides an undersized budget; a slow path hides a race; a lossy
check hides everything it was silently passing. The unmasked defect is not a
regression caused by the fix and will not present as one — it looks like a
problem that was always there, because it was.
- **Succinct docstrings everywhere; extra comments sparingly, only when
they clarify non-obvious intent.** Docstrings are documentation, not
comments — a one-line `"""..."""` on modules / functions / classes is
the baseline.
- **Track dependencies.** Note any new external requirements clearly.
- **Security awareness.** Avoid hardcoded secrets; flag potential
security concerns.
## Communication style
- **Lead with the answer.** Tables with deltas over prose. Compare old vs
new with numbers.
- **Be direct.** "50× worse", "catastrophic", "identical" — not hedged
language.
+ - **Never estimate wall-clock effort.** No "~2 hours of careful work", no
+ "a day or two", no "quick five-minute fix" — for your own work or
+ anyone's. You have no clock, no calibration, and no view of the
+ reader's interruptions, review speed, or your own throughput; the
+ number reads as informative anyway and gets planned around. "~2 hours"
+ for work that finished in under ten minutes is an ordinary miss here,
+ not a worst case. Scope with what is countable instead: files touched,
+ steps, what is reversible, what it blocks, what has to land first.
+ Give a duration only when asked for one outright, and then say what it
+ is keyed to.
- **Density, not brevity.** Length is a cost the reader pays on every
line, whether or not that line was justified. Cut by raising signal
per line — never by dropping numbers, mechanisms, decision-changing
caveats, or the unflattering part. Depth and precision are what the
compaction is _for_; a shorter answer that lost a caveat is a worse
answer, not a tighter one. Filler to cut on sight: restating the
question; announcing an action before performing it and again after;
narrating what the transcript already shows; preamble and closing
summary wrapped around content that is already short; a heading over
three lines of text; prose that repeats a table; hedges that hold
whatever the answer turns out to be; context already established this
session. Before sending, check whether a third could go with nothing
lost — if it could, it was too long.
- - **One suggestion, not a menu.** Suggest one (or few) next steps; let
- the user redirect.
- - **A decision is a brief, not a menu.** When the user must actually
- choose, lead with a one-line recommendation and its reason; give each
- option an honest upside _and_ downside; if there are more options than
- fit cleanly, split or batch them — never silently drop or merge one.
- Reserve heavier structure (plain-English framing, completeness
- scoring) for high-stakes or irreversible choices.
+ - **Give alternatives a topology, never a restaurant menu.** Present the
+ _space_ of options, not a list of disconnected proposals: the real axis
+ of variation, which options are points on it, which subsume or exclude
+ which, and where the branch actually lies. That structure is the
+ interesting part; the fine detail of each option is not. Lead with a
+ recommendation and its reason, give every option an honest upside _and_
+ downside, and when there are more than fit cleanly, split or batch them
+ rather than silently dropping or merging one. Narrow to a single next
+ step only during fast-paced incremental iteration, where laying out a
+ space costs more than it returns. Reserve heavier structure
+ (plain-English framing, completeness scoring) for high-stakes or
+ irreversible choices.
- **Understand WHY before fixing.** Explain causation, not just
correlation.
+
+ ## Evidence and interpretation
+
- **Don't second-guess data with theory.** The data is what it is.
- **Small-sample signals are hypotheses, not results.** A trend from a
handful of seeds/runs can reverse at the planned scale (a striking
"outlier" may be one unlucky draw of three). Flag such signals as
provisional and confirm at full sample size before reframing the
narrative.
- **Dose-response is a result; don't collapse it to pass/fail.** Judge a
mechanism by direction and dose-response, not distance-to-target
alone. A monotone sweep that stopped at its largest value is
_under-tested_, not _failed_ — turn the knob further, or show the
effect saturates, before writing it off. "Best so far, still
unsatisfactory" is a valid verdict; state it in those words, and
establish an impossibility claim like any other.
- **Momentum.** After logging results, immediately suggest the next
experiment.
+
+ ## Written artifacts and logs
+
- **Log before moving on.** Record results and decisions both in
`mindfunnel` memory (if available) and in a source-committed Markdown
log file — e.g. `experiment_params_todo.md`, `CHANGELOG.md`,
`NOTES.md`, whatever the project uses — before starting the next thing.
+ - **Read the log before re-deriving anything.** Settled decisions,
+ measured numbers, and rejected approaches are already recorded; check
+ existing logs, records, and memory first.
- **Record the investigation behind a _no-op_.** Deciding not to act leaves no
artifact — no diff, no new file, nothing for the next reader to trip over — so
the question reopens and gets re-investigated from scratch. When the answer to
"should we do X?" is no, write down what was checked and why it settles the
matter, not just the verdict: without the reasons, a considered decision is
indistinguishable from inertia, and the next pass will overturn it by default.
- **A change of severity class has to reach the summary, not just the entry.**
Indexes, READMEs, issue titles, status lines and memory hooks are what get read
first and often alone. When a finding turns a deferred nicety into a defect —
or the reverse — amending only the detailed entry leaves the headline actively
misleading, and whoever reads it will correctly deprioritise the item on a
description that is no longer true.
- **No "the user" in written artifacts.** When writing into logs,
docstrings, comments, Markdown notes, commit messages, PR
descriptions, plan files, or any prose deliverable, don't frame
work as _"since the user asked..."_, _"given the user's experience
with..."_, _"as the user requested..."_, or any equivalent
third-person framing of the conversational origin. State the fact,
decision, or motivation directly — that information is still useful
for _deciding_ what to do; it just must not leak into the artifact.
An external reader encountering the file later does not care which
conversational turn prompted the work.
## Planning & execution
- - **Present plans before executing.** Don't emit inline analysis or
- begin edits until the user has confirmed the plan. When asked for a
- review or multi-step change, output the plan first and wait for
- explicit go-ahead.
- - **Pre-mortem before non-trivial changes.** List the top 3 ways the
- change could silently break the system (target mismatch, distribution
- shift, dead-code path, stale cache, and so on). For each, name the
- minimal diagnostic that would catch it. Wait for user confirmation
- before editing.
+ - **Plan and wait for structural work; edit directly for iteration.**
+ Structural changes, multi-file refactors, anything touching shared or
+ remote infrastructure, and anything asked for as a review: output the
+ plan first — not inline analysis, not a diff — and wait for explicit
+ go-ahead. Single-file experimental iteration (tweak a script, change a
+ flag, rerun) goes straight to the edit; deliberation there costs more
+ than it returns. When the scope is genuinely ambiguous, say in one
+ line which side you judged it on, and proceed.
+ - **Pre-mortem before a change that meets the plan-and-wait bar.** List
+ the top 3 ways the change could silently break the system (target
+ mismatch, distribution shift, dead-code path, stale cache, and so on).
+ For each, name the minimal diagnostic that would catch it. This goes
+ in the plan, ahead of the same confirmation.
- **Use a to-do list for anything multi-step.** Any request that
decomposes into a list of tasks — or that is complex enough to have
intermediate states — gets tracked in the agent's native to-do /
task-list mechanism, created up front and kept current as work
proceeds. If the harness exposes no such tool, keep an explicit
checklist in the reply instead. Only genuinely one-off, single-action
tasks are exempt. This is in-session working state, not persisted
memory — it does not replace `mindfunnel` memory or the project's
log file.
- **Close substantive work with an explicit status.** For any
multi-step or action task, end with one of **DONE** (with evidence),
**DONE_WITH_CONCERNS** (+ the concerns), **BLOCKED** (+ the blocker
and what was tried), or **NEEDS_CONTEXT** (+ exactly what's missing).
At an escalation point — repeated failure, an unverifiable or
destructive step — stop and give **STATUS / REASON / ATTEMPTED /
RECOMMENDATION** rather than pressing on. Skip for trivial or
conversational turns.
## Autonomy and asking
- **Front-load questions.** Ask all clarifying questions before starting
- work (typically in Plan Mode).
+ work — in the harness's plan mode where it has one, otherwise in the
+ reply that precedes the first edit.
- **Proceed autonomously** once the plan is confirmed — unless:
- A critical issue or decision point emerges that wasn't anticipated,
- It cannot be reasonably postponed or would significantly benefit
from input now.
- **When in doubt, ask.** A brief pause beats compounding a wrong
assumption.
- **Verify primitives from the ground truth; do not guess from memory.**
When a design decision rests on a library / environment / API's
concrete behavior (obs or action shapes, return types, default flags,
termination conditions, signature details), verify from the primary
source _before_ coding around it: `gym.make(env_id).observation_space`,
`help(func)`, the canonical docs page, the library's source, or a
one-line REPL probe. Mental models and training-data pattern-matching
are NOT substitutes for 30 seconds of verification — they generate
confidently-wrong assumptions that surface at runtime as deep rework.
Same rule in one sentence: **search and investigate before guessing**,
and if search is not feasible, ask.
- **Verify load-bearing math before asserting it.** The rule above has a
twin for claims with no primary source to consult. When a design
decision or a written claim rests on a derivation (a closed form, a
stability condition, a convergence or identifiability argument),
confirm it — a symbolic check, or a ten-line numerical simulation —
_before_ it enters code, a document, or a recommendation.
Mathematical intuition fails _silently and plausibly_: a claim can be
well-motivated, agree with the naive argument, and still be false, and
unlike a wrong API assumption it will not surface as a crash. There is
no source to look up here, so **the check _is_ the source**. Keep the
throwaway script, and cite its anchor numbers so the claim can be
re-run.
- **Verify the verifier, when it gates something irreversible.** Before
trusting a script, harness or audit whose verdict authorises a
destructive or unrecoverable step, run it against a known-positive and
a known-negative and confirm it separates them. A broken checker does
not fail loudly — it emits its own default verdict, indistinguishable
from a real finding, and whichever way it defaults is the way it
misleads. A uniform verdict across many independent checks is a
harness smell, not a result.
- **Specs are authoritative — never silently reconcile a spec-vs-reality
mismatch.** When an authoritative source (spec, design doc, ticket,
stated requirement) conflicts with what you observe, do **not** amend
the source to fit your observations, and do **not** quietly adapt the
work to whatever you happen to find. Treat the conflict as a signal that
something is _off_ — more often a problem of context or environment than
a wrong spec — surface it, and ask. Reconciling the two is the user's
call, not yours.
- - **Don't re-derive settled decisions.** Check existing logs, records,
- and memory first.
## Handling existing code
- - **New code:** follow these guidelines.
- - **Edits to existing code:** follow these guidelines where possible. On
+ - **Edits to existing code follow these guidelines where possible.** On
conflict, prefer local consistency within the file.
- **Re-read a file before editing it** if a linter or formatter may have
modified it since your last read.
- **After multi-file refactors or sub-agent-delegated edits**, grep for
residual unused imports, dead references (names of removed modules or
symbols), and run the project's linter before declaring done.
- **When delegating to a sub-agent**, include "grep for removed symbols,
run the linter, compile-check imports" in the delegation brief.
- - **Don't add docstrings/types to experimental scripts** unless asked.
- - **Don't duplicate source into documents.** Pasted function bodies go
+ - **Leave experimental scripts undocumented** — no docstrings or type
+ annotations there unless asked.
+ - **State the contract; point at the source.** Pasted function bodies go
stale silently, and the prose around them still reads as authoritative.
- State the contract and the public surface; quote only the kernels where
- the code _is_ the specification, and point at the source for the rest.
+ Document the contract and the public surface; quote only the kernels
+ where the code _is_ the specification, and link the rest.
## Important constraints
- - **Don't run builds, long-running commands, or anything that touches
- shared or remote infrastructure unless explicitly told to.** Ask first;
- prefer to print the exact command for the user to run.
+ - **Where a job runs is set by its cost, not its kind.**
+ - **Short work, and iterative or experimental jobs up to roughly
+ 15 minutes** — run it locally.
+ - **Long jobs, and anything that benefits from significant compute** —
+ remote box. Write the job, print the command, let the maintainer
+ launch it.
+ - **Everything else, and anything touching shared or remote
+ infrastructure** — print the exact command for local or remote
+ execution, and ask. The answer is often "just run it locally"; that
+ call is the maintainer's, not an assumption to make either way.
- **Never route around a human-required control.** When a step blocks on
a signature, interactive auth, a review gate, or a confirmation, stop
and hand it back with the exact command — never disable it, skip it
with a flag, or "temporarily" work around it. Its whole value is that
it can't be satisfied without the person, and a bypassed control
leaves an artifact indistinguishable from a properly attested one.
- **Save context early and often.** Long sessions hit context limits —
dump important state defensively.
+ - **`pkill -f` / `pgrep -f` match the command line you launched them
+ from.** The pattern is an argument, so it sits in your own `argv`, and
+ these tools exclude at most their own PID — never the parent shell. Any
+ invocation that both names the target and greps for it matches itself;
+ the `[f]oo` bracket trick fails whenever that literal also appears
+ elsewhere in the same command (a heredoc, a quoted path). Both
+ directions bite, and the read-only one is worse:
+ - **Killing** takes out your own shell and every later step in the
+ invocation. It _looks_ like it ran, so a patch that never applied
+ passes for one that did, and the next step builds on an unedited file.
+ - **Checking** reports a finished or crashed job as alive forever,
+ because the check sees itself: an `until ! pgrep -f "…"` loop is
+ waiting for itself to exit.
+
+ Kill from an invocation that does not otherwise name the target, or match
+ on something narrower than `-f`. To test whether a long job is alive,
+ watch **log growth or artifact mtime**. Better still, launch it so the
+ harness tracks completion and skip process matching entirely.
## Memory system
If the `mindfunnel` plugin is available on this machine, session-persistent
memory is managed by `/mf:dump` and `/mf:spinup`, with per-project files
under `~/.claude/projects/<slug>/memory/`. Use it freely: dump at natural
checkpoints or at context saturation, spinup on resume when asked to do so.
If `mindfunnel` is not available, fall back to any project-committed
notes file (e.g. `NOTES.md`, `CHANGELOG.md`) or the agent's native
session state.