refact: remove implicit contracts section from AGENTS.md for clarity
cognitive committed
Apr 3, 2026 at 08:06 UTC
d64f31460b161b63850584c2d40ab9ebf0c7e947
1 file changed
-9
AGENTS.md
-9
@@ -17,15 +17,6 @@ These are mandates, not suggestions.
17
- Zero external dependencies unless the alternative is re-implementing a non-trivial, correctness-critical algorithm. Justify in the commit message.
18
- Interfaces express behavior, not taxonomy. One or two methods. If an interface has no consumer, delete it.
19
20
-## Implicit Contracts
21
-
22
-Expensive to rediscover. Do not violate without understanding why these exist.
23
-
24
-- **HTTP/1.1 is non-negotiable on the control plane.** `/sdk/connect` relies on HTTP/1.1 hijacking to upgrade reverse sessions. HTTP/2 silently breaks this path.
25
-- **Reverse session marker bytes are protocol state.** `0x00` (idle keepalive), `0x01` (raw TCP activation), `0x02` (TLS passthrough activation). These encode session lifecycle transitions, not transport metadata. Misinterpretation causes silent connection staleness.
26
-- **Admin policy is global and immediate.** Banning, approval mode, IP filters, and rate limits apply to all leases in real-time. There are no per-lease overrides. Do not introduce per-lease policy without rethinking the `policy.Runtime` ownership model.
27
-- **Frontend-backend contracts have no codegen.** SSR data shape, API paths, API envelope, and HTML placeholders are manually synced across Go and TypeScript. See `frontend/CLAUDE.md` for the full contract inventory.
28
-
20
## Testing
21
22
- A test exists to catch real bugs. If deleting the test would not let a bug reach production, delete the test.