Ornaments

ProjectBuilder ornament over BuilderSpec: super-base for project-level refinements (implementations, vendoring, testing). Inserts `langName` as the project's...

DependenciesBuilder ornament over BuilderSpec: typed dependency-resolution strategy plus resolver eliminators. The 3-mode shape (Uniform / Partitioned / Mult...

ImplementationsBuilder ornament over ProjectBuilder: typed multi-implementation refinement plus consumer-coordination helpers. `define` produces a typed spec...

toolEnv ornament: typed tool-environment vocabulary for builder consumers. The spec carries only a typed `tools : [ToolSpec]` list; eliminators derive `toolI...

TestingBuilder ornament over ProjectBuilder: typed test-suite declarations. `testCase` / `testSuite` smart constructors validate at the boundary; `selectCase...

VendoringBuilder ornament over ProjectBuilder: a typed contract describing the structural fields a vendored package must declare. The contract itself is a ty...

CodeGenBuilder ornament over BuilderSpec, with a `codeGen` smart constructor that produces typed multi-language code-generation specs.

IdlBuilder ornament over CodeGenBuilder, with a `fromProtobuf` smart constructor that produces typed multi-language protobuf code-generation specs.

capabilities ornament: typed capability vocabulary over the runtime.* effect algebra. Built-in `lifecycle`/`crud`/`streaming` categories, smart constructors ...

protocol ornament: typed protocol vocabulary over the runtime.* effect algebra. Built-in protocols (rpc/json-rpc/dbus/grpc) as typed `ProtocolSpec` values, p...

service ornament: typed service definition over the runtime.* effect algebra. `define` wraps the ServiceSpec smart constructor (with eager capability/protoco...

replServer ornament: typed REPL-server specification over the locked runtime.* algebra. `define` smart-ctor produces a `REPLServerSpec` with eager structural...

sandbox ornament: typed sandbox profile over the bwrap/Landlock/seccomp/systemd backends. Four eliminators (toBwrap/toLandlock/toSeccomp/toSystemd) consume t...

metaBuilder transform ornament: typed smart constructor over BuilderSpec for the multi-tool sequential transform-output pipeline shape. Each step becomes a r...

OciImageBuilder ornament over BuilderSpec, with an `ociImage` smart constructor that compiles image fields into a named-step OCI layout assembly program.