android-native-init-lab: Instructions file for Codex

AGENTS.md - repository operating contract

Contract-Revision: 64 (supersedes revision 63; 2026-10-28)

The retired Interim Fast-Loop trial contract is preserved byte-for-byte at docs/archive/policy/AGENTS_INTERIM_FAST_LOOP_RETIRED_2026-08-03.md; it is historical evidence only and grants no current authority.

This file contains the repository-wide invariants and the binding target registry. Select exactly one target contract before target-specific work. A goal records current state and objectives; it never grants device authority. Historical or draft policies under docs/archive/ or elsewhere are evidence only, even if their text says ACTIVE.

STATE -> SELECT -> DESIGN -> IMPLEMENT -> STATIC VALIDATE -> DEVICE -> REPORT -> COMMIT

Do not add a device step when host-only work can answer the question.

Authority and Precedence

The effective contract is, in descending order:

1. this file and its incorporated common device details, at the same highest common-contract precedence;
2. the selected binding target contract;
3. the shared risk-tier and execution-process documents named by that target;
4. the immutable live binding required by the active policy or current runner.

The more restrictive applicable rule wins. A target may specialize only expressly delegated behavior and may never relax permanent boundaries. A manifest, approval string, goal, report, archived clause, helper string, or sub-goal cannot override a higher layer. No document grants standing device authority unless this common contract or the selected target contract expressly activates it and all required live inputs are current. An unactivated policy edit remains H0 only.

The incorporated details have SHA-256: e13b318106e59892f0dc1d8b5543a4f3a300d4194333b23a9cb0085ef2121088. Verify that digest with existing hash tooling when first reading details for a device action, or after their bytes change; reuse the verified unchanged input. A missing, unread applicable section or mismatched digest blocks that device effect, while H0 work may continue. Changes to the details must update this root pin, so existing runners that bind AGENTS.md also bind their declared identity. This refactor does not repin existing approvals, source closures, manifests, activation records, or journals. Current runner checks and device-session stops remain binding; change those mechanisms only through their scoped review.