docs: the end-of-line stream that paints nothing, and the four smaller rests
The round's report, and the two published sentences it makes false. CLAUDE.md said a delta and an end-of-line escape both state a skip every decoder agrees on. True of the delta, false of the end-of-line, and the paragraph now says what was measured instead: 703 of 22 620 swept streams carried here and refused by Pillow, 1 492 drawn differently, 0 and 32 after the two clauses, and the third clause that would give 0 and 0 priced at 15 of the 25 real files. The accounting-gate section gains the two rests about what a CONSUMER is told: the published door contract now names the keys the gate reads, and a bundle built without the door says why a converted image cannot be proved. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
parent
ce4ff70a21
commit
c5bfb32ce6
2 changed files with 219 additions and 9 deletions
60
CLAUDE.md
60
CLAUDE.md
|
|
@ -1100,16 +1100,42 @@ and fixtures, never code.
|
|||
anywhere: a stream whose FIRST two bytes are the EOB escape was carried with
|
||||
**32 of 32** pixels never decoded while Pillow refuses the same file. The
|
||||
cursor must now also stand at or past the end of the last row. **The line is
|
||||
the CURSOR and not the pixels** -- a delta and an end-of-line escape state
|
||||
their skip, so every decoder agrees on the index-0 pixels they pass over,
|
||||
and a pixel-coverage count would refuse both constructions the format
|
||||
defines. The corpus cannot choose (over the **25** RLE8 BMPs the delivery
|
||||
ships, 25 of 25 paint every pixel, 25 of 25 reach the end, **0 of 25** use a
|
||||
delta) and an independent decoder can: Pillow reads **5 of 8** streams and
|
||||
refuses the same **3**, one short by a single pixel. The earlier `19 of 19`
|
||||
figures above are the BUNDLE's carried assets; 25 is what the delivery
|
||||
ships. Report:
|
||||
the CURSOR and not the pixels** -- a pixel-coverage count would refuse the
|
||||
delta the format defines. The corpus cannot choose (over the **25** RLE8
|
||||
BMPs the delivery ships, 25 of 25 paint every pixel, 25 of 25 reach the end,
|
||||
**0 of 25** use a delta) and an independent decoder can. The earlier
|
||||
`19 of 19` figures above are the BUNDLE's carried assets; 25 is what the
|
||||
delivery ships. Report:
|
||||
`docs/2026-09-19-pekerblokken-bindes-til-kjoringen.md`.
|
||||
**AND THAT ROUND'S OWN SENTENCE WAS TRUE OF THE DELTA AND FALSE OF THE
|
||||
END-OF-LINE.** It said both escapes state a skip every decoder agrees on.
|
||||
A delta states a DISTANCE; an end-of-line states only "the rest of THIS
|
||||
row", so an end-of-line at column 0 closes nothing and claims a row the
|
||||
stream never wrote -- four of them and an EOB carried an 8x4 frame with
|
||||
**32 of 32** pixels never decoded, and Pillow refuses those bytes. The class
|
||||
is wider than that construction and this round SWEPT it instead of patching
|
||||
it: over every opcode sequence of length 1-4 on a 4x3 frame, **22 620**
|
||||
streams, this reader carried **703** streams Pillow refuses and drew
|
||||
**1 492** more differently. PM's recommendation alone (refuse a stream that
|
||||
painted nothing) leaves **512** and **1 171** -- it would have narrowed the
|
||||
class a third time. Two clauses ship instead, both `asset_samples_invalid`:
|
||||
an end-of-line at column 0, and a delta whose horizontal offset would leave
|
||||
the row (the format puts it inside the line; this reader keeps the cursor
|
||||
past the row end where a flat decoder rolls it into the next row). After:
|
||||
**0** carried-here-refused-there and **32** drawn differently. **WHAT IS NOT
|
||||
CLOSED IS STATED**: all 32 are a run or absolute block that OVERRUNS its
|
||||
row, which this reader clips at the row end and Pillow spills into the next;
|
||||
refusing those gives 0 and 0 and costs **15 of the 25** real files, so it is
|
||||
a limit and not a loss taken. Cost measured on the corpus FIRST: over
|
||||
**11 441** files scanned across the four raw deliveries and the K2 reference
|
||||
corpus, the only **25** BMPs on this machine use an end-of-line at column 0
|
||||
in **0 of 25** and a delta in **0 of 25**, and 25 of 25 still decode to
|
||||
Pillow's pixels exactly (**3 117 220** compared). R761 rebuilt from a pinned
|
||||
pre-change tree and from this one is `diff -r`-IDENTICAL, 5 551 files, 50 of
|
||||
50 viewable, 19 of 19 lossless. `CURSOR_CASES` goes 8 arms to 12 (one for
|
||||
the cursor rule's ROW clause, PM's `P8`, which survived 51 tests) and the
|
||||
mutant runner 45 to 47. Report:
|
||||
`docs/2026-09-19-eol-stroemmen-som-ikke-maler.md`.
|
||||
- **Account for content: `okf build --accounting PATH` and its judge
|
||||
`python3 tools/okf_accounting_gate.py` (2026-09-17).**
|
||||
- The gate was written RED at `0b00de4` and turned GREEN on all six rows by
|
||||
|
|
@ -1203,6 +1229,22 @@ and fixtures, never code.
|
|||
finding about the run that read as a finding about the build; what it
|
||||
would take is an STS reader for the JSON delivery, and `standardContent`
|
||||
occurs 0 times in `src/`).
|
||||
- **THE PUBLISHED DOOR CONTRACT NAMES WHAT THE GATE READS (2026-09-19).**
|
||||
The JSON sketch at the top of `okf_accounting_gate.py` is what a consumer
|
||||
implements `--accounting` from, and it did not name `conversions` -- which
|
||||
`asset_holds`' conversion route DEPENDS on -- nor `normalised_soft_hyphen`,
|
||||
`unaccounted` or `double_booked`. A door built from it writes a ledger the
|
||||
gate reads as "nothing was converted", and every converted image comes out
|
||||
claimed-and-not-found: **19 of 50** on R761. Two tests hold the sketch
|
||||
against both sides -- what the gate LOOKS UP (measured with a ledger that
|
||||
records its own lookups, never by grep) and what the door SERIALISES -- so
|
||||
"publish everything" is not a fix either.
|
||||
- **A DOORLESS BUNDLE SAYS WHY (2026-09-19).** Without the flag there is no
|
||||
ledger, so a converted image cannot be proved carried and is counted
|
||||
claimed-and-not-found -- honest, and until now silent: the count was
|
||||
printed and its cause was not. `_tally` names the missing ledger when, and
|
||||
only when, something was claimed and not found. The gate always passes the
|
||||
flag, so **no row moves** (RED 2, 3, 6, exit 1, unchanged).
|
||||
- **Operator 2026-09-17:** the door stays OPT-IN until the reference
|
||||
corpus's losses are fixed, and of the three proposed exceptions only the
|
||||
PDF one (heading, paragraph, table) is APPROVED. It moves no number --
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue