Rights Chain · 只读运维控制台

权益,
从提出到兑现的全过程

融权链不管「事实存不存在」,它管的是主张站不站得住:谁提出、向谁提出、凭什么、还算不算数。

只记录 · 不裁判 8 条不变量 Ed25519 验签

Definition

什么才算一条权益

不是所有记录都能进融权链。先看它是不是一条「权益」。

权益,是一个主体向另一个主体(或向不特定第三人)提出的、尚未完全兑现的、可举证的主张。

拆开是四个必要条件,缺一条就不成立。

要件问句缺了会怎样
主张人谁在主张变成客观陈述,进存证链
指向向谁主张(对人 / 对世)变成愿望,无法执行
内容能做什么、得到什么(必须可判定)「体验好」不是权益,「7 天无理由退」才是
依据凭什么(签名、文件、数据、在先记录)无法举证,等于没有

外加两个属性:期限(何时起、何时止、能否续)与 强度(对世 / 对人 / 仅道德)。四要件决定「是不是」,两属性决定「算多强、到哪天」。

Dimensions

三个维度,互相正交,别混

时间、强度、确定性是三个独立的坐标轴,任何一条权益都同时落在三个位置上。

一时间

  1. 即时生效
  2. 条件触发
  3. 持续有效

二强度

  1. 对世|独占许可、物权化
  2. 对人|普通许可、债权
  3. 道德|署名、禁止歪曲

三确定性

  1. 已确定
  2. 待条件成就
  3. 待裁决
发明案例里那个 Δ,落在「确定性 = 待裁决」
商家买赠,落在「时间 = 条件触发」
IP 独占许可,落在「强度 = 对世」

同一张表,三个格子——这就是为什么不能用「一种权益」去套所有场景。

Not

它不是什么

把边界说清楚,比把功能说清楚更重要。

不是事实——事实是「发生过」,权益是「算不算数」
不是资产——资产是「归谁所有」,权益是「谁能用、用到什么程度」
不是价值——价值是估值,权益是请求权
不是能力——技术能做到,不等于你有权做
不是记录——记录是证据,权益是靠证据撑起来的主张

Three Faces

三次定义,其实是一个东西的三个面

许可、承诺、预期 Δ——换三个问法,指向的是同一条主张。

License

许可 = 行使面

能不能用、给谁用。

Promise

承诺 = 给付面

该给我什么、什么时候给。

Expectation Δ

预期 Δ = 成立面

这个主张到底站不站得住。

回答的问题存证链(知道链)权益链(融权链)
核心问题它存在过吗它该归谁、能给谁、还算不算数
写入什么哈希、时间戳、证据锚点主张、四要件、期限、强度、确定性
怎么变只增不改只增不改;状态可演进(如 SUPERSEDED),历史不抹除
争议怎么办不处理不处理——留给外部程序,链只记录外部结论
输出什么存在性证明权益包:主张 + 举证链 + 当前状态

所以不用再纠结「融权链到底管哪一类」——它管的是主张从提出到兑现的全程。存证链证明「它存在过」,权益链证明「它该归谁、能给谁、还算不算数」。

Lifecycle

一条权益在链上的一生

从提出到终结,五个阶段;链在每一段只做记录与验证,不做判断。

01

提出

四要件齐备,写入链上:谁、向谁、主张什么、凭什么。

02

举证

依据锚定:签名、文件、数据、在先记录,形成可回溯的举证链。

03

对抗

相对方确认(ACK)或进入挑战窗口;没有送达,就不算成立。

04

判定

链不判。唯一终止路径是记录外部决议(RecordExternalResolution)。

05

兑现 / 失效

期限届满、条件成就,或被外部裁决终止;状态演进,历史不删。

Test

一个可操作的判定

任何一条记录想进融权链,先过这三问。

01

谁能主张?

说不出人 → 不是权益

02

向谁主张?

说不出对象 → 不是权益

03

拿什么举证?

说不出证据 → 不是权益

三问全过,再用四要件补细节(内容是否可判定、期限与强度如何),一条权益才算立住。

Invariants

定义在代码里的执行版

八条不变量由链码在运行时自述,登录控制台可逐条查看。

不裁决
I1

没有裁决写入接口不裁决

唯一终止路径是 RecordExternalResolution;合约不存在任何设置 VALID / INVALID 的方法,状态枚举也不含这两值。

I2

「无异议」不等于「有效」不裁决

对 UNCONTESTED 只能出具无异议证明(NON_OBJECTION_CERTIFICATE),不得解释为确权成立。

I3

多条权益并存,不排优先级不裁决

同一标的上并存的权益各归各;有效许可列表返回全部有效项,不设优先级字段。

不自评
I4

无送达不成立不自评

关闭挑战窗口要求相对方已 ACK;主张权益必须指明相对方——没有对方回应的「完赛」无效。

I5

无事后改预期不自评

试验开始后拒绝锁定预注册;规则要改只能新建版本,旧版标记 SUPERSEDED。

I6

无指标偷换不自评

判定规则要求指标已在 metrics_schema 中声明,且单位一致——事后不能换尺子。

不越界
I7

事实链只读不越界

只有正向写入,没有反向修改;对外部事实只保存不透明指针,合约不持有存证链的写凭据。

I8

无有效签名不得改变状态不越界

全部写方法经 openEnvelope:时效窗 + 链上公钥绑定 + Ed25519 验签 + nonce 去重。