ConsentSeed: Consent Contracts as First-Class Objects with Rights Algebra and Refinement Preservation

Read full text
Authors: Xiaolong Zhang
Cited by: 0

Abstract

ConsentSeed formalizes consent as a first-class semantic object in programmable worlds.It defines mechanically verifiable consent contracts governing actions, observations,refinements, and claims involving persons.Building on WorldSeed, IdentitySeed, and ValueSeed,ConsentSeed introduces a rights algebra, small-step operational semantics with runtime rejection,irreversible revocation semantics, and refinement preservation theorems ensuring that consentcannot be weakened under abstraction, composition, or market exchange.ConsentSeed is a semantic foundation for admissible claims and executable actions involving persons.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
5 January 2026