Product repos · agents · CI
Integrate the gate. Keep main honest.
For developers wiring ArkGate into a product repository. Happy path first; power tools and full config on GitHub.
Default integration
Start, doctor, required status
--strict-merge (or compatibility
--strict) is the repository-wide hard boundary for
every agent host—when the status is required.
Host write path
Honesty by host
| Host | Local write | MCP | Merge |
|---|---|---|---|
| Claude · Grok · Antigravity | Hard PreToolUse when installed + trusted | Advisory | Required status |
| Codex · OpenCode | Best-effort / advisory | Advisory | Required status |
| Cursor | Advisory only | Advisory | Required status |
Full matrix: Hosts page · ai-gates.md ↗
Full hardness matrix: Hosts.
Contract and placement
Config, preflight, dual labels
- Layers, rules, globs — configuration.md ↗
- ArkRules (structure + invariants) — ArkRules section ↗
- Package surface — package-surface.md ↗
- TypeScript 5 / 6 / 7 — typescript-support.md ↗
Prefer prepare/preflight before the host commits disk.
Mechanical-safe patches only for proven kinds; ArkRules fixes are
judgment. Skills must label residual
[Layer] vs [ArkRules].
Brownfield and Shape
Align · Stabilize · Shape
- Align — contract matches reality (not false green)
- Stabilize — baseline freezes real debt; ratchet only new violations
- Shape — design residual (plan B), one pilot at a time, never silent codemod
Guide: brownfield-adoption.md ↗
Upgrade
Project-local, then doctor
On brownfield Next with an older config:
npx arkgate-check --migrate-contract --write. See
4.1.0 notes. Prefer
project-local npx arkgate over a stale global
ark.
Full develop doc: develop.md ↗ · Agent guide: agent-guide.md ↗