GEML 图解 · geml-style

=== meta
profile = "geml-style/v1"
===
=== style-state {#sel type=block-ref match="table#calls" on=select value-from=to}
===
=== style-rule {#edges match="table#calls" component=edge-list selectable}
===                                  %% selectable 不是 profile 的键：原样透传给组件
=== style-rule {#methods match="code[anchor]" component=method-card}
===
=== style-rule {#leaves match="code.leaf[anchor]" collapsed badge="leaf"}
===                                  %% 条件集是 #methods 的严格超集：叶子上两条都生效，不冲突
=== style-screen {#overview layout=split slots="table#calls, $sel"}
===                                  %% 逗号分隔；$sel 槽渲染 state 指向的块

=== meta
profile = "geml-codemap/v1"
module = "geml-parser/core"
===
=== code {#renderHtml anchor="ts:render-html.ts#renderHtml(Document,RenderOptions)"}
===
=== code {#esc .leaf anchor="ts:render.ts#esc(string)"}
===
=== table {#calls format=csv}
from,to,kind,confidence
renderHtml,esc,call,high
===

{
 "states": [ { "id": "sel", "type": "block-ref", "on": "select", "valueFrom": "to" } ],
 "screens": [ {
   "id": "overview", "layout": "split",
   "slots": [
     { "kind": "blocks", "selector": "table#calls",
       "blocks": [ { "doc": "content.geml", "block": "#calls" } ] },   ← 已解析
     { "kind": "state", "state": "sel" }
   ] } ],
 "bindings": [
   { "doc": "content.geml", "block": "#renderHtml", "rules": ["methods"],
     "params": { "component": "method-card" } },
   { "doc": "content.geml", "block": "#esc", "rules": ["methods", "leaves"],
     "params": { "component": "method-card", "collapsed": true, "badge": "leaf" } },
   { "doc": "content.geml", "block": "#calls", "rules": ["edges"],
     "params": { "selectable": true, "component": "edge-list" } }
 ],
 "diagnostics": []
}

$ geml style check good.style.geml content.geml --components=edge-list
warning: unknown-component: component `method-card` is not registered — renders inert (#methods)

=== style-rule {#a match="code[anchor]" component=card-a}
===
=== style-rule {#b match="code.leaf" component=card-b}
===                                  %% 同设 component，条件集不可比：#esc 上撞车
=== style-rule {#c match="table > code" component=x}
===                                  %% 子组合子：块模型只有包含没有相邻
=== style-rule {#d match="table#nowhere" component=y show="$ghost"}
===                                  %% 没人声明的 state；选择器也匹配不到任何块
=== style-state {#s match="table#calls" on=hover value-from=nope}
===                                  %% on 封闭词汇只有 select；nope 不是 #calls 的列
=== style-screen {#scr slots="table#calls" route="/x"}
===                                  %% 没有 route=：路由归宿主
=== style-rule {#e match="code" screen="missing-screen"}
===

error: selector-unsupported: `>` is not supported (supported: type, .class,
  #id, [attr], [attr=val], descendant) (#c)
error: unknown-interaction: `on=hover` is not an interaction this profile
  defines (known: select) (#s)
warning: style-unknown-attribute: unknown attribute `route` for `style-screen` (#scr)
error: unknown-screen: rule `#e`: `screen=missing-screen` names no
  `style-screen` block (#e)
error: ambiguous-rule: `#a` and `#b` both set `component` on
  `content.geml#esc` — neither is more specific; write a rule matching
  the union of both selectors (#b)
error: ambiguous-rule: … in screen `#scr` … (#b)
warning: unmatched-rule: rule `#d` matched no block in the corpus (#d)
warning: unmatched-rule: rule `#e` matched no block in the corpus (#e)
error: unknown-state: `$ghost` is not declared by any `style-state` block (#d)
error: unknown-value-source: state `#s`: `value-from=nope` is not a column
  of `content.geml#calls` (has: from, to, kind, confidence) (#s)
7 error(s), 3 warning(s)   exit 1

=== meta
profile = "geml-style/v1"
default-style = "base.geml"
===                                  %% 层 0：命中与否都加载
=== table {#sitemap}
| document  | template  |
|---|---|
| page.geml | hero.geml |
===                                  %% 层 1：精确匹配，没 glob 没级联

=== style-rule {#d-notes match="note" component=section}
===
=== style-rule {#d-tables match="table" component=card-grid}
===                                  %% 按类型定的默认层

=== style-rule {#hero match="#hero" component=hero}
===                                  %% 按具体块定的覆盖层

=== note {#hero}
GEML is an Agent-Native base document format.
===
=== table {#facts}
| k | v |
|---|---|
| spec | v1 |
===

{
 "bindings": [
  {
   "doc": "page.geml",
   "block": "#hero",
   "rules": [
    "d-notes",
    "hero"
   ],
   "params": {
    "component": "hero"
   }
  },
  {
   "doc": "page.geml",
   "block": "#facts",
   "rules": [
    "d-tables"
   ],
   "params": {
    "component": "card-grid"
   }
  }
 ],
 "diagnostics": []
}

入口就是那份模板 —— 两个键都是一次隐式 embed，所以这条命令不必先人肉查表再传另一个文件。宿主也因此一行解析逻辑都不用写。

=== style-rule {#d-notes match="note" component=section}
===
=== style-rule {#hero match="#hero" component=hero}
===                                  %% {type=note} 与 {id=hero} 互不包含

error: ambiguous-rule: `#d-notes` and `#hero` both set `component` on
  `page.geml#hero` — neither is more specific; write a rule matching the
  union of both selectors (#hero)
1 error(s), 0 warning(s)   exit 1

这就是层存在的理由，不是它的边角情形：「默认层按类型 + 覆盖层按具体块」是这个 profile 最常见的写法，而这两种选择器的条件集永远互不包含。没有层的时候，playground 那五份首页文档全部报错。

=== meta
profile = "geml-style/v1"
default-style = "gone.geml"
===
=== style-rule {#only match="table" component=card-grid}
===                                  %% 本文件的规则照常装载

warning: style-embed-not-expanded: `embed` of `gone.geml` contributed no
  rules: cannot resolve `gone.geml` (#default-style)
0 error(s), 1 warning(s)   exit 0

诊断的 id 是 #default-style —— 那是合成的 embed 块的 id。隐式 embed 和写出来的 embed 在下游无从区分，所以报错路径也是同一条。

=== meta
profile = "geml-style/v1"
title = "codemap graph style"
===

=== style-rule {#graph match="diagram[format=geml-code-graph]" \
                fold=1 depth=6 hide-accessors=true \
                palette="#e3f2fd #e8f5e9 …"}
===                                  %% palette 是名字列表：空格分隔（§6）