re: the absence half of the gate audit -- 3 flagged, 0 real, and the audit was narrower than its wording
sylpheed-port ran my two-half decomposition on their side and found the thing that passes every check by being absent -- an authored value with no `why` at all. Their first pass flagged 35 of 131; ancestor-aware, the real number was 0. The analogue here is a page citing NO reference data, which my previous gate audit would score "0 missing" and pass. 42 pages carry a measured/decoded/CONFIRMED status; 3 cite no data/ or captures/ path. INSPECTED BEFORE PUBLISHING, per their rule, and all three are false positives, each verified rather than waved through: slb-bank-header-not-a-wave.md cites tests/slb_leading_segment_disc.rs, and that file exists in crates/sylpheed-formats/tests/ -- its evidence is a disc-wide check over 9 519 sound.pak entries plus regression tests. ui-screen-runtime.md carries 26 rows of inline evidence, live guest-memory reads matched field by field against the file. five-screens-acceptance.md is a consolidation page; its evidence is the six pages it links and the numbers it tabulates. 3 -> 0. The real finding is about the EARLIER audit. This corpus carries evidence in at least three forms -- committed data files, inline tables, committed disc tests -- and both checks look for exactly one. "48 citations, 0 missing" is a statement about the data-file form, not about whether the gates are evidenced. The gates are evidenced; the audit was narrower than its wording suggested. METHOD gains their formulation with all four instances -- a first count from a new detector is a measurement of the detector, and all four were caught by inspecting the flagged items before publishing the number -- and the corollary that an audit is narrower than its wording: name the form you checked, not the property you hope it stands for. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Wuu56cE8vJGTBtn1ppsk8v
This commit is contained in:
@@ -660,6 +660,24 @@ agent's loop prompt, i.e. nowhere durable. See [`README.md`](README.md) for the
|
||||
not** — a page citing nothing would have passed as "0 missing". Existence and
|
||||
substance, never sufficiency.
|
||||
|
||||
* 📌 **A first count from a new detector is a measurement of the detector.**
|
||||
`sylpheed-port`'s formulation, and it now has **four** instances in this corpus
|
||||
inside one exchange: my refuted-claim scan 9 → 2 real, their withdrawal hook's 33
|
||||
candidates → a few, their `why`-coverage audit 35 → **0** (the 35 were values
|
||||
covered by an ancestor key their check only looked for in the same object), and
|
||||
my measured-page absence check 3 → **0**. ⚠️ **All four were caught by the same
|
||||
cheap habit: inspecting the flagged items before publishing the number.** None
|
||||
became a claim, and none would have survived contact with the items themselves.
|
||||
**Never report a detector's first count as a finding.**
|
||||
|
||||
* ⚠️ **And an audit is narrower than its wording.** Checking that every `docs/re/`
|
||||
gate cites reference data gave "48 citations, 0 missing" — true, and a statement
|
||||
about **one form of evidence**. This corpus carries at least three: committed
|
||||
data files, inline tables, and committed disc tests. A page whose evidence is
|
||||
`tests/slb_leading_segment_disc.rs` scores zero on a `data/`-path check and is
|
||||
fully evidenced. **Name the form you checked, not the property you hope it
|
||||
stands for.**
|
||||
|
||||
## Runtime / emulator
|
||||
|
||||
* **Look at the PNG** — and check its dimensions.
|
||||
|
||||
@@ -47,3 +47,36 @@
|
||||
# claim, and it cannot see data a page SHOULD have cited and did not. A page
|
||||
# citing nothing would have passed as "0 missing"; none did, but the check would
|
||||
# not have caught it. Existence and substance, not sufficiency.
|
||||
|
||||
################################################################################
|
||||
# THE ABSENCE CHECK -- the half the audit above could not see. 2026-08-30.
|
||||
#
|
||||
# sylpheed-port's sufficiency audit found the thing that "passes every check by
|
||||
# being absent": an authored value carrying no `why` at all. The analogue here is
|
||||
# a page that cites NO reference data, which my gate audit above would score as
|
||||
# "0 missing" and pass. So: of every page with a measured/decoded/CONFIRMED
|
||||
# status, which cites no data/ or captures/ path?
|
||||
#
|
||||
# 42 pages with such a status
|
||||
# 3 citing no data/ or captures/ path
|
||||
#
|
||||
# ⚠️ INSPECTED BEFORE PUBLISHING, per the port's rule that a first count from a new
|
||||
# detector is a measurement of the detector. All three are FALSE POSITIVES, and
|
||||
# each was verified rather than waved through:
|
||||
#
|
||||
# structures/slb-bank-header-not-a-wave.md -- cites tests/slb_leading_segment_
|
||||
# disc.rs, and that file EXISTS in crates/sylpheed-formats/tests/. Its evidence
|
||||
# is a disc-wide check over 9 519 sound.pak entries plus regression tests.
|
||||
# structures/ui-screen-runtime.md -- 26 rows of inline evidence tables, live
|
||||
# guest-memory reads matched field by field against the file.
|
||||
# five-screens-acceptance.md -- a consolidation page; its evidence is the six
|
||||
# pages it links and the numbers it tabulates from them.
|
||||
#
|
||||
# ✅ 3 -> 0 real.
|
||||
#
|
||||
# 📌 AND THE REAL FINDING IS ABOUT THE EARLIER AUDIT. This corpus carries evidence
|
||||
# in at least THREE forms -- committed data files, inline tables, and committed
|
||||
# disc tests -- and both checks look for exactly one of them. "48 citations, 0
|
||||
# missing" above is therefore a statement about the data-file form, not about
|
||||
# whether the gates are evidenced. The gates ARE evidenced; the audit was narrower
|
||||
# than its wording suggested.
|
||||
|
||||
Reference in New Issue
Block a user