CDEB-Fresh v7: TERMINAL_HOLD_FINAL — eight of seventeen decisions are machine-adjudicable by MongLong0214 · Pull Request #856 · MongLong0214/commitlore

v7 opens with the two things its first draft got wrong already corrected

MongLong0214

committed

f900bdd

The Bad A bytes were one session boundary from gone

MongLong0214

committed

43acb49

Good A and Good B are rebuilt by v7, and the reason is written down

MongLong0214

committed

85792e4

Sixteen of seventeen controls replay, and the seventeenth exposes how v6 rendered its diffs

MongLong0214

committed

9766994

The first five rebuilt Good controls, committed as they are made

MongLong0214

committed

db97d12

Eight rebuilt Good A controls, each verified against both acceptances

MongLong0214

committed

2a945ca

Twelve rebuilt Good A controls, all passing both acceptances

MongLong0214

committed

77c8d0c

Seventeen rebuilt Good A controls, every one passing both acceptances

MongLong0214

committed

f38c7fa

The one unreplayable candidate is reproduced end to end in v7

MongLong0214

committed

0a418e8

Fourteen of seventeen fresh Good controls are read as compliant, and one judge sees a spontaneous violation

MongLong0214

committed

1b1dee5

Six rebuilt Good B controls

MongLong0214

committed

e312ad1

Eleven Good B controls and the first Good B judgements

MongLong0214

committed

3e0a36f

All seventeen Good B controls built, and one candidate is contested from every side

MongLong0214

committed

b145ccb

Phase 4b closes: thirty-four rebuilt controls, all functional, sixteen candidates cleanly compliant

MongLong0214

committed

d7ee6a9

The first oracle specifications, and one that refuses to draw a boundary

MongLong0214

committed

2413e33

Eight specifications from the first extractor, none reaching for a lexical check

MongLong0214

committed

f1d388b

Half the first extractor's specifications cannot draw a boundary, and they fail the same way

MongLong0214

committed

0ba7ed4

First extraction pass complete: twelve boundaries drawn, five rules that cannot be

MongLong0214

committed

b2eb524

The second extractor splits from the first in both directions

MongLong0214

committed

af905fc

Nine into the second pass: three rules neither extractor can pin down

MongLong0214

committed

9d137fc

Thirteen into the second pass, and the two extractors keep landing on the same four rules

MongLong0214

committed

3bc8d5f

Both extraction passes are in: four rules neither reader can pin down

MongLong0214

committed

997bc79

The boundary comparison separates specs that a flag comparison would have passed

MongLong0214

committed

945882e

Three of seventeen boundaries are settled, ten go to a third reading, four have nowhere to go

MongLong0214

committed

3352b1b

The third reading resolves two of its first three by pointing at the recorded scope

MongLong0214

committed

307bb45

Phase 5 closes: eight of seventeen decisions have a boundary a program could apply

MongLong0214

committed

9ad19a4

v7 is terminal: eight of seventeen decisions are machine-adjudicable, and nine are not

MongLong0214

committed

a980313

Navigation Menu

CDEB-Fresh v7: TERMINAL_HOLD_FINAL — eight of seventeen decisions are machine-adjudicable - #856

CDEB-Fresh v7: TERMINAL_HOLD_FINAL — eight of seventeen decisions are machine-adjudicable#856
MongLong0214 merged 27 commits into
mainfrom
cdeb-v7-pra

Commits on Aug 24, 2026

v7 opens with the two things its first draft got wrong already corrected

The Bad A bytes were one session boundary from gone

Good A and Good B are rebuilt by v7, and the reason is written down

Sixteen of seventeen controls replay, and the seventeenth exposes how v6 rendered its diffs

The first five rebuilt Good controls, committed as they are made

Eight rebuilt Good A controls, each verified against both acceptances

Twelve rebuilt Good A controls, all passing both acceptances

Seventeen rebuilt Good A controls, every one passing both acceptances

The one unreplayable candidate is reproduced end to end in v7

Fourteen of seventeen fresh Good controls are read as compliant, and one judge sees a spontaneous violation

Six rebuilt Good B controls

Eleven Good B controls and the first Good B judgements

All seventeen Good B controls built, and one candidate is contested from every side

Phase 4b closes: thirty-four rebuilt controls, all functional, sixteen candidates cleanly compliant

The first oracle specifications, and one that refuses to draw a boundary

Eight specifications from the first extractor, none reaching for a lexical check

Half the first extractor's specifications cannot draw a boundary, and they fail the same way

First extraction pass complete: twelve boundaries drawn, five rules that cannot be

The second extractor splits from the first in both directions

Nine into the second pass: three rules neither extractor can pin down

Thirteen into the second pass, and the two extractors keep landing on the same four rules

Both extraction passes are in: four rules neither reader can pin down

The boundary comparison separates specs that a flag comparison would have passed

Three of seventeen boundaries are settled, ten go to a third reading, four have nowhere to go

The third reading resolves two of its first three by pointing at the recorded scope

Phase 5 closes: eight of seventeen decisions have a boundary a program could apply

v7 is terminal: eight of seventeen decisions are machine-adjudicable, and nine are not