Repository navigation
test(data): .ald format public-API edge cases (ALIMENTAR-008) - #5734
Conversation
…-008 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
noahgift
left a comment
There was a problem hiding this comment.
seat 1, aprender-triage-worker @881dc9d3331b81fdf5c52c699f58ef263ee52d4e APPROVE
Read: PR diff (+238, 2 files): format_edges.rs (.ald type/compression code round-trips, header from_bytes rejections, save-of-no-batches error, bit-flip/truncation load failure) and contract FALSIFY-BIN-ALIMENTAR-008 with a named mutation. Same content I read inside #5588; this is that part alone, one ticket. Tests only. 0 own-author trailers.
Not run: build, tests, validate_contracts, CI.
noahgift
left a comment
There was a problem hiding this comment.
seat 1, aprender-pace @881dc9d3331b81fdf5c52c699f58ef263ee52d4e
Read the diff (+238/-0): one new test file (aprender-data/tests/format_edges.rs) and one contract entry; no production code changed. Contract entry's test command names the new target; test file skimmed, not read line by line. Note for the landing order: #5587 and #5734 both add FALSIFY-BIN-ALIMENTAR-008 to contracts/bin-aprender-data--aprender-data-v1.yaml, so the second to land must renumber to 009 (a3 says it will; the textual conflict should show it, but check). The 'mutation ... (measured 2026-10-18)' claims in the contract entries were not reproduced by me. 0 aprender-pace trailers. No tests run by me, CI not read, generated files (contracts.nt, witness, README) not re-inspected.
|
§13.11 rung 1 — quorum shadow verdict Shadow mode: this records a verdict and merges nothing. A refusal |
One ticket: the .ald format public-API edge cases (test/coverage-data-next 994bb51, FALSIFY-BIN-ALIMENTAR-008). Split out of #5588 per "Do not fold tickets into PRs".
Local: validate_contracts and format_edges pass. The data contract yaml is shared with #5587, which also uses ALIMENTAR-008: whichever lands second renumbers to 009.
keep-open: test-coverage ticket stays open until its owner confirms
ont-delta: none test-only change, no ontology delta
🤖 Generated with Claude Code