豫言 / 豫言操作系统接口 @ 0.1.0

豫言操作系统公共接口（有垃圾回收）的父包：登记全部接口包，便于按层级发现。

# 豫言操作系统公共接口

状态：源级接口草案 0.1。这里是仓库根目录下的独立规范树，仅含接口包、纯声明和规范文字；浏览器、CF Worker、V8/Node.js 与裸机实现均在别处。

## 文件与身份

每个能力组是独立的包。`名称。包。豫` 使用现有包语法写所有者、名称、版本与直接依赖；接口文件使用豫言现有类型声明及函数签名，不写函数体、`C调用` 或宿主私有对象。`名称。接口。豫` 中的函数由宿主提供，`名称。应用接口。豫` 中的函数由应用提供，方向直接由后缀确定。包身份为所有者／名称／完整版本。应用依赖的每个接口包及其传递依赖均为必需；宿主缺少对应实现时构建或装载失败。接口实现与本次运行的资源授权须分别检查。

本目录根的 `豫言操作系统接口。包。豫` 是全部接口包的父包，说明文件就是本总纲。它用「包含包」按下文“首批能力组”表格的顺序登记每个接口包，各接口包用「包含在」指回本包（规则见[包系统](../应用/豫构/包系统.汉语.md)“层级包”一节）。父包不含模块，用于按层级发现接口。应用直接依赖所需的接口包：依赖父包等于依赖全部接口包，每个接口都会成为必需能力。新增接口包时，在表格与父包「包含包」的相同位置登记，并在新包写「包含在」。接口包描述参与接口清单摘要，改动后须重生成各适配的 `宿主提供.json` 与节点宿主的 `启动接口.json`。

接口模块的逻辑名称去掉 `。接口。豫` 后缀。现有普通豫言模块解析器只把 `名称。豫` 当模块文件，而且普通源码要求函数签名后紧跟定义；所以这些纯声明文件仍是**规范输入，不能直接当普通程序编译**。`yy豫言操作系统绑定` 已能对单模块宿主接口核对规范和实现，在临时构建目录用接口身份生成可编译绑定包；官网首页与 Worker 已通过该步骤编译同一接口名。`yy豫言操作系统装载包` 及浏览器、云工入口已核对格式 4 的应用要求与独立宿主清单。多模块绑定、应用提供接口和编译器直接解析纯接口文件仍待完成；当前 Wasm 通用宿主导入也不能证明逐函数连通。规范树不加入空实现。

## 首批能力组

