diff --git a/AGENTS.md b/AGENTS.md index 83b25a167..97efa5b72 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -9,7 +9,8 @@ Mathematical candidates, proofs, programs, and reproducible calculations. Not a - Coordinate via [`main`](https://github.com/d6g8k5htny-coder/main) campaign work and the [`governance-`](https://github.com/d6g8k5htny-coder/governance-) working contract. - Prefer exact source identities (commit/path/hash) over mutable labels. - Scientific effect: **NONE**. Never flip `lemma_closed` / prizes / premises. -- Cross-repo eng tests and Path C live in [`d6g8k5htny-coder/trial`](https://github.com/d6g8k5htny-coder/trial). +- [`d6g8k5htny-coder/trial`](https://github.com/d6g8k5htny-coder/trial) retains historical cross-repo eng tests and Path C material (observed archived on 15 October 2026); route current work through [main's current workflow](https://github.com/d6g8k5htny-coder/main/blob/main/governance/OP-WORKFLOW-20260930.md) (live operational guidance) and the active coordination board above. + For reproducibility, [the workflow reviewed with this change](https://github.com/d6g8k5htny-coder/main/blob/4f600d9dc0441113568483fb3c34533b4be7440e/governance/OP-WORKFLOW-20260930.md) is a pinned 15 October 2026 as-of reference, **not** a substitute for the live current instructions. - Calculations here use the Python standard library only (no extra pip env required in this repo). ## Never @@ -22,7 +23,7 @@ Mathematical candidates, proofs, programs, and reproducible calculations. Not a 1. This repository’s [README](README.md) 2. [`governance-` working contract](https://github.com/d6g8k5htny-coder/governance-) -3. [`trial` multi-agent access](https://github.com/d6g8k5htny-coder/trial/blob/main/docs/MULTI_AGENT_ACCESS.md) (Cloud Agent env deps live on trial `.cursor/environment.json`) +3. [`trial` multi-agent access](https://github.com/d6g8k5htny-coder/trial/blob/main/docs/MULTI_AGENT_ACCESS.md) is historical launch-environment documentation; the archived `.cursor/environment.json` is not current runtime or access authority. ## Additive formal lane — owner directive 2026-09-27