Skip to content

Add upgrade-safe storage layout versioning with assert_storage_layout_compatible called at module entry #838

Description

@Jagadeeshftw

Summary

Add upgrade-safe storage layout versioning with assert_storage_layout_compatible called at module entry

Why this matters

DataKey and DataKey2 enums have grown across migrations without a top-level layout version stamp, and AlreadyAtTargetVersion/MigrationDowngradeNotAllowed are defined but never wired into a layout guard. Introduce a StorageLayoutVersion persistent key set during initialize, read on every state-changing entry, and rejected when the on-chain value is newer than the deployed binary expects.

Scope

Implement the requested behavior across src/lib.rs. The solution must preserve existing compatibility, authorization, and production safeguards.

Priority

High

Acceptance criteria

  • The requested behavior is implemented across src/lib.rs with a clear, reviewable contract.
  • Security, authorization, validation, and data-integrity requirements in the repository context are enforced and covered by tests.
  • Failure, retry, timeout, concurrency, and boundary behavior is explicit and produces safe, diagnosable outcomes where applicable.
  • Regression coverage includes empty, invalid, duplicate, and boundary inputs relevant to this flow.
  • Existing API, storage, and deployment compatibility is preserved unless a migration is explicitly documented.

Validation

Include focused tests for:

  • happy paths;
  • invalid input and authorization boundaries;
  • concurrency, retries, or failure recovery;
  • backward compatibility;
  • relevant integration or contract behavior.

The implementation must pass the repository’s existing build, lint, test, and formatting checks (use cargo test --all where applicable).

Non-goals

  • Typo-only, formatting-only, or documentation-only changes.
  • Unrelated refactors or dependency upgrades.
  • Weakening security, authorization, CI, or production safeguards.
  • Changing public behavior outside this issue’s scope.

Contributor application

Before implementation, comment with:

  1. relevant experience;
  2. a concise implementation approach;
  3. expected files or modules affected;
  4. an estimate for opening the first PR.

Wait for maintainer assignment before coding.

PR requirements

Use a feature branch and include Closes #.

The PR must:

  • address every acceptance criterion;
  • link each criterion to code and tests;
  • explain security and failure-mode handling;
  • include meaningful regression coverage;
  • document compatibility or migration considerations;
  • pass the repository checks.

Reward-readiness

This is a substantive quality issue. Merge status does not guarantee reward eligibility; final evaluation is determined separately.

Implementation context

Description

DataKey and DataKey2 enums have grown across migrations without a top-level layout version stamp, and AlreadyAtTargetVersion/MigrationDowngradeNotAllowed are defined but never wired into a layout guard. Introduce a StorageLayoutVersion persistent key set during initialize, read on every state-changing entry, and rejected when the on-chain value is newer than the deployed binary expects.

Requirements and context

  • Must be secure, tested, and documented
  • Should be efficient and easy to review
  • Relevant code: src/lib.rs (DataKey, DataKey2, initialize, AlreadyAtTargetVersion, MigrationDowngradeNotAllowed)
  • Layout version must be bumped in PRs that add or rename DataKey variants

Suggested execution

  • Fork the repo and create a branch
  • git checkout -b feat/storage-layout-versioning
  • Implement changes
    • Add STORAGE_LAYOUT_VERSION: u32 constant and persistent key
    • Add assert_storage_layout_compatible called at top of state-changing methods
    • Emit layout_v on initialize and on migrations
  • Validate security and correctness assumptions

Test and commit

  • Run tests
    • cargo test --all
  • Cover edge cases
    • Initialize at vN, downgrade attempt, upgrade through migration
  • Include test output and security notes

Example commit message

feat: enforce storage layout version on entry to state-changing methods

Guidelines

  • Minimum 95 percent test coverage
  • Clear documentation
  • Timeframe: 96 hours

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Stellar WaveStellar Wave issue batch

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions