# Reproducibility record

Status: internally accepted

Date: 23 July 2026

## What can be reproduced now

A reader can reproduce the manuscript build, citation closure, section
coverage, evidence labels, and the stated absence of P6 executable results.
The paper's definitions, tables, and experiment plan are source artifacts.
They do not execute incremental materialization.

The current evidence boundary is:

| Layer | Current evidence | Not established |
|---|---|---|
| Prior literature | Classical IVM, higher-order/differential/automatic IVM, view adaptation, lazy maintenance, checkpoint, CDC, and provenance precedents. | Any CatDB implementation behavior. |
| Existing repository code | Bounded schema/path/mapping and small migration prerequisites in Rust, Haskell, Lean, and shared fixtures. | P6 full/delta evaluation, dependency impact, capture, checkpoint, recovery, freshness, or performance. |
| P6 dossier | Candidate semantics, source ledger, falsifiers, fixtures, and roadmaps. | Computed semantic result or peer-review verdict. |
| P6 manuscript | Provisional formal and systems contract plus paper-local ledgers. | Exactly once, transactional cursor, crash recovery, full/incremental equivalence, formal proof, or performance. |

## Clean build procedure

Build only in a fresh temporary directory so no PDF, cover, log, or auxiliary
artifact is deposited in the repository paper directory:

```sh
build_dir="$(mktemp -d)"
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
```

The independent author build used
`/var/folders/6z/np99jwkj4ys5z6l5y0xpwdx80000gn/T/catdb-p6-root.auVChZdIxX`.
`texcount` reports 7,565 words. The resulting PDF is 36 pages and 369,748
bytes. The log contains zero errors, undefined citations, undefined
references, or overfull boxes, and one cosmetic underfull-box warning. All 36
pages were rendered at 90 DPI to
`/var/folders/6z/np99jwkj4ys5z6l5y0xpwdx80000gn/T/catdb-p6-visual.HMkNpRALPd`;
the contact sheet was inspected for clipping, overlap, broken equations,
cropped landscape tables, and unreadable type.

The build outputs have these SHA-256 digests:

| Artifact | SHA-256 |
|---|---|
| `paper.pdf` | `b9da9df97bc8cc2fe38812236d53d2fa02c32e8bfbce124376b4a72005a725c2` |
| `paper.log` | `edee1f5c5b12a070c63daff508d8538b0ecc87e51bd16d6d28b77fd871f7902f` |
| `paper.bbl` | `4aa1c41de6d17f87b0e9776d2c43ae8aea3c0acd939cae87caaff0c93aba971c` |
| `paper.blg` | `45d588cf1bbe752d62bb1b9c45cba0b61c938b13517ed11bf1f5e453a0ce0593` |

The eight peer deliverables have these SHA-256 digests:

| Artifact | SHA-256 |
|---|---|
| `disputed-claim-ledger.md` | `dd4af65b37acd3728753fd31f1a03a80377395cc6842a6ff8f5429d7b97487fc` |
| `humanizer-scope.md` | `221fcb593785aa4bef90d09cfa17e103083c0ef2e942ac4a03e32c4589085932` |
| `novelty-ledger.md` | `bfaab1c9ad4f38fe6a7a8b2ab49718fb25cbfdba1520c300fec15fcea733f334` |
| `paper.tex` | `c688a5ab4ba5e57a7ed90d66dd3218a6edf612973be8543f9406eb128f59b008` |
| `primary-source-bibliography.md` | `25e27595d8c31e6cfd233ccfc3b445d35ee1865351ebf726f6a33f48b1c93dc4` |
| `references.bib` | `1c017d6273e37031b3a35d7dcb0a5e406acecb3d5fdb7bc11a034372f3c5f065` |
| `related-work-ledger.md` | `f93ae32724735d583a24e62bafa855fbc5990999600ad01d5be6409398619356` |
| `review-contract.md` | `be7fb74db67bb2b4acd85bab097f061f124d268421ffe02d9bfd748c23ae2d75` |

This record cannot hash its own bytes without a detached manifest; its release
state is bound by the final acceptance commit. These are build observations,
not database-system evidence.

## Terminal acceptance artifacts

The accepted TeX-plus-BibTeX source digest is
`d1959e9436e23737fe9ada4dd323d6b9c5787499314a9bb09995792d54317d8a`.
AGY round 1 reviewed exactly that digest and ended in `VERDICT: ACCEPT`; the
canonical review is byte-identical to round 1.

| Artifact | SHA-256 |
|---|---|
| repository `paper.pdf` | `b9da9df97bc8cc2fe38812236d53d2fa02c32e8bfbce124376b4a72005a725c2` |
| repository `paper.log` | `edee1f5c5b12a070c63daff508d8538b0ecc87e51bd16d6d28b77fd871f7902f` |
| 300-DPI `cover.png` | `e8fffc35f6e77f8704bc16129543cc914453212f4519cb156255dddd1277faf4` |
| canonical AGY review | `eaff4509b3bb8a68e4f6782ebd015c92e1b4706724ed5013dd2e7849699fdb52` |

## Citation and layout gates

The provisional build requires:

- 12pt article format with one-inch margins;
- at least 20 substantive pages;
- zero undefined citations;
- zero undefined references;
- zero overfull boxes;
- no duplicate BibTeX keys;
- every BibTeX entry cited in `paper.tex`;
- every BibTeX entry represented in `related-work-ledger.md` and
  `primary-source-bibliography.md`; and
- no PDF, cover, or repository build log produced during this pass.

## Future executable reproduction contract

A future P6 result bundle must retain:

- exact source revision and dirty-tree digest;
- Rust, Haskell, Lean, PostgreSQL, SQLite, Kafka, Debezium, JVM, and operating
  system versions as applicable;
- hardware, storage, filesystem, topology, durability, and isolation settings;
- source and fixture digests, random seeds, and generated source histories;
- immutable materialization, mapping, query, provenance, capability, and plan
  identifiers;
- source stream identities, snapshot cuts, observed and applied frontiers;
- exact commands and raw stdout/stderr;
- crash signals, failpoint names, store snapshots, and recovery logs;
- independently computed full and incremental data observations;
- independently normalized full and incremental provenance observations;
- dependency-impact predictions and oracle-true affected sets;
- every mismatch, timeout, out-of-memory run, and exclusion reason;
- repeated-run distributions and confidence intervals; and
- raw baseline configurations and validation cases.

Golden expected values are comparison data. An implementation that reads them
as its computed result does not satisfy the contract.

## Planned future commands

These commands are roadmap targets and are not executable P6 evidence today:

```sh
cargo test -p catdb-materialization --all-features
cabal test catdb-reference
lake build

cargo run -p catdb-bench -- \
  p6-incremental run benchmarks/p6-incremental/protocol.yaml

cargo run -p catdb-cli -- \
  materialization verify examples/materialization/customer-revenue.yaml

cargo run -p catdb-cli -- \
  materialization recover examples/materialization/crash-matrix.yaml
```

## Deliberate absences

No P6 runtime, source connector, Haskell oracle, Lean declaration, fixture
family, failpoint run, benchmark, AGY review, repository PDF, cover, or
publication verifier was produced in this author pass. The completed
Humanizer pass is documented separately and did not alter definitions,
equations, evidence labels, implementation boundaries, or falsifiers.