Skip to content

Add restricted POSIX PAX archive profile - #79

Merged
blisspixel merged 1 commit into
mainfrom
feature/tar-pax-portable-v1
Aug 28, 2026
Merged

Add restricted POSIX PAX archive profile#79
blisspixel merged 1 commit into
mainfrom
feature/tar-pax-portable-v1

Conversation

@blisspixel

Copy link
Copy Markdown
Owner

Summary

  • add an explicitly selected restricted raw POSIX PAX profile with exact local x and global g state over canonical path and size records
  • preserve all existing ZIP, ZIP64, portable ustar, gzip-wrapped ustar, policy, IR, and identity bytes
  • add PAX-native evidence, independent covering and state replay, TreeV5 layout identity, retained reads, and atomic materialization
  • keep the runtime dependency graph unchanged and extend release promotion to one seventh bounded fuzz job

Assurance

  • byte-exact GNU tar 1.35, libarchive 3.8.4 paxr, and CPython 3.12.10 producer fixtures
  • nine digest-pinned deterministic PAX fuzz seeds with exact workflow and resource-bound verification
  • standalone identity reconstruction without depending on the Sealr crate
  • exact crate membership, packaged consumer, native Windows package, documentation, license, dependency-budget, and supply-chain checks
  • complete security diff review across all 78 changed paths; one assurance-only auditor differential was fixed and independently regression-reviewed before this PR

Validation

  • cargo fmt --all -- --check
  • cargo clippy --locked --workspace --all-targets --all-features -- -D warnings
  • cargo test --locked --workspace --all-features
  • scripts/verify_docs.ps1
  • scripts/verify_assurance.ps1
  • scripts/verify_dependency_budget.ps1
  • scripts/verify_fuzz_seeds.ps1
  • scripts/verify_walkthrough_assets.ps1
  • scripts/verify_crate_package.ps1
  • release-mode Windows native package and verification
  • cargo doc with warnings denied
  • cargo deny for the workspace, fuzz crate, Kani crate, and packaged consumer
  • three target-specific third-party license bundles

Release boundary

This prepares v0.1.0-alpha.11. Main keeps exactly one strict protected Required CI check. Tagging and publication will occur only after the merged main commit passes Required CI and all seven exact-commit bounded fuzz jobs.

@blisspixel
blisspixel merged commit a1f2bf6 into main Aug 28, 2026
7 checks passed
@blisspixel
blisspixel deleted the feature/tar-pax-portable-v1 branch August 28, 2026 10:47
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