# Paper 11 reproducibility record

## Status

This record covers the provisional authoring pass for:

> Consistency Models for Distributed Semantic Databases: An
> Operation-by-Operation Contract for CatDB

The manuscript status is **OBSTRUCTED**. It is a research specification and
does not report a CatDB distributed runtime, replica-convergence experiment,
consensus-backed reference store, distributed checkpoint, fault-injection
result, Haskell history oracle result, or Lean-checked consistency theorem.
The propositions labeled `PROVED IN MODEL` concern only the finite abstract
definitions in the manuscript.

Paper 10 is now an internally accepted research-manuscript dependency. Its
paper-level operation algebra, fault model, authority scopes, and convergence
boundary have not been accepted as an implementation interface, executable
history model, or runtime behavior.

The frozen manuscript and bibliography later passed paper-specific AGY review
bound to the exact combined source digest. The canonical review is
byte-identical to round 1 and ends in `VERDICT: ACCEPT`. Manuscript acceptance
does not change any `OPEN` or `OBSTRUCTED` system claim.

## Source boundary

| Artifact | Role | SHA-256 |
|---|---|---|
| `paper.tex` | arXiv-style manuscript source | `8b077b8e377c63447469cd51668a7802fa44e64bffcbea2ca62832f55b8773fa` |
| `references.bib` | primary-source bibliography | `bd9dcbcc2caa5925c650d2ca9d3d7cd1ed69da16dc899dd3f2397dbcc6f727f5` |
| `research/evidence-dossier.md` | completed evidence dossier | `ffeec1522cb24848313883334240dc42a25b796ef09b55ba66eadfa6c5a79cb3` |

The authoring pass was performed against repository commit
`0b39608ce4f22332b336b191bcff82df1afc2b08`.
Concurrent uncommitted work elsewhere in the repository is outside this
record.

## Isolated build

The PDF was built outside the repository:

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

The inspected build used:

- build directory: `/tmp/catdb-p11-current.9GbBH3`;
- `latexmk` 4.88;
- pdfTeX 3.141592653-2.6-1.40.29 from TeX Live 2026;
- BibTeX 0.99e from TeX Live 2026;
- 43 US-letter pages;
- PDF size 369,117 bytes;
- PDF SHA-256
  `b21da957712954cbca89b0fc5945e7fa4b977f9be2e08a8469bfc64f805cfd0c`;
- `texcount` result: 9,935 words; and
- 11,368 whitespace-delimited words in `paper.tex`.

The final log had:

- 0 LaTeX errors;
- 0 fatal errors;
- 0 undefined citations;
- 0 undefined cross-references;
- 0 multiply defined labels;
- 0 overfull boxes;
- 4 underfull boxes, all confined to long URL wrapping in the bibliography;
  and
- 2 legacy-package warnings from `everypage`.

The accepted PDF and log are exact copies of this isolated build. The
repository cover is the first PDF page rasterized at 300 DPI.

## Citation closure

The manuscript uses 31 distinct BibTeX keys. `references.bib` defines exactly
those 31 keys:

- missing definitions: 0;
- uncited entries: 0; and
- BibTeX errors: 0.

The bibliography includes the primary literature and official documentation
used to establish the CAP, PACELC, CALM, CRDT, invariant-confluence,
consensus, mixed-schema, mapping-adaptation, streaming, logical-decoding, and
history-checking boundaries. Those sources support results under their own
models; they do not establish a CatDB runtime behavior.

## Structural checks

The rendered manuscript contains:

- one abstract and plain-language motivating example;
- a 30-operation consistency matrix;
- nine consistency-profile dimensions;
- six mechanism classifications;
- distinct schema, mapping, materialization, identity, provenance, policy,
  session, checkpoint, and retention contracts;
- six bounded model-result subsections;
- a 16-row claim register;
- explicit implementation and formalization status;
- executable-history families and falsification conditions;
- limitations, exact nonclaims, and open questions; and
- appendices for the repository boundary, prior art, running history, system
  and fault model, and mechanism definitions.

The manuscript exceeds the requested 20-page minimum without counting a
separate cover.

## Render inspection

The final PDF was rasterized with Poppler 26.07.0:

```sh
render_dir="$(mktemp -d /tmp/catdb-p11-render.XXXXXX)"
mkdir "$render_dir/pages" "$render_dir/sheets"
pdftoppm -png -r 110 paper.pdf "$render_dir/pages/page"
```

All 43 current-source pages were inspected in the ordered contact sheet at
`/tmp/catdb-p11-current-visual.WB8nui/contact.jpg`. The inspection confirmed:

- no clipped title, sidebar, equation, table, citation, URL, or page number;
- no text or table overlap;
- both landscape matrix pages are complete and legible;
- the claim register remains within its columns;
- displayed request, response, checkpoint, operation-envelope, and identity
  expressions fit the page;
- every page contains expected text; and
- the references end cleanly on page 43.

## Reproduction gate for future systems claims

The present build reproduces only the manuscript. A future systems result
must additionally provide:

1. an executable P10 operation algebra and fault model, beyond the accepted
   paper contract;
2. serialized histories containing operation IDs, causal parents, semantic
   vectors, profiles, results, frontiers, validation states, logical time,
   fault epochs, and crash epochs;
3. deterministic replay and conflict oracles;
4. Rust/Haskell cross-checks over shared fixtures;
5. Lean checks for the selected frozen fragment;
6. isolation, duplicate/reorder, partition, recovery, mixed-version,
   membership, checkpoint, and retention histories;
7. raw benchmark samples and environment metadata; and
8. a reviewed claim-status update distinguishing model proof, machine check,
   experiment, and open conjecture.

Until those gates pass, runtime, convergence, availability, recovery,
freshness, and performance claims remain `OPEN` or `OBSTRUCTED`.

## Deliberate absences

This pass did not:

- change `README.md` or `CITATION.cff`;
- edit shared coordination files;
- modify Rust, Haskell, Lean, application, website, or benchmark code;
- send a Slack message;
- publish or deploy anything.

## Accepted repository artifacts

| Artifact | SHA-256 |
|---|---|
| combined `paper.tex` plus `references.bib` source | `75dc5ee3325f5e85425584294fd1661caae966df151a874f9deae3ec361e154d` |
| repository `paper.pdf` | `b21da957712954cbca89b0fc5945e7fa4b977f9be2e08a8469bfc64f805cfd0c` |
| repository `paper.log` | `4c859951ba4fa193c6623be7ec35ea25f70393f8ca1862ccba388d93a53a31f6` |
| repository `cover.png` | `ccaaa6b4907fb4da3da403d1e534896b0380ba9e0f71f7e555c0dca255b31d85` |
| canonical AGY review | `88bdf68cc1ea5b6b18a54a7f0fb89193059c6a1acb70e3122b008b47cab3570d` |

The repository verifier confirms source-digest identity, PDF freshness, 43
pages, no rejected log finding, cover freshness, 300-by-300 DPI cover metadata,
the exact review source digest, and terminal `VERDICT: ACCEPT`.