| 包 | 语义范围 | 首批目标 |
| --- | --- | --- |
| [豫言操作系统基础](基础/规范.汉语.md) | 系统错误、诊断、单调时钟 | 浏览器、CF Worker、Node.js |
| [豫言操作系统文件](文件/规范.汉语.md) | 被授予目录内的文件读写 | 具备并获授文件能力的目标 |
| [豫言操作系统网络](网络/规范.汉语.md) | 整体 HTTP 请求与响应 | 具备并获授出站网络能力的目标 |
| [豫言操作系统显示](显示/规范.汉语.md) | 可见画面及输入事件 | 有显示面的目标 |
| [豫言操作系统启动](启动/规范.汉语.md) | 应用提供的通用启动入口 | 浏览器、Node.js |
| [豫言操作系统网页服务](网页服务/规范.汉语.md) | 应用提供的入站 HTTP 入口 | CF Worker、Node.js 服务 |
| [豫言操作系统网页入站](网页入站/规范.汉语.md) | 当前请求的方法、路径、标头（含存在性与合法名校验）、查询参数、有限字节/严格文字/JSON 正文、事件种类（含 queue、scheduled）与同源 URL 改写，带字节上限的 JSON 正文读取（宿主校验并规范化，失败以状态返回，0.8.0） | CF Worker、具备同义入站请求的宿主 |
| [豫言操作系统网页界面](网页界面/规范.汉语.md) | 已有元素的文字与受限属性、界面事件，控件读回、焦点、光标、滚动、模态框与页面状态，属性读回与移除、程序性点击、位置与矩形（0.3.0） | 浏览器及能提供同义页面的宿主 |
| [豫言操作系统网页文树](网页文树/规范.汉语.md) | 受限节点创建与一次建树、组合与句柄释放、查询参数、同源文字资源、iframe 地址与模板装入，选择器查询、节点读回、子树导出、替换与受限超文本（0.3.0） | 浏览器及能提供同义文树的宿主 |
| [豫言操作系统网页消息](网页消息/规范.汉语.md) | 当前文档带 JSON 详情的应用消息，并入统一事件队列 | 浏览器及能提供同义事件队列的宿主 |
| [豫言操作系统网页事件](网页事件/规范.汉语.md) | 统一事件队列与等待点（界面、消息、定时、事件流、请求、编译、可见性、联机、历史、关闭）、界面事件订阅（委托、操作键、同步键规则、选择器与排除选择器过滤、目标属性与矩形载荷）、每类型背压与丢弃计数 | 浏览器及能提供同义事件队列的宿主 |
| [豫言操作系统网页定时](网页定时/规范.汉语.md) | 一次与周期定时、取消；到期事件进入统一事件队列（周期不积压、取消后保证不再收到该号事件） | 浏览器及能提供同义事件队列的宿主 |
| [豫言操作系统网页储存](网页储存/规范.汉语.md) | 会话与本地两个区域的键值文字读、写、删；配额与禁用等失败以返回值表示 | 浏览器 |
| [豫言操作系统网页导航](网页导航/规范.汉语.md) | 前往与替换网址（http/https）、重载、同源历史压入与替换、按步移动 | 浏览器 |
| [豫言操作系统网页环境](网页环境/规范.汉语.md) | 本地时区偏移分钟（东为正）与当前页面可见的饼（只读） | 浏览器 |
| [豫言操作系统网页请求](网页请求/规范.汉语.md) | 同源非阻塞请求：请求 JSON、完成／失败事件进入统一事件队列、取消保证、并发 32、正文严格 UTF-8 与上限；另附阻塞变体 | 浏览器 |
| [豫言操作系统网页事件源](网页事件源/规范.汉语.md) | 同源 SSE 客户端：自动重连并带 Last-Event-ID、事件成批进入统一事件队列、宿主按队列余量控速而不丢事件 | 浏览器 |
| [豫言操作系统网页编译](网页编译/规范.汉语.md) | 浏览器里本地编译一组豫言源文件：能力检查、启动、停止，成批进度与完成事件 | 浏览器（JSPI、Worker） |
| [豫言操作系统网页应用](网页应用/规范.汉语.md) | 启动同源的另一个豫言浏览器应用并等它就绪（路径规则、每页 8 个、随父应用关闭） | 浏览器 |
| [豫言操作系统剪贴板](剪贴板/规范.汉语.md) | 授权后写入用户剪贴板纯文本 | 有剪贴板写入能力且获授权的宿主 |
| [豫言操作系统网址](网址/规范.汉语.md) | UTF-8 网址成分严格编解码 | 浏览器、Node.js、CF Worker、原生 |
| [豫言操作系统网页转发](网页转发/规范.汉语.md) | 同源改址、授权服务与 Assets 原流转发、筛标头转发、静态资源答复，拒绝点段路径 | CF Worker、具备同义服务绑定的宿主 |
| [豫言操作系统关系查询](关系查询/规范.汉语.md) | 授权关系库预备 SQL 首行的 JSON 文字及文字参数绑定 | CF Worker D1、具备同义关系库的宿主 |
| [豫言操作系统关系数据库](关系数据库/规范.汉语.md) | 授权关系库的带类型参数语句、多行读取、执行结果与原子批量写入 | CF Worker D1、具备同义关系库的宿主 |
| [豫言操作系统网页答复](网页答复/规范.汉语.md) | 当前入站请求的带标头 JSON（宿主校验）、文字、字节、空正文、多个 Set-Cookie 与改址答复 | CF Worker、具备同义入站响应的宿主 |
| [豫言操作系统服务状态](服务状态/规范.汉语.md) | 向授权内部服务发 GET，仅读取状态码；服务绑定缺失或调用失败抛可捕获异常 | CF Worker、具备同义服务绑定的宿主 |
| [豫言操作系统环境文字](环境文字/规范.汉语.md) | 按资源许可读取环境配置文字，并判断已授权绑定是否存在 | CF Worker、Node.js、原生及获授权宿主 |
| [豫言操作系统时间](时间/规范.汉语.md) | 同刻读取 UTC 日与 Unix 分钟、Unix 毫秒及 ISO 文字转换 | 具备墙上时钟的宿主 |
| [豫言操作系统持久事务](持久事务/规范.汉语.md) | 授权持久仓的原子键值事务（0.2.0 增事务内删除、列举、回滚，及事务外直接读写、列举、清空） | CF Worker Durable Object、具备同义事务仓的宿主 |
| [豫言操作系统持久告警](持久告警/规范.汉语.md) | 当前持久对象唯一告警的读取、设置、删除与重试次数 | CF Worker Durable Object、具备同义告警的宿主 |
| [豫言操作系统持久独占](持久独占/规范.汉语.md) | 并发独占区：区内可等待外部输入输出，其他事件排队，失败不重置对象 | CF Worker Durable Object、具备同义并发独占的宿主 |
| [豫言操作系统秘密文字](秘密文字/规范.汉语.md) | 按资源许可读取 Secret 并区分缺失与空值 | CF Worker、具备同义密钥仓的宿主 |
| [豫言操作系统网页上游](网页上游/规范.汉语.md) | 授权与公网 HTTPS 上游请求、文字块增量读取、有限整读、取消及入站原流回应 | CF Worker、具备同义出入站网页能力的宿主 |
| [豫言操作系统网址定位](网址定位/规范.汉语.md) | 按 URL 标准解析绝对与相对地址的部件（64 KiB 上限，可捕获失败） | 浏览器、CF Worker、Node.js 及具备 URL 实现的宿主 |
| [豫言操作系统网址查询](网址查询/规范.汉语.md) | 表单编码查询串、解析表单键值（至多 1024 项）、设置网址查询参数 | CF Worker、具备 URLSearchParams 的宿主 |
| [豫言操作系统命名持久服务](命名持久服务/规范.汉语.md) | 向获授权命名持久对象（对象名可含「/」，0.3.0）发有限文字或流式请求、增量读取、作最终响应并转发入站请求 | CF Worker Durable Object、具备同义命名服务的宿主 |
| [豫言操作系统授权服务](授权服务/规范.汉语.md) | 向获授权内部服务发白名单或带正文请求、增量读取流式响应并保留原始响应流；服务绑定缺失或调用失败抛可捕获异常 | CF Worker、具备同义内部服务绑定的宿主 |
| [豫言操作系统密码摘要](密码摘要/规范.汉语.md) | UTF-8 文字与任意字节的 SHA-256 小写十六进制摘要，及尽力恒时的文字比较 | 浏览器、CF Worker、Node.js、原生 |
| [豫言操作系统对象存储](对象存储/规范.汉语.md) | 授权 R2 桶的元数据、严格 UTF-8 文字读取（至多 2 MiB）与字节读取（至多 16 MiB）、带条件与 SHA-256 校验的写入、删除、列举，及对象正文流直通入站响应 | CF Worker R2、具备同义对象存储的宿主 |
| [豫言操作系统压缩](压缩/规范.汉语.md) | raw deflate 限量解压与原生 CRC-32/大小校验的 ZIP 条目解压 | CF Worker、具备同义原生解压流的宿主 |
| [豫言操作系统口令派生](口令派生/规范.汉语.md) | 口令与盐的 PBKDF2-HMAC-SHA-256 小写十六进制派生 | CF Worker、具备同义原生密钥派生的宿主 |
| [豫言操作系统随机数](随机数/规范.汉语.md) | 密码学安全随机十六进制文字与 UUID v4 | 浏览器、CF Worker、Node.js、原生 |
| [豫言操作系统消息队列](消息队列/规范.汉语.md) | 授权队列的单条与批量 JSON 投递；队列事件里读取批次、逐条确认与延后重试 | CF Worker Queues、具备同义队列的宿主 |
| [豫言操作系统定时事件](定时事件/规范.汉语.md) | 定时事件里读取 cron 表达式与计划时刻（Unix 毫秒） | CF Worker 定时触发、具备同义定时器的宿主 |
| [豫言操作系统邮件发送](邮件发送/规范.汉语.md) | 经授权邮件绑定寄出单个收件人的纯文字邮件，校验注入与长度，成败以返回值表示且原因不含地址 | CF Worker Send Email、具备同义邮件服务的宿主 |
| [豫言操作系统文字规整](文字规整/规范.汉语.md) | 与 ECMAScript trim、toLowerCase、length 逐字符相同的去首尾空白、完整 Unicode 转小写与 UTF-16 长度，以及“全为 Unicode 字母或数字”判断（等同 /^[\p{L}\p{N}]+$/u，0.2.0） | 能提供 ECMAScript 字符串语义的宿主 |
| [豫言操作系统日志](日志/规范.汉语.md) | 错误、警告、信息三级单条日志，超过 8 KiB 截断 | CF Worker、Node.js、浏览器、原生 |
| [豫言操作系统网页事件流](网页事件流/规范.汉语.md) | 立即提交事件流响应头，逐块写入 UTF-8 文字（受背压），感知客户端断开，正常或异常终止 | CF Worker（含 Durable Object）、具备同义流式响应的宿主 |
| [豫言操作系统持久频道](持久频道/规范.汉语.md) | 同一持久对象实例内跨事件的具名文字频道：订阅、保序发布、限时等待、关闭、订阅数 | CF Worker Durable Object、具备同义实例内共享状态的宿主 |
| [豫言操作系统隔离运行](隔离运行/规范.汉语.md) | 把已编译的文件式豫言程序放进无网络、无绑定、限 CPU 的隔离环境运行一次，取回标准输出与 /数据/、/响应/ 下的输出文件 | CF Worker Dynamic Worker Loader、具备同义隔离能力的宿主 |
| [豫言操作系统编译运行](编译运行/规范.汉语.md) | 在宿主的隔离编译环境里把多文件豫言项目编译为 WasmGC 程序：拉取式取回阶段与编译器输出事件，再取产物字节或 Base64（可直接交给隔离运行） | CF Worker（内存文件系统里运行编译器 Wasm 与静态 Binaryen）、具备同义能力的宿主 |
| [豫言操作系统平台资料](平台资料/规范.汉语.md) | 读取平台按名提供的只读资料集：列出键（可带前缀）与读取文字，宿主取回、解压、筛键并缓存，应用不必解析整包 JSON | CF Worker、具备同义资料集的宿主 |

