Mikegrier/probes encoded row contract - #89

Merged

MikeGrier merged 46 commits into

mainfrom

mikegrier/probes-encoded-row-contract

Sep 14, 2026

Commits on Sep 12, 2026

docs(platform-probes): record that the encoded row is the contract, and re-plan M2

Mike Grier
and
Copilot
committed
4d7544e
docs(platform-probes): correct two M2 items wrongly called unaffected by M3
Mike Grier
committed
7689680
docs(platform-probes): close M2 and re-sequence its leftovers into M4 and M5
Mike Grier
committed
0116197
feat(platform-probes)!: publish each diagnostic as itself, not as a count

Mike Grier
and
Copilot
committed
658a631

Commits on Sep 13, 2026

fix(platform-probes): assert the payload a substring used to discriminate

Mike Grier
and
Copilot
committed
5765fff
feat(platform-probes)!: publish which counter disagreed

Mike Grier
and
Copilot
committed
ec6af09
docs(platform-probes): order M3.4 before M3.3, and record the review pause
Mike Grier
committed
45cf0b0
feat(platform-probes): assert the observation-to-verdict invariants off the text

Mike Grier
and
Copilot
committed
5b1d6fa
feat(platform-probes)!: retire the prose oracle and re-aim the accounting at the row

Mike Grier
and
Copilot
committed
3a45150
feat(platform-probes)!: emit the row from a typed value through one writer

Mike Grier
and
Copilot
committed
77a83fc
refactor(platform-probes): remove the last prose parsing from the test matrix

Mike Grier
and
Copilot
committed
ba786ce
docs(platform-probes): split DESIGN-NOTES into Tier 1 and Tier 2

Mike Grier
and
Copilot
committed
1741fbf
docs(platform-probes): add the blank lines two moved headings inherited
Mike Grier
committed
bd45d63
fix(platform-probes): make the row's key reader escape-aware

Mike Grier
and
Copilot
committed
5fc68d4
fix(probes): make four instruments as strong as their names claim

Mike Grier
and
Copilot
committed
09da7e9
fix(probes): make BlockingState::ALL exhaustive by construction

Mike Grier
and
Copilot
committed
d6d3b41
docs(platform-probes): re-plan M2.14 from writing rules to making them bite

Mike Grier
and
Copilot
committed
a60f99d
test(platform-probes): add the sabotage manifest this crate lacked

Mike Grier
and
Copilot
committed
b5adbcd
docs: sabotage the claim, not the symptom, and record the sabotage

Mike Grier
and
Copilot
committed
89ff49b
fix(platform-probes)!: decide row well-formedness by a real parse

Mike Grier
and
Copilot
committed
60e6675
refactor(platform-probes): delete the last hand-written string scanners

Mike Grier
and
Copilot
committed
065042f
docs(platform-probes): close M3 and archive it

Mike Grier
and
Copilot
committed
a067783
docs: give repository timestamps their offset

Mike Grier
and
Copilot
committed
d20556a
docs(platform-probes): correct claims this branch's own later commits falsified

Mike Grier
and
Copilot
committed
b54c3a0
fix(platform-probes): hold the NUMA counter to the invariant that names it

Mike Grier
and
Copilot
committed
4afc212

Commits on Sep 14, 2026

test(platform-probes): close the mutation survivors, and encode what they imply

Mike Grier
and
Copilot
committed
6f57dd5
test(platform-probes): pin what the diagnostics publish into the row

Mike Grier
and
Copilot
committed
2e63a3d
fix(platform-probes): call out a diagnostic that describes itself as nothing

Mike Grier
and
Copilot
committed
7c9fb7d
test(platform-probes): make two instruments enforce the names they carry

Mike Grier
and
Copilot
committed
7e0c3d5
test(ioring): escalate the in-flight handover width instead of only retrying

Mike Grier
and
Copilot
committed
3135c09
fix(platform-probes): stop conflating uncollected coherence with disagreement

Mike Grier
and
Copilot
committed
3ed2723
test: close the coverage and measurement gaps the latest review found

Mike Grier
and
Copilot
committed
e0a85ac
fix(platform-probes): define row() by check(), so the two cannot disagree

Mike Grier
and
Copilot
committed
c266129
fix(platform-probes): oblige every diagnostic variant to be exercised, not merely counted

Mike Grier
and
Copilot
committed
6ef80f7
chore(ioring): name the completion-event requirement, so it fits where it is used

Mike Grier
and
Copilot
committed
afa4a31
fix(platform-probes): rename assert_corresponds to what M3 left it doing

Mike Grier
and
Copilot
committed
28b2340
fix(platform-probes): close the remaining review findings, and narrow two claims that outran their coverage

Mike Grier
and
Copilot
committed
d523f2b
feat(platform-probes): pin the row's value SHAPES, not just its key names

Mike Grier
and
Copilot
committed
40ea4f3
docs(platform-probes): retire the "the key set is derivable" claim, which four places still made

Mike Grier
and
Copilot
committed
80fe75d
fix(platform-probes): gate BOTH schema assertions, not just the first

Mike Grier
and
Copilot
committed
b68a124
fix(platform-probes): check the whole diagnostic entry through the renderer, and unbreak the default doc build

Mike Grier
and
Copilot
committed
399cc39
docs(platform-probes): note that `enumeration_anomalies` names a code and a row key

Mike Grier
and
Copilot
committed
af82a22
fix(platform-probes): make the row's guarantees hold at every level, not just the first

Mike Grier
and
Copilot
committed
0c4aced
docs(platform-probes): put the supersedence marker where a reader meets it

Mike Grier
and
Copilot
committed
c1927a2
chore(ioring): record why the in-flight precondition holds, since a review read it backwards

Mike Grier
and
Copilot
committed
c8f7e63
fix(platform-probes): make `keys` refuse a row the oracle rejects

Mike Grier
and
Copilot
committed
a4a2f74