@bitcobblers/wod-wiki-lang 0.45.2167 → 0.47.2169

package/dist/{browserRuntimeNow-CnGciOM0.d.cts → browserRuntimeNow-CqyFh_Jd.d.cts}

@@ -831,6 +831,8 @@ interface CalculationDefinition {
     when?: string;
     whenAst?: ExprNode;
     variants: CalcVariant[];
+    /** Custom statement-level atom dimensions contributed by Property Notes. */
+    customAtoms?: Readonly<Record<string, DimVector>>;
     output?: {
         nodeId: string | string[];
         key?: string;
@@ -845,6 +847,176 @@ interface CalculationDefinition {
     };
 }
 
+/**
+ * Dimension-aware value model for calc evaluation.
+ *
+ * Numbers carry a dimension vector and (optionally) the unit they were
+ * measured in; arithmetic tracks vectors per spec §5.1. `absent` is the
+ * missing-data value: it propagates through arithmetic, reads as `false` in
+ * predicates (applicability decision, #848), and is what `has()` probes.
+ */
+
+type Val = {
+    kind: 'number';
+    value: number;
+    dim: DimVector;
+    unit?: string;
+} | {
+    kind: 'string';
+    value: string;
+} | {
+    kind: 'series';
+    points: Map<number, number>;
+    dim: DimVector;
+    unit?: string;
+} | {
+    kind: 'period';
+    days: number;
+} | {
+    kind: 'absent';
+};
+declare const ABSENT: Val;
+declare function num(value: number, dim?: DimVector, unit?: string): Val;
+declare function str(value: string): Val;
+/** Predicate truthiness: absent → false; numbers → ≠ 0; strings → non-empty. */
+declare function truthy(v: Val): boolean;
+
+/**
+ * Expression evaluator for the composed calculations layer.
+ *
+ * The core owns arithmetic, comparison/logic, and the scalar function table
+ * (min, max, abs, round, floor, ceil, clamp, convert, has). Everything
+ * scope-dependent — metric refs, context nodes, stream aggregates, lookup(),
+ * WQL atoms — resolves through the EvalContext, so the same evaluator serves
+ * segment, workout, and store scopes (spec §3.1).
+ */
+
+declare class CalcEvalError extends Error {
+    constructor(message: string);
+}
+interface EvalContext {
+    /** Resolve a ref atom (metric, context node, library node). ABSENT when missing. */
+    resolveRef(name: string): Val;
+    /**
+     * Extension functions (stream aggregates, lookup). Receives evaluated args
+     * plus the raw arg nodes (aggregates need the filter node unevaluated).
+     * Return undefined to signal "not mine" → CalcEvalError.
+     */
+    callFunction?(name: string, args: Val[], rawArgs: ExprNode[]): Val | undefined;
+    /** Store-scope WQL selections (QueryService). Store scope only. */
+    resolveWql?(node: Extract<ExprNode, {
+        kind: 'wql';
+    }>): Val;
+}
+declare function evaluate(node: ExprNode, ctx: EvalContext): Val;
+
+/**
+ * Lookup table registry (spec §4).
+ *
+ * Tables are adapters over heterogeneous sources (effort resolver, static
+ * maps, user profile) exposing a uniform single-row lookup contract:
+ * `lookup("table", keyExpr, "field")`. Registration is layered —
+ * bundled → dialect → user — with later layers replacing earlier ones
+ * (mirrors the Dialect Stack's personal-overrides-last rule). Miss behavior
+ * is per-table: `absent` yields the absent value; `default-row` yields a
+ * synthetic row so calcs never see a miss.
+ */
+
+interface LookupFieldDef {
+    dimension: DimVector;
+    type: 'number' | 'string';
+}
+interface ILookupTable {
+    readonly id: string;
+    readonly fields: Record<string, LookupFieldDef>;
+    readonly missPolicy: 'absent' | 'default-row';
+    /** Single-row lookup. `absent` tables return undefined on a miss. */
+    get(key: string, field: string): Val | undefined;
+}
+type LookupLayer = 'bundled' | 'dialect' | 'user';
+declare class LookupRegistry {
+    private readonly tables;
+    /** Register a table; a later-or-equal layer replaces the existing entry. */
+    register(table: ILookupTable, layer?: LookupLayer): void;
+    get(tableId: string): ILookupTable | undefined;
+    /** Field dimension for static checking; undefined when table/field unknown. */
+    fieldDim(tableId: string, field: string): DimVector | undefined;
+    /** Runtime lookup honoring the table's miss policy. */
+    lookup(tableId: string, key: string, field: string): Val;
+    /**
+     * EvalContext `callFunction` implementation for `lookup("table", key, "field")`.
+     * Compose with other extension functions (aggregates) at the engine layer.
+     */
+    readonly callFunction: EvalContext['callFunction'];
+}
+
+/**
+ * MetricShakeOutQueue — Two-stage dependency-ordered metric evaluation module.
+ *
+ * Collects static Metrics and statement-level Metric Equations (`metrics:`)
+ * plus workout/query Summary Metrics (`summaries:`) across stacked Property
+ * Notes in specificity precedence:
+ *   Statement/Runtime > Inline Tag > Effort > Equipment > Note Frontmatter > Tag Category
+ *
+ * Stage 1 (`plan`): resolves static metrics and compile-time equations in
+ * topological waves, injects compiler hints, and defers equations whose
+ * required inputs depend on runtime-only atoms (`elapsed`, `spans`, etc.).
+ *
+ * Stage 2 (`log`): resolves all remaining equations against the executed
+ * statement metrics and emits a structured Skipped-Dependency Diagnostic
+ * metric (`origin: 'diagnostic'`, `type: MetricType.Diagnostic`) for any
+ * equation whose required inputs remain absent after the fixed-point pass.
+ */
+
+type PropertySourceLayer = 'statement' | 'tag' | 'effort' | 'equipment' | 'note' | 'category';
+interface PropertyRuleInput {
+    readonly layer: Exclude<PropertySourceLayer, 'statement'>;
+    readonly sourceSlug: string;
+    readonly metrics?: Readonly<Record<string, string | number | readonly string[]>>;
+    readonly summaries?: Readonly<Record<string, string>>;
+    readonly hints?: Readonly<Record<string, unknown>>;
+}
+interface SkippedDependencyDiagnostic {
+    readonly target: string;
+    readonly expression: string;
+    readonly sourceLayer: Exclude<PropertySourceLayer, 'statement'>;
+    readonly sourceSlug: string;
+    readonly missing: readonly string[];
+}
+interface ShakeOutResult {
+    readonly resolved: readonly string[];
+    readonly deferredRuntime: readonly string[];
+    readonly diagnostics: readonly SkippedDependencyDiagnostic[];
+    readonly inferredDims: Readonly<Record<string, DimVector>>;
+}
+interface ShakeOutQueueOptions {
+    readonly stage: 'plan' | 'log';
+    readonly sources: readonly PropertyRuleInput[];
+    readonly lookups?: LookupRegistry;
+    readonly lastEffortSlug?: string;
+}
+/**
+ * Extract `metrics:` and `summaries:` maps from a parsed frontmatter record
+ * (supporting both flat `metrics.foo` / `summaries.bar` keys and nested maps).
+ */
+declare function extractPropertyRulesFromMeta(meta: Readonly<Record<string, unknown>>, layer: Exclude<PropertySourceLayer, 'statement'>, sourceSlug: string): PropertyRuleInput;
+/**
+ * Extract `PropertyRuleInput` records from a `TagIndex` for the given tag slugs.
+ * Supports both statement-level `metrics` (static or equation) and workout-level
+ * `summaries.<key>` contributions on tags (including nested tags).
+ */
+declare function extractTagPropertyRules(tags: TagIndex | undefined, slugs: readonly string[]): PropertyRuleInput[];
+/**
+ * Compile `summaries:` equations across stacked Property Notes into workout-scope
+ * `CalculationDefinition` records. Higher-precedence layers shadow lower layers
+ * when both define the same summary key.
+ */
+declare function compilePropertySummaryCalcs(sources: readonly PropertyRuleInput[]): CalculationDefinition[];
+/**
+ * Run the two-stage Metric Shake-Out Queue on a statement's MetricContainer.
+ */
+declare function runMetricShakeOutQueue(container: MetricContainer, options: ShakeOutQueueOptions): ShakeOutResult;
+
 /**
  * Factory function type for wrapping blocks in debug mode.
  * Receives the original block and returns a wrapped version.
@@ -946,6 +1118,8 @@ interface RuntimeStackOptions extends IRuntimeOptions {
          * bundle a profile applies.
          */
         activeTags?: readonly string[];
+        /** Property Note metric/summary rules active for this run or block. */
+        propertySources?: readonly PropertyRuleInput[];
     };
     /**
      * Sound configuration for this run.
@@ -2817,4 +2991,4 @@ declare function getRuntimeNowMs(): number;
 /** Creates an INowProvider that reads the browser sender-clock when available. */
 declare function createBrowserRuntimeNow(): INowProvider;
 
