CLAUDE.md@workspace/redesign/v2/proof/writing/agent-instructions · git:20261009.7b3f1e8 · 2026-10-09 · sha256 3c7d7dcdb85defff

CLAUDE.md@workspace/redesign/v2/proof/writing/agent-instructions git:20261009.7b3f1e8B

Immutable. This exact content never changes and is served at /api/v1/blob/3c7d7dcdb85defff.

@AGENTS.md

<!-- Shared instructions live in AGENTS.md so Codex and Claude Code read the same facts. Add Claude-only notes below. -->