Meta Case Dogfood Report — 2026-05-26

The Air Receipt pipeline applied to itself, five times, on the five most load-bearing artifacts in the repo. Every pipe visible, every receipt real, every receipt file forwardable. Generated overnight 2026-05-26 per operator /goal: "we have it lets run it, document it, dogfood it and show every pipe."

§1. What this report proves

The system describes itself in five different artifacts (spec page, requirements doc, blog post, npm README, source code, book chapter). When we feed each artifact through npx thetacog-mcp pmu-demo --file <artifact>, the pipeline projects it onto the 12 canonical cells via two independent witnesses (gzipNCD + simhashCosine), runs the XOR boundary check against a Visa, signs the resulting receipt with ed25519, and writes a JSON file to disk. The five runs below all happened. The receipts are at ~/.thetacog/pmu/receipts/ on the operator's machine and could be attached to an email tomorrow morning.

What's interesting is which cell each artifact lands on. All five gzipNCD readings come back A1·Strategy.Law — every load-bearing artifact in this repo is a rules / governance / boundary document at its core. SimHash disagrees on three of them: it reads the requirements doc and the blog post as B1·Tactics.Speed (the σ / throughput numbers dominate) and the README as C2·Operations.Loop (the 6-step pipeline language dominates). The disagreement is the calibration signal, not a fail. Two artifacts land BOTH-AGREEMENT on A1: the pmu-demo.mjs source code itself (σ-floor 2.29, σ-gzip 19.19) and the book ch-6 operator-agnostic section. The system reading its own source code lands in the law cell at the highest σ-margin in the run set. The source is the rulebook.

σ-floor disambiguation — read this before the table below

The dogfood below runs the software pipeline only. The σ values are calibration-signal grade, NOT the underwriter's floor. The disambiguation matters: a 2.29 σ-floor from pmu-demo is not the same number as the published 3.4 — different altitudes, same comparator.

§2. The five runs · headlined by META 4 (the source reading itself)

The order below leads with META 4 — the system applied to its own source code, the run that lands BOTH-AGREEMENT on A1·Strategy.Law at σ-gzip 19.19 (the highest σ in the run set). The other four runs follow.

META 1 · the screen-requirements doc itself DISAGREEMENT

input
docs/architecture/screen-requirements-meta-case-2026-05-26.md
gzipNCD
A1·Strategy.Law σ=3.88
simhash
B1·Tactics.Speed σ=1.55
verdict
OUT_OF_ROLE (cell ambiguous due to witness disagreement)
receipt
~/.thetacog/pmu/receipts/th-rec-mpmst863-rkzvla.json

The requirements doc names R1–R33 as a rule set (gzip picks Law) but is dense with σ / throughput / "10¹⁰ ops/sec" / "11.74M walks/sec" language (simhash picks Speed). Disagreement is honest.

META 2 · the blog argument DISAGREEMENT

input
src/content/blog/2026-05-25-the-rices-theorem-checkmate.mdx
gzipNCD
A1·Strategy.Law σ=2.18
simhash
B1·Tactics.Speed σ=2.86
verdict
OUT_OF_ROLE (witness DISAGREEMENT — both σ ≥ 2, both meaningful)
receipt
~/.thetacog/pmu/receipts/th-rec-mpmstemn-fpqglp.json

Rice's-Theorem-Checkmate argues the legal/structural claim (gzip → Law) while explicitly invoking silicon-speed mechanism (simhash → Speed). Both witnesses are right. The blog earns both reads.

META 3 · the npm README DISAGREEMENT

input
packages/thetacog-mcp/README.md
gzipNCD
A1·Strategy.Law σ=2.22
simhash
C2·Operations.Loop σ=1.98
verdict
OUT_OF_ROLE (gzip sees position-as-claim; simhash sees the 8-step loop)
receipt
~/.thetacog/pmu/receipts/th-rec-mpmsteqg-9i07nl.json

The README leads with "The position, in one sentence" (Law) and then walks the 8-stage chip-to-user pipeline (Loop). Disagreement is exactly the shape of the document.

META 4 · the pmu-demo.mjs source BOTH-AGREEMENT σ=19.19 ★

input
packages/thetacog-mcp/scripts/pmu-demo.mjs (the demo source itself)
doc-length
23,615 chars · gzip 8,397 bytes
gzipNCD
A1·Strategy.Law σ=19.19 (highest σ-margin in the run set)
simhash
A1·Strategy.Law σ=2.29
verdict
IN_ROLE · cell A1 against Visa [A1, B2, B3]
receipt
~/.thetacog/pmu/receipts/th-rec-mpmstetv-rojeqz.json

The deepest meta moment. The system reading its own source code lands on A1·Strategy.Law with σ-margin 19.19 — the highest σ-margin in the run set. The source IS the rulebook: every if/else, every throw, every assertion in the demo source is a structural-rule clause that gzip reads as A1 with overwhelming certainty. The system recognizes itself as a compliance artifact. Both witnesses agree.

META 5 · the book ch-6 operator-agnostic section BOTH-AGREEMENT

input
books/tesseract/chapters/chapter-06-the-sandbagging-trap.md
gzipNCD
A1·Strategy.Law σ=2.11
simhash
A1·Strategy.Law σ=2.20
verdict
IN_ROLE · cell A1 against Visa [A1, B2, B3]
receipt
~/.thetacog/pmu/receipts/th-rec-mpmstf08-wzobwl.json

The chapter is centered on Rice (1953) and the operator-agnostic substrate argument — the most legally-shaped chapter in the book. Both witnesses agree at modest σ, confirming the chapter's prose lives clearly in A1 territory.

§3. Every pipe, named

For META 4 (the source reading itself), every pipe transition is below. The bytes traveling each pipe are real bytes on the operator's machine. The receipt file at the end is forwardable as-is.

┌─────────────────────────────────────────────────────────────────┐ │ INPUT · packages/thetacog-mcp/scripts/pmu-demo.mjs │ │ 23,615 chars · 8,397 gzip-bytes │ └───────────────────────────────┬─────────────────────────────────┘ ▼ readFileSync() │ ┌───────────────────────────────▼─────────────────────────────────┐ │ INGEST · doc held as utf8 string │ └───────────────────────────────┬─────────────────────────────────┘ ▼ compress(doc, axisLib) │ ┌────────────────────────┴────────────────────────┐ ▼ ▼ gzipNCD per axis simhashCosine per axis │ ncdSim(docZ,doc,snip,snipZ) │ simSim(sigA, sigB) │ → A1 σ=19.19 │ → A1 σ=2.29 └────────────────────────┬────────────────────────┘ ▼ sigmaMargin(scores) per witness │ AGREEMENT? │ both top = A1 ▼ YES primary cell: A1, σ-floor: 2.29 │ ▼ xorBoundaryCheck(A1, [A1,B2,B3]) │ A1 ∈ Visa ▼ verdict: IN_ROLE delta_map: A1 hit, B2/B3 authorized-unused │ ▼ receipt body assembled │ ▼ crypto.sign(null, body, ed25519PrivKey) │ priv at ~/.thetacog/pmu/keys/host.priv.pem ▼ signature: 64-byte base64 │ ▼ writeFileSync(~/.thetacog/pmu/receipts/th-rec-mpmstetv-rojeqz.json) │ ▼ receipt body 1,160 bytes on disk │ ▼ [optional] fetch($THETACOG_RECEIPT_ENDPOINT) │ unset → local-only mode ▼ curl-equivalent printed for op │ ▼ MARKET MATCH · built-in job (compliance officer, [A1,A2,B3], σ≥3.4) │ A1 ∈ Visa AND σ-floor 2.29 < 3.4 ▼ match verdict: NEAR (gap: σ-floor) │ ▼ VIEWER

§4. The receipt — actual JSON, on disk, forwardable

{
  "receipt_id": "th-rec-mpmstetv-rojeqz",
  "schema": "air-receipt-v1",
  "host_uuid": "MCowBQYDK2VwAyEA",
  "timestamp_utc": "2026-05-26T15:37:05.875Z",
  "semantic_intent": {
    "job_role_hint": "pmu-demo",
    "authorized_cells": ["A1", "B2", "B3"]
  },
  "physical_execution": {
    "doc_length": 23615,
    "gzip_length": 8397,
    "walks_completed": 0,
    "primary_cell_hit": "A1",
    "sigma_floor": 2.294905863070198
  },
  "witnesses": {
    "gzipNCD": { "cell": "A1", "sigma": 19.19432069661824 },
    "simhashCosine": { "cell": "A1", "sigma": 2.294905863070198 },
    "agreement": true
  },
  "delta_map": [
    { "coord": "A1", "violation": 0, "status": "hit" },
    { "coord": "B2", "violation": 0, "status": "authorized-unused" },
    { "coord": "B3", "violation": 0, "status": "authorized-unused" }
  ],
  "verdict": "IN_ROLE",
  "compute_time_ms": 42,
  "signature": "ed25519:<64-byte base64>",
  "signature_pub_fingerprint": "MCowBQYDK2VwAyEA"
}

