FPRD LabShare an approach

FPRD causal/origami source bundle

Prepared: 29 July 2026

This bundle supports the direct mathematical program in FPRD-Lab-clean-chat-handoff-2026-07-29.md. It contains focused proof, counterexample, audit, comparator, and checker sources. It is not a repository release and does not promote any working draft.

Contents

Source hierarchy

  1. For repository-captured claims, the current repository remains authoritative.
  2. Files copied from fprd-repair/ are from the reconciled working tree based on b62aea3; that repair had not yet been integrated as one commit when this bundle was built.
  3. Root-level Markdown files are research artifacts from the 28–29 July run.
  4. Python checkers corroborate finite instances; they are not proofs.
  5. The clean-chat handoff supplies later framing corrections where an older source header is stale.

Causal factorization and sewing

Bundled path SHA-256 Status
causal/cone-factorization-state-track-frontier.md fac420a0faf625d399ce4bca98025a0fe791c63d9e0b94eb7ded96c66993354f Repaired fixed-cut proof draft; independently statement-audited. Introductory comparator expectations are stale.
causal/bounded-role-causal-factorization.md ff8549b1b491757de9d11fb47f0ddf464d77cb37e6309a3110dda1f5aa988bc7 Fixed-cut causal companion; assumes a configuration supplied at the cut.
causal/residual-access-factorization-synthesis.md ddc6da794b0cffa91f2f69345c8c23b4eb19726c8398dd4e1fd689fe988feb05 Post-audit synthesis and theorem boundary.
causal/accessible-pareto-field-theorem.md c29374844074fc14dff3a09ffbce530846eb2abc931b560d0c24d8086b198414 Strongest proof-grade accessible-certificate working result; not repository evidence.
causal/relational-sewing-draft.md d5b18d247b002706a473d627f0a47fd71b8cebc19200eb9d8a386e2babd43c4d Working relational theorem; finite causal core reviewed, continuous extension unproved.
causal/accessible-field-sewing-draft.md e296523e651ebdbb20d7dd1b156b51d2f33fda2b8e8817f2009eee6da7f8f789 Superseded precursor. Its audit/comparator header is stale; use only for derivation history.
causal/sewing-seam-counterexamples.md 00e431358526c5946a6e820307dc0b06d067e5c4f437bb353b792266ed7beafb Independent hostile counterexample note.
causal/virtual-crease-causal-width.md b8a3f7d1c980bd9195245d15f39793539f1bda994bf8c32c9dffc471c9df04b9 Earlier causal-width synthesis. Use the later regime framing from the handoff.
causal/check_cone_factorization.py 1b05ea67ec90bbc0e70d87162c3aa436b16e6abfb00c55aaf442814132d198ed Finite regression checker; not a proof.
causal/check_virtual_crease_causal_width.py e1f2a03766da95bb9f54719e672afadd2d71697ee45d83b4e7d0ba7de76f2026 Finite regression checker; not a proof.

Fold-and-Look model, structure, and audits

These files are exact copies from the reconciled fprd-repair working tree. Some promoted-source banners retain the older word unverified; the document body and reconciled status distinguish later repairs and audits.

Bundled path SHA-256 Status
origami/docs/notes/wfl-weak-fold-look-model.md 73c51e2dc80a63d08060b5cdf8bed7c8b94f2f78e3922da62b37e8d35b2a445d Pinned weak finite-precision doctrine and consolidation source.
origami/docs/notes/bounded-fold-piecewise-isometry.md a6c962795e515cee4d657d952a687929b0a73f5da0e0f4ec85dd92b900e382ce Piecewise-isometry structural source with explicit scope and pending-audit boundaries.
origami/docs/notes/fold-look-formula-resource-theorem.md 220c019ee2bc964489d13af0915cbe386e7686c61c872287b10192ed89d356b8 Repaired positive-radius formula-resource theorem; independently re-audited.
origami/docs/notes/fold-palindrome-restricted-frontier.md 28a26c88e86ffc859c57cacd0dd44c3b011db2344461ad259d6316ec293e458e Four-coordinate palindrome frontier using the repaired normal form.
origami/docs/probes/k-fold-incidence-and-permutations.md f080fd07993f2ce90811c9e97f54324ca8e9e2df6990f1a046e367412ef6a805 Conditional order-preserving separation; explicitly not independently re-audited.
origami/docs/verify/fold-resource-accounting-audit.md fdb3fb074754272849ecba6a4f59b2089f12b77f675879da2db975f41f7eff89 Adversarial resource accounting and uncharged-primitive findings.
origami/docs/verify/virtual-crease-causal-width-audit.md 7fecb4f08480432987264530f192ff96e637d525b9fc5d969a63e61a4d76748e Independent audit of the causal-width theorem chain.
origami/docs/litrev/bounded-fold-incidence-comparators.md aa002c8fa676c66d374ecf33f5692932ede9f794be1ea166e023eb30c994ee8f Targeted primary-source comparator map for folding/incidence results.
origami/docs/litrev/cone-factorization-comparators.md 159b284c2698227c2967c1b3f18bc2f95ea33ab70d17d6a67d2cadf7adb8b87d Standard-model and data-structure-regime comparator map for causal tracks.

How to use the bundle

Read in this order for the main direct attack:

  1. the clean-chat handoff;
  2. causal/cone-factorization-state-track-frontier.md;
  3. causal/accessible-pareto-field-theorem.md;
  4. causal/sewing-seam-counterexamples.md;
  5. causal/relational-sewing-draft.md;
  6. the WFL model and repaired formula-resource theorem;
  7. the two comparator maps;
  8. the remaining sources as needed.

The target is not another generic compactness proof. It is:

  • a D30-specific online accessibility/lifting theorem or charged-storage obstruction; and
  • after the causal doctrine stabilizes, a bidirectional image theorem between one pinned finite-precision origami doctrine and one pinned accessible-relational comparison doctrine admitted to FPRD.