🖥️计算控制模型

ComBoox公司股权及治理文件簿记系统（“系统”）采用“有限状态机”模型，模拟、控制股权交易及公司治理行为，具体来说：

(1) 状态

将股东名册、会议纪要等信息簿记在每一时刻所记录的信息内容视为其不同的状态，用各类登记簿合约来分别记录。

(2) 转变过程

将股权转让、股东会表决等股权交易活动或公司治理行为视为信息簿记在不同状态之间的转变过程，用管理人合约来详细的定义并控制其行为主体、行动步骤、行权条件和行为结果。

(3) 条件与流程

将公司章程等组织法类文件中规定的表决规则、提名规则等公司治理规则，以及优先权、随售权、反稀释等股权交易规则，视为信息簿记状态转换过程中所需遵循的规则、条件和流程，用股东协议合约来定义各项规则的属性值、期限值或条件判断阈值，随时反馈管理人合约在自动执行过程中的查询请求。

(4) 写指令脚本

将投资协议视为促使股权簿记状态发生转变的一系列写操作指令所构成的批处理程序或脚本，将其中约定的标的股权、当事方、数量、价格等交易要素视为写指令的输入参数，用投资协议合约来定义，使之可在管理人合约的控制下自动执行。