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. Attempt-mode `run` keeps the envelope on stdout and sends the command's own output to stderr.
Index ¶
Constants ¶
const LeaseTimingProfile = "taskman-lease-timing/0"
LeaseTimingProfile names the diagnostic `--timing` object (issue 494).
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{
"config", "plan record", "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 record` and `receipt show|replay` remain unimplemented; receipt audit exposes the native journal reader.
var ReadVerbs = []string{
"criterion-binding capture", "criterion-binding verify",
"help", "version", "ticket list", "ticket search", "ticket show", "ticket blockers", "ticket export",
"queue status", "roadmap", "critical-path", "gate list", "gate show", "archive export", "archive verify", "receipt audit", "reconcile inspect", "reconcile intent",
"init", "pause", "unpause", "policy show", "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", "ticket attach-evidence",
"release create", "release update", "release candidate", "release record-gate", "release promote", "release list", "release show", "release readiness",
"claim", "renew", "release", "reap", "widen", "attempt show", "attempt heartbeat", "plan preview",
"lane-leader", "run", "admit", "cancel", "retry", "resume", "drain", "answer", "pending", "program show",
"dispatch", "dispatch status", "dispatch unpark",
"submit", "gate run", "complete", "health", "pool sweep", "pool cleanup", "pool recover", "pool confirm-safe",
"ticket note set", "ticket note clear", "ticket note show", "ticket note history",
"gate record", "gate resubmit", "gate history",
"service install", "service status", "service uninstall", "service stop", "service resume", "service run", "service run-helper",
"ticket escalate", "ticket answer", "ticket escalation list", "ticket escalation show", "ticket escalation history",
}
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 fifteen `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 uses the explicitly enabled pack deriver.
ScopeDeriver store.ScopeDeriver
// contains filtered or unexported fields
}
Env is the process environment a command runs in.
Source Files
¶
- admission_observation.go
- attempt_run.go
- barrier.go
- cli.go
- clock.go
- command_help.go
- create_template.go
- criterion_binding.go
- critical_path.go
- cutover.go
- dispatch.go
- dispatch_pool_sweep.go
- escalation.go
- external_review.go
- import.go
- init.go
- inventory.go
- lease.go
- lease_timing.go
- mutate.go
- note.go
- observations.go
- plan.go
- policy.go
- pool_sweep.go
- pools.go
- program.go
- program_read.go
- receipt.go
- reconcile.go
- release.go
- service.go