Skip to content

docs: retain R132 and R142 as 1.0 language restrictions - #1422

Merged
sanohiro merged 1 commit into
mainfrom
docs/settle-exclusive-projection-limits
Oct 25, 2026
Merged

sanohiro merged 1 commit into
mainfrom
docs/settle-exclusive-projection-limits

Conversation

@sanohiro

Copy link
Copy Markdown
Owner

R132 and R142 were still described as deferred capabilities, leaving them liable to be selected again as unfinished compiler work. Record the owner's decision to retain exclusive owned-subrecord borrowing and exclusive matched owned-payload borrowing as deliberate 1.0 language restrictions, and remove them from the implementation queue.

The specification, digest, rationale, settled decision, follow-up plan and handoff now agree. Existing admission and cleanup rules are unchanged; future widening requires the existing friction-ledger reopening process.

Validation: git diff --check, a focused spec/digest and link/queue consistency check, and scripts/pre-pr.sh --docs-only. No compiler behavior changes.

@sanohiro
sanohiro marked this pull request as ready for review October 25, 2026 08:42
@sanohiro
sanohiro merged commit 50da001 into main Oct 25, 2026
7 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