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. |
Click to show internal directories.
Click to hide internal directories.