Built and signed on GitHub ActionsBuilt and signed on GitHub Actions
CLI surface for @sys primitive compositions.
Functions
Run Pull with interactive menus or explicit non-interactive arguments.
Namespaces
Contracts for configured remote materialization and mutable local projections.
Execution contracts for one configured remote bundle.
Result truth for one checksum-pinned Dist bundle.
Mutable-copy settlement without generation authority or verification evidence.
Strict durable configuration for Dist materialization and generic GitHub pulls.
Type Aliases
Failure in generation materialization or later mutable projection.
Server-owned materialization failed, so projection never acquired authority to run.
- generation: t.Dist.FailedNo documentation available
- kind: "materialization-failed"No documentation available
- ok: falseNo documentation available
- projection: Projection.NotRunNo documentation available
| "target-occupied"
| "filesystem-failure"
| "rewrite-failure"
| "cancelled"
Projection failed after the pinned generation outcome had settled.
- dir: t.StringAbsoluteDirNo documentation available
- error: stringNo documentation available
- kind: "failed"No documentation available
- mode: t.GithubPull.ModeNo documentation available
- reason:"invalid-target"
| "target-occupied"
| "filesystem-failure"
| "rewrite-failure"
| "cancelled"No documentation available
Projection was absent from configuration.
- kind: "not-requested"No documentation available
Projection could not run because materialization failed.
- kind: "not-run"No documentation available
Mutable local projection completed without inheriting a verification claim.
Pinned generation succeeded, but its separate mutable projection failed.
- generation: t.Dist.Existing | t.Dist.PromotedNo documentation available
- kind: "projection-failed"No documentation available
- ok: falseNo documentation available
- projection: Projection.FailureNo documentation available
Complete materialization and projection settlement.
Pinned generation success with either no projection or a completed projection.
- generation: t.Dist.Existing | t.Dist.PromotedNo documentation available
- kind: "dist"No documentation available
- ok: trueNo documentation available
- projection: Projection.NotRequested | Projection.SuccessNo documentation available
Lifecycle and terminal-output options for one bundle.
& { config?: string; manifest?: string; integrity?: string; store?: string; project?: string; mode?: t.GithubPull.Mode; dry-run?: boolean; non-interactive?: boolean; }
Raw Pull command-line arguments.
Supported Pull subcommand.
& { readonly command?: CliCommand; readonly interactive: boolean; }
Parsed Pull arguments with normalized interaction mode.
One supported configured remote bundle.
Canonical Pull configuration directory name.
Checksum-pinned Dist authority and optional mutable projection.
Optional mutable copy of a pinned Dist generation.
Strict YAML document owned by Pull.
Pull configuration filename extension.
Authority shared by bounded generic GitHub bundles.
Explicit mutable target for a generic GitHub pull.
& { kind: "github:release"; tag?: string; asset?: string | string[]; }
Bounded GitHub release-asset bundle.
& { kind: "github:repo"; ref?: string; path?: string; }
Bounded GitHub repository-tree bundle.
| { readonly ok: false; readonly errors: readonly t.Schema.Error[]; }
Pull configuration load result.
Validated bundles with their resolved execution root.
Resolved Pull configuration and its mutable output targets.
Resolved mutable output target for a pull bundle.
| { readonly ok: false; readonly errors: readonly t.Schema.Error[]; }
Strict YAML validation result.
Pull registry identifier literal.
Public API for resolving and executing durable Pull configuration.
Pull tool-name literal.
& t.Tools.ConfigRefArgs
Arguments for a programmatic Pull run.
| { readonly bundle: ConfigYaml.GithubReleaseBundle | ConfigYaml.GithubRepoBundle; readonly data: t.GithubPull.Success; }
Successful result retained for one configured bundle; run throws on any bundle failure.
Successful settlement of every bundle in one programmatic Pull run.
Pull CLI entry contract.
- cli(): Promise<void>cwd?: t.StringDir,argv?: string[]
Run Pull with interactive menus or explicit non-interactive arguments.
Variables
Bounded generic GitHub release and repository downloads.
Resolve and execute durable Pull configuration.