# Ocean6 Engineering Reference v0.2

2026-09-19 · v0.2：新增真实本地任务执行、独立 Python 复算、任务 Schema、负向测试、节点准入 / 失败处理提案、威胁模型与上线证据要求。v0.1 固定回执示例保留。

执行范围：当前浏览器中的确定性逐行检索。没有调用大模型、GPU、Ocean6 远程节点或付款服务；实验室代码不上传你输入的文档。


## 从可检查的材料开始

本次发布把任务定义、执行代码、结果复算与网络设计放在同一条阅读路径。每项材料都标明它实际能够支持的结论。



### 可运行 · 本地参考任务

修改文档与检索词，运行逐行检索，再用 Python 独立复算。源码、任务规范与负向测试均可下载。/zh/developers/#lab 打开任务实验室 ↗



### 可审查 · 工程设计提案

阅读节点准入、角色分工、重试与幂等、信任边界和发布门槛。网络部分等待工程评审与实测。#admission 查看工程细则 ↗



### 可追溯 · 版本化文件

v0.2 文件包包含实现、Schema、说明和校验清单；v0.1 固定回执示例仍可查阅。/zh/developers/#source 浏览发布文件 ↗

## 节点准入与资源调度

网络设计提案。建议初期由受控服务方参与，将供给声明、准入检查与任务调度分开记录。心跳、可调度性、实际交付是三个不同的判断。

表格可左右滑动查看完整内容。

 | 检查阶段 | 必须留下的证据 | 未通过时的处理

 | 身份与版本 | 服务方标识、负责人、运行时版本、制品摘要、密钥登记与撤销记录。 | 不接收新任务；身份与制品校验通过后重新申请。

 | 资源与兼容性 | CPU / GPU 型号、显存、驱动、系统、区域、网络和隔离配置；工作负载测试的原始日志。 | 仅进入声明状态；硬件自报参数不能直接获得可调度资格。

 | 可用性与容量 | 带时间戳的心跳、剩余容量、服务探测结果和记录缺失情况。 | 探测过期或容量不足时停止新分配；已有任务按超时策略处理。

 | 交付与质量 | 任务 / 尝试标识、执行制品版本、输出摘要、错误分类和独立验收结论。 | 记录失败，排查后再准入；复查不能覆盖原始失败记录。



### 执行方

执行已接受的工作负载，提交结果与资源使用声明。执行方不能仅凭自身声明将任务标为验收通过。



### 检查方

按照任务提交前确定的规则检查交付；记录检查版本、结论和局限。初期由项目运营也应明确披露。



### 协调方

先过滤权限、数据区域、资源和预算，再比较健康状态与服务表现。当前没有公开的调度服务或去中心化证明。

最低硬件门槛、健康检查周期、性能分位数与价格，需要实际工作负载测量后发布。本提案不沿用其他项目的数值，也不承诺任何设备已兼容。

## 重试、幂等与失败处理

以下是待实现的协议要求。v0.2 本地参考只覆盖输入校验、一次执行和结果复算，不实现网络队列、计费或下面的分布式语义。

表格可左右滑动查看完整内容。

 | 情况 | 拟议处理 | 验收用例

 | 重复提交 | 同一调用方的幂等键绑定同一请求摘要；同键不同内容必须返回冲突。 | 重复请求返回原任务；修改输入后复用键应被拒绝。

 | 执行失败与重试 | 仅对声明可安全重试的任务自动重试；保留 task_id，为每次尝试创建新 attempt_id。 | 超时重试保留两次记录，不重复确认同一交付。

 | 租约到期与迟到结果 | 协调方记录有效尝试与租约；过期尝试的回执只归档，不自动触发验收或结算。 | 旧执行方恢复后提交结果，不能覆盖新尝试。

 | 取消与物理动作 | 区分取消请求和取消确认；物理动作受设备控制系统约束，不宣称全局 exactly-once。 | 取消期间发生交付时保留事件顺序；设备急停独立验证。

 | 费用与争议 | 将资源使用、验收和付款确认分别记录；失败费用和争议规则在接单前确定。 | 重复付款通知只入账一次；缺少付款证据不得标记 settled。

## 威胁模型与证明边界

本地复算证明这个算法的结果符合公开规则。网络身份、远程执行环境与模型质量需要各自的信任来源和验证方法。

