Skip to content

Bounds step 10: std pages, build --reconcile, status - #146

Merged
Kinflou merged 2 commits into
mainfrom
docs/bounds-step-10
Nov 3, 2026
Merged

Kinflou merged 2 commits into
mainfrom
docs/bounds-step-10

Conversation

@Kinflou

@Kinflou Kinflou commented Nov 3, 2026 •

Copy link
Copy Markdown
Member

Docs for bounds step 10 (ComlineProject/core#98, ComlineProject/core#197) and ComlineProject/cli#128.

  • std pages: regenerated with scripts/sync-std-docs.py --checkout <core 8f5dc91> --comline <CLI built from ComlineProject/cli#130>. Request.uri is now bounded (8192 characters), and validators gains the std minimum validators. Resynced in round 2 with a CLI built from the cli#130 branch, which includes doc-markdown: render an array type as one code span generation#115, so uri renders as char[max 8192].
  • Reference: the comline build row covers --reconcile <hash>, reporting a reconcile, and the unbounded-values message and offer. --validate-on-decode takes collect or first.
  • guide/ir/cas.md: "Branches" no longer says the CLI doesn't expose mark_diverged.
  • schemas/doc-model/1.json: synced from core 8f5dc91, the core the CLI now pins (arrays carry max). comline-toml/0.x.json was already up to date for generation 32ed225.
  • validate_on_decode: the comline-toml reference and the validator guide document the collect default and the { off = "why" } give-up. A bare "off" is refused, and the give-up shows in generate and inspect. The comline-toml/0.x.json mirror is synced from generation c303722 (config: validate_on_decode defaults to collect; off is { off = "reason" } generation#116). design/validators.md row 4c notes the new default.
  • design/type-bounds.md: status and rollout row 10. Shipped: the default, the migration and the pin bump. Left: checking worst-case sizes against configured limits.

Merge after ComlineProject/generation#116 and ComlineProject/cli#130. The std and CLI drift checks build the CLI from its default branch, and the schema drift check reads generation's default branch, so they fail until those merge.

…td pages with the fixed array spans (core#98)
@Kinflou
Kinflou merged commit 7f1928b into main Nov 3, 2026
6 of 9 checks passed
@Kinflou
Kinflou deleted the docs/bounds-step-10 branch November 3, 2026 12:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

1 participant