配额值对象(架构精度修宪 S2 · P2「值对象按需」本域唯一认定):不变量 = 非负安全整数。
违约以原生 Error fail-loud(P1 纯度硬约束:内核/kit 不抛框架异常——HTTP 翻译归 适配器角色文件,见 QuotaGuard)。落点:档位目录(tenant-plans)、生效限额裁决 (QuotaService.effectiveSeatsLimit)、订阅写路径摄入(create-subscription)。 存储与线上(wire)形状仍是 number——VO 只在 kit 内部承载不变量,出边界即 .value。
.value
值相等比较(同内部 number 即等)。
待比较的另一 Quota
Quota
值相等返回 true;否则 false
true
false
Static
唯一构造口:非负安全整数之外一律 fail-loud(含 NaN/Infinity/小数/负数)。
待摄入的原始配额值
承载不变量的 Quota 实例
配额值对象(架构精度修宪 S2 · P2「值对象按需」本域唯一认定):不变量 = 非负安全整数。
Remarks
违约以原生 Error fail-loud(P1 纯度硬约束:内核/kit 不抛框架异常——HTTP 翻译归 适配器角色文件,见 QuotaGuard)。落点:档位目录(tenant-plans)、生效限额裁决 (QuotaService.effectiveSeatsLimit)、订阅写路径摄入(create-subscription)。 存储与线上(wire)形状仍是 number——VO 只在 kit 内部承载不变量,出边界即
.value。