Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

CLI commands

deloreis exposes 15 top-level subcommands, including Clap’s generated help command; command groups carry nested operations and generated help paths. Each operation is a rendering over the same engines the dli.* worker ops serve. Exit codes are uniform: 0 clean, 1 findings, 2 a usage or operational error.

CommandDescription
deloreis initCreate a new lorestore-backed project
deloreis importImport a .dli file into a new project
deloreis checkValidate documents against the world model
deloreis queryQuery a saturated world
deloreis fmtFormat documents into the one canonical surface
deloreis forkInspect and evaluate forks over a workspace store
deloreis fork newCreate a new fork over a corpus
deloreis fork listList the open forks and their base corpus
deloreis fork diffShow a fork’s derived-consequence diff against the base
deloreis fork supposeSuppose an option or event value in a fork
deloreis fork addAdd a proposed ground fact to a fork
deloreis fork suppressRetract a supposition from a fork
deloreis fork restrictRestrict a fork’s presented consequences with a keep-stamp
deloreis fork preflightRatification pre-flight of a fork
deloreis fork promoteEmit a ruling-request draft from a fork
deloreis fork helpPrint this message or the help of the given subcommand(s)
deloreis preflightRun the ratification pre-flight over a fork
deloreis timelineRead the timeline: chronology and the episode fold
deloreis timeline showRender the era/event partial order (optionally around a cursor)
deloreis timeline orderThe partial-order report: cycles and unordered pairs
deloreis timeline knowsWhat a knower knows once the listener reaches a production slot
deloreis timeline episodesFold the season and check its production-order layout and open loops
deloreis timeline phasesThe cyclic phases an episode pins
deloreis timeline helpPrint this message or the help of the given subcommand(s)
deloreis check-proofCheck a diegetic proof block against a practice
deloreis nameVet a name — the kernel, world-true half
deloreis name checkVet a candidate name against the settled name-space
deloreis name helpPrint this message or the help of the given subcommand(s)
deloreis exportExport under a profile
deloreis reportRender the findings report
deloreis serveRun JSON-over-stdio with --project <path> or explicit --demo
deloreis mcpRun MCP over stdio with --project <path> or explicit --demo
deloreis helpPrint this message or the help of the given subcommand(s)