π§ Coldkeep v1.10.3 β Packed Storage Metadata Integrity #53
franchoy
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Coldkeep v1.10.3 β Packed Storage Metadata Integrity
Release Type
Stabilization / correctness and integrity hardening release.
Summary
Coldkeep v1.10.3 is a fixes-only release in the v1.10 Reliability Freeze, CI Hardening & Correctness Burn-down train.
This release hardens packed-storage metadata integrity and verification behavior. It ensures that packed-storage metadata is explicit, internally consistent, bounded, validated before trust, and covered by a deliberate corruption regression matrix.
This release does not introduce new product features. It does not start engine extraction, catalog abstraction, daemon/API/UI work, GC reachability corrections, restore/recovery rewrites, storage format redesign, CI workflow changes, or dependency changes.
Highlights
Packed Storage Integrity Improvements
Manifest / Index Validation
v1.10.3 adds centralized relational validation for packed manifest/index metadata.
Validation now rejects:
This validation runs before payload-dependent verification in both:
VerifyRepositoryVerifyRepositoryFastOffset / Length / Bounds Validation
v1.10.3 adds overflow-safe packed range validation.
The new validation checks:
This prevents packed metadata from driving unsafe reads, invalid ranges, or wrapped integer arithmetic.
Hash / Checksum Consistency
v1.10.3 hardens packed payload integrity metadata.
Validation now covers:
compressed_hashbyte length when present,physical_hashbyte length when present,chunk_hashrequirements,Malformed Container Read Safety
v1.10.3 adds integration coverage proving malformed packed container states fail safely.
Covered cases include:
No production change was required for this phase because existing
FileContainer.ReadAtshort-read enforcement andVerifyStoredBlockphysical_missingwrapping were confirmed sufficient after earlier validation hardening.Compatibility / Migration Guardrails
v1.10.3 documents and regression-protects current packed compatibility behavior.
Findings:
format_version != 1is rejected deterministically asmetadata_invalid,CHECKconstraints,Corruption Regression Matrix
v1.10.3 adds a consolidated packed-storage corruption regression matrix.
The matrix maps concrete tests/evidence to:
Tracker / Matrix Closure
v1.10.3 closed the packed-storage tracker/matrix scope with explicit decisions.
Final matrix decisions:
CK-110-M035β acceptedCK-110-M060β deferredCK-110-M061β deferredAll 19 linked issue rows were updated with aligned status, decision, decision rationale, and closure proof inherited from the parent matrix row.
Closure artifacts:
docs/release/v1.10/v1.10.3-closure-report.mddocs/release/v1.10/v1.10.3-closure-summary.csvPre-PR Codacy / Static-Analysis Risk Pass
Before opening the pull request, an additional Codacy-risk/static-analysis pass was executed.
Resolved before PR:
uint64 -> int64chunk-id conversion risks inverify_repository.go,uint64 -> intconversion risk inverify_block_pipeline.go,Validation after these fixes included:
gofmt,go vet ./...,golangci-lint run ./...,gosec -quiet ./internal/verify/...,go test ./internal/verify -count=1,Known residual note:
go test ./...showed non-deterministic integration instability in the local environment during the pre-PR risk pass;go test -p 1 ./...passed;Validation
Phase-Level Validation
Across the v1.10.3 implementation phases, validation included:
go vet ./...,go test ./...,go test -race ./....Local Validation
Phase 9 recorded final local validation evidence.
Passed:
go vet ./...,go test ./...,go test -race ./...,govulncheckwith no reachable vulnerabilities,Documented deviation:
scripts/audit_ci.pywas requested as a likely candidate but is not present in this repository, so it was recorded as skipped with rationale.Pre-Release Checklist
The full active pre-release checklist flow completed green locally.
Executed and passed:
Coverage included:
doctor --output json,Resolved during pre-release execution:
v1.7.0and running the gate on isolated DBcoldkeep_v17_gate.out_step17, then completing diff/delete/GC checks.Final pre-release state:
Pull Request Validation
The pull request completed with:
main.Compatibility Notes
This release intentionally makes verification stricter for invalid or corrupted packed-storage states.
Potentially affected cases:
Valid current packed storage remains supported.
Documentation Added or Updated
v1.10.3 added or updated:
docs/release/v1.10/v1.10.3-phase0-baseline.mddocs/release/v1.10/v1.10.3-phase1-packed-metadata-invariants.mddocs/release/v1.10/v1.10.3-phase2-manifest-index-validation.mddocs/release/v1.10/v1.10.3-phase3-offset-length-bounds.mddocs/release/v1.10/v1.10.3-phase4-hash-checksum-consistency.mddocs/release/v1.10/v1.10.3-phase5-malformed-container-read-safety.mddocs/release/v1.10/v1.10.3-phase6-compatibility-guardrails.mddocs/release/v1.10/v1.10.3-phase7-corruption-regression-matrix.mddocs/release/v1.10/v1.10.3-closure-report.mddocs/release/v1.10/v1.10.3-closure-summary.csvdocs/release/v1.10/v1.10.3-local-validation.mddocs/release/v1.10/v1.10.3-pr-notes.mddocs/release/v1.10/v1.10.3-release-notes.mddocs/release/v1.10/v1.10.3-changelog.mddocs/release/v1.10/v1.10.3-phase-status.mddocs/release/v1.10/v1.10.3-checklist.mdCHANGELOG.mdOut of Scope
The following remain intentionally deferred to later v1.10.x releases:
Recommended Tagging Commands
Run from clean, updated
mainafter merge:git checkout main git pull --ff-only git status --short git tag -a v1.10.3 -m "v1.10.3 β Packed Storage Metadata Integrity" git push origin v1.10.3Then publish the GitHub release using this document as the release body.
Release-Train Context
v1.10.3 belongs to the v1.10 stabilization train, whose purpose is to turn the v1.9 functionally complete system into a trust-complete baseline before engine extraction begins in v1.11.
The v1.10 train remains fixes-only: correctness, validation, recovery safety, scanner triage, CI improvement, and regression hardening only.
This discussion was created from the release π§ Coldkeep v1.10.3 β Packed Storage Metadata Integrity.
All reactions