Seeds

A seed creates data for development by calling your app's own actions, so validation, lifecycle and policy apply to it. Each seed is a file in database/seeds/.

database/seeds/local_demo.jadpo:

/// A user with a few todos, for local development.seed {    var alice: User = attempt planning.register_user("alice@example.com")    attempt planning.create_todo(alice.id, "Buy milk")    attempt planning.create_todo(alice.id, "Book dentist")}

jadpo seed <name> runs one. It refuses a production database: data production needs is a migration backfill.

Not built yet: seeds and jadpo seed.