Skip to content

test(data): .ald format public-API edge cases (ALIMENTAR-008) - #5734

Merged
noahgift merged 1 commit into
mainfrom
split/5588-ald
Oct 19, 2026
Merged

noahgift merged 1 commit into
mainfrom
split/5588-ald

Conversation

@noahgift

Copy link
Copy Markdown
Contributor

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

…-008

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

@noahgift noahgift left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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 noahgift left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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.

@noahgift
noahgift enabled auto-merge October 19, 2026 06:49
@github-actions

Copy link
Copy Markdown

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=5734 head=881dc9d3331b81fdf5c52c699f58ef263ee52d4e verdict=REFUSE class=Q1 arm_rc=1

Shadow mode: this records a verdict and merges nothing. A refusal
to arm is not a block (§13 adds zero rows to §7) — the pull request is
exactly as green as it was.

@noahgift
noahgift added this pull request to the merge queue Oct 19, 2026
@noahgift
noahgift removed this pull request from the merge queue due to a manual request Oct 19, 2026
@noahgift
noahgift added this pull request to the merge queue Oct 19, 2026
Merged via the queue into main with commit 96c6e30 Oct 19, 2026
12 checks passed
@noahgift
noahgift deleted the split/5588-ald branch October 19, 2026 13:28
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