Skip to content

chore: sync offline replay and global profiles into deterministic mise export - #167

Merged
ORESoftware merged 3 commits into
agent/den-1462-mise-export-current-mainfrom
main
Aug 4, 2026
Merged

chore: sync offline replay and global profiles into deterministic mise export#167
ORESoftware merged 3 commits into
agent/den-1462-mise-export-current-mainfrom
main

Conversation

@ORESoftware

Copy link
Copy Markdown
Contributor

Bring current main through merged offline replay #156 and global profiles #162 into agent/den-1462-mise-export-current-main. The branch currently contains only its product materializer, so this is a non-overlapping current-main sync before deterministic mise export is generated and validated against the complete asdf, Devbox/Flox, global-profile, and store command surface.

Use immutable lock metadata when an extracted store object or verified artifact cache is present, query the registry only for genuinely missing artifacts, and preserve the existing worker/process-lock/hash/extraction path. Add permanent three-platform certification covering cold download, registry deletion, extracted-store replay, and cache-only store reconstruction. The identical resolver implementation passed the merged two-OS compiled-CLI canary in zed-pkg-test/zed-pkg-e2e#57.
Add isolated global dependency profiles, symlink-first store materialization, owned executable publication, collision rollback, frozen offline restoration, compatibility routes, completion and documentation coverage, and permanent cross-platform certification.
Bind release-plan JSON, rendered HTML, and a versioned integrity manifest with deterministic SHA-256 identities; add fail-closed atomic publication, tamper verification, cross-platform tests, and three-engine browser certification.
@ORESoftware
ORESoftware merged commit d2387c8 into agent/den-1462-mise-export-current-mainAug 4, 2026
70 of 71 checks passed
@linear-code

Copy link
Copy Markdown

DEN-1901

Sign up for freeto 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

@ORESoftware