FPRD LabShare an approach

← Claims

Computational finding · direct-expression audit

FPRD-SH-C14

The direct pentagon block compiler passes an independent audit

Exact statement

An independent verifier checks all 488,281 alphabet words of lengths zero through eight, all ten pentagon-code pairs, the eleven-state natural prefix automaton, and its minimal six-state reversible quotient. Exactly 781 tested words are accepted. All checks pass.

StatusAll exact checks pass
External reviewNo documented external or specialist review of these FPRD results is recorded.

Context

The audit independently keeps synchronized macro-events, original-alphabet paths, natural prefixes, and minimal quotients distinct.

Proof or evidence

Language equivalence, strong-power independence, quotient reversibility, and minimality all agree with the exact formulas.

Independent direct-expression audit certificate →

Verification notes

488,281 word checks, 781 accepted words, ten code-pair controls, 35 natural-prefix transitions, ten quotient transitions, and 15 state-pair distinguishers; zero failures.

Limitations

  • Finite testing does not establish novelty or replace the all-length derivations.
  • Earlier 66/81 carrier and 87/191 carrier-controller counts are withdrawn from this claim because the precise source model and verifier were not recovered.

Open work

Retain as regression evidence for the semantic separation; use symbolic proofs for all lengths.