表格可左右滑动查看完整内容。

 | 风险 | 需要的机制 | 本版覆盖

 | 输出被修改 | 绑定原始输入、输出字节摘要，并重新计算确定性任务。 | Python 校验字节摘要并复算；浏览器只做算法结果比较。

 | 服务方伪造身份或重放旧回执 | 可信身份登记、签名、任务与尝试绑定、挑战值、有效期及密钥撤销。 | 尚未实现；本地回执不带签名，时间戳由本机声明。

 | 输入与回执被一起替换 | 从可信渠道固定原始任务与发行版本；签名或独立验证根。 | 下载清单只能对照文件，不能独立认证发行者。

 | 模型输出不确定 | 固定模型、提示词、采样配置与验收数据集；区分语义验收与逐字复算。 | 本地示例没有使用 LLM；结果一致不代表模型推理已被验证。

 | 远程主机读取敏感数据 | 数据分类、最小权限、区域与保留期控制；按威胁模型考虑可信执行与证明验证。 | 本地实验室代码不上传输入；生产保密计算 / TEE 未实现。

 | 执行方与检查方合谋 | 披露控制关系、独立抽查、可追溯争议和有范围的外部审计。 | 没有独立验证网络或第三方安全审计的完成声明。

## 从参考实现走向网络服务

将“上线”作为需要证据支持的工程状态。当前可以检查源码与本地执行；下列材料应随真实接入逐项发布。



### 接入试点

发布版本化运行时、认证方式、真实测试端点、支持的工作负载与服务方责任；完成超时、重试和权限测试。



### 性能报告

公开硬件、代码摘要、模型 / 数据集、样本量、并发、预热方式与逐次原始记录；同时披露失败样本。



### 付费服务

明确服务条款、计费单位、退款 / 争议、数据保留、支持与故障处理；展示可核对的实际服务记录。



### 链上或开放网络

在相关功能实现后发布链标识、已验证合约源码、权限与升级机制、审计范围、节点准入和治理控制关系。/technical/v0.2/benchmark-template.csv 基准测试记录模板（空表）/technical/v0.2/capability-template.json 节点能力声明模板（提案）

## 设计参考与资料来源

检索日期：2026-09-19。以下为官方文档中的工程表达方式，作为设计参考；不表示 Ocean6 与其合作、已完成集成，或采用了其底层协议。未独立验证这些项目的全部实现。

io.net

### 设备验证与排错

公开硬件挑战、显存检查和失败日志路径，让“设备接入”可以被检查。Ocean6 借鉴其准入证据与故障分类方式。https://io.net/docs/guides/workers/proof-of-work 官方技术文档 ↗

Aethir

### 供给、检查与匹配

文档区分 Container、Checker 与 Indexer，并区分可用容量和实际交付。Ocean6 在设计中明确三类职责与三类证据。https://docs.aethir.com/aethir-network/the-checker 官方技术文档 ↗

Nosana

### 可执行任务定义

以 JSON 描述容器、命令、环境和资源，配套执行流程与校验说明。Ocean6 先交付有严格输入规则的本地参考工作负载。https://learn.nosana.com/deployments/jobs/job-definition/intro.html 官方技术文档 ↗

Ritual

### 执行与验证的信任模型

当前文档说明委托执行、TEE 证明以及非确定性工作负载。Ocean6 借鉴“明确证明对象与依赖条件”，不把摘要等同于计算正确性证明。https://docs.ritualfoundation.org/ 官方技术文档 ↗

## 明确、有限的工作负载规范

operation = literal-line-search，版本 0.2。它是检索基线，不生成回答，不计算语义相似度，也不保证资料内容真实。

表格可左右滑动查看完整内容。

 | 字段 / 规则 | v0.2 行为

 | 输入 | 只接收 version、operation、document、terms、top_k 五个字段；多余字段拒绝。

 | document | Unicode 文本，UTF-8 编码 1–20,000 字节；拒绝孤立代理码。CRLF / CR 统一为 LF，行号从 1 开始，保留空行位置。

 | terms | 1–16 个字符串，各 1–80 个 Unicode 码点；不含换行；去除首尾空格 / 制表符，将 ASCII A–Z 转为小写并去重；归一化后不能为空。

 | 匹配 | 逐行字面子串匹配。仅 ASCII 大小写不敏感；中文直接匹配，不分词。分数为该行命中的不同检索词数量。

 | 排序 / top_k | 分数降序，同分按原文行号升序；top_k 为 1–10 的整数。无命中时返回空列表，不伪造结果。

 | 输出 | total_matches 是截断前命中行数；matches 包含 line、score、text、matched_terms。内容来自输入原文，不由模型生成。