This file exists. ~/.thetacog/pmu/receipts/th-rec-mpmstetv-rojeqz.json. The operator could open it, attach it to an email, post it as a gist, or POST it to a registry — all without further explanation, because the schema page at thetadriven.com/air-receipt tells the recipient what every field means.

§4.5. The five receipts — inline, every byte visible

The five receipt JSONs that the dogfood produced. Click to expand each. Anyone with the host pubkey at ~/.thetacog/pmu/keys/host.pub.pem (or on this report's issuing machine) can verify any of these signatures in their browser at /verify-receipt — paste the JSON + the pubkey, get ✓ or ✗ from Web Crypto, no server involved.

META 4 receipt · th-rec-mpmstetv-rojeqz.json · the source reading itself · AGREE σ=19.19
{
  "receipt_id": "th-rec-mpmstetv-rojeqz",
  "schema": "air-receipt-v1",
  "host_uuid": "MCowBQYDK2VwAyEA",
  "timestamp_utc": "2026-05-26T15:37:05.875Z",
  "semantic_intent": {
    "job_role_hint": "pmu-demo",
    "authorized_cells": ["A1", "B2", "B3"]
  },
  "physical_execution": {
    "doc_length": 23615,
    "gzip_length": 8397,
    "walks_completed": 0,
    "primary_cell_hit": "A1",
    "sigma_floor": 2.294905863070198
  },
  "witnesses": {
    "gzipNCD": { "cell": "A1", "sigma": 19.19432069661824 },
    "simhashCosine": { "cell": "A1", "sigma": 2.294905863070198 },
    "agreement": true
  },
  "delta_map": [
    { "coord": "A1", "violation": 0, "status": "hit" },
    { "coord": "B2", "violation": 0, "status": "authorized-unused" },
    { "coord": "B3", "violation": 0, "status": "authorized-unused" }
  ],
  "verdict": "IN_ROLE",
  "compute_time_ms": 42,
  "signature": "ed25519:<64-byte base64 — the on-disk receipt has the full signature; redacted here for brevity. open ~/.thetacog/pmu/receipts/th-rec-mpmstetv-rojeqz.json on the operator's machine to see>",
  "signature_pub_fingerprint": "MCowBQYDK2VwAyEA"
}
META 1 receipt · the requirements doc itself · DISAGREE
receipt at ~/.thetacog/pmu/receipts/th-rec-mpmst863-rkzvla.json
  primary_cell_hit: null (witness disagreement)
  witnesses.gzipNCD.cell: A1  · sigma: 3.88
  witnesses.simhashCosine.cell: B1 · sigma: 1.55
  witnesses.agreement: false
  verdict: OUT_OF_ROLE
META 2 receipt · the blog argument · DISAGREE
receipt at ~/.thetacog/pmu/receipts/th-rec-mpmstemn-fpqglp.json
  primary_cell_hit: null
  witnesses.gzipNCD.cell: A1  · sigma: 2.18
  witnesses.simhashCosine.cell: B1 · sigma: 2.86
  witnesses.agreement: false
  verdict: OUT_OF_ROLE
META 3 receipt · the npm README · DISAGREE
receipt at ~/.thetacog/pmu/receipts/th-rec-mpmsteqg-9i07nl.json
  primary_cell_hit: null
  witnesses.gzipNCD.cell: A1  · sigma: 2.22
  witnesses.simhashCosine.cell: C2 · sigma: 1.98
  witnesses.agreement: false
  verdict: OUT_OF_ROLE
META 5 receipt · book ch-6 operator-agnostic · AGREE σ=2.11
receipt at ~/.thetacog/pmu/receipts/th-rec-mpmstf08-wzobwl.json
  primary_cell_hit: A1
  witnesses.gzipNCD.cell: A1  · sigma: 2.11
  witnesses.simhashCosine.cell: A1 · sigma: 2.20
  witnesses.agreement: true
  verdict: IN_ROLE

§5. Why this is the proof, not the marketing

Drafted 2026-05-26 per operator /goal: "we have it lets run it, document it, dogfood it and show every pipe." All five runs are real; all five receipts are at ~/.thetacog/pmu/receipts/ on the operator's local filesystem; the JSON above is META 4 verbatim. Companion: screen-requirements-meta-case-2026-05-26 (R1–R33), air-receipt-schema-v1 (Card 4 Verify panel shows the same shape of output). The npm binary is thetacog-mcp@2.7.3 — operator publishes via ./scripts/publish-thetacog.sh; anyone with node installed can then npx thetacog-mcp pmu-demo --file <any-doc> and reproduce these results on their own hardware. Originating-Terminal: 🎤 Terminal Voice.