docs: point the carrier block's limits at their argument #157

Closed

natsukium wants to merge 1 commit from docs/frly-carrier-caps-139 into main

natsukium commented

2026-09-06 11:30:16 +09:00

Owner

Fixes #139.

The reference's FRLY carrier block listed the frozen caps and the degrade
contract but gave no way into the argument behind them. It now points at the
explanation twin, so a contributor reading the limit table finds why the block
drops rather than fails, why the payload is not chunked, and when either
decision should be revisited — instead of rediscovering the rejected shapes.

Doc cascade: docs/reference/ipc.md only; the argument already lives in its
explanation twin and needed no edit.

Verified: just check green (fmt, clippy, nextest, deny, proto-compat); reviewed by pi luna + pi sol; docs proofread by Gemini gemini-3.8-flash-high

Deferred

Cross-link the explanation's "Carrier choices" section to the FRLY limits argument in "Handshake bootstrap" — the reference now links straight to the argument, so the second hop buys nothing; a heading move or duplicate pointer would be doc churn outside the plan.

Fixes #139. The reference's FRLY carrier block listed the frozen caps and the degrade contract but gave no way into the argument behind them. It now points at the explanation twin, so a contributor reading the limit table finds why the block drops rather than fails, why the payload is not chunked, and when either decision should be revisited — instead of rediscovering the rejected shapes. Doc cascade: `docs/reference/ipc.md` only; the argument already lives in its explanation twin and needed no edit. Verified: just check green (fmt, clippy, nextest, deny, proto-compat); reviewed by pi luna + pi sol; docs proofread by Gemini gemini-3.8-flash-high ## Deferred - Cross-link the explanation's "Carrier choices" section to the FRLY limits argument in "Handshake bootstrap" — the reference now links straight to the argument, so the second hop buys nothing; a heading move or duplicate pointer would be doc churn outside the plan.

natsukium added 1 commit

2026-09-06 11:30:16 +09:00

docs: point the carrier block's limits at their argument

pr / nix flake check (pull_request) Successful in 20s

Details

pr / cargo build / clippy / test / deny (pull_request) Successful in 1m44s

Details

pr / wire schema is compatible with the base (pull_request) Successful in 14s

Details

pr / frontend smoke (x86_64-linux) (pull_request) Successful in 1m2s

Details

pr / publish felis (x86_64-linux) (pull_request) Has been skipped

Details

d67f2bdd57

The reference states the frozen caps and the degrade contract but not
why the block drops rather than fails, why the payload is not chunked,
or when either decision should be revisited; that argument lives in the
explanation twin and the carrier section had no way into it, so a
contributor reading the limit table would rediscover the rejected
shapes instead of finding them.

Refs #139

natsukium closed this pull request

2026-09-06 11:40:03 +09:00