代数效应与续体如何驱动
增量 UI

val output = derive(root,0,fn()
  prefix()                  // 不在 Kx 中
  val x = source-x.get      // 捕获 Kx
  middle(x)                 // 在 Kx 中
  val y = source-y.get      // 捕获嵌套的 Ky
  suffix(x,y)               // 同时在 Kx 与 Ky 中
)

// Trace-read(x, child = Trace-read(y, child = Trace-end))
// x 写入恢复 Kx；prefix() 不会重放。
// y 写入恢复更窄的 Ky。

// 应用看到的是能力接口
pub effect signal-read
  fun validate-derived(producer : derive-producer) : ()
  ctl read-source(source : source<a>,
                  mode : read-mode,
                  producer : maybe<derive-producer>) : a

// 实现轮廓；真实节点还记录 gate、frame 与 finalizer
raw ctl read-source(source,Track-read,producer)
  val current = Trace-read(
    resume = fn(_) rcontext.resume(load(source.source-cell)),
    child = cell(Trace-end), ...)
  source.source-captures.prepend(
    pack-capture(plane,target,current))
  val nested = rcontext.resume(load(source.source-cell))
  current.child := nested.built-root
  Built-trace(current,nested.built-publish)

val changes = memo(root,0,fn(previous)
  val value = count.get
  previous + 1
)

// 内部入口，不把 memo 订阅回自己的 source：
val track = fn() calculate(
  read-source(output,State-entry-read,Nothing))

// State-entry-read 捕获 Trace-entry。
// 每次恢复都注入最近一次成功提交的 previous；
// 失败的 Draft 不会污染下一次 previous。

// 阶段 1：trailing lambda 直接形成 tag block；attrs 默认 []
val page = view
  main-tag(attrs=[class("instrument")])
    h1("Signal console")          // string leaf
    p(attrs=[class { if expanded.get then "result is-open" else "result" }])
      text("平方：")
      text { square.get.show }     // live text overload
    input(attrs=[                 // void helper
      kind("checkbox"),
      checked { expanded.get }    // live property overload
    ])
    dynamic
      if expanded.get
      then p("Expanded")
      else p("Collapsed")

// 阶段 2：DOM adapter 解释 view
// Text      → 一次创建 Text node
// Live-text → create-effect(track = read, apply = set Text.data)
// dynamic → Region → create-effect + 结构化 child frame
// Listener  → 普通 JS callback + captured reentry

val dispose = mount(root,body(),page)