GPU 计算另立 `豫言操作系统图形处理器` 包，作为后续规范。CPU 图像绘制属于普通豫言库；画面呈现与 GPU 计算分开，驱动只存在于宿主实现下层。CF Worker 无显示面时不实现显示包。

基础、文件、网络、显示、网页界面、网页文树、网页消息、网页事件、网页定时、网页储存、网页导航、网页环境、网页请求、网页事件源、网页编译、网页应用、剪贴板、网址、网址定位、网页转发、网页入站、关系查询、关系数据库、网页答复、服务状态、环境文字、时间、持久事务、秘密文字、网页上游、命名持久服务和授权服务包规定应用调用宿主的能力；启动和网页服务包还规定宿主调用应用的入口。`启动程序` 与 `处理入站网页请求` 是应用导出。网页服务包中的请求读取函数由宿主提供，`造出站网页响应` 是应用可用的纯构造器。网页入站、关系查询、网页答复、持久事务、网页上游、命名持久服务和授权服务在当前 `_start` 边界提供过渡调用，待类型化入口可装载时再消除重复的文字传值、临时响应柄与事件重入。各签名方向依[接口文件规则](接口文件规则.汉语.md)逐项确定，不能仅凭 `乃` 推断方向。

首批可移植程序形态如下；“必需包”指该形态的应用必须声明的依赖，其余包按应用实际使用另加。

