git:20260825.88f617e to git:20260830.7707cb6

4 added, 0 removed. Audit A to A.

# AGENTS.md

CI runs exactly these — run them before pushing:

```bash

uv sync --frozen

uv run ruff check .

uv run ruff format --check .

uv run ty check

uv run coverage run -m pytest tests -q

uv run coverage report

```

Layering: the core is `src/store.py`, `src/didkey.py`, `src/config.py`, `src/limit.py`

and a thin `src/app.py` adapter.

`src/manifest.py`, docs and frontends are extra — never counted as core.

Core size caps live in `sz-baseline.json` (`caps`); check with `uv run sz.py --caps`.

Growth past a cap needs a new primitive, or belongs in extra.

- If uv cannot write its default cache (sandboxed agent/CI environments), use

`UV_CACHE_DIR=$PWD/.uvcache` — a worktree-local cache always works.

+ - Input handling has one rule, written down once: docs/design.md §3.5 — advisory params

+ (`limit`, `wait`, `n`, `format`, `since`) clamp and the schema documents the clamp;

+ semantic ones (identity, content, `if=`/`if_absent`, names) refuse with a 400 naming the

+ field. `tests/test_contract.py` fails the build on drift either way.

- Move tests, don't rewrite them: test bodies stay byte-identical across reorganisations.

- Size the core with `uv run sz.py` (table) and `uv run sz.py --check`

(fails if core code-lines grew past `sz-baseline.json`). Its PEP 723 header makes it

standalone: `uv run` it from anywhere, no project env needed.

- quint-specs/, quint-oracle.*.json, src/oracle_client.py, tests/conftest.py, preflight.sh,

submit.sh are local-only WIP — never commit them.