tasks/

directory
v1.0.0-rc.2 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Oct 6, 2026 License: AGPL-3.0, AGPL-3.0-or-later

Directories

Path Synopsis
Package archive implements `archive export` and `archive verify` (TM-V0-022, §3.5 taskman-archive/0).
Package archive implements `archive export` and `archive verify` (TM-V0-022, §3.5 taskman-archive/0).
Package authority supplies the explicit, mutation-only filesystem primitives of SPEC §3.4, §5.1 and §5.2 for the repository authority that internal/intent resolves: the bounded exclusive flock on `<git-common-dir>/taskman.lock`, filesystem qualification by actual OS observation, descriptor-based durable sync, and the exclusive link-in creation primitive used for `receipts/<seq>.json`, `.boot` and `.ack`.
Package authority supplies the explicit, mutation-only filesystem primitives of SPEC §3.4, §5.1 and §5.2 for the repository authority that internal/intent resolves: the bounded exclusive flock on `<git-common-dir>/taskman.lock`, filesystem qualification by actual OS observation, descriptor-based durable sync, and the exclusive link-in creation primitive used for `receipts/<seq>.json`, `.boot` and `.ack`.
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.
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.
Package criterionbinding validates optional criterion capture artifacts using the native record decoders.
Package criterionbinding validates optional criterion capture artifacts using the native record decoders.
Package dispatch is the CAL-V0-052..058 continuous dispatcher: a deterministic roster over native queue state that launches, supervises and heals independent host worker processes.
Package dispatch is the CAL-V0-052..058 continuous dispatcher: a deterministic roster over native queue state that launches, supervises and heals independent host worker processes.
Package fixture builds realistic on-disk fixtures for TCP-01 tests: a primary worktree with its `.git` common directory, a `.taskman/` intent store and a `<git-common-dir>/taskman/` state dir with a valid receipt chain.
Package fixture builds realistic on-disk fixtures for TCP-01 tests: a primary worktree with its `.git` common directory, a `.taskman/` intent store and a `<git-common-dir>/taskman/` state dir with a valid receipt chain.
Package importer maps a foreign roadmap export onto shadow IMPORT ticket records (CTS-V0-003).
Package importer maps a foreign roadmap export onto shadow IMPORT ticket records (CTS-V0-003).
Package intent reads the Git-tracked intent store of SPEC §3.1 (`.taskman/`), resolves the primary worktree (§3.1, §3.4) and the intent worktree that holds the projection (CTW-V0), and computes the intent tree digest and publication facts.
Package intent reads the Git-tracked intent store of SPEC §3.1 (`.taskman/`), resolves the primary worktree (§3.1, §3.4) and the intent worktree that holds the projection (CTW-V0), and computes the intent tree digest and publication facts.
Package journal audits immutable experimental ledgers.
Package journal audits immutable experimental ledgers.
Package mutation implements the taskman-mutation/0 envelope of SPEC §3.3, its operation-specific closed payloads, the taskman-outcome/0 result, the pure post-record computation of every §3.3 operation (TM-V0-003, TM-V0-005), the request-ID replay rule of TM-V0-006 against an explicit index, and the §3.3 ADOPT_FILE composition (R2 F3, AS-35).
Package mutation implements the taskman-mutation/0 envelope of SPEC §3.3, its operation-specific closed payloads, the taskman-outcome/0 result, the pure post-record computation of every §3.3 operation (TM-V0-003, TM-V0-005), the request-ID replay rule of TM-V0-006 against an explicit index, and the §3.3 ADOPT_FILE composition (R2 F3, AS-35).
Package release implements the pure taskman-release/0 release-control model.
Package release implements the pure taskman-release/0 release-control model.
Package safeopen provides the narrow no-follow opening boundary for local stores.
Package safeopen provides the narrow no-follow opening boundary for local stores.
Package scopes derives experimental claim scopes from an explicitly enabled Corvint index pack.
Package scopes derives experimental claim scopes from an explicitly enabled Corvint index pack.
Package service is the experimental, opt-in taskman-user-service/0 profile.
Package service is the experimental, opt-in taskman-user-service/0 profile.
Package snapshot implements the TM-V0-008 read snapshot protocol over the private state directory of §3.4: read head.json, prove that the `<lastSeq+1>` and `<lastSeq+2>` receipt slots are absent, read, re-check, retry at most three times, else NOT_RUN/SNAPSHOT_MOVED.
Package snapshot implements the TM-V0-008 read snapshot protocol over the private state directory of §3.4: read head.json, prove that the `<lastSeq+1>` and `<lastSeq+2>` receipt slots are absent, read, re-check, retry at most three times, else NOT_RUN/SNAPSHOT_MOVED.
Package store is the callable durable writer (decision 0003): it applies a validated transaction.Plan to a real repository authority following the §5.2 sequence, and it creates the state dir at genesis.
Package store is the callable durable writer (decision 0003): it applies a validated transaction.Plan to a real repository authority following the §5.2 sequence, and it creates the state dir at genesis.
Package ticket implements the taskman-ticket/0 record of SPEC §3.1, its closed validation (TM-V0-002, TM-V0-003), the dependency checks of TM-V0-005 and the derived eligibility of §3.2 (TM-V0-004).
Package ticket implements the taskman-ticket/0 record of SPEC §3.1, its closed validation (TM-V0-002, TM-V0-003), the dependency checks of TM-V0-005 and the derived eligibility of §3.2 (TM-V0-004).
Package transaction computes hypothetical fixture transactions and capacity.
Package transaction computes hypothetical fixture transactions and capacity.
Package wire implements SPEC §2 (identity and canonical encoding), the §1 numeric limits, the §11 closed detail codes and the taskman-command-result/0 envelope of §3.3.
Package wire implements SPEC §2 (identity and canonical encoding), the §1 numeric limits, the §11 closed detail codes and the taskman-command-result/0 envelope of §3.3.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL