Purpose and audience
About this library
FPRD Lab studies finite presentations, the recognition dynamics they generate, the observations used to compare those dynamics, and the resources charged to their realizations.
Read our research philosophy: our commitments, two phases, and invitation to other approaches.
Important research status
AI-driven and not independently reviewed
FPRD Lab is largely AI-driven. Most of the mathematical exploration, proof drafting, source reconciliation, checking, and exposition has been done by AI systems under Joshua Gay’s direction.
The FPRD Lab work presented here has not been reviewed by qualified mathematicians. Unless a page identifies specific external evidence, maturity levels record internal development and checking only; they are not peer review, specialist validation, or a claim that a paper is complete.
Some pages discuss or restate externally published mathematics. That does not constitute independent review of FPRD Lab’s arguments or exposition.
Who the site is for
Researchers can follow questions, results, counterexamples, failed approaches, and open problems. Publications collect paper-length manuscripts and longer research reports without implying peer review or completion. Students can use the theorem and claim indexes to find precise statements and then read them in context.
How to use the site
Start with Publications for paper-length manuscripts and research reports, Research for ongoing work, Claims for exact result records and their current evidence, or Theorems to search statements extracted from the manuscripts.
The validation policy explains what the site checks before publication, why checks are scaled to the changed surface, and what those checks cannot establish.
Sources
Papers and repository-backed research pages are rendered from the public GitLab source at commit 3a264faa095a3afb3269c500b4ed7400d6402d65. Individual pages identify additional sources and supporting files when available.