Product repos · agents · CI
Wire the check. Keep main honest.
Wire the check. Make merge required. That is Contener · Guiar · Ordenar in a product repo.
Default integration
Start. Doctor. Required status.
Four commands. Then make the merge check required.
--strict-merge (or compatibility
--strict) is the repository-wide hard boundary for
every agent host—when that status is required.
Host write path
Honesty by host.
| Host | Write boundary | Merge guarantee |
|---|---|---|
| Cursor |
Pre-write block for
Write / StrReplace when hooks
trusted
|
Required strict-merge |
| Grok | Pre-write block when installed + trusted | Required strict-merge |
| Claude | Pre-write block when installed + trusted | Required strict-merge |
| Codex · Antigravity | Hard on listed ops when trusted | Required strict-merge |
| OpenCode | Warning only | Required strict-merge |
Repair payload and MCP detail
MCP validation is advisory; the agent must call it. Repair
envelopes may emit. Cursor Write
updated_input reinjection is not claimed. Full
matrix: Hosts.
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 ↗
-
ArkRun extra (
arkgate/runtime) — ArkRun section ↗ - ArkRun dashboard and inspector limits — 4.8.8 release notes
-
ArkOrder extra (
arkgate/order) — ArkOrder section ↗ · proof: billing gallery ↗ - 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
your judgment. Skills must label leftover work
[Layer] vs [ArkRules] vs
[ArkRun] vs [ArkOrder].
Brownfield and Shape
Align. Stabilize. Shape.
- Align — contract matches reality (not false green)
- Stabilize — baseline freezes real debt; ratchet only new violations
- Shape — leftover design work (plan B), one small refactor 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 ↗