-export { type IEventHandler as $, type AnalyticsContext as A, type BehaviorEventType as B, type IBlockContext as C, type MetricVisibility as D, type EffortResolverOptions as E, type BlockLifecycleOptions as F, type CompletionDecision as G, type IRuntimeMemory as H, type IEquipment as I, TypedMemoryReference as J, type MemorySearchCriteria as K, type IMemoryReference as L, type MemoryTag as M, type RuntimeStackLogger as N, type OutputListener as O, type StackObserver as P, type StackSnapshot as Q, type ReferenceIndex as R, type SubscribeOptions as S, TimeSpan as T, type Unsubscribe as U, type StackListener as V, WhiteboardScript as W, MemoryTypeEnum as X, type IAnchorValue as Y, type SoundProfile as Z, type ButtonConfig as _, type ReferenceResolutionDefaults as a, type SeedPrecedenceTier as a$, type HandlerScope as a0, type IScriptRuntime as a1, type TestableBlockConfig as a2, type IRuntimeOptions as a3, ScriptRuntime as a4, type EventHandlerOptions as a5, type EventCallback as a6, type TimerState as a7, type CalculationDefinition as a8, type IRealtimeProcessor as a9, EFFORT_REGISTRY_ORIGINS as aA, type EffortBaseAttributes as aB, type EffortDerivation as aC, type EffortDiscipline as aD, type EffortMaterializer as aE, type EffortResolvedFrom as aF, type EquipmentStorageAdapter as aG, type FenceDialect as aH, type FragmentDisplayState as aI, type FragmentState as aJ, type IAnalyticsProcessorDescriptor as aK, type IEquipmentRegistry as aL, INTENSITY_TIERS as aM, type IScript as aN, type IntensityTier as aO, type InterceptMode as aP, MemoryLocation as aQ, type MemoryType as aR, type MemoryTypeMap as aS, type MemoryValueOf as aT, NAMED_COMPOUNDS as aU, type ReferenceCatalog as aV, type ResolvedReferences as aW, type RoundState as aX, type RuntimeState as aY, SEED_PRECEDENCE_RANK as aZ, type ScriptRuntimeDependencies as a_, type ISummaryProcessor as aa, type ProjectionResult as ab, type DimVector as ac, type CalcLine as ad, type ExprNode as ae, type CalcScope as af, type BinaryOp as ag, type ButtonVariant as ah, type ButtonsState as ai, type CalcNode as aj, type CalcOrigin as ak, type CalcVariant as al, type ChildrenStatusState as am, type CompletionState as an, DEFAULT_RESOLVER_OPTIONS as ao, DEFAULT_RUNTIME_OPTIONS as ap, DEFAULT_SOUND_PROFILE as aq, DIM_COUNT as ar, DIM_ENERGY as as, DIM_LENGTH as at, DIM_MASS as au, DIM_TIME as av, DIM_ZERO as aw, DISCIPLINE_FACTORS as ax, type DisplayState as ay, EFFORT_DISCIPLINES as az, type IEffort as b, type SoundRule as b0, type SoundTriggerAnchor as b1, type SoundTriggerPoint as b2, type StackEvent as b3, type TimerDirection as b4, VISIBILITY_ICONS as b5, VISIBILITY_LABELS as b6, addDim as b7, compoundName as b8, createBrowserRuntimeNow as b9, createReferenceIndex as ba, dedupeEntitiesByPrecedence as bb, dimEquals as bc, disciplineFactorFor as bd, extractStatementRefs as be, filterTagsByVisibility as bf, formatDim as bg, formatSoundTrigger as bh, frozenNow as bi, getMetricVisibility as bj, getRuntimeNowMs as bk, isDimensionless as bl, isEffortDiscipline as bm, isFragmentTag as bn, parseSoundTrigger as bo, resolveEntityRank as bp, resolveEntityTier as bq, resolveProfileRules as br, resolveSourceRank as bs, resolveSourceTier as bt, slugifyRefLabel as bu, subDim as bv, wallClockNow as bw, type IEffortResolver as c, type IEffortRegistry as d, type EffortResolutionOptions as e, type ResolvedEffort as f, type EffortRegistrySource as g, type EffortStorageAdapter as h, type IRuntimeActionable as i, type IEventBus as j, type IRuntimeStack as k, type IRuntimeClock as l, type IJitCompiler as m, type INowProvider as n, type RuntimeStackOptions as o, type RuntimeError as p, type IEvent as q, type IRuntimeAction as r, type IAnalyticsEngine as s, type IRuntimeBlock as t, type IBehaviorContext as u, type BehaviorEventListener as v, type Unsubscribe$1 as w, type OutputOptions as x, type IMemoryLocation as y, type IRuntimeBehavior as z };
+export { type SoundProfile as $, type AnalyticsContext as A, type BehaviorEventType as B, type IMemoryLocation as C, type IRuntimeBehavior as D, type EffortResolverOptions as E, type IBlockContext as F, type MetricVisibility as G, type BlockLifecycleOptions as H, type IEquipment as I, type CompletionDecision as J, type IRuntimeMemory as K, TypedMemoryReference as L, type MemoryTag as M, type MemorySearchCriteria as N, type OutputListener as O, type IMemoryReference as P, type RuntimeStackLogger as Q, type ReferenceIndex as R, type SubscribeOptions as S, TimeSpan as T, type Unsubscribe as U, type StackObserver as V, WhiteboardScript as W, type StackSnapshot as X, type StackListener as Y, MemoryTypeEnum as Z, type IAnchorValue as _, type ReferenceResolutionDefaults as a, type MemoryValueOf as a$, type ButtonConfig as a0, type IEventHandler as a1, type HandlerScope as a2, type IScriptRuntime as a3, type TestableBlockConfig as a4, type IRuntimeOptions as a5, ScriptRuntime as a6, type EventHandlerOptions as a7, type EventCallback as a8, type TimerState as a9, DIM_LENGTH as aA, DIM_MASS as aB, DIM_TIME as aC, DIM_ZERO as aD, DISCIPLINE_FACTORS as aE, type DisplayState as aF, EFFORT_DISCIPLINES as aG, EFFORT_REGISTRY_ORIGINS as aH, type EffortBaseAttributes as aI, type EffortDerivation as aJ, type EffortDiscipline as aK, type EffortMaterializer as aL, type EffortResolvedFrom as aM, type EvalContext as aN, type FenceDialect as aO, type FragmentDisplayState as aP, type FragmentState as aQ, type IAnalyticsProcessorDescriptor as aR, INTENSITY_TIERS as aS, type IScript as aT, type IntensityTier as aU, type InterceptMode as aV, type LookupFieldDef as aW, type LookupLayer as aX, MemoryLocation as aY, type MemoryType as aZ, type MemoryTypeMap as a_, type CalculationDefinition as aa, type PropertyRuleInput as ab, type IRealtimeProcessor as ac, type ISummaryProcessor as ad, type DimVector as ae, type CalcLine as af, type ExprNode as ag, type CalcScope as ah, type ILookupTable as ai, LookupRegistry as aj, type ProjectionResult as ak, ABSENT as al, type BinaryOp as am, type ButtonVariant as an, type ButtonsState as ao, CalcEvalError as ap, type CalcNode as aq, type CalcOrigin as ar, type CalcVariant as as, type ChildrenStatusState as at, type CompletionState as au, DEFAULT_RESOLVER_OPTIONS as av, DEFAULT_RUNTIME_OPTIONS as aw, DEFAULT_SOUND_PROFILE as ax, DIM_COUNT as ay, DIM_ENERGY as az, type IEffort as b, NAMED_COMPOUNDS as b0, type PropertySourceLayer as b1, type ReferenceCatalog as b2, type ResolvedReferences as b3, type RoundState as b4, type RuntimeState as b5, SEED_PRECEDENCE_RANK as b6, type ScriptRuntimeDependencies as b7, type SeedPrecedenceTier as b8, type ShakeOutQueueOptions as b9, getMetricVisibility as bA, getRuntimeNowMs as bB, isDimensionless as bC, isEffortDiscipline as bD, isFragmentTag as bE, num as bF, parseSoundTrigger as bG, resolveEntityRank as bH, resolveEntityTier as bI, resolveProfileRules as bJ, resolveSourceRank as bK, resolveSourceTier as bL, runMetricShakeOutQueue as bM, slugifyRefLabel as bN, str as bO, subDim as bP, truthy as bQ, wallClockNow as bR, type ShakeOutResult as ba, type SkippedDependencyDiagnostic as bb, type SoundRule as bc, type SoundTriggerAnchor as bd, type SoundTriggerPoint as be, type StackEvent as bf, type TimerDirection as bg, VISIBILITY_ICONS as bh, VISIBILITY_LABELS as bi, type Val as bj, addDim as bk, compilePropertySummaryCalcs as bl, compoundName as bm, createBrowserRuntimeNow as bn, createReferenceIndex as bo, dedupeEntitiesByPrecedence as bp, dimEquals as bq, disciplineFactorFor as br, evaluate as bs, extractPropertyRulesFromMeta as bt, extractStatementRefs as bu, extractTagPropertyRules as bv, filterTagsByVisibility as bw, formatDim as bx, formatSoundTrigger as by, frozenNow as bz, type IEffortResolver as c, type IEffortRegistry as d, type EffortResolutionOptions as e, type ResolvedEffort as f, type EffortRegistrySource as g, type IEquipmentRegistry as h, type EquipmentStorageAdapter as i, type EffortStorageAdapter as j, type IRuntimeActionable as k, type IEventBus as l, type IRuntimeStack as m, type IRuntimeClock as n, type IJitCompiler as o, type INowProvider as p, type RuntimeStackOptions as q, type RuntimeError as r, type IEvent as s, type IRuntimeAction as t, type IAnalyticsEngine as u, type IRuntimeBlock as v, type IBehaviorContext as w, type BehaviorEventListener as x, type Unsubscribe$1 as y, type OutputOptions as z };

