Skip to content

[DRAFT] HEKI/HVCI separation: Crate relocation (step 3 of 3) #1077

Draft
sangho2 wants to merge 1 commit into
sanghle/lvbs/pr2-vsm-abstractionfrom
sanghle/lvbs/pr3-vsm-relocation
Draft

[DRAFT] HEKI/HVCI separation: Crate relocation (step 3 of 3) #1077
sangho2 wants to merge 1 commit into
sanghle/lvbs/pr2-vsm-abstractionfrom
sanghle/lvbs/pr3-vsm-relocation

Conversation

@sangho2

@sangho2 sangho2 commented Jul 23, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@sangho2 sangho2 changed the title [DRAFT] HEKI/HVCI separation: Mechanical crate relocation (step 3 of 3) [DRAFT] HEKI/HVCI separation: Crate relocation (step 3 of 3) Jul 23, 2026
@sangho2
sangho2 force-pushed the sanghle/lvbs/pr2-vsm-abstraction branch from c76325f to e85c2d1 Compare July 23, 2026 22:28
@sangho2
sangho2 force-pushed the sanghle/lvbs/pr3-vsm-relocation branch 3 times, most recently from c2565b1 to 15b1b5a Compare July 23, 2026 22:46
Sangho Lee
Relocate mshv::heki_service into the litebox_service_heki crate
bc8e5b2 
Move the VSM/HEKI service modules (vsm, state, mem_integrity) out of
litebox_platform_lvbs::mshv::heki_service into a standalone litebox_service_heki
crate. The service code itself is unchanged except crate-relative module paths
and the runner's import path.

Beyond mechanical relocation, the crate split enforces the VsmBackend capability
boundary introduced in the previous commit. As its own crate, the service has no
access to litebox_platform_lvbs internals (the protected-frame registry, VTL0
mappers, control-register locking) and no crypto dependencies of its own to reach
them. It can therefore act on the platform ONLY through the VsmBackend capability
it is handed at construction plus the public litebox_common_lvbs wire types --
turning the trait-based capability into a compiler-enforced wall rather than a
convention.
@sangho2
sangho2 force-pushed the sanghle/lvbs/pr3-vsm-relocation branch from 15b1b5a to bc8e5b2 Compare July 24, 2026 01:12
@github-actions

github-actions Bot commented Jul 24, 2026

Copy link
Copy Markdown

ℹ️ Note: This semver check was run against the sanghle/lvbs/pr2-vsm-abstraction branch, not main or ulitebox.

🤖 SemverChecks 🤖 ⚠️ Potential breaking API changes detected ⚠️

Click for details 
--- failure module_missing: pub module removed or renamed ---

Description:
A publicly-visible module cannot be imported by its prior path. A `pub use` may have been removed, or the module may have been renamed, removed, or made non-public.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.49.0/src/lints/module_missing.ron

Failed in:
  mod litebox_platform_lvbs::mshv::heki_service::state, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/state.rs:4
  mod litebox_platform_lvbs::mshv::heki_service::vsm, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/vsm.rs:4
  mod litebox_platform_lvbs::mshv::heki_service::mem_integrity, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/mem_integrity.rs:4
  mod litebox_platform_lvbs::mshv::heki_service, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/mod.rs:4

--- failure struct_missing: pub struct removed or renamed ---

Description:
A publicly-visible struct cannot be imported by its prior path. A `pub use` may have been removed, or the struct itself may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.49.0/src/lints/struct_missing.ron

Failed in:
  struct litebox_platform_lvbs::mshv::heki_service::state::KexecMemoryMetadata, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/state.rs:615
  struct litebox_platform_lvbs::mshv::heki_service::vsm::Vsm, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/vsm.rs:45
  struct litebox_platform_lvbs::mshv::heki_service::Vsm, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/vsm.rs:45
  struct litebox_platform_lvbs::mshv::heki_service::state::KexecMemoryRange, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/state.rs:682
  struct litebox_platform_lvbs::mshv::heki_service::state::HekiState, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/state.rs:34
  struct litebox_platform_lvbs::mshv::heki_service::HekiState, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/state.rs:34
  struct litebox_platform_lvbs::mshv::heki_service::state::ModuleMemoryMetadata, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/state.rs:113
  struct litebox_platform_lvbs::mshv::heki_service::state::ModuleMemoryRange, previously in file /home/runner/work/litebox/litebox/target/semver-checks/git-sanghle_lvbs_pr2_vsm_abstraction/edf76fb0cdaed4ebc33753c99fdee68c9f5b4817/litebox_platform_lvbs/src/mshv/heki_service/state.rs:181

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

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@sangho2