Skip to content

docs(local-store): specify namespace isolation as the contract, not the prefix scheme#525

Open
lgahdl wants to merge 1 commit into
developfrom
docs/425-local-store-namespace-contract
Open

docs(local-store): specify namespace isolation as the contract, not the prefix scheme#525
lgahdl wants to merge 1 commit into
developfrom
docs/425-local-store-namespace-contract

Conversation

@lgahdl

@lgahdl lgahdl commented Jul 21, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • The local_store_redb module rustdoc and docs/diagrams/diagrams.md pinned the host-side keccak256(module_name) prefix mechanism (and its ENS-node-derivation rationale, ADR-0003) as if it were the specified contract.
  • Per review of the runtime: complete execution and lifecycle hardening #294 local-store work, the actual guarantee is namespace isolation between modules - disjoint, non-forgeable key ranges - not the specific prefix scheme, which is free to change.
  • Reworded the rustdoc header and the two diagrams.md table rows (plus the WIT hierarchy diagram annotation) to state the isolation guarantee first, and demoted the keccak256/ADR-0003 prefix scheme to an implementation note.

cargo check -p nexum-runtime passes (doc-comment-only change to that crate).

Closes #425

…he prefix scheme

The local_store_redb rustdoc and docs/diagrams/diagrams.md pinned the
host-side keccak256(module_name) prefix (and its ENS-node-derivation
rationale, ADR-0003) as if it were the specified guarantee. The
contract is namespace isolation between modules - disjoint,
non-forgeable key ranges - not the specific prefix mechanism, which
remains free to change. Reworded rustdoc and the diagram tables to
state the isolation guarantee first and demote the keccak256/ADR-0003
prefix scheme to an implementation note.

Closes #425
@lgahdl
lgahdl requested a review from mfw78 as a code owner July 21, 2026 19:23
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.

storage: local-store contract should promise namespace isolation, not the host-side prefix

1 participant