Versioning#2
Merged
Merged
Conversation
joeldsouzax
commented
Dec 24, 2024
joeldsouzax
commented
Contributor
- added github workflow
- added act tool to check and test github workflow in nix flake
- added checks job for checking the workspace
- added default release job
joeldsouzax
added a commit
that referenced
this pull request
Jun 21, 2026
Closes two test gaps found in self-audit of #145: - #2 length bands: the VOPR strategy only ever produced inline/1-byte CBOR length forms. Widen event_type/metadata/payload strategies into the 2-byte band, and add deterministic round-trips for payload at every band boundary (0/23/24/255/256/1024/65536), event_type at the 2-byte band and MAX_EVENT_TYPE_LEN, and metadata at the 2-byte band. - #3 defensive branches: previously exercised only by never-panic fuzz (no outcome assertion). Pin exact outcomes for indefinite-length arrays, wrong block arity, a top-level indefinite array, a torn mid-heading (valid-prefix stop), a header missing the magic key, and a crc-valid body with empty metadata. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
joeldsouzax
added a commit
that referenced
this pull request
Jun 22, 2026
Closes two test gaps found in self-audit of #145: - #2 length bands: the VOPR strategy only ever produced inline/1-byte CBOR length forms. Widen event_type/metadata/payload strategies into the 2-byte band, and add deterministic round-trips for payload at every band boundary (0/23/24/255/256/1024/65536), event_type at the 2-byte band and MAX_EVENT_TYPE_LEN, and metadata at the 2-byte band. - #3 defensive branches: previously exercised only by never-panic fuzz (no outcome assertion). Pin exact outcomes for indefinite-length arrays, wrong block arity, a top-level indefinite array, a torn mid-heading (valid-prefix stop), a header missing the magic key, and a crc-valid body with empty metadata. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
joeldsouzax
added a commit
that referenced
this pull request
Jun 22, 2026
* docs(store): design + plan for export/import Card 3 (CBOR backup box) Re-specs §6 of #145 for per-stream sections (stream_id in a per-stream heading, not every block body), resolves the decode trust model (crc mismatch => Corrupt; truncation => valid prefix; else Malformed), and locks the minicbor/crc32c API decisions from source inspection. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * feat(store): scaffold cbor backup box feature + module skeleton Card 3 of export/import (#145): the default CBOR travel codec. Adds the `cbor` feature (implies export+import; never the reverse), pins minicbor + crc32c, and lands ChunkError/ChunkHeader plus stubbed public functions. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * feat(store): cbor box header encode/decode + validation Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * feat(store): cbor box block encode + crc-checked block decode Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * feat(store): cbor box section heading + decode_chunk sequence walk Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * test(store): cbor box defensive boundary — corrupt vs malformed Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * test(store): cbor box lifecycle — valid-at-every-prefix + torn tail Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * test(store): cbor box full pipeline export -> box -> import round-trip Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * test(store): cbor box insta golden bytes for header + block Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * test(store): cbor box VOPR round-trip + crc single-byte-mutation property Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * test(store): cbor box defensive fuzz (never-panic) + forward-compat key skip Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * test(store): cbor box CBOR length-band + defensive-branch coverage Closes two test gaps found in self-audit of #145: - #2 length bands: the VOPR strategy only ever produced inline/1-byte CBOR length forms. Widen event_type/metadata/payload strategies into the 2-byte band, and add deterministic round-trips for payload at every band boundary (0/23/24/255/256/1024/65536), event_type at the 2-byte band and MAX_EVENT_TYPE_LEN, and metadata at the 2-byte band. - #3 defensive branches: previously exercised only by never-panic fuzz (no outcome assertion). Pin exact outcomes for indefinite-length arrays, wrong block arity, a top-level indefinite array, a torn mid-heading (valid-prefix stop), a header missing the magic key, and a crc-valid body with empty metadata. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
2 tasks
2 tasks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.