Documentation
¶
Overview ¶
Package state persists arcs to the .adh workspace as JSON and provides the lifecycle operations the arc commands drive. The pure state-machine logic lives in internal/adh (NextStage, CanClose, ProofKind); this package is the thin I/O shell around it.
Index ¶
Constants ¶
View Source
const DefaultArcsDir = ".adh/arcs"
DefaultArcsDir is the arc workspace path relative to the repo root.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Store ¶
type Store struct {
// contains filtered or unexported fields
}
Store reads and writes arcs under a directory (typically .adh/arcs). The directory is created on first write.
func Default ¶
func Default() *Store
Default returns a Store rooted at the default workspace directory.
func (*Store) List ¶
List returns all arcs sorted by ID. An empty or absent workspace is not an error.
Source Files
Click to show internal directories.
Click to hide internal directories.