docs(lez): extensions pages follow the derived embedding surface - #2
Open
mmlado wants to merge 2 commits into
Open
docs(lez): extensions pages follow the derived embedding surface#2mmlado wants to merge 2 commits into
mmlado wants to merge 2 commits into
Conversation
The role kwarg was the only embedded declaration freeze had, and a marked freeze_slot field without it compiled silently as dedicated mode with a dead slot field. The extension now declares freeze_initialize as its anchor. The attribute expands to nothing, the slot stays born vacant, and the marker goes bare in both modes. The missing_freeze_initialize fixture pins the refusal from the vacant-slot side. ADR-0013 records the decision.
One attribute stands for every activated extension's anchor, expanded in marker order. The explicit attributes stay documented as the fallback for instructions that create several accounts.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
Updates the extensions section to the derived embedding surface. The pages track the
feat/derived_embeddingbranches of spel, spel-admin-authority and spel-freeze-authority, and merge when those do. Content assumes the final situation, dependency snippets stay unpinned on purpose.Changes
#[admin_slot]on the embedding field and#[initialize]on the account-creating instruction. The module marker goes bare, the offset derives from the marked field, and the agreement rules are spelled out: a marked field with no anchored instruction refuses to build and the reverse refuses too. The kwarg forms are gone, the explicit#[admin_initialize]stays documented as the fallback for instructions creating several accounts.#[initialize]for both extensions, expanded in marker order, admin's bootstrap and freeze's no-op both running. Offsets lose their kwargs everywhere, the slot markers are the only source.anchor_attr,anchor_role), the no-op anchor pattern for slots that start empty, and the shorthand from the author's perspective, nothing to implement, document both spellings. A new section, "Account layouts in the consumer's IDL", records the connected-sources contract: annotated layouts land inaccounts, referenced types intypes, only connected code contributes layouts, transitive crates are inert, duplicate layout names refuse, and cfg-gated items are screened out.