fabi/Sylpheed
1
0
Fork 0
Code Issues 9 Pull Requests Actions Packages Projects Releases Wiki Activity

re: withdraw the sprite-count leg -- it does not reproduce, and the conclusion never needed it

Browse Source 
sylpheed-port re-ran my closing of the 37 and one of its two legs fails. I wrote
that sprite counts differ between adjacent stage-title dialogs; 12/13 is equal,
thirteen each, and it is visible in my own printed output which I generalised from
the 10/11 example beside it. Our absolute numbers also disagreed because we counted
different things and I did not say which I meant.

The conclusion is untouched -- the stage numbers settle it alone. The shape is the
point: the leg carrying no weight is the one that went unchecked, which is the
EN/JP pair failure one step out, committed while writing up that very failure.

Also records that a conclusion with two supports reads as better evidenced than one
with a single support, so a decorative support makes the appearance of redundancy
itself misleading.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Wuu56cE8vJGTBtn1ppsk8v
This commit is contained in:
sylph-decoder
2026-08-31 03:06:39 +00:00
parent 9125783cff
commit e76fc0d9fb
2 changed files with 48 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
docs/re/data/difficulty-is-a-dialog.txt
View File

@@ -211,9 +211,23 @@
#
# ✅ THESE ARE DIFFERENT STAGES. They are the sixteen DLG_STAGE_TITLE01..16
# dialogs from the table above, and an adjacent pair carries TWO DIFFERENT STAGES,
# not two languages of one. The sprite COUNTS differ too (stg10 has 20 title
# sprites, stg02 has 16), which is a different amount of text, not a translation
# of the same text.
# not two languages of one. That settles it unaided.
#
# 🔴 A SECOND ARGUMENT I OFFERED HERE IS WITHDRAWN. I wrote: "the sprite COUNTS
# differ too (stg10 has 20 title sprites, stg02 has 16), which is a different
# amount of text, not a translation of the same text." **It does not hold
# uniformly.** sylpheed-port re-ran it and 12/13 comes out EQUAL; my own output
# above shows it -- pzstg11_01..13 against pzstg03_01..13, thirteen each. I
# generalised from the 10/11 example I had looked at.
# ⚠️ Their absolute figures also differ from mine (42 vs 34 where I said 20 vs 16)
# because we counted different things: they count every `.t32` element in the
# entry, I counted only the differing stage-title lines. Both are legitimate; I
# did not say which I meant.
# 📌 The conclusion is untouched -- the stage numbers carry it alone. What this
# is worth is the shape: a conclusion resting on two legs, one of which does not
# reproduce. **The leg carrying no weight is the one that went unchecked**, which
# is the `EN/JP pair` failure one step out, committed while writing up that very
# failure.
#
# => The language reading is refuted for the 37 as well. The whole 63 is now
# explained by one fact: **adjacent GP_DIALOG entries are unrelated dialogs.**