# Interior barriers for robust positivity programs

This directory is the submission-neutral final manuscript package. The
manuscript deliberately withholds its author block until publication;
`author-block.tex` records the canonical author as Kenan and is not imported
by `manuscript.tex`.

The exact result is the accumulating-counterexample interior-certificate
barrier recorded in `canon/obstructions/O-0176-uniform-interior-certificates-cannot-prove-rh.md`.
The paper does not claim that every positivity method is excluded or that any
of the seven audited papers satisfies all four admission premises.

## Verify

From the RH repository root:

```sh
python3 scratch/proof-system--o0176-field-redirecting-manuscript/verify.py
```

This checks the fourteen pinned primary sources, source dossiers, hostile and
referee audits, the exact canonical witness, the synchronized Lean theorem,
the submission metadata, and a warning-free TeX build.

## Build the source bundle

```sh
python3 scratch/proof-system--o0176-field-redirecting-manuscript/build_package.py
```

The deterministic archive is written to
`build/interior-barriers-source.zip`. It reproduces the repository-relative
layout needed by the verifier and contains a top-level `RH/SHA256SUMS`.
After extraction, install the pinned Lean cache if needed and run:

```sh
cd RH/lean
lake exe cache get
cd ..
python3 scratch/proof-system--o0176-field-redirecting-manuscript/verify.py
```

No journal selection, submission metadata, cover letter, or outbound contact
is included.