package/dist/{browserRuntimeNow-CnGciOM0.d.ts → browserRuntimeNow-CqyFh_Jd.d.ts}

@@ -831,6 +831,8 @@ interface CalculationDefinition {
     when?: string;
     whenAst?: ExprNode;
     variants: CalcVariant[];
+    /** Custom statement-level atom dimensions contributed by Property Notes. */
+    customAtoms?: Readonly<Record<string, DimVector>>;
     output?: {
         nodeId: string | string[];
         key?: string;
@@ -845,6 +847,176 @@ interface CalculationDefinition {
     };
 }
 
+/**
+ * Dimension-aware value model for calc evaluation.
+ *
+ * Numbers carry a dimension vector and (optionally) the unit they were
+ * measured in; arithmetic tracks vectors per spec §5.1. `absent` is the
+ * missing-data value: it propagates through arithmetic, reads as `false` in
+ * predicates (applicability decision, #848), and is what `has()` probes.
+ */
+
+type Val = {
+    kind: 'number';
+    value: number;
+    dim: DimVector;
+    unit?: string;
+} | {
+    kind: 'string';
+    value: string;
+} | {
+    kind: 'series';
+    points: Map<number, number>;
+    dim: DimVector;
+    unit?: string;
+} | {
+    kind: 'period';
+    days: number;
+} | {
+    kind: 'absent';
+};
+declare const ABSENT: Val;
+declare function num(value: number, dim?: DimVector, unit?: string): Val;
+declare function str(value: string): Val;
+/** Predicate truthiness: absent → false; numbers → ≠ 0; strings → non-empty. */
+declare function truthy(v: Val): boolean;
+
+/**
+ * Expression evaluator for the composed calculations layer.
+ *
+ * The core owns arithmetic, comparison/logic, and the scalar function table
+ * (min, max, abs, round, floor, ceil, clamp, convert, has). Everything
+ * scope-dependent — metric refs, context nodes, stream aggregates, lookup(),
+ * WQL atoms — resolves through the EvalContext, so the same evaluator serves
+ * segment, workout, and store scopes (spec §3.1).
+ */
+
+declare class CalcEvalError extends Error {
+    constructor(message: string);
+}
+interface EvalContext {
+    /** Resolve a ref atom (metric, context node, library node). ABSENT when missing. */
+    resolveRef(name: string): Val;
+    /**
+     * Extension functions (stream aggregates, lookup). Receives evaluated args
+     * plus the raw arg nodes (aggregates need the filter node unevaluated).
+     * Return undefined to signal "not mine" → CalcEvalError.
+     */
+    callFunction?(name: string, args: Val[], rawArgs: ExprNode[]): Val | undefined;
+    /** Store-scope WQL selections (QueryService). Store scope only. */
+    resolveWql?(node: Extract<ExprNode, {
+        kind: 'wql';
+    }>): Val;
+}
+declare function evaluate(node: ExprNode, ctx: EvalContext): Val;
+
+/**
+ * Lookup table registry (spec §4).
+ *
+ * Tables are adapters over heterogeneous sources (effort resolver, static
+ * maps, user profile) exposing a uniform single-row lookup contract:
+ * `lookup("table", keyExpr, "field")`. Registration is layered —
+ * bundled → dialect → user — with later layers replacing earlier ones
+ * (mirrors the Dialect Stack's personal-overrides-last rule). Miss behavior
+ * is per-table: `absent` yields the absent value; `default-row` yields a
+ * synthetic row so calcs never see a miss.
+ */
+
+interface LookupFieldDef {
+    dimension: DimVector;
+    type: 'number' | 'string';
+}
+interface ILookupTable {
+    readonly id: string;
+    readonly fields: Record<string, LookupFieldDef>;
+    readonly missPolicy: 'absent' | 'default-row';
+    /** Single-row lookup. `absent` tables return undefined on a miss. */
+    get(key: string, field: string): Val | undefined;
+}
+type LookupLayer = 'bundled' | 'dialect' | 'user';
+declare class LookupRegistry {
+    private readonly tables;
+    /** Register a table; a later-or-equal layer replaces the existing entry. */
+    register(table: ILookupTable, layer?: LookupLayer): void;
+    get(tableId: string): ILookupTable | undefined;
+    /** Field dimension for static checking; undefined when table/field unknown. */
+    fieldDim(tableId: string, field: string): DimVector | undefined;
+    /** Runtime lookup honoring the table's miss policy. */
+    lookup(tableId: string, key: string, field: string): Val;
+    /**
+     * EvalContext `callFunction` implementation for `lookup("table", key, "field")`.
+     * Compose with other extension functions (aggregates) at the engine layer.
+     */
+    readonly callFunction: EvalContext['callFunction'];
+}
+
+/**
+ * MetricShakeOutQueue — Two-stage dependency-ordered metric evaluation module.
+ *
+ * Collects static Metrics and statement-level Metric Equations (`metrics:`)
+ * plus workout/query Summary Metrics (`summaries:`) across stacked Property
+ * Notes in specificity precedence:
+ *   Statement/Runtime > Inline Tag > Effort > Equipment > Note Frontmatter > Tag Category
+ *
+ * Stage 1 (`plan`): resolves static metrics and compile-time equations in
+ * topological waves, injects compiler hints, and defers equations whose
+ * required inputs depend on runtime-only atoms (`elapsed`, `spans`, etc.).
+ *
+ * Stage 2 (`log`): resolves all remaining equations against the executed
+ * statement metrics and emits a structured Skipped-Dependency Diagnostic
+ * metric (`origin: 'diagnostic'`, `type: MetricType.Diagnostic`) for any
+ * equation whose required inputs remain absent after the fixed-point pass.
+ */
+
+type PropertySourceLayer = 'statement' | 'tag' | 'effort' | 'equipment' | 'note' | 'category';
+interface PropertyRuleInput {
+    readonly layer: Exclude<PropertySourceLayer, 'statement'>;
+    readonly sourceSlug: string;
+    readonly metrics?: Readonly<Record<string, string | number | readonly string[]>>;
+    readonly summaries?: Readonly<Record<string, string>>;
+    readonly hints?: Readonly<Record<string, unknown>>;
+}
+interface SkippedDependencyDiagnostic {
+    readonly target: string;
+    readonly expression: string;
+    readonly sourceLayer: Exclude<PropertySourceLayer, 'statement'>;
+    readonly sourceSlug: string;
+    readonly missing: readonly string[];
+}
+interface ShakeOutResult {
+    readonly resolved: readonly string[];
+    readonly deferredRuntime: readonly string[];
+    readonly diagnostics: readonly SkippedDependencyDiagnostic[];
+    readonly inferredDims: Readonly<Record<string, DimVector>>;
+}
+interface ShakeOutQueueOptions {
+    readonly stage: 'plan' | 'log';
+    readonly sources: readonly PropertyRuleInput[];
+    readonly lookups?: LookupRegistry;
+    readonly lastEffortSlug?: string;
+}
+/**
+ * Extract `metrics:` and `summaries:` maps from a parsed frontmatter record
+ * (supporting both flat `metrics.foo` / `summaries.bar` keys and nested maps).
+ */
+declare function extractPropertyRulesFromMeta(meta: Readonly<Record<string, unknown>>, layer: Exclude<PropertySourceLayer, 'statement'>, sourceSlug: string): PropertyRuleInput;
+/**
+ * Extract `PropertyRuleInput` records from a `TagIndex` for the given tag slugs.
+ * Supports both statement-level `metrics` (static or equation) and workout-level
+ * `summaries.<key>` contributions on tags (including nested tags).
+ */
+declare function extractTagPropertyRules(tags: TagIndex | undefined, slugs: readonly string[]): PropertyRuleInput[];
+/**
+ * Compile `summaries:` equations across stacked Property Notes into workout-scope
+ * `CalculationDefinition` records. Higher-precedence layers shadow lower layers
+ * when both define the same summary key.
+ */
+declare function compilePropertySummaryCalcs(sources: readonly PropertyRuleInput[]): CalculationDefinition[];
+/**
+ * Run the two-stage Metric Shake-Out Queue on a statement's MetricContainer.
+ */
+declare function runMetricShakeOutQueue(container: MetricContainer, options: ShakeOutQueueOptions): ShakeOutResult;
+
 /**
  * Factory function type for wrapping blocks in debug mode.
  * Receives the original block and returns a wrapped version.
@@ -946,6 +1118,8 @@ interface RuntimeStackOptions extends IRuntimeOptions {
          * bundle a profile applies.
          */
         activeTags?: readonly string[];
+        /** Property Note metric/summary rules active for this run or block. */
+        propertySources?: readonly PropertyRuleInput[];
     };
     /**
      * Sound configuration for this run.
@@ -2817,4 +2991,4 @@ declare function getRuntimeNowMs(): number;
 /** Creates an INowProvider that reads the browser sender-clock when available. */
 declare function createBrowserRuntimeNow(): INowProvider;
 
