bevy-brink 0.0.17

//! Asset types and loaders for compiled brink stories.

use std::marker::PhantomData;

use bevy_asset::{Asset, AssetLoader, Handle, LoadContext, io::Reader};
use bevy_ecs::bundle::Bundle;
use bevy_ecs::component::Component;
use bevy_reflect::TypePath;
use brink_format::{EffectRowEntry, LineEntry};
use brink_runtime::{FlowInstance, Program, RuntimeError, World};

use crate::line_tables::BrinkLocale;

/// The immutable bytecode portion of a compiled story — what the VM
/// actually executes — together with the fresh starting [`World`](brink_runtime::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`](crate::BrinkGlobals)**
/// — since F6.2, `fulfill_flow_requests` creates the shared `BrinkGlobals`
/// `World` via [`brink_runtime::World::new`], resolving the host's
/// [`WorldPolicy`](brink_runtime::WorldPolicy) (installed via
/// [`BrinkPlugin::with_policy`](crate::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`](crate::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`.
#[derive(Asset, TypePath)]
pub struct ProgramAsset {
    pub program: Program,
    pub initial_context: World,
    /// 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 `ComponentId`s, 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.
    pub effect_rows: Vec<EffectRowEntry>,
}

/// The localized line-table portion of a compiled story — the swappable
/// rendering data.
///
/// Every `.inkb` carries its source-language line tables embedded; the
/// loader splits them out as their own asset so future hot-reload
/// machinery can update tables independently of the program. Additional
/// `.inkl` overlays will load as standalone `LineTablesAsset`s when that
/// loader lands.
///
/// Loaded as a labeled subasset under the label `line_tables` from
/// [`InkbLoader`], or directly via `path.inkb#line_tables`.
#[derive(Asset, TypePath)]
pub struct LineTablesAsset {
    pub tables: Vec<Vec<LineEntry>>,
}

/// Top-level "story" asset — a thin bundle pairing the two
/// labeled subassets ([`ProgramAsset`], [`LineTablesAsset`]) that
/// together describe a loaded story.
///
/// `.inkb` and `.ink` loaders emit this. Consumers usually don't need
/// to load the labeled subassets directly — they spawn an entity with
/// a [`BrinkFlowRequest`](crate::BrinkFlowRequest) carrying a
/// `Handle<BrinkStoryAsset>` and let the fulfillment system wire
/// everything up.
#[derive(Asset, TypePath)]
pub struct BrinkStoryAsset {
    pub program: Handle<ProgramAsset>,
    pub line_tables: Handle<LineTablesAsset>,
}

/// Asset loader for `.inkb` (compiled bytecode) files.
///
/// Reads the bytes, decodes via [`brink_format::read_inkb`], links via
/// [`brink_runtime::link`], computes the fresh starting [`World`](brink_runtime::World)
/// from the program's declarations, and emits labeled subassets
/// (`#program`, `#line_tables`) bundled in the returned
/// [`BrinkStoryAsset`].
#[derive(Default, TypePath)]
pub struct InkbLoader;

/// Errors that can occur loading an `.inkb` file.
#[derive(Debug, thiserror::Error)]
pub enum InkbLoaderError {
    #[error("I/O error: {0}")]
    Io(#[from] std::io::Error),
    #[error("invalid .inkb: {0:?}")]
    Decode(brink_format::DecodeError),
    #[error("link error: {0}")]
    Link(#[from] RuntimeError),
}

impl From<brink_format::DecodeError> for InkbLoaderError {
    fn from(err: brink_format::DecodeError) -> Self {
        Self::Decode(err)
    }
}

impl AssetLoader for InkbLoader {
    type Asset = BrinkStoryAsset;
    type Settings = ();
    type Error = InkbLoaderError;

    async fn load(
        &self,
        reader: &mut dyn Reader,
        _settings: &Self::Settings,
        load_context: &mut LoadContext<'_>,
    ) -> Result<Self::Asset, Self::Error> {
        let mut bytes = Vec::new();
        reader.read_to_end(&mut bytes).await?;
        let story_data = brink_format::read_inkb(&bytes)?;
        let (program, tables) = brink_runtime::link(&story_data)?;
        Ok(emit_story_assets(
            load_context,
            program,
            tables,
            story_data.effect_rows,
        ))
    }

    fn extensions(&self) -> &[&str] {
        &["inkb"]
    }
}

/// Compute the fresh starting [`World`](brink_runtime::World) for a program — globals seeded
/// from `VAR`/`CONST`/`LIST` defaults, zero visit and turn counts. No
/// execution; pure function of the linked program.
pub(crate) fn fresh_context(program: &Program) -> World {
    // FlowInstance::new_at_root constructs both a flow and a fresh
    // World; we only want the World here.
    let (_, context) = FlowInstance::new_at_root(program);
    context
}

/// Emit the two labeled subassets (`#program`, `#line_tables`) and
/// return the bundle holding their handles. The fresh starting
/// [`World`](brink_runtime::World) is computed and stored inline on `ProgramAsset`.
pub(crate) fn emit_story_assets(
    load_context: &mut LoadContext<'_>,
    program: Program,
    tables: Vec<Vec<LineEntry>>,
    effect_rows: Vec<EffectRowEntry>,
) -> BrinkStoryAsset {
    let initial_context = fresh_context(&program);
    let program = load_context.add_labeled_asset(
        "program".to_string(),
        ProgramAsset {
            program,
            initial_context,
            effect_rows,
        },
    );
    let line_tables =
        load_context.add_labeled_asset("line_tables".to_string(), LineTablesAsset { tables });
    BrinkStoryAsset {
        program,
        line_tables,
    }
}

/// Component holding the `Handle<ProgramAsset>` a [`BrinkFlow<M>`](crate::BrinkFlow)
/// executes against.
///
/// In Bevy 0.19 `Handle<T>` is no longer a `Component` directly, so
/// flow entities need a wrapper to associate a flow with its program.
/// The fulfillment system inserts this (as part of [`BrinkStory`])
/// when consuming a [`BrinkFlowRequest`](crate::BrinkFlowRequest);
/// manual usage is possible but rare.
#[derive(Component)]
pub struct BrinkProgram<M: Send + Sync + 'static = ()> {
    pub handle: Handle<ProgramAsset>,
    _marker: PhantomData<fn() -> M>,
}

impl<M: Send + Sync + 'static> BrinkProgram<M> {
    #[must_use]
    pub fn new(handle: Handle<ProgramAsset>) -> Self {
        Self {
            handle,
            _marker: PhantomData,
        }
    }
}

/// Bundle that pairs a flow's [`BrinkProgram`] (program handle) with
/// its [`BrinkLocale`] (line-tables handle).
///
/// Inserted by `fulfill_flow_requests` as a single bundle so the two
/// always travel together. Consumers can also spawn this directly if
/// they're managing flows manually.
///
/// The two components stay individually queryable — `Changed<BrinkLocale<M>>`
/// detects locale swaps without false positives from program changes.
#[derive(Bundle)]
pub struct BrinkStory<M: Send + Sync + 'static = ()> {
    pub program: BrinkProgram<M>,
    pub locale: BrinkLocale<M>,
}

impl<M: Send + Sync + 'static> BrinkStory<M> {
    #[must_use]
    pub fn new(program: Handle<ProgramAsset>, line_tables: Handle<LineTablesAsset>) -> Self {
        Self {
            program: BrinkProgram::new(program),
            locale: BrinkLocale::new(line_tables),
        }
    }
}

#[cfg(test)]
mod fresh_context_tests {
    use crate::test_support::compile_test_story;

    /// `VAR` defaults are a link-time concern (`Program::global_defaults`),
    /// not an init-pass concern. The fresh World picks them up
    /// without any execution.
    #[test]
    fn fresh_context_picks_up_var_defaults() {
        let source = "VAR score = 42\n=== start ===\nHello.\n* [Continue] -> END\n";
        let (program, tables, ctx) = compile_test_story(source);

        let mut score_value = None;
        for slot in 0..program.global_count() {
            if program.global_name(slot) == Some("score") {
                score_value = Some(ctx.globals[slot as usize].clone());
            }
        }
        assert!(score_value.is_some(), "score global should exist");
        assert!(
            matches!(score_value.unwrap(), brink_format::Value::Int(42)),
            "score should be 42 from the VAR default"
        );
        assert!(!tables.is_empty(), "compiled story should have line tables");
    }
}