incitingBeat
plain-language theorem explainer
The inciting beat supplies the base event state with act coordinate zero and beat coordinate one, serving as the generator for strict narrative realizations over event states. Researchers formalizing beat succession in the universal forcing framework would cite this as the starting point for narrative structures. The definition is a direct construction from the EventState structure.
Claim. The inciting beat is the event state with act coordinate 0 and beat coordinate 1, written $⟨0, 1⟩$.
background
EventState is the structure pairing two natural numbers, an act coordinate and a beat coordinate. The module develops domain-rich narrative realizations over these states, with the inciting beat-step as generator. The upstream identification in ContinuumBridge equates a weighted Laplacian sum over edges to a scaled sum of defects times areas, supplying the continuum bridge for the discrete event states.
proof idea
One-line definition that constructs the EventState structure directly with the given coordinates.
why it matters
This definition supplies the generator for strictNarrativeRealization, which instantiates StrictLogicRealization with EventState as carrier. It fills the initial beat position in the narrative component of universal forcing, linking to the beat succession that supports the eight-tick octave structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.