# P7 reproducibility record

Status: internally accepted

Date: 23 July 2026

## What can be reproduced now

The paper is a source artifact. A reader can reproduce its LaTeX build and
audit citation closure, evidence labels, section coverage, and the stated
absence of P7 implementation and experiment results.

The current evidence boundary is:

| Layer | Current evidence | Not established |
|---|---|---|
| P7 dossier | source-grounded semantic proposal, claim anchors, fixtures, roadmaps, and falsifiers | accepted profile, runtime, formal theorem, or experiment |
| Existing Rust/Haskell/Lean | bounded schema/path/mapping semantics for another paper slice | entity identity, reconciliation, authority, replay, or reversal |
| P7 manuscript | definitions, example, prior-art comparison, nonclaims, and registered gates | computed identity result or machine-checked law |

## Clean build procedure

Build in a fresh temporary directory so no PDF or auxiliary artifact is
deposited beside the source:

```sh
build_dir="$(mktemp -d /tmp/catdb-p7-tex.XXXXXX)"
cp paper.tex references.bib "$build_dir/"
cd "$build_dir"
pdflatex -interaction=nonstopmode -halt-on-error paper.tex
bibtex paper
pdflatex -interaction=nonstopmode -halt-on-error paper.tex
pdflatex -interaction=nonstopmode -halt-on-error paper.tex
pdfinfo paper.pdf
```

Acceptance checks:

```sh
rg -n "Overfull|undefined references|undefined citations|LaTeX Error" \
  "$build_dir/paper.log"
texcount -inc -sum paper.tex
```

The repository must not retain `paper.pdf`, `.aux`, `.bbl`, `.blg`, `.fls`,
`.fdb_latexmk`, `.log`, `.out`, or `.toc` from this author pass.

## Citation closure

A clean author pass requires:

- zero undefined citations;
- zero undefined references;
- zero overfull boxes;
- no duplicate BibTeX keys;
- every cited key to exist in `references.bib`; and
- every bibliography key to appear in both `related-work-ledger.md` and
  `primary-source-bibliography.md`.

## Future semantic reproduction contract

A future P7 result bundle must retain:

1. exact repository revision and dirty-state record;
2. identity profile, source regime, evidence, method, policy, authority,
   normalization, and diagnostic versions;
3. immutable source and snapshot digests;
4. hand-derived fixture expectations and manifest hashes;
5. independent Rust and Haskell outputs and exact comparison;
6. any Lean declaration names, axiom inventory, and placeholder audit;
7. candidate sets and exact-search recall audits;
8. raw method results, calibration artifacts, and threshold/cost policy;
9. decision events, historical projections, contradiction witnesses, and
   review records;
10. reversal, invalidation, recomputation, and compensation traces;
11. datasets, licenses, ground-truth adjudication, splits, seeds, hardware,
    dependencies, raw metrics, and failed runs;
12. privacy attacker/leakage model and permitted security logs; and
13. independent code and paper review bound to the final artifact digests.

An implementation that reads expected fixture results as its output is not an
independent oracle.

## Deliberate absences

This pass did not:

- invoke AGY;
- create a repository PDF, build log, or cover image;
- implement identity code or fixtures;
- run Rust, Haskell, Lean, matcher, vector, database, privacy, or benchmark
  work;
- promote any `OPEN` or `OBSTRUCTED` claim; or
- edit README, CITATION, shared coordination files, or other papers.

The completed Humanizer pass is documented separately. It did not alter
definitions, equations, evidence labels, implementation boundaries, or
falsifiers.

## Independent author verification

The exact post-Humanizer source was built in
`/var/folders/6z/np99jwkj4ys5z6l5y0xpwdx80000gn/T/catdb-p7-root.SgrMb2i4qd`.
`texcount` reports 7,913 summed words. The resulting PDF is 36 US-letter pages,
PDF 1.7, and 371,373 bytes. The log contains zero errors, undefined citations,
undefined references, or overfull boxes, and two cosmetic underfull-box
warnings in the appendix fixture table. All 36 pages were rendered at 90 DPI
to
`/var/folders/6z/np99jwkj4ys5z6l5y0xpwdx80000gn/T/catdb-p7-visual.9qPjNtxhqv`;
the contact sheet was inspected for clipping, overlap, broken equations,
cropped tables, and unreadable type.

The build outputs have these SHA-256 digests:

| Artifact | SHA-256 |
|---|---|
| `paper.pdf` | `8fef0d989e7797f53e46904cdbe5f6b0537e11d0eb20e042dde01b58ef18bfcf` |
| `paper.log` | `b2fdc0c752064327efdf0fe9a3756693dc06deb91238db93c4130c485ba9f756` |
| `paper.bbl` | `008dc082ad9d726771ff85a15dd9575137dc9f425c4a0d026f36aade7d14a504` |
| `paper.blg` | `d343dd17cdf8b4c85274484313567f627bf1f7b6e9b02fc029cf17b5cecb4e06` |

The bounded TeX-plus-BibTeX source digest is
`af49fec1e4600b281b34195c23a49334eceba91ac6fdb4f157cf2e40524acc95`.
The eight peer deliverables have these SHA-256 digests:

| Artifact | SHA-256 |
|---|---|
| `disputed-claim-ledger.md` | `3290662bb23c955dbc7d88ab463a13360a03566c8ca71b45e4f7340947a17591` |
| `humanizer-scope.md` | `93465f07b93f046f6f1c627600c97fc6a20843da30fe0581a7a11af6a40e2ff0` |
| `novelty-ledger.md` | `7252e4379aa788798a2dfca95f6d4c0a06b6df2a8086897210ce39ccb2d89f9b` |
| `paper.tex` | `9c1c53c9a080813ae9579c5af084258a660559af2278684f71c2aca638175174` |
| `primary-source-bibliography.md` | `e75c87231e025d6cad3bc62567fc0b37c6911f2760f950d49771b1ebd2b1856b` |
| `references.bib` | `9c01d4add28a89e66aa5c851ddf360b8ec5005df4ddaf558247abf7a90507a5c` |
| `related-work-ledger.md` | `157f92e6432a4e16a94c209a3b4ee7412a8d85bab17c6be64f480f6d19d4d9fc` |
| `review-contract.md` | `ff02447774a7e7c9b17066ed425d13d1505aa3d18798a8e6910e6a0a16bd8986` |

This record cannot contain its own stable digest; the final acceptance commit
binds its release state.

## Terminal acceptance artifacts

AGY round 1 reviewed source digest
`af49fec1e4600b281b34195c23a49334eceba91ac6fdb4f157cf2e40524acc95`
and ended in `VERDICT: ACCEPT`; the canonical review is byte-identical to
round 1.

| Artifact | SHA-256 |
|---|---|
| repository `paper.pdf` | `8fef0d989e7797f53e46904cdbe5f6b0537e11d0eb20e042dde01b58ef18bfcf` |
| repository `paper.log` | `b2fdc0c752064327efdf0fe9a3756693dc06deb91238db93c4130c485ba9f756` |
| 300-DPI `cover.png` | `603a198d13ab81279292403333f21e4eeaa78e59c840d4e5eb8902734b0b86d8` |
| canonical AGY review | `35c430a45933a6b0a8e9a56ab9db2670bbfb6226c0d2e7f4d8ce4bb95c195496` |