Stricter, OPT-IN variant of contract: identical runtime behavior + literal inference, but every route must be
DOCUMENTED (a summary or description) or it fails to type-check at the contract site — lifting the doc-coverage
audit (audit()'s missing-doc finding) into the type system, so an undocumented operation is a red squiggle, not a
CI warning. contract() stays UNCHANGED (some callers author docs separately / exercise the advisory audit); adopt
contractDoc where you want documentation enforced as you type.
@suluk/hono— the derivation engine. The user authors minimal RouteContracts (Hono + Zod); everything else is derived: the v4 document (dynamic per principal + time), request validation, contract tests, and a documentation-coverage audit. See tooling/ARCHITECTURE.md. CANDIDATE tooling.