DEV-MODE auth (username + password, local only) · GitHub live mode
Leanforces
Seeds

What Seeds are — and what they aren't.

Seeds are an internal reputation point. Think of them like Yahoo! Chiebukuro's “Chie Coins” or Reddit karma: a tally of contribution, displayed alongside your profile, with a few in-app effects (you can post bounties on challenges, or post a refundable deposit when submitting your own challenge). That's it.

Seeds are not money, not a token, not a security, not redeemable. See Legal boundaries.

The four reputation buckets

Your Seeds are split by where they came from. Splitting helps the leaderboard mean something — “solver: 200” actually means you solved 200 Seeds worth of challenges.

The wallet (spendable + locked)

On top of the reputation tallies above, the system tracks spendable Seeds (what you can put into a bounty or use as a challenge-review deposit) and locked Seeds (already committed to an open bounty / pending challenge review). Earning Seeds always credits both the reputation bucket and the spendable wallet by the same amount — you can't “earn into your wallet” without it also counting toward your reputation.

How Seeds are created and destroyed

Every change to a balance is mirrored by an immutable row in the Seeds ledger. There is exactly one set of legitimate creation events (solver/creator/bounty rewards, admin grants) and one set of legitimate destruction events (forfeited deposits, admin clawbacks). There is no transferprimitive: when a bounty is awarded the funder's locked Seeds become a sink (destroyed) and the solver's Seeds are separately minted as a credit. Two ledger rows, one event — never a single row that moves Seeds from A to B.

Anti-abuse

See also: How the economy works · Legal boundaries.