| 程序形态 | 目标宿主 | 必需包 |
| --- | --- | --- |
| 无界面启动程序 | 浏览器、Node.js | 基础、启动 |
| 像素画面交互程序 | 有显示面的浏览器或 Node.js 适配器 | 基础、启动、显示 |
| 入站 HTTP 服务 | CF Worker、Node.js 服务适配器 | 基础、网页服务 |

文件和出站网络均按实际应用依赖另加。Node.js 不因自身有终端就隐式具备显示面；CF Worker 不因可生成图像字节就实现显示包。

这些包仍是**源级规范草案**。完成规范不等于编译器已识别 `.接口。豫`，也不等于三个宿主已有符合规范的实现。GPU 的设备、缓冲区、命令与设备失效等接口尚未定稿；本版只规定显示与 GPU 是不同能力边界，不宣称 GPU 接口已完善。

## 共同检查

接口文件只出现导入、以 `立` 写的名义类型/构造器声明、以 `乃` 写的函数签名及双语语义注释；不得出现 `者` 函数定义或外调。`者` 仍用于普通 `。包。豫` 元数据。每项函数的行为、输入范围、返回值、错误、挂起与资源寿命在所属包的 `规范.汉语.md`、`规范.文言.md` 中约定。相同应用在不同宿主可以有不同二进制包装，但公开豫言签名和语义须一致。初版要求解析后的完整版本相等；现有 `。包。豫` 的依赖仅列包名，尚无版本锁文件，接口专用工具须记录并核对解析所得版本。

接口文件准入规则见[接口文件规则](接口文件规则.汉语.md)，跨宿主装载、授权、挂起与资源规则见[执行契约](执行契约.汉语.md)，未来共同验收见[一致性样例](一致性样例.汉语.md)。当前差距逐项列于[未决事项](未决事项.汉语.md)。架构与研究背景另见[规范设计背景](../豫言操作系统/文档/豫言操作系统接口规范.汉语.md)。

# 豫言操作系统公共接口总纲

此树在仓根，惟载接口之约，不载宿主之术。每能自成一包，以 `。包。豫` 定名、版、所依；以 `。接口。豫` 定宿主所具之术，以 `。应用接口。豫` 定客所具之术，二缀兼载型与函数。所依之包，悉为必需。宿主虽能行其术，资源仍须另授。

此树之根有 `豫言操作系统接口。包。豫`，为诸接口包之父包，其说即此总纲。父以「包含包」登诸接口包，其序从[汉语总纲](总纲.汉语.md)“首批能力组”之表；子以「包含在」还指其父（其制见[包制](../应用/豫构/包系统.文言.md)“层级之包”之节）。父包无模，以便循层寻接口。客径依所需之接口包：依父包者，诸接口皆为必需之能。增接口包者，表与父之「包含包」同处并登，新包书「包含在」。接口包述入接口清单之摘要，改之则重生诸适配之 `宿主提供.json` 与节点宿主之 `启动接口.json`。

接口之文惟有导入、以 `立` 定型、以 `乃` 定函数签名及双语注，不得置 `者` 函数之体、`C调用` 与各地私物。`者` 仍为包之元数据所用。今普通编译器求签名后即有定义，模块亦寻 `名称。豫`，故纯声明今不得当普通程序编之；接口检查器与构时绑定器已成，装载器亦可核客需与宿供之簿，惟编器未直析纯声明。

今定基础、文件、网络、显示四包，以供客取宿主之能；又定[网页界面](网页界面/规范.文言.md)之首批元素与事件四术、[网页文树](网页文树/规范.文言.md)之节点构合与同源取文、[网页消息](网页消息/规范.文言.md)之当前页带值通事、[剪贴板](剪贴板/规范.文言.md)之写文、[网址](网址/规范.文言.md)之成分编码、[网页转发](网页转发/规范.文言.md)之授权转请；另定[启动](启动/规范.文言.md)与[网页服务](网页服务/规范.文言.md)二包，以定宿主召客之入口。网页服务包之读请诸术属宿主，处理请之入口属客，不得但以「乃」断其向。无界面程序于浏览器或节点，须依基础与启动；像素画面交互程序更须依显示，惟有显示面之宿主可行；入站网页服务于云工或节点，须依基础与网页服务。文件与出站网络依客实需而增，不因平台有其物便暗授之。图像可由 CPU 以豫言常库绘之；显示与 GPU 计算各为一能，驱动归宿主下层。图形处理器之细约未定，不得谓已备。诸包今为源级草案，非诸宿主皆合约之证。凡函数之义、误、挂起与资源寿命，各见其包汉语与文言之规范。文件之法与共验之目，见[接口规则](接口文件规则.文言.md)及[一致性样例](一致性样例.文言.md)；详见[汉语总纲](总纲.汉语.md)。

今又立[关系查询](关系查询/规范.文言.md)与[网页答复](网页答复/规范.文言.md)二能：前者于获授关系库取预备句之首行，后者于当前入站请答 JSON。二者以 JSON 文越今 `_start` 之界；俟[网页服务](网页服务/规范.文言.md)之类型化入口可载，乃去此过渡。应用所依之能仍各为必需，不因同为云工平台而暗授。

[网页入站](网页入站/规范.文言.md) 今读 `_start` 当前请之法、原径与头；[网址](网址/规范.文言.md) 之二版兼严解码；关系查询之二版增文字参数缚定。诸术分包，所依者悉须显列。

[服务状态](服务状态/规范.文言.md) 则向获授内服行 GET，惟返状态，不使响应正文出宿主。网页答复二版又可作无体之答；运维鉴权客可据此止泄上游之文。

[网页入站](网页入站/规范.文言.md) 二版又辨事类、严解路径；[网页转发](网页转发/规范.文言.md) 二版以受限安头覆原答而不读正文流。[环境文字](环境文字/规范.文言.md) 则按资源许可读配置之文，毋暗授密钥。

网页入站三版又取查询参，能守余参而构同源新址；网页答复三版增文字与同源改址之答。包地址客可据此以豫言辨径、问库、定新址，宿主不藏其业务。

网页入站五版又读当前请 JSON 正文；[时间](时间/规范.文言.md) 同刻取 UTC 日与 Unix 分，[持久事务](持久事务/规范.文言.md) 于获授仓原子读写键值。试写额度客依此以豫言裁日、分及总额，宿主惟给时、仓与入站之请。今 `_start` 犹以 JSON 文载值并以事务事类重入；类型化入口既通，当易此过渡之术。

[秘密文字](秘密文字/规范.文言.md) 循资源许可读 Secret，辨缺与空；[网页上游](网页上游/规范.文言.md) 先核获授 HTTPS 来源，禁自动改向，许客先验状态而后择 JSON 读或原流入站答。试写模型客以豫言定上游请与模型规，宿主惟守密、授权、时限与流。今 `_start` 以本次事内不透明文号指上游答；类型化入口既通，当易名义资源型。

[网址定位](网址定位/规范.文言.md) 循 URL 之规析绝对、相对址；[命名持久服务](命名持久服务/规范.文言.md) 先核 `DO` 绑定许可，乃向其内命名对象发有限文字请；[授权服务](授权服务/规范.文言.md) 依 `SERVICE` 许可择白头、守原流而请内部服务。云台业务之径与结果投影仍归豫言。

[密码摘要](密码摘要/规范.文言.md) 以 UTF-8 原字节求 SHA-256 小写十六进制文。密码原语归适配；凭据格式、时限与户籍之验归豫言应用。

[关系数据库](关系数据库/规范.文言.md) 于获授关系库行带型参之句，可读首行与诸行，返所变行数与末插行号，并以一原子批纳至多百句；SQL 有误则抛豫言之异，异辞存库所报原文。此包与只取首行之关系查询并立，窄能仍可单用。

[口令派生](口令派生/规范.文言.md) 以 PBKDF2-HMAC-SHA-256 由口令与盐求三十二字节，书为小写十六进制，迭代之数由客定、宿主限其上；[随机数](随机数/规范.文言.md) 取宿主密码学安全之源，书十六进制之文或第四版通用标识。二者使账户、令牌诸端不必于豫言自造密码原语。

[时间](时间/规范.文言.md) 二版又增 Unix 毫秒之取与 ISO 8601 UTC 文之书，使时戳、到期与每日之算不必自造日历。

[对象存储](对象存储/规范.文言.md) 于获授之 R2 桶，可读元、严解 UTF-8 以读文（至多二 MiB）、读字节（至多十六 MiB）、附条件与 SHA-256 之验以写、删、列，且以对象正文之流径为当前入站之终答，体不入客之内存；违规与平台之故抛豫言之异，条件不合与对象之无以返值示之。[压缩](压缩/规范.文言.md) 依宿主原生之解压流，限出量而解 raw deflate，又解 ZIP 条目而核其 CRC-32 与实数，皆不于豫言逐字节为之。[密码摘要](密码摘要/规范.文言.md) 二版增字节之摘要与尽力恒时之比文。

[授权服务](授权服务/规范.文言.md) 〇点三增带正文之请与渐读，[网页上游](网页上游/规范.文言.md) 〇点二增渐读与动态公网 HTTPS，[命名持久服务](命名持久服务/规范.文言.md) 〇点二增流请、渐读、终答与转入站请：皆以答柄逐块读文，宿主流式解 UTF-8，期限贯全程，可止，有限整读逾限则告败而不崩。

又定[网页事件](网页事件/规范.文言.md)之统一候点、界面订阅之委托与同步键律、每类之背压与弃数；[网页界面](网页界面/规范.文言.md)增读回、焦点、光标、滚动、模态；[网页文树](网页文树/规范.文言.md)增一次建树、柄之释放、框址、模板；[网页消息](网页消息/规范.文言.md)入统一事列。

又定网页事件……”之后）

