Run spreading activation from a set of seed fact IDs. Returns a map from fact ID to activation level, including the seeds (at activation 1.0) and every reachable fact above the threshold.
Uses Eq. 12's max-aggregation: each step computes the candidate
activation current · weight · δ · μ(kind) for every outgoing
edge, then keeps the max across paths into a node.
The typed network to traverse.
Initial seed fact IDs (activated at 1.0).
maxDepth + activationThreshold.
Spreading-activation primitive over a typed network. Constructed once per pipeline; safe to share across queries (all per-call state lives in the local activation map).