-export { type IEventHandler as $, type AnalyticsContext as A, type BehaviorEventType as B, type IBlockContext as C, type MetricVisibility as D, type EffortResolverOptions as E, type BlockLifecycleOptions as F, type CompletionDecision as G, type IRuntimeMemory as H, type IEquipment as I, TypedMemoryReference as J, type MemorySearchCriteria as K, type IMemoryReference as L, type MemoryTag as M, type RuntimeStackLogger as N, type OutputListener as O, type StackObserver as P, type StackSnapshot as Q, type ReferenceIndex as R, type SubscribeOptions as S, TimeSpan as T, type Unsubscribe as U, type StackListener as V, WhiteboardScript as W, MemoryTypeEnum as X, type IAnchorValue as Y, type SoundProfile as Z, type ButtonConfig as _, type ReferenceResolutionDefaults as a, type SeedPrecedenceTier as a$, type HandlerScope as a0, type IScriptRuntime as a1, type TestableBlockConfig as a2, type IRuntimeOptions as a3, ScriptRuntime as a4, type EventHandlerOptions as a5, type EventCallback as a6, type TimerState as a7, type CalculationDefinition as a8, type IRealtimeProcessor as a9, EFFORT_REGISTRY_ORIGINS as aA, type EffortBaseAttributes as aB, type EffortDerivation as aC, type EffortDiscipline as aD, type EffortMaterializer as aE, type EffortResolvedFrom as aF, type EquipmentStorageAdapter as aG, type FenceDialect as aH, type FragmentDisplayState as aI, type FragmentState as aJ, type IAnalyticsProcessorDescriptor as aK, type IEquipmentRegistry as aL, INTENSITY_TIERS as aM, type IScript as aN, type IntensityTier as aO, type InterceptMode as aP, MemoryLocation as aQ, type MemoryType as aR, type MemoryTypeMap as aS, type MemoryValueOf as aT, NAMED_COMPOUNDS as aU, type ReferenceCatalog as aV, type ResolvedReferences as aW, type RoundState as aX, type RuntimeState as aY, SEED_PRECEDENCE_RANK as aZ, type ScriptRuntimeDependencies as a_, type ISummaryProcessor as aa, type ProjectionResult as ab, type DimVector as ac, type CalcLine as ad, type ExprNode as ae, type CalcScope as af, type BinaryOp as ag, type ButtonVariant as ah, type ButtonsState as ai, type CalcNode as aj, type CalcOrigin as ak, type CalcVariant as al, type ChildrenStatusState as am, type CompletionState as an, DEFAULT_RESOLVER_OPTIONS as ao, DEFAULT_RUNTIME_OPTIONS as ap, DEFAULT_SOUND_PROFILE as aq, DIM_COUNT as ar, DIM_ENERGY as as, DIM_LENGTH as at, DIM_MASS as au, DIM_TIME as av, DIM_ZERO as aw, DISCIPLINE_FACTORS as ax, type DisplayState as ay, EFFORT_DISCIPLINES as az, type IEffort as b, type SoundRule as b0, type SoundTriggerAnchor as b1, type SoundTriggerPoint as b2, type StackEvent as b3, type TimerDirection as b4, VISIBILITY_ICONS as b5, VISIBILITY_LABELS as b6, addDim as b7, compoundName as b8, createBrowserRuntimeNow as b9, createReferenceIndex as ba, dedupeEntitiesByPrecedence as bb, dimEquals as bc, disciplineFactorFor as bd, extractStatementRefs as be, filterTagsByVisibility as bf, formatDim as bg, formatSoundTrigger as bh, frozenNow as bi, getMetricVisibility as bj, getRuntimeNowMs as bk, isDimensionless as bl, isEffortDiscipline as bm, isFragmentTag as bn, parseSoundTrigger as bo, resolveEntityRank as bp, resolveEntityTier as bq, resolveProfileRules as br, resolveSourceRank as bs, resolveSourceTier as bt, slugifyRefLabel as bu, subDim as bv, wallClockNow as bw, type IEffortResolver as c, type IEffortRegistry as d, type EffortResolutionOptions as e, type ResolvedEffort as f, type EffortRegistrySource as g, type EffortStorageAdapter as h, type IRuntimeActionable as i, type IEventBus as j, type IRuntimeStack as k, type IRuntimeClock as l, type IJitCompiler as m, type INowProvider as n, type RuntimeStackOptions as o, type RuntimeError as p, type IEvent as q, type IRuntimeAction as r, type IAnalyticsEngine as s, type IRuntimeBlock as t, type IBehaviorContext as u, type BehaviorEventListener as v, type Unsubscribe$1 as w, type OutputOptions as x, type IMemoryLocation as y, type IRuntimeBehavior as z };
+export { type SoundProfile as $, type AnalyticsContext as A, type BehaviorEventType as B, type IMemoryLocation as C, type IRuntimeBehavior as D, type EffortResolverOptions as E, type IBlockContext as F, type MetricVisibility as G, type BlockLifecycleOptions as H, type IEquipment as I, type CompletionDecision as J, type IRuntimeMemory as K, TypedMemoryReference as L, type MemoryTag as M, type MemorySearchCriteria as N, type OutputListener as O, type IMemoryReference as P, type RuntimeStackLogger as Q, type ReferenceIndex as R, type SubscribeOptions as S, TimeSpan as T, type Unsubscribe as U, type StackObserver as V, WhiteboardScript as W, type StackSnapshot as X, type StackListener as Y, MemoryTypeEnum as Z, type IAnchorValue as _, type ReferenceResolutionDefaults as a, type MemoryValueOf as a$, type ButtonConfig as a0, type IEventHandler as a1, type HandlerScope as a2, type IScriptRuntime as a3, type TestableBlockConfig as a4, type IRuntimeOptions as a5, ScriptRuntime as a6, type EventHandlerOptions as a7, type EventCallback as a8, type TimerState as a9, DIM_LENGTH as aA, DIM_MASS as aB, DIM_TIME as aC, DIM_ZERO as aD, DISCIPLINE_FACTORS as aE, type DisplayState as aF, EFFORT_DISCIPLINES as aG, EFFORT_REGISTRY_ORIGINS as aH, type EffortBaseAttributes as aI, type EffortDerivation as aJ, type EffortDiscipline as aK, type EffortMaterializer as aL, type EffortResolvedFrom as aM, type EvalContext as aN, type FenceDialect as aO, type FragmentDisplayState as aP, type FragmentState as aQ, type IAnalyticsProcessorDescriptor as aR, INTENSITY_TIERS as aS, type IScript as aT, type IntensityTier as aU, type InterceptMode as aV, type LookupFieldDef as aW, type LookupLayer as aX, MemoryLocation as aY, type MemoryType as aZ, type MemoryTypeMap as a_, type CalculationDefinition as aa, type PropertyRuleInput as ab, type IRealtimeProcessor as ac, type ISummaryProcessor as ad, type DimVector as ae, type CalcLine as af, type ExprNode as ag, type CalcScope as ah, type ILookupTable as ai, LookupRegistry as aj, type ProjectionResult as ak, ABSENT as al, type BinaryOp as am, type ButtonVariant as an, type ButtonsState as ao, CalcEvalError as ap, type CalcNode as aq, type CalcOrigin as ar, type CalcVariant as as, type ChildrenStatusState as at, type CompletionState as au, DEFAULT_RESOLVER_OPTIONS as av, DEFAULT_RUNTIME_OPTIONS as aw, DEFAULT_SOUND_PROFILE as ax, DIM_COUNT as ay, DIM_ENERGY as az, type IEffort as b, NAMED_COMPOUNDS as b0, type PropertySourceLayer as b1, type ReferenceCatalog as b2, type ResolvedReferences as b3, type RoundState as b4, type RuntimeState as b5, SEED_PRECEDENCE_RANK as b6, type ScriptRuntimeDependencies as b7, type SeedPrecedenceTier as b8, type ShakeOutQueueOptions as b9, getMetricVisibility as bA, getRuntimeNowMs as bB, isDimensionless as bC, isEffortDiscipline as bD, isFragmentTag as bE, num as bF, parseSoundTrigger as bG, resolveEntityRank as bH, resolveEntityTier as bI, resolveProfileRules as bJ, resolveSourceRank as bK, resolveSourceTier as bL, runMetricShakeOutQueue as bM, slugifyRefLabel as bN, str as bO, subDim as bP, truthy as bQ, wallClockNow as bR, type ShakeOutResult as ba, type SkippedDependencyDiagnostic as bb, type SoundRule as bc, type SoundTriggerAnchor as bd, type SoundTriggerPoint as be, type StackEvent as bf, type TimerDirection as bg, VISIBILITY_ICONS as bh, VISIBILITY_LABELS as bi, type Val as bj, addDim as bk, compilePropertySummaryCalcs as bl, compoundName as bm, createBrowserRuntimeNow as bn, createReferenceIndex as bo, dedupeEntitiesByPrecedence as bp, dimEquals as bq, disciplineFactorFor as br, evaluate as bs, extractPropertyRulesFromMeta as bt, extractStatementRefs as bu, extractTagPropertyRules as bv, filterTagsByVisibility as bw, formatDim as bx, formatSoundTrigger as by, frozenNow as bz, type IEffortResolver as c, type IEffortRegistry as d, type EffortResolutionOptions as e, type ResolvedEffort as f, type EffortRegistrySource as g, type IEquipmentRegistry as h, type EquipmentStorageAdapter as i, type EffortStorageAdapter as j, type IRuntimeActionable as k, type IEventBus as l, type IRuntimeStack as m, type IRuntimeClock as n, type IJitCompiler as o, type INowProvider as p, type RuntimeStackOptions as q, type RuntimeError as r, type IEvent as s, type IRuntimeAction as t, type IAnalyticsEngine as u, type IRuntimeBlock as v, type IBehaviorContext as w, type BehaviorEventListener as x, type Unsubscribe$1 as y, type OutputOptions as z };