FPRD LabShare an approach

← Claims

Computational finding · unreproduced

FPRD-RS-C02

Reported finite relative-degree experiment

Exact statement

The originating run artifact reports 100,000 random exact-integer representations of dimensions one through four, with no mismatch between the Krylov algorithm and direct residual-zeroness tests.

StatusCaptured from the source artifact; checker and certificate are absent from the available durable and public record
External reviewNo documented external or specialist review of this FPRD result is recorded.

Context

The numerical report is useful provenance, but it cannot presently be rerun from either the site repository or the accessible source bundle.

Hypotheses and scope

  • The source artifact says the test used exact arithmetic and dimensions one through four.
  • No claim is made about untested dimensions or input distributions.

Proof or evidence

The source records 100,000 instances, 84,625 instances with a relative degree, zero algorithm/residual mismatches, and zero valid candidates with r at least d.

Reported finite corroboration and evidence boundary →

Verification notes

The Library source report was reread and its stated bounds were reconciled, but no executable checker, random generator, or machine-readable certificate was found. The experiment therefore does not support a maturity increase for the theorem.

Limitations

  • The random generator and sampling distribution are unavailable.
  • The reported computation is not independently reproducible from the current record.

Open work

Keep this historical report separate from the new exhaustive certificate unless its original generator and distribution are recovered.