instructions

Imported from matthewrosenzweigwork-max/Diffusive-Riesz-Phase-Diagram (COMPUTATIONS/G6_PREPARED_DYNAMICS_AUDIT_20260922/instructions/AGENTS.md). Install upstream with npx skills add matthewrosenzweigwork-max/Diffusive-Riesz-Phase-Diagram --skill instructions. Copyright stays with the author.

Repository contract for Codex agents

This is a mathematical research repository. The goal is a correct and auditable full phase diagram, not the largest collection of plausible formulas.

Always

• Preserve the frozen model and normalization. If ambiguity remains, record it before proving anything that depends on it.
• Distinguish exact identity, literature fact, proved-in-repo result, conditional theorem, formal asymptotic, numerical evidence, conjecture, obstruction, counterexample, and retraction.
• Cite primary sources with exact locations and a normalization translation. Never call a result standard, classical, new, or open without a checked source or an explicit qualification.
• Treat collision diagonals, cutoffs, self-interaction conventions, and nonuniform remainders as load-bearing.
• Keep proof generation, hostile review, and final synthesis in separate agent contexts. An authoring agent may not certify its own claim.
• Keep canonical writes serialized. Subagents return immutable reports or work on separate worktrees/branches; the root agent merges.
• Update the relevant ledgers whenever a claim, coefficient, route, dependency, assumption, computation, or obstruction changes status.
• Preserve failed approaches and retractions. Do not overwrite history.
• Continue past a first implementation or elegant reduction until the active gate is met.

Never

• Extrapolate a Hilbert--Schmidt argument across s=d/2 without proving the replacement mechanism.
• Treat the proposed higher transition staircases as established.
• Count a reduction to a theorem-strength lemma as near-completion.
• Use numerical sampling to discharge a universal quantifier.
• hide a cutoff, density, dimension, temperature, time-horizon, marginal-size, centering, or topology dependence.
• promote a theorem solely because multiple agents repeat the same argument.
• contact authors, submit or publicize a manuscript, alter the mission, or delete the frozen baseline without Matthew's approval.

Read contextually

• Scientific mission and theorem ladder: MASTER_PROMPT.md.
• Exact model, phase-diagram axes, and candidate scalings: MATHEMATICAL_SPECIFICATION.md.
• Git, files, agents, computations, and stopping rules: CAMPAIGN_PROTOCOLS.md.
• Proof certification: AUDIT_PROTOCOL.md.
• Current work: STATE/CURRENT_STATE.md, PLANS.md, and the relevant ledger.