Skip to content

docs: AF-CTR-01 delivered state, Go/C# encoding fact (V-N07), center ingress transport statuses - #41

Merged
deku2026 merged 3 commits into
mainfrom
design/af-ctr-01-delivered
Oct 28, 2026
Merged

deku2026 merged 3 commits into
mainfrom
design/af-ctr-01-delivered

Conversation

@deku2026

@deku2026 deku2026 commented Oct 28, 2026 •

Copy link
Copy Markdown
Contributor

This PR keeps the documentation in step with the migration (AD-0021, Delivery state).

  • AD-0021 Delivery state: AF-CTR-01 is delivered. Contracts #117 merged at 7205743; the Go module is go/v1.0.0-ci.410.1, published with the cohort 1.0.0-ci.410.1.
  • New verification fact V-N07 (platform capabilities §4): Go and C# Protobuf encodings of the same message mean the same thing but are not always byte-identical.
    • protobuf-go writes oneof members last; C# writes fields in field-number order.
    • Of 2,391 samples, 2,300 are byte-identical. Every difference disappears after sorting fields by number, and decoding has 0 errors.
    • The source is Contracts #117, re-run by its independent reviewer.
    • AD-0021 §10 now cites V-N07.
  • contracts/README note: names the delivered Go module and how it is published.
  • contracts/errors.md, new section on center ingress transport statuses:
    • Covers refusals the ingress pipeline makes before any handler runs. They are sent trailers-only, with the same bytes as the C# Cloud IngressPipeline they are ported from in AF-CTR-02.
    • Mapping: unregistered method → 12; auth.unauthenticated → 16; perm.resource_denied → 7; malformed validation.invalid_request → 3; over-bound validation.invalid_request → 8; state.stale_generation → 9; dependency.unavailable → 14.
    • Every other ArcError is a domain refusal: status 0, with the ArcError in the reply.

Verification:

  • check_design.py --require-protoc: 0 errors.
  • Tool tests: OK.
  • Host statuses: reported by python eng/verify.py run-and-report.

🤖 Generated with Claude Code

https://claude.ai/code/session_01H6Cf6pFe7uHMuN6zEgDLmW

deku2026 and others added 2 commits October 28, 2026 19:25
… fact (V-N07)

The Go module github.com/ArcForges/Contracts/go is delivered (Contracts #117 at 7205743, go/v1.0.0-ci.410.1).
Record the measured Go/C# byte-order difference as verification fact V-N07 and cite it from AD-0021 §10.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01H6Cf6pFe7uHMuN6zEgDLmW
Ingress refusals before any handler are transport statuses ported byte-for-byte from the C# Cloud host's
IngressPipeline (AF-CTR-02); every other ArcError is a domain refusal returned with status 0.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01H6Cf6pFe7uHMuN6zEgDLmW
@deku2026 deku2026 changed the title docs: record AF-CTR-01's delivered Go bindings and the Go/C# encoding fact (V-N07) docs: AF-CTR-01 delivered state, Go/C# encoding fact (V-N07), center ingress transport statuses Oct 28, 2026
…at clients receive

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01H6Cf6pFe7uHMuN6zEgDLmW

Copy link
Copy Markdown
Contributor Author

Independent review record

The reviewer did not author this change. They checked every claim against its source through the MCP hosts:

  • Contracts #117 merge 7205743, tag go/v1.0.0-ci.410.1, proxy resolution, CI run 40677698955 and Plan main b8b7567;
  • V-N07, against Contracts docs/engineering-controls.md and the #117 review reproduction;
  • the ingress status table, against C# IngressPipeline.cs and GrpcWebFraming.cs at Cloud faaffea and against Cloud #112 docs/center.md.

Round 1, at e9e6490: approved. It had three non-blocking findings:

  1. The Go port's status was presented as delivered when it is still target.
  2. The ArcError category column needed clarifying, since clients receive no ArcError for these refusals.
  3. The plain HTTP 404, 405 and 415 refusals and the binary gRPC widening were missing.

Round 2, at bb04dc3: approved.

  • All three findings and the optional V-N07 version detail are resolved.
  • One optional wording point remains: native gRPC's trailers-only form is a HEADERS response. It moves to the next Design documentation PR.

check_design.py --require-protoc reported 0 errors on both heads.

Host statuses at bb04dc3:

  • arcforges/windows: 3 steps in 15 s
  • arcforges/linux: 3 steps in 46 s

Generated by Claude Code

@deku2026
deku2026 merged commit 23fdf5c into main Oct 28, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant