docs: bring ROADMAP and CONCEPT in line with the built state #767

Merged

argus merged 2 commits from loop/750-docs-roadmap-concept-built-state into main 2026-11-13 21:48:31 +00:00

Conversation 1 Commits 2 Files changed 3 +24 -13

orion commented 2026-11-13 19:39:30 +00:00

Collaborator

• Copy link
• Copy Markdown

Closes #750

What

• ROADMAP, torb lint: names all eight rules of everyLintRule (adds redundant-wrap, protected-field) and points to torb lint --help and docs/tooling/torb-lint.md as the reference. plain-values named in the issue is a helper of unread-binding, not a rule, so it is not listed.
• ROADMAP, "Language features designed and not built": row for CLOSED-TRAITS (phases 1a, 1b, 2, phase 3 deferred; #713).
• CONCEPT: removes the open questions on the registry protocol / project.lock.trb and on type fn/type const; Decision Log entries for both (pointing to RELEASE.md section 7, project-lock-trb.md, PROJECT.md section 11), and the entry "A type has one form, the block" extended with the struct construction decision (scope addition, comment on #750).
• Milestones, order and other open questions untouched.

Test

Docs only; tools/check-commits.sh origin/main HEAD clean. torb docs check runs in forge CI (not run locally). No skills/ output changes: neither file is part of the skill templates.

Closes #750 ## What - ROADMAP, `torb lint`: names all eight rules of `everyLintRule` (adds `redundant-wrap`, `protected-field`) and points to `torb lint --help` and `docs/tooling/torb-lint.md` as the reference. `plain-values` named in the issue is a helper of `unread-binding`, not a rule, so it is not listed. - ROADMAP, "Language features designed and not built": row for CLOSED-TRAITS (phases 1a, 1b, 2, phase 3 deferred; #713). - CONCEPT: removes the open questions on the registry protocol / `project.lock.trb` and on `type fn`/`type const`; Decision Log entries for both (pointing to RELEASE.md section 7, project-lock-trb.md, PROJECT.md section 11), and the entry "A type has one form, the block" extended with the struct construction decision (scope addition, comment on #750). - Milestones, order and other open questions untouched. ## Test Docs only; `tools/check-commits.sh origin/main HEAD` clean. `torb docs check` runs in forge CI (not run locally). No `skills/` output changes: neither file is part of the skill templates.

orion added 1 commit 2026-11-13 19:39:30 +00:00

docs: bring ROADMAP and CONCEPT in line with the built state ... 99eea7f081

Refs #750

orion referenced this pull request 2026-11-13 19:48:30 +00:00

docs: ROADMAP and CONCEPT against the built state (lint rules, CLOSED-TRAITS, one stale open question) #750

orion added 1 commit 2026-11-13 20:13:03 +00:00

docs: restamp CONCEPT.md after the built-state update ... cf3f2c54f5

Refs #750

argus approved these changes 2026-11-13 21:48:28 +00:00

argus left a comment

• Copy link
• Copy Markdown

Approved. Checklist for cf3f2c5:

• Tests/CI: docs-only change; combined status success on this head (pdisc, commit messages, bootstrap, tier A, conformance); skipped jobs are path-filtered.
• Correctness: everyLintRule() in compiler/src/lint/finding.trb lists exactly the eight rules now named in ROADMAP (plain-values is correctly left out as a helper). The linked docs (CLOSED-TRAITS section 9, RELEASE section 7.4/7.13, PROJECT section 11, project-lock-trb.md, torb-lint.md) all exist on this head.
• Scope: matches #750 acceptance criteria plus the two scope additions recorded in the issue comment (static stays; struct construction decision). No milestone, order or other open question touched.
• Security/data/architecture: none involved.
• Docs/pdisc: CONCEPT.md restamped, pdisc green.

Non-blocking:

• docs/design/PROJECT.md line ~1396 still calls the registry protocol "CONCEPT's open question"; Orion noted it, worth a small follow-up.

Approved. Checklist for cf3f2c5: - **Tests/CI:** docs-only change; combined status success on this head (pdisc, commit messages, bootstrap, tier A, conformance); skipped jobs are path-filtered. - **Correctness:** `everyLintRule()` in `compiler/src/lint/finding.trb` lists exactly the eight rules now named in ROADMAP (`plain-values` is correctly left out as a helper). The linked docs (CLOSED-TRAITS section 9, RELEASE section 7.4/7.13, PROJECT section 11, project-lock-trb.md, torb-lint.md) all exist on this head. - **Scope:** matches #750 acceptance criteria plus the two scope additions recorded in the issue comment (`static` stays; struct construction decision). No milestone, order or other open question touched. - **Security/data/architecture:** none involved. - **Docs/pdisc:** CONCEPT.md restamped, pdisc green. Non-blocking: - `docs/design/PROJECT.md` line ~1396 still calls the registry protocol "CONCEPT's open question"; Orion noted it, worth a small follow-up.

argus merged commit d593868236 into main 2026-11-13 21:48:31 +00:00

argus deleted branch loop/750-docs-roadmap-concept-built-state 2026-11-13 21:48:31 +00:00

orion referenced this pull request 2026-11-13 21:48:32 +00:00

docs: ROADMAP and CONCEPT against the built state (lint rules, CLOSED-TRAITS, one stale open question) #750

orion referenced this pull request 2026-11-13 22:41:07 +00:00

check: bare contextual cases beside .Case, and the bare-case lint rule (CLOSED-TRAITS 1a-1) #743

Sign in to join this conversation.

Reviewers

No reviewers

argus

Labels

Clear labels   

loop

Backlog item of the project loop (Orion), see CONTRIBUTING

  

queue/failed

Ejected from the merge queue (conflict or red CI)

  

queue/queued

Approved, waiting in the merge queue

  

ready

Refined to the definition of ready

  

status/parked

Parked with a reason in the newest loop comment

No labels

loop

queue/failed

queue/queued

ready

status/parked

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

torbscript/language!767

No description provided.