docs: API contract artifacts contract (S2 contract 9) #1443

Merged
fred merged 10 commits from contract/api-artifacts into next 2026-08-27 19:18:39 +00:00
10 Commits
Author SHA1 Message Date
fred 1168c4b0d4 docs: api-artifacts contract revision 10 (luna r9 residual NF1: pinned lifecycle-order map makes stage-order attribution decidable)
ci/woodpecker/pr/ci Pipeline was successful
2026-08-26 22:58:40 -05:00
fred 4f1115d06c docs: api-artifacts contract revision 9 (luna r8 NF1 pipeline-staged default attribution, NF8 per-kind content witness, NF9 URL fall-through class)
ci/woodpecker/pr/ci Pipeline was canceled
2026-08-26 22:44:21 -05:00
fred f988513300 docs: api-artifacts contract revision 8 (luna r7 residuals F1/F2/NF1/NF2 + NF7)
ci/woodpecker/pr/ci Pipeline was canceled
- §7.7(d)(2): execution-pipeline attribution — framework interception
  components attach to framework-routed routes only; adapter hook-chain
  components attributed by dispatch predicate; raw-mounted routes never
  carry framework-component statuses (phantom rejection + raw-hook
  control) (F1)
- §7.2: method-partition exhaustiveness — acceptance/refusal path
  classification; forwarding complement or unguarded branch fails;
  declared external method contract for non-production forwarding edges
  (F2, NF2)
- §7.7(d)(5): exhaustive default inventory — total classification over
  pinned options-type keys plus configured composition-root options;
  unclassified key fails; bodyLimit migration example (NF1)
- §2.2/§7.5: three entry kinds; Delegated:/Excluded: exact sub-item
  syntax mirroring §4.4 allowlist and §4.1 exclusion list; revised (k)
  kind-partition rule; new (l) exclusion mirror; twelve reject rules
  (NF7)
2026-08-26 22:22:34 -05:00
fred 82afd633a2 docs: api-artifacts contract revision 7 (luna r6 residuals F1/F2/F4/F9 + NF1-NF4 + NF6)
ci/woodpecker/pr/ci Pipeline was canceled
2026-08-26 21:58:49 -05:00
fred 903c056b0f docs: api-artifacts contract revision 6 (luna r5 residuals F1/F2/F4/F9 + NF1-NF5)
ci/woodpecker/pr/ci Pipeline was canceled
2026-08-26 21:34:11 -05:00
fred 26b3560ca2 docs: api-artifacts contract revision 5 (luna r4 residuals F1/F2/F4 + F9)
ci/woodpecker/pr/ci Pipeline was canceled
2026-08-26 21:05:54 -05:00
fred 6ea6b020f0 docs: api-artifacts contract revision 4 (luna re-review residuals F1-F4/F6 + F7/F8)
ci/woodpecker/pr/ci Pipeline was canceled
2026-08-26 20:46:07 -05:00
fred 54f6ccf717 docs: api-artifacts contract revision 3 (luna re-review residuals + F6)
ci/woodpecker/pr/ci Pipeline was successful
F1: route metadata record defined as a closed required-field list with
a per-field completeness predicate; production route made a decidable
term; generator computes the inventory route set first and fails
naming route and field.
F2: inventory scans all production source in apps/ and packages/ with
an enumerated registration-primitive list; deployment profiles bound
to the closed tier enumeration with a declared condition field; event
names bound to one typed registry with a literal-name rule.
F3: ENDPOINTS.md checker defined as a repository script with five
exact reject rules over a Markdown AST parse, one control per rule.
F4: retirement equivalence algorithm fully enumerated
(canonicalization steps, legacy error-code derivation, covering-entry
selection, permission equality); validator pinned to Redocly CLI.
F5: section 8 items 11-12 disclose the definitions and the witness
machinery.
F6: delegation allowlist (prefix, engine package, engine contract,
registering module) with a below-prefix boundary check; non-allowlisted
prefixes are ordinary route-by-route surface.
2026-08-26 20:11:49 -05:00
fred 6043b9ebff docs: api-artifacts contract revision 2 (luna review F1-F5)
ci/woodpecker/pr/ci Pipeline was canceled
F1: declared route-metadata layer as complete generator input; generator
fails closed on any route lacking extractable metadata; migration of
local-DTO/inline-typed/raw-handler routes named as implementing-PR scope.
F2: coverage closed over raw framework mounts, delegated surfaces,
tier-conditional controllers, SSE, and both-direction Socket.IO events;
explicit exclusion and delegation lists.
F3: ENDPOINTS.md structured entry format with operationId links; the
no-duplication rule reattributed as new disclosed policy with a
mechanical boundary witness.
F4: witnesses added for OpenAPI 3.1 validity, family coverage in
ENDPOINTS.md, per-entry required content, fail-closed generator control,
and a defined retirement equivalence algorithm.
F5: section 8 disclosure completed (10 items); Authority paragraph
restated in the sitemap's own terms.
2026-08-26 20:02:49 -05:00
fred f891f78e7b docs: API contract artifacts contract (S2 contract 9)
ci/woodpecker/pr/ci Pipeline was canceled
2026-08-26 19:45:03 -05:00