“又定[网页定时](网页定时/规范.文言.md)之一次与周期之期、[网页储存](网页储存/规范.文言.md)之会话与本地之键值、[网页导航](网页导航/规范.文言.md)之往、替、载与同源之历史、[网页环境](网页环境/规范.文言.md)之时区之偏与所见之饼、[网页请求](网页请求/规范.文言.md)之同源不候之请求（果入统一事列，撤则保不复收）、[网页事件源](网页事件源/规范.文言.md)之 SSE 客端（自重连，成批入列，宿主依列之余量而缓读，故不失事）、[网页编译](网页编译/规范.文言.md)之本机编译、[网页应用](网页应用/规范.文言.md)之启同源之他应用；[网页事件](网页事件/规范.文言.md)增选择器与排除选择器之滤及目标属性、矩形之载；[网页界面](网页界面/规范.文言.md)增属性之读回与去除、程序之点、位与矩形；[网页文树](网页文树/规范.文言.md)增选择器之查询、节点之读回、子树之导出、替换与受限之超文本。

[编译运行](编译运行/规范.文言.md) 使客于宿主之隔绝编室，编多文之豫言项目为 WasmGC 程序；拉取之式，逐取阶段与编器之出，复取产物字节或 Base64，可径授隔离运行。运行号惟启之之事有效；请求之验、限额与应答之形皆客以豫言决之，宿主惟司“行编器”一事。

[平台资料](平台资料/规范.文言.md) 使客读平台按名所供之只读资料集：列其键（可带前缀）、读其文；宿主一取、解、筛、缓，客不必自解整包 JSON（云工作台之环境命令用之）。

[持久事务](持久事务/规范.文言.md)二版增事务内删、列、回滚及久仓直读写；[持久告警](持久告警/规范.文言.md)管一对象唯一之告警；[持久独占](持久独占/规范.文言.md)开并发独占之区，区内可候外物而他事排队；三者皆以事重入，败则抛可捕之异。

[消息队列](消息队列/规范.文言.md) 于获授之队列投单条与批量之 JSON 书，并于队列之事读批、逐条确认或延而重试；[定时事件](定时事件/规范.文言.md) 于定时之事读 cron 与计划之刻；[邮件发送](邮件发送/规范.文言.md) 经获授之绑定寄单收件人之纯文邮件，校其注与长，成败以返值告而因不含址；[文字规整](文字规整/规范.文言.md) 供与 ECMAScript 之 trim、toLowerCase、length 逐字相同之去首尾空白、完整 Unicode 转小写与 UTF-16 之长；[日志](日志/规范.文言.md) 分错误、警告、信息三级各书一条，逾八 KiB 则截。五者使自 JS 迁来之队列、定时、邮件、字符串与日志之事，不必自造平台之接。

[网页事件流](网页事件流/规范.文言.md) 使客即提事件流响应头而续行，逐块书 UTF-8 之文，受背压、察客断，可正终亦可异终；[持久频道](持久频道/规范.文言.md) 于同一持久对象实例之内供跨事之具名文字频道，订后必达、订内保序、候可限时、可闭而数其订。二者相合，一事持长联书事件，他事发讯唤之；频道之状随实例而存，不代持久之储。

[隔离运行](隔离运行/规范.文言.md) 使客置已编之文件式豫言程序于无网、无绑定、限算时之隔离室，运行一次，取其标准出与 `/数据/`、`/响应/` 下之出文；每运皆新实例新内存文件系，不留其状，久存之数由客置入而取出。

[网页入站](网页入站/规范.文言.md) 至 0.7：读请之法、径、头（验名之合法）、查询、有限字节、严文与 JSON 之体、事类（含 queue、scheduled）；[网页答复](网页答复/规范.文言.md) 至 0.5：带头之 JSON（以宿主验之，坏文可捕、数不失真）、文、字节、空体、诸 Set-Cookie 与改址；[网页转发](网页转发/规范.文言.md) 至 0.4：改址、服务与 Assets 之原流、筛头转发、静资之答，点段之径一律拒之；[环境文字](环境文字/规范.文言.md) 至 0.2：依许读环境之文，兼断所授之绑定存否；[网址定位](网址定位/规范.文言.md) 至 0.2：依 URL 之准析址之部，限六万五千五百三十六字节而败可捕；[网址查询](网址查询/规范.文言.md) 新立：表单之编、析（至多一千二十四项）与改网址之一查询参。