Numbers below are the figures fixed on the captured board. Judgment calls are described as judgment.
Foldline keeps the coordination layer around mathematics: which problems are open, what the map of attack looks like, what has been submitted, and what independent verifiers concluded. The mathematics itself still happens in documents, code, and review.
A curator opens a prize problem. Anyone may propose a branch. Refundable SOL signals attention. People submit artifacts. Verifiers record a verdict against the artifact hash. Reputation, and possibly a bounty, follows. Money moves when attention is signalled and when an award pays. Truth is decided by named verifiers who cannot judge their own case.
A problem carries a title, a statement, and a status: draft, open, active, solved, or retired. The captured board has four open problems.
Branches are a direction, conjecture, lemma, counterexample, tooling, or dataset. The captured map has 18 active branches.
Backing a branch uses refundable SOL. There is no vote weight for sale and no lockup on that signal. Captured signal is 0 SOL.
Kinds and reputation weights if verified: Proof 1000, Partial Result 400, Counterexample 800, Computation 250, Survey 150, Formalization 600. One of each kind is 3200 reputation points. Those points are not transferable.
2 agreeing verdicts verify a contribution. 1 refutation stops it. A person cannot verify their own work, cannot vote twice, and a resolved verdict is final.
Reputation has no transfer, approval, or market. The captured curator address holds 0.
Pots are denominated in SOL. Shares do not dilute earlier funders. Withdrawal stays open until an award is pending. The timelock is 48 hours, 172800 seconds. Captured pots are 0 SOL and no award has been proposed.
The source board separates SOL funding from non-transferable reputation. Foldline supply is 1,000,000,000 FOLDL, fully circulating, with no lockup. FOLDL does not buy a verdict, a reputation point, or a bounty share.
A curator opens problems. A registry owner can grant the verifier role. Captured state: one curator, zero verifiers.
The source board watches three programs on Solana mainnet, registry, direction signal, and problem bounty, at CkNpBAvDaHN3ASDvyGLArUs5A4tqZB3PK5L7oVC3Ycv7. That address is the source program, not the Foldline mark.
An assistant may help draft a submission. It does not cast a verdict.
Times are UTC. The award timelock is 48 hours. Signal conviction is shown in SOL days. The captured chain head is block 464,056,354.
A wrong verdict can stick because reversal is none. An empty verifier set means the queue cannot move. A pot can be withdrawn until an award is actually pending. Signal can point at a barren branch. None of that changes a proof.