FPRD LabShare an approach

← Claims

Conjecture

FPRD-C01

Claim FPRD-C01

Exact statement

Every Ford-well-formed finite PEG presentation is eventually contractive under some equivalent weighted bounded-observation metric.

Statusconjecture
External reviewNo documented external or specialist review of this FPRD result is recorded.

Context

This row is imported exactly from the governed FPRD claims ledger. The matrix assignment records normalized inventory coverage; it is not a new proof or a promotion of the ledger status.

Proof or evidence

The ledger points to OPEN_PROBLEMS.md. The matrix has not yet rewritten that source into a self-contained public proof summary.

OPEN_PROBLEMS.md →

Verification notes

Reviewed on 2026-08-25 for identifier, status, provenance, evidence-link presence, and dependency import only. Mathematical proof audit remains the next action unless separately documented.

Limitations

  • This is deliberately guarded. Ford well-formedness is broader than the first strongly input-guarded fragment, and the conjecture may be false.

Open work

Preserve open status; add known partial results, obstructions, and exact source locators.

Notes

This is deliberately guarded. Ford well-formedness is broader than the first strongly input-guarded fragment, and the conjecture may be false.