Building on the classroom framework in Heath et al. (2025), this paper proposes FLARE v2 as a recursive, semiotically informed account of how program meaning can be described across abstraction scales in common teaching languages. It reframes FLARE v1's tiers as one cycle: identify bounded elements (Receives, Sends, Effects, Shares), analyse bindings along two dimensions (Causal-Temporal and Communicative), and treat the bound set as a new element at the next scale. Causal-Temporal binding has three subtypes - Sequential, Branch, and Event - to distinguish user-authored control flow from event-driven control whose dispatch is hidden in the runtime. A Compositional Ladder visualises the same compositional move from blocks and statements through segments and systems. FLARE v2 is scoped to imperative and event-driven environments typical of primary and lower-secondary curricula. Above the system layer, behaviour is increasingly shaped by interaction between code and operating context (scheduling, infrastructure, permissions, contracts, failures, platform policy). Here, the element-and-binding vocabulary remains a structural baseline, but continuity of explanation typically requires overlays that make environmental constraints explicit. Event binding and overlays serve a common pedagogical role - preserving coherent structural reasoning where key causal mechanisms are not fully visible in the authored artefact. OOP design reasoning, explicit concurrency models, distributed systems, and functional paradigms are treated as future extensions; implementation and evaluation are left for future work.

翻译：本文基于Heath等人（2025）提出的课堂框架，提出了FLARE v2，作为一种递归的、符号学启发的理论框架，用于描述通用教学语言中跨抽象层级的程序意义。它将FLARE v1的层级重构为一个循环过程：识别有界元素（接收、发送、效果、共享），沿两个维度（因果-时序维度与交际维度）分析绑定关系，并将已绑定的集合视为下一层级的新元素。因果-时序绑定包含三种子类型——顺序型、分支型和事件型——以区分用户编写的控制流与运行时隐藏调度的事件驱动控制流。一个组合阶梯图可视化展示了从代码块和语句到程序段及系统的相同组合演进过程。FLARE v2的适用范围涵盖小学和初中课程典型的命令式与事件驱动编程环境。在系统层之上，程序行为日益受到代码与运行环境（调度、基础设施、权限、契约、故障、平台策略）间交互的影响。在此层面，元素-绑定词汇仍作为结构基线，但解释的连贯性通常需要叠加层来显式表达环境约束。事件绑定与叠加层承担着共同的教学功能——在关键因果机制未完全体现在编写产物中时，保持连贯的结构化推理。面向对象程序设计推理、显式并发模型、分布式系统及函数式范式被视为未来扩展方向；具体实现与评估留待后续工作。