keel: clear the scattered debts down to the three that need a ruling #99

Merged

PerishFire merged 1 commit from odds into main

2026-07-21 06:04:41 +00:00

PerishFire commented

2026-07-21 06:03:35 +00:00

Owner

No description provided.

PerishFire added 1 commit

2026-07-21 06:03:35 +00:00

keel: clear the scattered debts down to the three that need a ruling

guard / guard (pull_request) Successful in 31s

Details

67c5dfff01

Small, unrelated sites, each with its own resolution.

spec's join carried five arguments because four of them describe one
bond declaration; Wale is that declaration, and bond/free/root/crew
build it. TIE_CAP is CAP inside the query module, which already says
tie. bags_mut is amend -- the _mut suffix is Rust's convention for a
paired accessor, and the pair is what the name was working around.

ddl::seat took `name: &str`, which the receiver law flags while the
identical parameter on table, side and col goes unflagged. I could not
derive the rule -- renaming the function does not clear it, renaming the
parameter does, and it is not one-report-per-file -- so this fix is
verified by experiment, not by principle. Worth a look when you next
touch negentropy. The rename stands on its own merits either way: every
call site passes a unit name, so unit is the truer word.

Test names: a sentence-long test function becomes shrouded, and a local
bob_tie becomes knot. docs/run/capability-veil.md is veil.md, with no
references anywhere to update.

Left alone deliberately: Vault::open's six arguments are the same
missing-struct shape as spec's join, but codehull calls it, so bundling
them is a breaking change to keel-blob and wants a release decision
rather than a quiet edit.

Debt 26 -> 19. What remains is three piles and nothing else: eleven in
query/check.rs (the model-versus-run layering question), four set_tie
(load-bearing in bond.md's W1b), three into_response (axum's trait,
being handled in negentropy), and blob's six.

guard clean, 47 tests green on sqlite and on real postgres.

PerishFire merged commit a9754ac766 into main

2026-07-21 06:04:41 +00:00

PerishFire deleted branch odds

2026-07-21 06:04:41 +00:00

PerishFire referenced this pull request from a commit

2026-07-21 06:04:42 +00:00

keel: clear the scattered debts down to the three that need a ruling (#99)