Vitrin V
Kırk arıza
Alet hatalarını gizleyen bir projenin, göremediği bir alet sorunu vardır. Bu projedeki her arıza tek bir dosyada numaralanıyor: neyi iddia ettiği, gerçeğin ne olduğu ve ona inanmanın neye mal olacağı.
Ölçüt
Kaydın kendisinde yayımlanmış; sayı başka bir el tarafından yeniden sayılabilsin diye:
a misfire is a defect in a thing that MEASURES MECHANICALLY — a script, a regex, a limb, a parser, a matcher, a converter, a harness, a band, or a written method that governs one — and it is filed when the instrument returned a verdict, or a silence, the artefact does not support.
docs/VERIFIER-LOG.md
Ne çıktı
- Kayıttaki numaralı satır
- 102
- Türkçe aşamasına ait satır
- 40 — V-43 ile V-82 arası
- Kör — okumak üzere kurulduğu malzemeye ulaşamayan, temiz bir sonuçtan ayırt edilemeyen bir sessizlik döndüren uzuv
- 22
- Yanlış alarm — malzemesine ulaşıp doğru olan metni mahkûm eden uzuv
- 13
- Bozuk — çöken, tahrip eden ya da yanlış durum üzerinde koşan uzuv
- 5
- Körlerden, zaten doğru olan metne kör olanlar
- 22 körden 20 tanesi. Kayıt öteki 2 tanesini adlandırıyor ve önemli olan da o 2 tane: V-64 · V-76
Sınıflandırma göz kararı; kırkın her biri için bir hüküm var ve her sınıfın satırları kayıtta adlandırılıyor ki sayıya inanmak yerine yeniden sayılabilsin. Bu sayfa o adları okuyor; üç kümenin ayrık olduğu ve aşamayı tam olarak kapladığı doğrulanıyor, ve sayım ile tablo bir gün çelişirse yapı duruyor.
Satırlardan üçü
Bu yapıda kayıttan alındı, elle geçirilmedi.
V-67
Kontrol — the hard-rule scanner, CAUSAL_MORPH
Bildirdiği — 27 hypotheses, the standing report of the limb guarding the book’s oldest law
BLIND TO BACK-VOWEL TURKISH. The ablative hard-coded the FRONT-vowel «nden», so every «…dığından / …duğundan» was unmatchable at every run since the limb was armed — 5 sites in 4 files. Confirming it, the chair found a SECOND vowel hole in the same list: the future participle hard-coded the BACK-vowel «acağı», so «…eceği için» was unmatchable too (census 0)
gerçek, docs/VERIFIER-LOG.md
five sites of the book’s most absolute rule outside the scan for the whole stage. All nine newly-visible sites were then censused and ALL NINE ACQUIT — the ablatives are comparatives or the complement of «emin ol-». The scan reports 27 → 36 and the tree stays GREEN: the instrument was blind and what it was blind to was innocent, which nobody could have known, and which is the whole reason a blind limb is not a clean one
V-71
Kontrol — map_rows(), which hands each verifier the rows for its piece
Bildirdiği — the EPILOGUE’s rows
it matched on did[3:] — the slot digits of a DS-### id, but the string LOGUE for BOTH PROLOGUE AND EPILOGUE. LOGUE: matched every PROLOGUE: home, so the two forms were reading each other’s rows: four of the six the EPILOGUE’s brief printed named PROLOGUE, and the map names EPILOGUE nowhere at all
gerçek, docs/VERIFIER-LOG.md
the book’s last page verified against another page’s rows, at the one element after which nothing may be printed in any edition. Found by the EPILOGUE’s own verifier, again by reading the SLICING and not the output. The numeric shorthand is now used only where the id is numeric
V-79
Kontrol — ast.parse, verifying the checker after a patch
Bildirdiği — SYNTAX OK
the file was zero bytes. open(p,'w') had truncated the checker before the expression that raised, and an empty file parses
gerçek, docs/VERIFIER-LOG.md
the instrument the whole stage measures with, emptied and then certified sound. Restored from the last commit; the patch now builds and validates the whole string BEFORE any file is opened, writes to a temp and os.replaces. The day’s law a third time, and the third victim was the verifier of the fix (catch C-101)
Kaydın adlandırdığı iki tanesi, sınıflandırmanın kendisi için var olduğu iki tane: herhangi bir şeyin okunup okunmadığına kör bir uzuv ve yalnızca eklenen bir şeyi görebilen, alınan bir şeyi hiç göremeyen bir uzuv.
the two that were not are the two that matter: the verification-status marker (V-64), blind to whether anything had been read at all, and the ink it exposed carried six blockers at Part V; and register C-24’s one-way limb (V-76), blind to anthropomorphism removed, where the audit that finally looked found eight subtractions with five of them in one shape.
docs/VERIFIER-LOG.md
Kalıcı ders
AND THIS IS THE STAGE’S OWN STANDING LESSON, filed here because the misfire ledger is where it belongs: NOT ONE of the blind limbs was found by reading the corpus. Every one was found by reading the PATTERN — the regex, the slice, the open call, the vowel table — because a limb that cannot fire is indistinguishable from a limb with nothing to report, and the corpus is exactly where that difference is invisible.
docs/VERIFIER-LOG.md
Bir kaydın yanlış veremeyeceği sayı
Bu aşamanın arızalarına dair beş sayı ağaçta duruyor: dört, beş, altı, yedi ve yukarıdaki kırk. İlk dördü yanlış değil. Daha küçük soruların yanıtları; her biri kendi oturumunda dürüst — biri yalnızca projenin kendi kayıt hatalarını sayıyor ve ağustosun ikinci haftasında duruyor, ikisi tek bir haftanın alet onarımlarını sayıyor.
Not one of the first four carries a criterion. The number a register may not get wrong is its own, and the way it gets it wrong is by never saying what it counts.
docs/VERIFIER-LOG.md
Aşamanın kendi bloğu hâlâ dört diyor ve yazıldığı gibi bırakıldı; düzeltme üstüne değil yanına işlendi. Aşılmış bir sınırın altında duran tarihli bir kayıt düzeltilmez, saklanır.