docs(wire-format): cachekit-core vendors fixture 1.1.1, so the bin16 coverage gap is closed (LAB-1750) - #79
Conversation
…coverage gap is closed (LAB-1750) The spec still described cachekit-core as vendoring fixture 1.1.0, with width_boundary_bin16_bin unchecked by the canonical writer. cachekit-core now pins 1.1.1 and re-encodes every bin twin, deriving the expected marker from the decoded compressed_data length. Replace the gap paragraph with the current state and the marker-derivation rule for anyone vendoring the fixture.
Code Review Completed! 🔥The code review was successfully completed based on your current configurations. Kody Guide: Usage and ConfigurationInteracting with Kody
Providing Context (Files & MCPs)Add these hints in your PR description (or a comment) to unlock deeper checks:
Current Kody ConfigurationReview OptionsThe following review options are enabled or disabled:
|
|
Navigate logical layers of code changes, visualize relationships, and explore their blast radius. Warning Review limit reachedNext included review available in 52 minutes. View limit detailsLimit details: You’ve used the included review currently available. You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository. Review configuration: ⚙️ Run configurationConfiguration used: Repository: cachekit-io/protocol/.coderabbit.yaml Review profile: ASSERTIVE Plan: Advanced Run ID: 📒 Files selected for processing (1)
No actionable comments were generated in the recent review. 🎉 ℹ️ Recent review info⚙️ Run configurationConfiguration used: Repository: cachekit-io/protocol/.coderabbit.yaml Review profile: ASSERTIVE Plan: Advanced Run ID: 📒 Files selected for processing (2)
Included review availability: This review used your included allowance. Your plan provides up to 1 included review per hour; 0 remain after this review. WalkthroughThe specification and changelog now document ChangesWire-format coverage documentation
Priority: ⬇️ Low Estimated code review effort: 1 (Trivial) | ~4 minutes Change: Other Merge Risk: ⚪ Minimal · up to The specification and changelog update fixture-coverage documentation, with no established runtime impact or actionable merge blocker. The upstream checksum assertions remain unverified. Architecture SummaryArchitecture risk: 🔵 Low · up to The change affects 2 systems. Changed systems: Architecture concerns Review detailsSystems and components
Before / after behavior
🚥 Pre-merge checks | ✅ 5✅ Passed checks (5 passed)
✨ Finishing Touches🧪 Generate unit tests (beta)
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
…ed-version claim (LAB-1750)
9d4b4ba
Code Review Completed! 🔥The code review was successfully completed based on your current configurations. Kody Guide: Usage and ConfigurationInteracting with Kody
Providing Context (Files & MCPs)Add these hints in your PR description (or a comment) to unlock deeper checks:
Current Kody ConfigurationReview OptionsThe following review options are enabled or disabled:
|
main added a CHANGELOG section under [Unreleased] for the wire-format vendored-fixture note (#79); this branch adds its own. Both kept, this branch's sections first. spec/wire-format.md auto-merged: the two sides edit non-overlapping hunks.
Corrects
spec/wire-format.md, which still said cachekit-core vendors fixture 1.1.0 and thatwidth_boundary_bin16_binhas no canonical-writer (lz4_flex) compressed-byte or checksum check. Both claims have been false since cachekit-io/cachekit-core#70 merged. cachekit-core now pins 1.1.1 (fixture_is_current_version_with_vectors), re-encodes every bin twin, and derives each twin's expected marker from the decodedcompressed_datalength.The gap paragraph is replaced with the current state, plus one rule for anyone vendoring the fixture: derive the marker from the length. An assertion that every twin is bin8 fails on 1.1.1, and one that accepts all three widths cannot detect a non-shortest header. It also drops the now-dangling "subject to the vendored-version gap" cross-reference, and adds a CHANGELOG entry.
Docs only.
tools/wire-format-reference.py verifystill passes: all 7 vector pairs, with msgpack-python conformance.Summary by CodeRabbit
width_boundary_bin16_binfixture.*_binfixture, including thebin16pair, and updated the reference-verifier coverage description.Summary
Documentation-only change to
spec/wire-format.mdthat condenses the description of how the pinned wire-format fixture is verified. Version-specific statements about which fixture releasecachekit-corevendors are replaced with version-independent guidance. No public APIs, code, or fixture data are modified.Changes
Scope note (layer overview section)
*_bintwin, including thebin16pair.Compressed-bytes canonicity section
version == "1.1.1"and so applies thelz4_flexcompressed-byte and xxh3-64 checks towidth_boundary_bin16_bin.lz4_flexbytes and xxh3-64 checksum for the vectors present in its vendored fixture.*_bintwin's expected marker should be derived from its decodedcompressed_datalength:≤255→0xc4≤65535→0xc50xc6width_boundary_bin16_bin(0xc5, 303-bytecompressed_data).tools/wire-format-reference.py verifyasserting legacy and bin re-encode byte-identity for thebin16pair, and liblz4 reproducing its compressed bytes on the optionallz4leg. The existing statement that the liblz4 reference mapping is decode-verified against every vector is retained.Impact
The spec no longer ties its verification description to a specific fixture version. The normative guidance on marker derivation and the canonical-writer scope is unchanged.