FP
中文

Your preference is saved. Reduced motion keeps the background still.

A HeartBoat projectOpen research. Collaborative development.
A versioned reference

Factor Programs

FP studies typed causal positive programs built from a small native algebra. Theory, implementations and empirical claims have distinct evidence boundaries.

Start from the canonical source

FP_THEORY.md is the normative theory source. A runtime check or toy experiment does not establish general model quality.

Current qualification boundary

The current claims register records a public-value ownership failure and an ongoing boundary repair. Older scoped releases must not be extended across this unresolved boundary.