Correction: Embedding-Financed Proxy Company Model
Anonymous author - version 1.0 - 25 October 2026

This is a linked corrigendum to the published original, not a silent replacement.
The authoritative correction is corrigendum.md. The matching PDF is provided
for reading. Original section numbers identify claims being corrected.

Contents:
  corrigendum.md / corrigendum.tex / embedding-proxy-company-correction.pdf
  verify_corrections.py / verify_original_examples.py / verification.json
  original-citation.json / submission.json / header.tex / SHA256SUMS

Run all exact finite checks:
  python3 verify_corrections.py --output verification.json

Build with Pandoc and XeLaTeX:
  pandoc corrigendum.md --standalone --pdf-engine=xelatex \
    -V mainfont="Latin Modern Roman" -V mathfont="Latin Modern Math" \
    -V fontsize=11pt -V geometry:margin=0.85in -H header.tex \
    -o embedding-proxy-company-correction.pdf

The counterexamples are deliberate failures of the unrepaired contracts. A
passed check means the expected failure was detected or the corrected finite
construction satisfied its explicit contract. These checks are not a proof
assistant formalization, privacy certification, implementation, or forecast.

The correction retracts the overstated contribution and implementation claims;
it preserves the valid conditional elementary lemmas and synthetic arithmetic.
Buyer demand remains assumed. Private receipt information is kept outside this
public artifact package. No credentials or contact details are included.

Editorial request: publish this as a corrigendum to the original paper and
cross-link the two records so that the superseded claims are identifiable.
