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

re: the absence half of the gate audit -- 3 flagged, 0 real, and the audit was narrower than its wording

Browse Source 
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:
sylph-decoder
2026-08-30 19:39:25 +00:00
parent 4e077fc235
commit 885cc1f898
2 changed files with 51 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
docs/re/data/mission-gate-audit.txt
View File

@@ -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.