292 lines
25 KiB
Markdown
292 lines
25 KiB
Markdown
# 规范状态
|
||
|
||
本附录记录语言设计的确定程度与尚未定义的边界。它用于理解设计稿，不代表软件实现进度或可执行性保证。
|
||
|
||
## 已确定约定
|
||
|
||
| 主题 | 已确定内容 |
|
||
| --- | --- |
|
||
| 语言定位 | 前后端共用的云原生编程语言，UI 是应用领域之一 |
|
||
| 资源归属 | workspace 管理归属与协作，namespace 提供命名入口；用户是操作与作者身份 |
|
||
| 资源身份 | 独立 ID 识别资源；多个 namespace 可引用同一资源，命名入口变化不改写已保存的确定引用 |
|
||
| 资源保留 | 从有效保留根可达的资源不能回收；移除命名入口不等于删除资源，需处理无人使用的循环引用 |
|
||
| Workspace 命名 | workspace handle 在平台内唯一并参与 key，workspace 显示名可以重复；用户登录标识不作为资源归属前缀 |
|
||
| namespace | 各层语义一致；以外部 key 检索，不在源码声明自身归属；函数、class、agent 和独立保存的基础内容共用资源归属体系 |
|
||
| key 形式 | `workspace handle:namespace路径`，冒号分隔 workspace 与路径，点号分隔层级 |
|
||
| 用户与 workspace | 注册时创建默认个人 workspace，创建用户成为管理员；用户可以参与多个 workspace，workspace 可以包含多个用户 |
|
||
| 授权边界 | workspace 整体授权，内部 namespace、class 和函数不各自维护用户访问名单；代码可视域独立处理 |
|
||
| 角色基线 | 管理员与 Editor 具有 rwx，管理员另管理成员和授权；Reader 具有读取权，是否附带 x 仍待定 |
|
||
| use | 引用完整 namespace，不附加选择性名称列表 |
|
||
| 代码组织 | 独立代码段存储在 S3，由索引组装可见代码视图，不采用源码文件 module 制 |
|
||
| 数据结构目标 | 用 class 表达共享结构，通过类取得数据的具体形式另行定义 |
|
||
| 基础资源 | 数值、文本、图片、视频、音频和 GIS 数据等基础内容作为常量资源；完整类别与类型名另行定义 |
|
||
| 数值模型 | 统一数值类别，不区分 int32、float 等机器表示类型；平台选择可保存该数值的表示，允许使用大数并接受性能成本 |
|
||
| 媒体与 GIS | 接受的格式导入后转写为各自内部标准格式，导出时再编码；业务代码使用类型化内容，不按输入编码手动解析 buffer |
|
||
| 变量模型 | 变量是可改变目标的资源引用，可引用基础常量及高级结构；不要求裸指针和手动内存管理 |
|
||
| Agent 声明 | agent 是与 class、function 并列的语言资源，内部复用共有语法并建立成员作用域和运行关联 |
|
||
| Agent 职责 | tools 引用外部函数或内部实现；memory、state、条件路由、人工中断和上下文管理纳入语言模型 |
|
||
| Agent 编程 | agent 可以实现新逻辑并引用已有函数；提交新定义后须经过 Preflight 才能作为已就绪定义执行 |
|
||
| 人工在环 | 高风险操作执行前暂停，等待人类确认或修改意见，并保留恢复所需状态 |
|
||
| 类型兼容 | 用户声明的类型按声明身份区分，不仅凭字段或方法相同建立兼容或能力实现关系；不采用结构类型兼容 |
|
||
| Object 与 Type | Object 是无父类型的继承根；Object 是 Type 的实例，Type 是自己的实例且继承 Object；平台按具体类型管理对象生命周期 |
|
||
| 实例化与继承 | 对象的直接实例类型与类型的父类型分别保存和查询；类型对象与运行实例都属于对象体系 |
|
||
| 定义构造入口 | class、trait、record、agent 等入口自身也是对象，构造出的类型或定义同样是对象；不预先将入口名称定为保留关键字 |
|
||
| Object 与 atom | atom 是对象可独立识别、保存和引用的资源单元，资源 ID 连接对象图；组合对象也可以成为 atom |
|
||
| 类型能力 | 在 Object 共同基础上组合多个显式 trait 能力，不要求以一条父子继承链表达全部能力；具体声明规则待定 |
|
||
| 类型系统范围 | 基础类型、容器、引用和定义资源共同组织 class、Function、agent 等高级结构；讨论不限于函数签名 |
|
||
| Function | 平台原生的函数类型，可扩展行为与生命周期；函数自身类型与调用返回类型分别表达 |
|
||
| 调用目标 | 普通逻辑调用表达输入、结果与依赖，系统组织执行 |
|
||
| 权限操作分工 | r 读取、w 编辑资源内容或定义、x 使用已定义的程序能力；程序按业务契约产生写入不要求调用者因此成为 Editor；执行不自动授予管理能力 |
|
||
| 官方组件 | 官方 UI 组件与用户库内容分别定义 |
|
||
| 阶段命名 | 执行准备与检查阶段为 Preflight，运行阶段为 inflight；名称本身不增加源码关键字 |
|
||
| 执行方向 | 平台解释执行代码，不要求独立构建步骤或字节码转译；Preflight 检查并建立关联索引 |
|
||
| 生命周期 | Preflight 生命周期覆盖定义的创建、检查、持续可引用、更新与退出；inflight 生命周期覆盖实际调用、实例、任务和运行状态的存续 |
|
||
| 界面表达 | 普通函数返回可渲染值表达界面，不采用独立 scene 声明或 render 块 |
|
||
| 资源访问 | 客户端可查看获准访问的资源，依据当前资源或调用结果的类型选择呈现方式 |
|
||
| 函数查看与调用 | 必填参数未就绪时查看函数本身；输入满足调用要求后可调用并呈现结果；执行等待不退回为定义查看 |
|
||
| 跨端使用 | 函数调用与 hook 关联由平台组织执行和通信，应用直接使用符合声明类型的结果与更新 |
|
||
| 跨端对象 | 对象可由平台管理和存储；客户端建立关联同一资源身份的本地副本，通过网络取得数据并同步后续变化；身份关联不表示共享内存或瞬时一致 |
|
||
|
||
## 收录的语法提案
|
||
|
||
| 提案 | 主要说明 | 说明 |
|
||
| --- | --- | --- |
|
||
| 词法与字面量 | [第 6 章](../guide/06-lexical-structure.md) | 本书统一采用的标识符、字符串、数字和符号形式 |
|
||
| 类字段、成员与类型标注 | [第 7 章](../guide/07-types-and-classes.md) | 统一数值暂用 Number，文本沿用 String；类字段与成员函数的具体形式仍为提案 |
|
||
| 表达式与 let | [第 8 章](../guide/08-expressions-and-bindings.md) | 基础运算、成员访问与局部绑定 |
|
||
| function 与 return | [第 9 章](../guide/09-functions-and-calls.md) | 早期基本调用草案；表达具体函数自身类型的替代声明见第 7 章候选 |
|
||
| 顶级类型代码示例 | [第 7 章续篇](../guide/07-top-level-types/README.md) | 七组类型逐项展示候选声明、构造、调用与结果；函数声明同时比较两种形式，未合并进正式 EBNF |
|
||
| Product.get | [第 10 章](../guide/10-data-access.md) | 读取体验提案，不是 class 自动附带的 API |
|
||
| 组件效果 | [第 12 章](../guide/12-ui-components.md) | 参数、布局与默认值的效果提案；构造表达式尚未定义 |
|
||
| agent 声明骨架 | [第 13 章](../guide/13-agents.md) | agent 语言地位已确定；共有成员骨架为提案，职责关联形式尚未定义 |
|
||
| REPL 会话行为 | [第 14 章](../guide/14-repl.md) | 会话上下文、输入求值、对象查看、执行记录及同步状态的设计提案，不增加已确定的控制命令或顶层文法 |
|
||
|
||
程序声明组合与[形式文法](formal-grammar.md)同样属于设计稿。语法提案按其内部规则使用，不等于最终规范。
|
||
|
||
## 身份与权限
|
||
|
||
workspace 是资源归属与整体授权边界，用户负责操作和作者身份。主要定义见[用户身份与 workspace 权限](../guide/02-user-identity.md)。w 表示资源编辑，x 表示使用程序及其契约允许的业务效果。
|
||
|
||
尚未定义：
|
||
|
||
- 用户的登录标识、认证方式、展示名称及账号生命周期；这些信息不充当资源 key 前缀。
|
||
- 资源的默认公开性、匿名访问、读取与执行授权的具体授予方式。
|
||
- 操作身份、业务执行能力绑定、Agent 委托、操作记录与归属转移。
|
||
- 入口的授权操作范围和业务效果约束；x 不自动提供任意直接资源编辑或管理员能力。
|
||
|
||
定位信息不构成授权，是这些规则必须保留的边界。
|
||
|
||
## Workspace 名称与生命周期
|
||
|
||
workspace 归属、key 前缀和整体授权模型已确定。名称细节、配额及运行授权的具体机制仍需定义。
|
||
|
||
尚未确定：
|
||
|
||
- 默认 workspace handle 的生成，以及历史用户名 key 的迁移或兼容规则。
|
||
- workspace handle 的字符、大小写、唯一性比较、改名与复用、展示名称及稳定身份。
|
||
- workspace 的创建数量上限、计数归属、加入与创建的区别、停用和删除后的额度处理。
|
||
- 角色的正式名称、Reader 是否具有 x、仅执行授权的授予形式、公开或匿名访问及成员移除规则。
|
||
- 管理员交接、workspace 停用、账号注销后的归属与资源保留，以及管理操作的完整范围。
|
||
- 仅具有 x 时的调用接口信息范围，以及程序运行能力与资源编辑权限之间的具体执行机制。
|
||
- 角色变更和授权撤销对正在执行、暂停或恢复中的调用、实例与任务的影响。
|
||
|
||
示例中的 atelier、market key 前缀均为 workspace handle；alice、bob 在成员和作者示意中代表用户。
|
||
|
||
## 引用与代码视图
|
||
|
||
尚未定义：
|
||
|
||
- 代码段的语法边界、视图成员范围和下级 namespace 的纳入方式。
|
||
- use 的作用范围、声明可见性、限定名、别名与同名冲突。
|
||
- 视图顺序、版本选择、成员一致性及编辑操作映射。
|
||
- key 的传递编码和索引关联机制。
|
||
|
||
跨 namespace 示例采用目标声明可见、名称可直接解析且无冲突的条件；该条件不代替正式名称查找规则。
|
||
|
||
## 声明与类型
|
||
|
||
尚未定义：
|
||
|
||
- 程序入口、空代码视图、客户端访问所用的定位形式与顶层绑定。
|
||
- 函数本身的完整类型表达、值形式与查看信息范围。
|
||
- 完整类型命名、可选值、泛型及类型转换；基础资源的具体边界见下一节。
|
||
- 类构造、成员函数的接收者与实例关联、默认值、继承和字段可见性。
|
||
- 显式能力实现、类型兼容与转换关系的声明形式，以及类型推断规则。
|
||
- 代码更新和不同版本之间的类型身份比较规则。
|
||
- 重复声明、完整控制流、实例及字段可变性、赋值和作用域细节。
|
||
|
||
第 9 章的基本调用草案只展示 let 与末尾 return；第 7 章的类型设计另有赋值、等待等候选示例，两者都不穷尽语言语句。
|
||
|
||
## 顶级类型讨论
|
||
|
||
[Object 与类型系统](../guide/07-top-level-types/README.md)定义对象、类型对象及其资源关联。Object／Type 闭环、实例化线与继承线、资源 atom 关系和平台生命周期职责已确定；各类型的完整操作、源码接口与能力接入形式仍分别评审。
|
||
|
||
| 类型组 | 已确定方向 | 候选与待定范围 |
|
||
| --- | --- | --- |
|
||
| [Object](../guide/07-top-level-types/README.md#object) | Object ∈ Type、Type ∈ Type、Type ⊆ Object；实例化与继承关联接入资源 ID 图 | 共同操作接口、typeOf 与 basesOf 的具体形式、能力分派、继承语法及登记粒度 |
|
||
| [Bool、Number、String、Unit、Null](../guide/07-top-level-types/values.md) | 统一数值、文本与基础常量模型 | Bool、Unit、Null 的地位；基础类型怎样约束结构成员、精度与转换 |
|
||
| [Tuple、record、List、Map、Set、Option、Result](../guide/07-top-level-types/collections.md) | 需要组合固定成员、容器和分支结构 | 类型构造与参数规则、名义身份、相等性与可变性；Option 和 Result 为候选 |
|
||
| [Ref、Cell](../guide/07-top-level-types/references.md) | 独立资源 ID、确定引用与可变目标引用；按保留根可达性回收 | 显式类型与透明引用的关系、解析时机、保留根和状态引用规则 |
|
||
| [Type、Trait、Code、class](../guide/07-top-level-types/definitions.md) | 类型本身是 Type 对象，可传递和引用；代码也是对象；名义类型与多个 trait 能力组合 | 构造入口的具体类型和语法、成员组合、反射和生成规则 |
|
||
| [Function](../guide/07-top-level-types/functions.md) | 原生函数类型，可扩展行为和生命周期；自身类型与返回类型分别表达 | 完整声明语法、扩展机制、捕获环境、实例状态与调用生命周期 |
|
||
| [Task、Stream、State、Session](../guide/07-top-level-types/execution.md) | inflight 管理运行实体及状态 | 是否独立原生化、内容类型参数，以及等待、取消、恢复和共享规则 |
|
||
| [Agent、agent](../guide/07-top-level-types/agents.md) | Agent 是 Type 的实例并继承 Object；具体类型对象与运行实例分别保存 | 具体类型继承 Agent 的形式、构造入口、成员组合及运行生命周期 |
|
||
|
||
资源 ID 独立于命名入口：workspace 管理归属与协作，namespace 管理组织，同一资源可以具有多个命名入口；移除入口不等于清除仍被保留程序引用的资源。namespace key 中的非空路径要求只描述命名入口，不要求资源始终保留一个入口，也不充当资源 ID 的定义。具体登记及名称绑定机制仍待确定。
|
||
|
||
atom 是 Object 的资源组织视角，不另外引入 Atom 基础类型。定义对象及实例对象分别保留具体身份与生命周期；运行对象的固定 ID 不冻结其合法状态变化。workspace 与 namespace 的管理职责和资源 atom 分开，不因共同对象模型自动把管理记录变成语言资源。
|
||
|
||
函数构造必须区分自身类型与调用签名，具体简写尚未确定。trait 组合方向不自动引入 Rust 的其他规则。完整泛型与遗传算法设计尚待定义。
|
||
|
||
候选示例采用类型参数、箭头签名、显式实现、构造器及任务操作，其状态不构成实现或可执行性保证。
|
||
|
||
## 基础资源与变量
|
||
|
||
基础常量、统一数值、格式归一化和变量引用的主要定义见[资源、类型与类](../guide/07-types-and-classes.md#71-类型标注)及[变量与资源引用](../guide/08-expressions-and-bindings.md#86-变量与资源引用)。
|
||
|
||
尚未定义：
|
||
|
||
- 基础类型的完整集合与正式名称；Number、String 为本文采用的类型名提案，媒体和 GIS 不补造正式名称。
|
||
- 数值精度、舍入、除法、特殊值、算术资源限制和数值相等性；使用大数不自动决定任意实数的精确表示。
|
||
- 每类媒体或 GIS 数据的内部标准格式、可接收和可导出的编码，以及精度、元数据、坐标系统和转换规则。
|
||
- 非代码资源的注册、导入、导出、成员定位及保存版本的源码或平台接口。
|
||
- 可变变量声明、重新赋值、let 可重绑性，以及变量引用的类型表达和可指向范围检查。
|
||
- 资源、引用和实例的相等性、别名关系、成员更新，以及常量去重或共享规则。
|
||
|
||
基础内容不可原地修改，变量可以改变引用目标；这不自动决定高级实例整体不可变，也不自动为所有临时值生成永久 namespace 名称。
|
||
|
||
## 生命周期与定义更新
|
||
|
||
主要定义见[Preflight 与 inflight](../guide/05-preflight-and-inflight.md#56-定义与运行时生命周期)。生命周期按定义与运行时实体区分，不能按保存时长区分。
|
||
|
||
尚未定义：
|
||
|
||
- 定义创建、更新与退出可用范围的接口，以及已有调用或实例对版本的选择。
|
||
- 多定义修改的一致性、协作冲突处理和运行中提交代码的可见时机。
|
||
- 删除内容、撤销授权与已有对象或 agent 实例的关系；仅移除命名入口不会使保留的确定引用失效。
|
||
- 临时值、不可达值与实例的回收时机，持久保存的数据及记忆的保留、归档与删除规则。
|
||
- 运行状态暂停、保存和恢复时引用与版本的一致性。
|
||
|
||
长期保存的对象、记忆和检查点仍属于 inflight；一次 Preflight 检查结束不终止定义的存续。
|
||
|
||
## 词法与表达式
|
||
|
||
尚未定义：
|
||
|
||
- 完整保留字集合、Unicode 版本与字符类别边界。
|
||
- 换行字符、字符串扩展转义、更多字面量和运算符。
|
||
- 数值精度与舍入、除法、隐式转换与所有调用参数的求值顺序；不按固定机器位宽定义数值溢出。
|
||
|
||
同级二元算术运算从左到右组合属于表达式提案，不规定所有调用的执行顺序。
|
||
|
||
## 调用与数据
|
||
|
||
尚未定义：
|
||
|
||
- 显式等待、失败处理、缺失值、取消和超时的源码形式。
|
||
- 数据读取成员的声明、参数与结果类型。
|
||
- 一次读取与持续关联的表达式、结果类型及建立方式；对象同步的具体边界见下一节。
|
||
- hook 的源码形式、触发或订阅关系、生命周期、关联解除和更新范围。
|
||
- 带业务修改的调用顺序、重复执行限制与失败行为。
|
||
- 已有调用继续保留所选定义，切换新定义或迁移运行实例的显式机制仍待定。
|
||
|
||
正常结果必须符合声明，未就绪或失败不能伪造为成功结果。Product.get 示例只展示成功路径。
|
||
|
||
## 跨端对象与同步
|
||
|
||
主要定义见[跨端对象与同步](../guide/11-resource-access-and-presentation.md#117-跨端对象与同步)。平台管理和存储对象、客户端建立本地副本并关联远程对象、通过网络交付数据及后续同步的方向已确定。它沿用 Object、资源 ID、类型及生命周期模型，不另设 PlatformObject 基础类型，也不自动把 class 变成持久化表。
|
||
|
||
不可变内容或定义更新产生新资源身份，确定引用不因同步而改指新对象；运行对象可以在类型允许的范围内保留身份并改变状态。平台对象、本地副本与同步关联分别具有生命周期，释放副本不等于删除平台对象。
|
||
|
||
尚未定义：
|
||
|
||
- 对象的登记与加载范围、本地副本的源码形式，以及完整或部分数据的取得规则。
|
||
- 一次读取与持续关联的建立、解除、可写性和结果类型；hook 与对象同步的具体关联方式。
|
||
- 状态版本、读取新鲜度、更新顺序及多对象一致性契约；不预先选定服务器权威、版本比较或合并算法。
|
||
- 本地修改的提交与保存确认、等待与失败状态，以及是否允许提前展示尚未被平台接受的修改。
|
||
- 多端同时修改的冲突处理、重试、去重和重复业务效果限制。
|
||
- 离线期间的读写、断线后的恢复、遗漏更新的取得及重新同步规则。
|
||
- 授权撤销、目标删除、关联解除与资源回收对已有副本的影响。
|
||
- 传输协议、类型编码及对象存储后端；这些实现选择不由逻辑对象身份决定。
|
||
|
||
## UI
|
||
|
||
尚未定义：
|
||
|
||
- 官方组件库的 key、显式引用形式与名称可见性。
|
||
- 普通表达式中构造界面值的形式、参数传入方式及子节点组合。
|
||
- 界面结果的根结构、集合形式和类型约束；不沿用 render 单根文法。
|
||
- 界面计算中的调用、状态、数据绑定、事件与更新。
|
||
- 布局单位、参数范围、负数、显式尺寸、约束与溢出。
|
||
- 主题、样式、文字测量和其他组件。
|
||
|
||
官方组件示例使用结构示意，不定义调用语法，也不承诺免导入使用。
|
||
|
||
## 资源访问与呈现
|
||
|
||
资源定位、函数本身与调用结果的区别，以及参数就绪和执行等待的边界，主要定义见[资源访问与呈现](../guide/11-resource-access-and-presentation.md)。
|
||
|
||
保留待讨论：
|
||
|
||
- 完整顶级类型的名称、集合及关系；已确定基础数值、文本、媒体和 GIS 类别，不代表完整类型层次已经确定。
|
||
- trait 能力组合及原生类型扩展的完整关系与声明形式。
|
||
- 可渲染类型的契约、普通类型的默认展示方式及自定义呈现。
|
||
- 同一资源具有多种呈现能力时的选择规则及未知类型的处理方式。
|
||
- 参数填写、默认或可省略参数、平台提供参数与访问触发调用的具体规则。
|
||
- 资源查看、显式调用、可执行入口与具有业务修改效果的操作之间的界限。
|
||
- 图片、字体等资源的具体标识、正式类型名与登记形式；独立保存的基础资源已纳入 namespace 归属方向。
|
||
|
||
基础资源类别已在第 7 章说明；完整类型层次、展示契约和媒体构造形式仍待定，不因此向形式文法补写专用资源语法。
|
||
|
||
## Agent
|
||
|
||
Agent 的语言资源地位、共有成员模型和核心职责已确定，主要定义见[Agent](../guide/13-agents.md)。具体保留的边界包括：
|
||
|
||
- agent 声明和职责关联的完整语法、成员可见性、名称查找、嵌套声明，以及共享成员与实例成员的区分。
|
||
- 内部成员函数与外部函数引用的工具关联、默认暴露范围、工具描述、参数转换及结果处理。
|
||
- memory 的类型、会话与长期记忆范围、检查点粒度、持久性、隔离、共享、保留和恢复规则。
|
||
- state 的类型表达、有限状态机、节点、迁移条件和条件路由语法，以及并发更新规则。
|
||
- 高风险操作的判定、审批关联、确认有效期、恢复接口和重复效果控制。
|
||
- 上下文预算、裁剪、增量总结、必须保留的信息、模型配置与失败处理。
|
||
- agent 的实例化、任务交付、对外入口、输入与结果契约、实例及任务标识。
|
||
- agent 修改 namespace 的授权、代码提交接口和生成代码的版本与依赖一致性。
|
||
|
||
成员函数是否默认向模型暴露为工具仍待定义；引用定义不自动启动实例或任务。MemorySaver 等外部库 API 不成为语言关键字或默认成员。
|
||
|
||
## REPL
|
||
|
||
[交互式会话（REPL）](../guide/14-repl.md)提出持续输入环境：声明准备定义，表达式检查后求值，结果对象可在后续输入中继续使用，远程等待与同步状态可查看。提案复用已有对象、权限、Preflight／inflight 和资源呈现规则；会话范围绑定、定义暂存、结果保留及交互调度尚未确定为正式契约。
|
||
|
||
尚未定义：
|
||
|
||
- 启动入口、控制命令、快捷键、多行输入边界、完整 REPL 文法及顶层绑定的正式形式。
|
||
- 会话名称的作用域、重复声明、重新绑定、失败后的环境变更，以及导入与名称冲突处理。
|
||
- 临时定义的资源登记、保存范围、共享 namespace 的编辑接口及新旧定义的绑定切换。
|
||
- 是否采用原生 Session、身份及权限传播、会话隔离与上下文切换。
|
||
- 输入的顺序与并发调度、待完成结果的引用、取消确认及未完成调用的结束行为。
|
||
- 结果查看方式、显式结果命名、更新通知与同步状态呈现；不预先引入隐式结果变量。
|
||
- 历史与会话状态的保存、对象保留根、恢复规则，以及避免业务调用被自动重放的具体契约。
|
||
- 断线、授权变化、客户端退出对平台任务、副本、同步关联及保存结果的影响。
|
||
|
||
本章的交互示意按文档规则推演，不代表已有启动命令或实际执行结果。REPL 提案不改写函数声明、普通调用和跨端对象的已有语义，也不选择存储后端或调度实现。
|
||
|
||
## 设计决定记录
|
||
|
||
2026-10-08 的用户设计决定明确了定义与运行时的 Preflight／inflight 生命周期、agent 作为语言结构及其核心职责，以及基础常量资源、统一数值、格式归一化和变量引用模型。未明确的关键字、成员关联、算术和编码选择继续保留为提案或未定义项。
|
||
|
||
同日确认 w 用于资源编辑，x 用于使用定义好的程序能力，业务调用产生写入不要求调用者成为 Editor。随后明确采用 workspace 归属模型：key 使用 workspace handle，注册创建默认个人 workspace，用户作为成员、操作用户及作者，权限按 workspace 整体管理。此决定替换原用户名归属模型；名称细节、迁移和仅执行授权等未定项不随之确定。
|
||
|
||
2026-10-09 的用户决定明确类型系统用于组织高级结构，类型标题使用代码中的名称。Unit、Null、Option、Result、State 等候选是否原生化、各项语法如何表达，仍需分别确定。
|
||
|
||
同日确定一切皆对象模型及 Object／Type 闭环：Object 是 Type 的实例，Type 是自己的实例并继承 Object，Object 没有父类型。实例化、继承和普通资源引用分别保存；class、trait、record、agent 构造入口自身也是对象。模型与资源 atom、独立 ID、确定引用及可达性保留统一。反射接口、构造入口类型、生命周期接入语法和登记粒度继续待定。
|
||
|
||
2026-10-13 的用户决定明确了平台管理和存储对象的方向：客户端获取远程数据时建立关联远程对象的本地对象，实际数据通过网络传递，并在后续保持同步。该方向纳入已有对象与资源身份模型；具体源码接口、保存确认、版本、冲突、离线及存储实现继续待定。
|
||
|
||
## 规范范围
|
||
|
||
本文定义源码及应有的语言效果，包括平台对象存储、跨端副本关联与同步的概念边界。云端实体的实现、持久化类、自动建表，以及存储、通信、缓存、部署和编排的实现方案不在本阶段规范中。
|
||
|
||
S3 约定仅用于代码存储，不规定业务数据后端。平台负责跨端执行与通信的约定不指定传输协议、类型编码、调度算法或部署产物。
|
||
|
||
[目录](../README.md)
|