Navigation
ManualIntroductionGetting StartedBuilder SpecsOperationsPrograms And ViewsDesigning Builder SurfacesOutputs, Evidence, And Runtime ArtifactsMaterialization ModelAuthoring Production Builders
TheoryBuilders As DescriptionsInternalized ProgramsOrnaments And Domain SurfacesInterpretation And ViewsEvidence, Descriptors, And Runtime Structure
ExamplesNode service exampleSource filesNode service builder moduleserver.jsC code generation exampleSource filesC codegen builder modulemessages.defmain.cBridge exampleSource filesBridge proof moduleIDL exampleSource filesIDL builder moduleschema.protoOCI image exampleSource filesOCI image example module
API Reference
Core APIDescriptionsOperations
ProgramValidateDepsDry-runPlan-viewDescribeIntrospectMaterializeBackendsFormerPlan-export
ReferenceSchemasDatatypes
OrnamentsProject-builderDependenciesImplementationsToolEnvTestingVendoringCode-genIdlCapabilitiesProtocolServiceReplServerSandboxTransformOci-image
Library HelpersTool-envToolchainPassthruBundledDashboardContentAddress

Capabilities

Typed capability vocabulary built on the runtime.* effect algebra. The underlying datatypes (CapabilitySchema, CapabilityCategory, CapabilitySet) live in mb.descriptions; this ornament adds three things consumers actually reach for:

  • Smart constructors as terse aliases: capabilities.capability { name; description?; params?; returns?; } capabilities.category { name; description?; capabilities?; } capabilities.set { categories?; custom?; }

  • Built-in categories as typed values addressable as capabilities.builtins.{lifecycle,crud,streaming}. Each is a fully-typed CapabilityCategory. Consumer extension goes through H.ornament on the closed kernel sum, not through string-keyed attrset merge.

  • Schema eliminator schema : CapabilitySchema → AttrSet produces a JSON-Schema-shaped attrset suitable for MCP/API tooling. setSchemas : CapabilitySet → AttrSet flattens an entire set, attaching a category tag to each entry.

prevIdlProtocolnext