Re-measures the declared UMÅLT gap from docs/2026-09-02-korpuskjoring-k1-k2.md against ground truth (find, not STATE). K2/trinn1 and "K3-korpuset" are the same directory (both K1/K2 02.09 and K3 09.04 run against ~/corpora/okf-telling-20260829/K2/trinn1) -- one corpus, counted once. 0 pptx, 0 odt, 0 rtf, known-positive control (docx: 5) proves the query can find. Sum 0 across both named corpora ends the order at step 1 per its own instruction; no K2 step 2 work started, no code added. No public corpus with these formats is on hand under ~/corpora -- reported as not verified, not as nonexistent. Order: 20260904T190727Z-589245685-from-.claude Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01M7Qvq71UCQZwkrLT7WbeB9
5.4 KiB
K2 on pptx/odt/rtf: the denominator, measured, 2026-09-04
Order 20260904T190727Z-589245685-from-.claude. Closes a declared gap —
docs/2026-09-02-korpuskjoring-k1-k2.md already recorded pptx, odt and
rtf as "denominator 0 — unmeasured by construction" in K2/trinn1. This
report re-measures that denominator with ls/find against ground truth,
per Verifiseringsloven ansikt 4 (a measured absence needs its query proven
able to find, not just an empty result), rather than trusting the earlier
doc's number as still current.
Ordered as two steps: measure the denominator first, then only run K2 if the denominator is non-zero. It stayed zero, so step 2 (K2 fidelity) was never started — no code, no test, no fixture, nothing to gate under the Iron Law.
Step 1 — the denominator
"K3-korpuset" is not a second directory. Both docs/2026-09-02-korpuskjoring-k1-k2.md
(K1/K2, 02.09) and docs/2026-09-04-k3-arm-c.md (K3, 09.04) run their
okf_corpus_run.py invocation against the same path:
~/corpora/okf-telling-20260829/K2/trinn1. There is no separate K3 corpus
directory — the order's parenthetical ("samme kataloger K1/K2-målingene 02.09
brukte") confirms this rather than naming a second one. One directory,
counted once.
CORPUS=~/corpora/okf-telling-20260829/K2/trinn1
find "$CORPUS" -maxdepth 1 -type f | wc -l # -> 43
find "$CORPUS" -maxdepth 1 -iname '*.pptx' | wc -l # -> 0
find "$CORPUS" -maxdepth 1 -iname '*.odt' | wc -l # -> 0
find "$CORPUS" -maxdepth 1 -iname '*.rtf' | wc -l # -> 0
| format | files in K2/trinn1 (= K3's corpus) |
|---|---|
pptx |
0 |
odt |
0 |
rtf |
0 |
N = 43 matches the file count both prior docs report for this directory —
verified here again with find, not carried over from STATE or a prior doc.
Known-positive control (the query can find, so the 0 above is a measured absence, not a broken query): the same directory, same command shape, a format known present:
find ~/corpora/okf-telling-20260829/K2/trinn1 -maxdepth 1 -iname '*.docx' | wc -l # -> 5
5/5 found, exit 0. The pptx/odt/rtf queries above ran with the identical shape and returned nothing — an absence, not a silent failure.
There is also a K2/trinn2 directory (43 further files, byte-identical to
trinn1 per docs/2026-08-29-telling-offentlig-prosjektkorpus.md § 6,
sha256 equal 43/43) and a K1 directory (0 files on disk — K1 Skram was
never downloadable, same doc § 5). Neither was part of the 02.09 K1/K2
measurement or the 09.04 K3 measurement, and the order scopes this
re-measurement to "the same directories K1/K2 used" — so neither is counted
here. Naming them is the whole of what this report says about them.
Sum across both named corpora (K2/trinn1 and "K3-korpuset", which are the
same directory): 0. Per the order, that ends the work at step 1 — K2 for
pptx/odt/rtf is not measurable on this corpus, and step 2 does not run.
Which public corpus has these formats
The order asks this report to name a public corpus that already has
pptx/odt/rtf files, without fetching anything new. ~/corpora/ holds
exactly one corpus directory (okf-telling-20260829), and no file anywhere
under it matches *.pptx, *.odt or *.rtf:
find ~/corpora -iname '*.pptx' -o -iname '*.odt' -o -iname '*.rtf' # -> no output, exit 0
No public corpus with these formats is on hand. Naming one would require new research (a new download, a new search) — out of scope for this order, which asked only to check what already exists locally. This is reported as "not verified", not as "no such corpus exists" (Verifiseringsloven ansikt 4): absence of a locally-known example is not evidence none exists publicly.
Bundle integrity
No bundle was touched — step 2 never ran, so there is nothing to
materialize. The only operations against the corpus were read-only find
commands. As a sanity check anyway (the aggregate-hash trap from
docs/2026-09-04-cid-andel-k2.md — sort needs LC_ALL=C or the hash is an
artifact of locale, not content):
LC_ALL=C find ~/corpora/okf-telling-20260829/K2/trinn1 -type f -print0 \
| LC_ALL=C sort -z | xargs -0 shasum -a 256 | LC_ALL=C sort | shasum -a 256
Before and after the counting commands above: both runs gave
4f093df27adb081c99c3e08ad12aab1e56f4429bcf900bdf80bc01cf21e104ce. Identical —
byte-unchanged, as expected of read-only find/ls.
Verification log
| Claim | Command | Outcome |
|---|---|---|
| K2/trinn1 has 43 files | find … -maxdepth 1 -type f | wc -l |
43 |
| 0 pptx | find … -iname '*.pptx' | wc -l |
0 |
| 0 odt | find … -iname '*.odt' | wc -l |
0 |
| 0 rtf | find … -iname '*.rtf' | wc -l |
0 |
| Query can find (known-positive) | same shape, -iname '*.docx' |
5 |
| K3 uses the same directory | grep -n corpus docs/2026-09-04-k3-arm-c.md |
--corpus …/K2/trinn1 |
No pptx/odt/rtf anywhere under ~/corpora |
find ~/corpora -iname '*.pptx' -o -iname '*.odt' -o -iname '*.rtf' |
no output, exit 0 |
| Corpus byte-unchanged | aggregate LC_ALL=C sha256, before and after |
identical hash both times |
Result
pptx, odt, rtf in K2/trinn1 (the same directory the K1/K2 and K3
measurements used): 0 files in both named corpora — K2 for these formats
is not measurable here. No K2 step 2 work was started. No public corpus
with these formats is currently known locally; identifying one is new
research and out of scope for this order.