Skip to content

feat(assembly): add guarded material transactions - #12

Draft
waywardmonkeys wants to merge 1 commit into
codex/addressable-assemblyfrom
codex/addressable-material-transactions
Draft

feat(assembly): add guarded material transactions#12
waywardmonkeys wants to merge 1 commit into
codex/addressable-assemblyfrom
codex/addressable-material-transactions

Conversation

@waywardmonkeys

Copy link
Copy Markdown
Contributor

Stacked on #11 (codex/addressable-assembly), so this diff contains only the guarded transaction layer.

This adds an Exedra-owned BindMaterial workflow over AddressableAssembly. Guards validate the selection revision, endpoint and referent identity, observed effective value, typed capability, and duplicate targets before any mutation. Dry runs and applies return matching MaterialChange and UndoMaterial evidence; a successful non-empty apply writes validated slot indices in place, advances the shared revision once, and leaves earlier handles and pins visibly stale. A failed batch changes neither state nor revision.

This remains draft because the generic validation sequence overlaps addressable_reference. Before readiness, we should decide whether the shared revision, guard, and atomicity skeleton belongs in Addressable while Exedra retains material policy, storage, and application.

Add an Exedra-owned BindMaterial workflow over the Addressable assembly runtime. Validate selection and guard revisions, endpoint identity, referent, effective value, capability, and duplicate targets before any mutation.

Dry runs and applies return matching change and undo evidence. Non-empty applies write validated slot indices in place, advance the shared revision once, and leave stale handles and pins visibly stale.

Keep the generic validation seam explicitly open in proposed ADR 0003; this commit does not move assembly storage or material policy into Addressable.
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