Pith. Sign in

Pith Integrity · self-audit v1 · claim discipline

Self-audit

Five greps against the HTML and CSS pith.science actually serves. Each detector carries a known-bad fixture (miss = suite refuted) and a clean fixture (false-fire = refuted). The board was born red on 2026-07-09 against tonight's P0s; green rows link to the fix commits. Published-then-fixed is the product.

board clear (5/5 green) · ran 2026-07-10T02:39:39+00:00 · suite suite valid · Integrity hub · scripts/self_audit.py

01Board

02Red history

Baseline from the night the suite was born (baseline-20260709.json). Every row was red. The fix commits are the public record of the close.

Was red 2026-07-09 markdown_leak

Literal markdown table syntax (|---|) in served HTML

fixed in 395fb30 · methodology tables + restyle

Raw extraction · baseline hit

| Score | Anchor | |---|---| | 10 | Reshapes a major branch of science. Civilizational-scale impact. Examples: derivation of physics from one functional equatio
Was red 2026-07-09 enum_leak

Internal enum tokens (UPPER_SNAKE) in reader copy outside code

fixed in 6778cd8 · flags raw-first; chrome-scoped in a3ae2f6

Raw extraction · baseline hit

aleph_2: We settle the long-standing open question whether there exists a $3$-ladder of cardinality $\aleph_2$. Given a positive
Was red 2026-07-09 tex_unlabeled

TeX control sequences in reader copy without a raw-extraction label

fixed in 6778cd8 · flags raw-first (\Degen ruling)

Raw extraction · baseline hit

author author M. Loretz , author T. Rosskopf , author J. M. \ Boss , author S. Pezzagna , author J. Meijer , \ and\ author C. L. \ Degen ,\ @noop journal journa
Was red 2026-07-09 claim_verbs

Claim verbs (verified/proven) outside whitelisted tier contexts

fixed in a3ae2f6 · audit Registry match; D4 scoped to Pith chrome

Raw extraction · baseline hit

verified: Benchmark uses verified VM transitions to separate rule-following from copied persi
Was red 2026-07-09 gold_escrow

Gold tokens outside the ladder's reserved-rung selectors

fixed in a3ae2f6 · legacy amber/gold neutralized; rule (c) in 9e65a3c

Raw extraction · baseline hit

color: #d9a93e;

03How to re-run

python3 scripts/self_audit.py --out docs/self-audit/latest.json

Exit 0 = suite valid (rows may be red). Exit 2 = suite refuted (fixture miss).