Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
ha
command
Command ha is Seal Core: it runs verification commands without a shell, appends the run record, computes goal state deterministically, and records completion.
|
Command ha is Seal Core: it runs verification commands without a shell, appends the run record, computes goal state deterministically, and records completion. |
|
internal
|
|
|
bundle
Package bundle reads the execution bundle (contracts/bundle.md) of a goal directory and lints it against the goal documents.
|
Package bundle reads the execution bundle (contracts/bundle.md) of a goal directory and lints it against the goal documents. |
|
diag
Package diag holds the lint problem type shared by the goal document and execution bundle parsers.
|
Package diag holds the lint problem type shared by the goal document and execution bundle parsers. |
|
evidence
Package evidence binds a declared behavioral check to one process invocation.
|
Package evidence binds a declared behavioral check to one process invocation. |
|
gittest
Package gittest holds Git settings for test processes that create repositories.
|
Package gittest holds Git settings for test processes that create repositories. |
|
gitx
Package gitx calls the user's git CLI with explicit argv.
|
Package gitx calls the user's git CLI with explicit argv. |
|
goaldocs
Package goaldocs reads goal documents (contracts/goal-docs.md) as a reader: SPEC.md, the auxiliary documents it links inside the goal directory, the criterion IDs, and the optional work breakdown proposal.
|
Package goaldocs reads goal documents (contracts/goal-docs.md) as a reader: SPEC.md, the auxiliary documents it links inside the goal directory, the criterion IDs, and the optional work breakdown proposal. |
|
history
Package history stores and reads decision history (contracts/decision-history.md, schema decision-history/v1): judgment events that an executor records about one started goal.
|
Package history stores and reads decision history (contracts/decision-history.md, schema decision-history/v1): judgment events that an executor records about one started goal. |
|
markdown
Package markdown reads the small Markdown subset that the Jaekit contracts rely on: headings, pipe tables, list items, inline code spans, and relative links.
|
Package markdown reads the small Markdown subset that the Jaekit contracts rely on: headings, pipe tables, list items, inline code spans, and relative links. |
|
record
Package record reads and appends the run record `runs.jsonl` (contracts/run-record.md, schema run/v1).
|
Package record reads and appends the run record `runs.jsonl` (contracts/run-record.md, schema run/v1). |
|
run
Package run executes a verification command as argv, without a shell, and keeps its combined output in a local log file.
|
Package run executes a verification command as argv, without a shell, and keeps its combined output in a local log file. |
|
status
Package status computes the state of a goal from the run record, the execution bundle, and git (contracts/run-record.md §3–§5).
|
Package status computes the state of a goal from the run record, the execution bundle, and git (contracts/run-record.md §3–§5). |
Click to show internal directories.
Click to hide internal directories.

