Struct ProgramAsset 

pub struct ProgramAsset {
    pub program: Program,
    pub initial_context: World,
    pub effect_rows: Vec<EffectRowEntry>,
}

The immutable bytecode portion of a compiled story — what the VM actually executes — together with the fresh starting World (globals seeded from VAR/CONST/LIST defaults; zero visit and turn counts, all-World policy).

initial_context is read-only “fresh start” state, exposed for consumers that want to compare against or reset toward program defaults. It is not what seeds BrinkGlobals — since F6.2, fulfill_flow_requests creates the shared BrinkGlobals World via brink_runtime::World::new, resolving the host’s WorldPolicy (installed via BrinkPlugin::with_policy) against this program’s symbol table — initial_context (always the all-World policy) plays no part in that. There is no “commit back to reset” verb either; see BrinkGlobals’s docs.

No execution happens to produce this — it’s a pure function of the linked Program’s declarations. Stories with free-floating top-of-file setup (~ initialize_save_data() etc.) need a flow at root to advance through that code; the runtime doesn’t pre-run it.

Produced as a labeled subasset by InkbLoader (and the .ink source loader) under the label program. Reference it through BrinkStoryAsset::program or load it directly via the labeled path path.inkb#program.

Fields

program: Program

initial_context: World

effect_rows: Vec<EffectRowEntry>

The story’s decoded EffectRows DefinitionId → row table (T2-3, docs/effects-spec.md §11; PR #878) — carried here rather than on Program itself because BH-1’s capability join (crate::capability::compute_container_access) needs a live CapabilityRegistry resource (app World access) to resolve capability names to ComponentIds, which an AssetLoader never has; the join runs later, in a system reacting to this asset’s load event, so the rows must survive to that point. Empty for stories compiled before T2-3 shipped rows, or that declare no knots/stitches.

Trait Implementations

impl Asset for ProgramAsset

impl TypePath for ProgramAsset

fn type_path() -> &'static str

Returns the fully qualified path of the underlying type.

fn short_type_path() -> &'static str

Returns a short, pretty-print enabled path to the type.

fn type_ident() -> Option<&'static str>

Returns the name of the type, or None if it is anonymous.

fn crate_name() -> Option<&'static str>

Returns the name of the crate the type is in, or None if it is anonymous.

fn module_path() -> Option<&'static str>

Returns the path to the module the type is in, or None if it is anonymous.

impl VisitAssetDependencies for ProgramAsset

fn visit_dependencies(&self, visit: &mut impl FnMut(UntypedAssetId))