tiny.choir.composition
Defined in tiny.choir.
Durable cross-pipeline compilation products and their runtime materialization.
API (56)
Types and contracts
Public types and contracts.
AccessAliasBoundary: An owned, context-independent boundary descriptor.BoundaryIdBoundarySpec: A logical value crossing partition boundaries before physical placement is chosen.CallSiteCallSiteIdCallSiteSpecCompositionModule: Owns the serializable whole-program product: source contracts, fragments, and variants.CompositionVariant: A complete physical-program choice for one target and policy identity.CompositionVariantIdCompositionVariantSpecDiagnosticPathEffectElementTypeEntry: A context-bound wrapper around one process-local raw fragment address.EntryErrorExportExportSpecFragment: Owns artifact transport data and an exact input record; it grants no native reuse entitlement.FragmentIdFragmentMaterializerFragmentPlan: An owned pipeline proposal for one partition and shared ABI version.FragmentSpec: Borrowed serializable inputs for one compiled partition.FragmentVTableImportImportKindImportSpecInvocation: One call's owned ABI resources and state, bound to a liveLoadedComposition.LifecycleEventLifecycleObserverLoadedComposition: Owns one verified target variant and all process-local fragment state.LoadedFragmentMaterializedFragmentOwnershipPartition: An owned semantic region with a frontend-stable identity and source provenance.PartitionIdPartitionSpec: Borrowed facts for one closed semantic region selected by the source compiler.PartitionedModule: Owns verified semantic partitions, logical boundaries, call sites, and provenance.PipelinePipelineInput: Binds one verified source partition to one pipeline product identity.ProvenanceProvenanceSpecResourceSpecSemanticCallSiteSemanticCallSiteSpecTargetChoiceTargetChoiceSpec
Namespaces
Public namespaces.
abi: Fixed-width C-compatible ABI between independently compiled fragments.diagnosticinvocationloaded: Process-local fragment materialization, symbol lookup, invocation gating, and teardown.module: Serializable fragments and complete physical target variants.planserializationsource: Source-owned semantic partitions, logical boundaries, call sites, and provenance.
Source
Source: lib/choir/src/composition/root.zig
zig
//! Durable cross-pipeline compilation products and their runtime materialization.//! Source products own logical partitions and boundaries. Composition products own verified//! fragments, complete target variants, the shared invocation ABI, and source provenance.//! Process-local backend state exists only under `LoadedComposition` and per-call `Invocation`.pub const source = @import("source/root.zig");pub const module = @import("module/root.zig");pub const diagnostic = @import("diagnostic/root.zig");pub const serialization = module.serialization;pub const abi = @import("abi/root.zig");pub const loaded = @import("loaded/root.zig");pub const invocation = @import("invocation.zig");pub const plan = @import("plan.zig");pub const PartitionId = source.PartitionId;pub const BoundaryId = source.BoundaryId;pub const FragmentId = source.FragmentId;pub const CallSiteId = source.CallSiteId;pub const Pipeline = source.Pipeline;pub const Access = source.Access;pub const Ownership = source.Ownership;pub const Provenance = source.Provenance;pub const ProvenanceSpec = source.ProvenanceSpec;pub const ElementType = source.ElementType;pub const Alias = source.Alias;pub const Boundary = source.Boundary;pub const BoundarySpec = source.BoundarySpec;pub const Partition = source.Partition;pub const PartitionSpec = source.PartitionSpec;pub const Effect = source.Effect;pub const SemanticCallSite = source.SemanticCallSite;pub const SemanticCallSiteSpec = source.SemanticCallSiteSpec;pub const PartitionedModule = source.PartitionedModule;pub const PipelineInput = source.PipelineInput;pub const FragmentPlan = plan.FragmentPlan;pub const Export = module.Export;pub const ExportSpec = module.ExportSpec;pub const Import = module.Import;pub const ImportSpec = module.ImportSpec;pub const ImportKind = module.ImportKind;pub const Fragment = module.Fragment;pub const FragmentSpec = module.FragmentSpec;pub const CallSite = module.CallSite;pub const CallSiteSpec = module.CallSiteSpec;pub const CompositionVariantId = module.CompositionVariantId;pub const TargetChoice = module.TargetChoice;pub const TargetChoiceSpec = module.TargetChoiceSpec;pub const CompositionVariant = module.CompositionVariant;pub const CompositionVariantSpec = module.CompositionVariantSpec;pub const CompositionModule = module.CompositionModule;pub const DiagnosticPath = module.DiagnosticPath;pub const LoadedFragment = loaded.LoadedFragment;pub const FragmentVTable = loaded.FragmentVTable;pub const MaterializedFragment = loaded.MaterializedFragment;pub const FragmentMaterializer = loaded.FragmentMaterializer;pub const LoadedComposition = loaded.LoadedComposition;pub const EntryError = loaded.EntryError;pub const LifecycleEvent = loaded.LifecycleEvent;pub const LifecycleObserver = loaded.LifecycleObserver;pub const ResourceSpec = invocation.ResourceSpec;pub const Invocation = invocation.Invocation;pub const Entry = invocation.Entry;Source: lib/choir/src/root.zig:34
zig
pub const composition = @import("composition/root.zig");Audit
| Definitions | 1 |
|---|---|
| Public names | 1 |
| Members | 0 |
| Version | 26.7.0 |
| Revision | daab053ee433 |