# Reproducibility record

Status: internally accepted

Date: 23 July 2026

## Reproducible now

The manuscript source can be built and audited for citation closure, evidence
labels, formal accounting, operator direction, section coverage, and its
explicit statements of absent P4 evidence. The accepted Rust and Lean results
are bounded P1 prerequisites, not an end-to-end P4 experiment.

| Layer | Current evidence | Not established |
|---|---|---|
| Rust Slice 1 | 24 fixtures: 16 semantic-operation passes, 8 structural-only, 0 failures; six composition and two identity fixtures | P4 factorization, forward data integration, connectors, identity reconciliation, physical plans, or maintenance effect |
| Lean Slice 3 | selected mapping identity, closure, unit, and associativity declarations under audited assumptions | Rust/Haskell conformance, instance execution, loss analysis, integration results, or repair work |
| Loss envelopes | two represented cases decode, canonicalize, or round-trip | computed information-loss witnesses or completeness |
| P4 manuscript | definitions, conditional accounting, three paper proofs, example, fixture plan, and experimental contract | an experimentally supported P4 systems result |

## Clean isolated build

Build outside the repository so no PDF or auxiliary file is placed beside the
sources:

```sh
build_dir="$(mktemp -d)"
cp paper.tex references.bib "$build_dir/"
cd "$build_dir"
latexmk -pdf -interaction=nonstopmode -halt-on-error paper.tex
pdfinfo paper.pdf
```

The independent author build used
`/var/folders/6z/np99jwkj4ys5z6l5y0xpwdx80000gn/T/catdb-p4-r2-root.KhXk33DXSF`.
`texcount` reports 7,765 words. The resulting PDF is 39 pages and 390,278
bytes. The log contains zero errors, undefined citations, undefined
references, overfull boxes, or underfull boxes. All 39 pages were rendered to
`/var/folders/6z/np99jwkj4ys5z6l5y0xpwdx80000gn/T/catdb-p4-visual.tgv2p35woh`;
the contact sheet was inspected for clipping, overlap, broken equations, and
unreadable tables. After the round-1 example correction, affected pages 16--18
were rendered at 130 DPI to
`/var/folders/6z/np99jwkj4ys5z6l5y0xpwdx80000gn/T/catdb-p4-r2-visual.pkGuRrNZsP`
and inspected again.

The build outputs have these SHA-256 digests:

| Artifact | SHA-256 |
|---|---|
| `paper.pdf` | `eabed39579107c1369a5acbee2e9f5caed56300722b9b85f74b71bcbb3027125` |
| `paper.log` | `906b43ea4adcd8f07996852b029a44d5fabe8e69734a4c13254300c77cf983a1` |
| `paper.bbl` | `24372d4f3ad7de749c33257d2663663e1d68478cc8721b1f8cefbaa0a6917ac7` |
| `paper.blg` | `c2da6149a4c980d0c6ba64f17cf4abbf487cc6da672d01e8d2940c4593cb1879` |

The eight peer deliverables have these SHA-256 digests:

| Artifact | SHA-256 |
|---|---|
| `disputed-claim-ledger.md` | `206052ee1402441c424aeb97924b5322562f89b661bea9fdd1cc7c5be68285c0` |
| `humanizer-scope.md` | recorded before the post-review audit note; release-bound by the acceptance commit |
| `novelty-ledger.md` | `6777e814f6323f2e2c52afa9b1a27a6ddb5162f1fb115ac86448d6f23ba05635` |
| `paper.tex` | `83164ab3dda34629a77e83d3242300f3e0c2dcbf4451fb03696fe437774f8e44` |
| `primary-source-bibliography.md` | `87104e86e22046196f77166f5af2483012bebf897dd4731d6e5e306f4d8ffc53` |
| `references.bib` | `13584a45f642812d820762549c31ff9b0338a6152b880fd3964e7a1833d4860f` |
| `related-work-ledger.md` | `ab460102418dc13b286846bbd206abefedcb2aa723befd6017ab81af2e6a9ba9` |
| `review-contract.md` | `1f47c4c69fe5ac0ffd4fb5562ed0fbfd1fa81d4990725ee155b83eedc48f4930` |

This record cannot hash its own bytes without a detached manifest; the final
acceptance commit records its release state. These are source/build
observations, not semantic results.

## Terminal acceptance artifacts

The accepted TeX-plus-BibTeX source digest is
`86cf11f789f87ca890bc2e3e9c761b4a78210db208020fe00d89f703ced68885`.
AGY round 1 identified the missing Partner API email declaration. Round 2
verified the correction and ended in `VERDICT: ACCEPT`; the canonical review
is byte-identical to round 2.

| Artifact | SHA-256 |
|---|---|
| repository `paper.pdf` | `eabed39579107c1369a5acbee2e9f5caed56300722b9b85f74b71bcbb3027125` |
| repository `paper.log` | `906b43ea4adcd8f07996852b029a44d5fabe8e69734a4c13254300c77cf983a1` |
| 300-DPI `cover.png` | `b2032952fc09b4b10f1bba687d6d1c45779872aaeaf0db679295e3a647fd7ae9` |
| canonical AGY review | `42b66302d67351ac4a82bf4b22d46b43c588798de0a625fd0ce25b3c4d50efdd` |

## Build acceptance checks

- at least 20 substantive pages at 12pt;
- zero undefined citations or references;
- zero overfull boxes;
- no duplicate BibTeX keys;
- all cited keys exist in `references.bib`;
- bibliography, related-work ledger, and primary-source ledger have the same
  28-key closure;
- exact GrokRxiv sidebar ID, category, and date;
- no PDF or LaTeX auxiliary files in the paper directory.

## Future P4 experiment bundle

A future semantic and systems result must retain:

- exact source revision and dirty-state record;
- Rust, GHC/Cabal, Lean/Lake, SQLite, PostgreSQL, API, and connector versions
  as applicable;
- accepted `integration-profile-v1`, mapping language, equality procedure,
  operator direction, result-normalization, and freshness contracts;
- fixture schema version, fixture IDs, canonical fixture hashes, and seeds;
- independently computed Rust and Haskell outputs;
- exact Lean declaration names, axiom inventory, and `sorry`/`admit` audit;
- direct \(P_{ij}\), factored \(F_i,G_j\), residual \(E_{ij}\), and verdict
  artifacts;
- identity evidence, confidence, authority, approval, and reversible history;
- exact source/domain/consumer versions and source-data snapshots;
- generated logical and physical plans, SQL/API requests, source query plans,
  transferred bytes, source load, retry/failure logs, and freshness;
- pairwise, GAV, LAV, and Information Manifold baseline versions and
  configurations;
- governance, domain-maintenance, reconciliation, exception, and operational
  effort;
- predicted and actual repair-impact sets;
- correctness-oracle output before any timing result;
- repetitions, warm-up policy, exclusions, statistical plan, and all failed
  runs; and
- provenance linking each result to mappings, policies, plans, source
  versions, and snapshots.

Golden values are comparison data. An implementation that reads and replays
them does not satisfy the contract.

## Deliberate absences

No forward integration operator, factorization checker, source connector,
identity resolver, compiled plan, Rust/Haskell P4 comparison, loss analyzer,
virtual/materialized equivalence run, repair-surface experiment, paper review,
cover generation, final publication verification, or repository acceptance
commit was performed in this author pass. The completed Humanizer pass is
documented separately; it did not alter formal definitions, equations,
evidence labels, implementation boundaries, or falsifiers.