Documentation
¶
Overview ¶
Package cli routes the `corvint-tasks` verbs: pure reads and archive export/verification under TM-V0-008, plus init and fourteen ticket mutations through the §5.2 journal writer. Unbuilt administrative and runtime verbs answer NOT_RUN. Output is always one taskman-command-result/0 envelope (§3.3) on stdout, except `archive export`, whose stdout is the archive stream and whose envelope goes to stderr.
Index ¶
Constants ¶
const Version = "0.0.0-tcp01-unverified"
Version is the binary's version label. It is a delivery label, not a claim that any gate has run.
Variables ¶
var Build = "0"
Build is the first-parent commit count of the Corvint commit this binary was built from. cmd/corvint-tasks sets it from its -ldflags "-X main.build=N" stamp (decision 0397); an unstamped build reports 0.
var OmittedVerbs = []string{
"admit", "cancel", "retry", "resume", "drain",
"lane-leader", "config", "plan", "receipt show", "receipt replay",
"archive restore",
}
OmittedVerbs are the verb paths the SPEC names that this binary does not implement; each answers NOT_RUN. The remaining administrative verbs arrive with the rest of TCP-02; `config show`, `plan preview` and `receipt show|replay` remain unimplemented; receipt audit exposes the native journal reader.
var ReadVerbs = []string{
"help", "version", "ticket list", "ticket search", "ticket show", "ticket blockers", "ticket export",
"queue status", "roadmap", "gate list", "gate show", "archive export", "archive verify", "receipt audit", "reconcile inspect", "reconcile intent",
"init", "pause", "unpause", "policy update", "import", "cutover",
"ticket create", "ticket refine", "ticket prioritize", "ticket set-dependencies",
"ticket set-gates", "ticket set-effects", "ticket hold", "ticket release-hold", "ticket reopen",
"ticket archive", "ticket restore", "ticket complete-manual", "ticket grant-approval",
"ticket revoke-approval",
"release create", "release update", "release candidate", "release record-gate", "release promote", "release list", "release show", "release readiness",
"claim", "renew", "release", "reap", "widen", "attempt show",
}
ReadVerbs are the verb paths this binary implements. The reads are pure TM-V0-008 reads over the intent store and the state-dir snapshot; the inventory-only reads (`ticket search|export`, `roadmap`, `gate list|show`) report every journal-dependent fact as NOT_OBSERVED rather than omitting the verb (§3.3 "Read verb inputs and items"). `init` and the fourteen `ticket` mutations write: they commit through the §5.2 journal writer.
Functions ¶
Types ¶
type Env ¶
type Env struct {
Cwd string
Args []string
Stdin io.Reader
Stdout io.Writer
Stderr io.Writer
// ScopeDeriver derives a claim scope for a ticket that declares none
// (CAL-V0-022); nil abstains.
ScopeDeriver store.ScopeDeriver
// contains filtered or unexported fields
}
Env is the process environment a command runs in.
Source Files