权益,
从提出到兑现的全过程
融权链不管「事实存不存在」,它管的是主张站不站得住:谁提出、向谁提出、凭什么、还算不算数。
Definition
什么才算一条权益
不是所有记录都能进融权链。先看它是不是一条「权益」。
拆开是四个必要条件,缺一条就不成立。
| 要件 | 问句 | 缺了会怎样 |
|---|---|---|
| 主张人 | 谁在主张 | 变成客观陈述,进存证链 |
| 指向 | 向谁主张(对人 / 对世) | 变成愿望,无法执行 |
| 内容 | 能做什么、得到什么(必须可判定) | 「体验好」不是权益,「7 天无理由退」才是 |
| 依据 | 凭什么(签名、文件、数据、在先记录) | 无法举证,等于没有 |
外加两个属性:期限(何时起、何时止、能否续)与 强度(对世 / 对人 / 仅道德)。四要件决定「是不是」,两属性决定「算多强、到哪天」。
Dimensions
三个维度,互相正交,别混
时间、强度、确定性是三个独立的坐标轴,任何一条权益都同时落在三个位置上。
一时间
- 即时生效
- 条件触发
- 持续有效
二强度
- 对世|独占许可、物权化
- 对人|普通许可、债权
- 道德|署名、禁止歪曲
三确定性
- 已确定
- 待条件成就
- 待裁决
同一张表,三个格子——这就是为什么不能用「一种权益」去套所有场景。
Not
它不是什么
把边界说清楚,比把功能说清楚更重要。
Three Faces
三次定义,其实是一个东西的三个面
许可、承诺、预期 Δ——换三个问法,指向的是同一条主张。
许可 = 行使面
能不能用、给谁用。
承诺 = 给付面
该给我什么、什么时候给。
预期 Δ = 成立面
这个主张到底站不站得住。
| 回答的问题 | 存证链(知道链) | 权益链(融权链) |
|---|---|---|
| 核心问题 | 它存在过吗 | 它该归谁、能给谁、还算不算数 |
| 写入什么 | 哈希、时间戳、证据锚点 | 主张、四要件、期限、强度、确定性 |
| 怎么变 | 只增不改 | 只增不改;状态可演进(如 SUPERSEDED),历史不抹除 |
| 争议怎么办 | 不处理 | 不处理——留给外部程序,链只记录外部结论 |
| 输出什么 | 存在性证明 | 权益包:主张 + 举证链 + 当前状态 |
所以不用再纠结「融权链到底管哪一类」——它管的是主张从提出到兑现的全程。存证链证明「它存在过」,权益链证明「它该归谁、能给谁、还算不算数」。
Lifecycle
一条权益在链上的一生
从提出到终结,五个阶段;链在每一段只做记录与验证,不做判断。
提出
四要件齐备,写入链上:谁、向谁、主张什么、凭什么。
举证
依据锚定:签名、文件、数据、在先记录,形成可回溯的举证链。
对抗
相对方确认(ACK)或进入挑战窗口;没有送达,就不算成立。
判定
链不判。唯一终止路径是记录外部决议(RecordExternalResolution)。
兑现 / 失效
期限届满、条件成就,或被外部裁决终止;状态演进,历史不删。
Test
一个可操作的判定
任何一条记录想进融权链,先过这三问。
谁能主张?
说不出人 → 不是权益
向谁主张?
说不出对象 → 不是权益
拿什么举证?
说不出证据 → 不是权益
三问全过,再用四要件补细节(内容是否可判定、期限与强度如何),一条权益才算立住。
Invariants
定义在代码里的执行版
八条不变量由链码在运行时自述,登录控制台可逐条查看。
没有裁决写入接口不裁决
唯一终止路径是 RecordExternalResolution;合约不存在任何设置 VALID / INVALID 的方法,状态枚举也不含这两值。
「无异议」不等于「有效」不裁决
对 UNCONTESTED 只能出具无异议证明(NON_OBJECTION_CERTIFICATE),不得解释为确权成立。
多条权益并存,不排优先级不裁决
同一标的上并存的权益各归各;有效许可列表返回全部有效项,不设优先级字段。
无送达不成立不自评
关闭挑战窗口要求相对方已 ACK;主张权益必须指明相对方——没有对方回应的「完赛」无效。
无事后改预期不自评
试验开始后拒绝锁定预注册;规则要改只能新建版本,旧版标记 SUPERSEDED。
无指标偷换不自评
判定规则要求指标已在 metrics_schema 中声明,且单位一致——事后不能换尺子。
事实链只读不越界
只有正向写入,没有反向修改;对外部事实只保存不透明指针,合约不持有存证链的写凭据。
无有效签名不得改变状态不越界
全部写方法经 openEnvelope:时效窗 + 链上公钥绑定 + Ed25519 验签 + nonce 去重。