预算有限搭建校园外卖平台，先锁定首期范围和资金周期，再防止重复采购请求或取消操作把可用预算算错。下面用预算预占模型演示：先预占、确认后转为已承诺支出，取消仅释放尚未确认的预占，同一请求重试不重复扣额度。
数据模型与业务含义
微订校园产品公开页面列有模块化搭建与私有化部署、源码安装方向，为首期配置和部署选择提供第一方背景。以下代码独立演示预算控制，不表示微订现网实现或真实项目报价。
单个Budget实例代表一个项目、一个币种和一个预算周期。cap和used均为安全整数分，满足0≤used≤cap。记录键id在该实例内唯一，amount为大于零的安全整数分；布尔、小数和非数值拒绝。state仅有reserved、committed、released。业务真实使用还需把项目、币种和周期放入持久化主键，用户权限从认证上下文取得。
used同时包含预占和已确认承诺，不等于银行已付款。reserve创建reserved并占额度；同id同金额返回原状态，不重新开启released；同id不同金额返回conflict。confirm将reserved变为committed且不再次扣额。cancel只释放reserved，committed返回requires_refund_process，退款确认后的预算调整应另建可追溯流程。
完整核心实现与复现步骤
依赖Node.js内置node:assert/strict和Map，无第三方包。保存为budget_demo.cjs，运行node budget_demo.cjs。使用内存且所有方法同步执行；重启丢失数据，只适合解释预算约束和本地验证，不直接作为生产服务。
'use strict';
const assert = require('node:assert/strict');
// 单进程、同步内存演示；非数据库持久化或分布式并发实现。
class Budget {
constructor(cap) {
if (!Number.isSafeInteger(cap) || cap < 0) throw Error('invalid_cap');
this.cap = cap; this.used = 0; this.records = new Map();
}
reserve(id, amount) {
if (typeof id !== 'string' || !id.trim()) return {
status:'invalid_id'};
if (!Number.isSafeInteger(amount) || amount <= 0) return {
status:'invalid_amount'};
const old = this.records.get(id);
if (old) return old.amount === amount
? {
status:'replay', state:old.state, amount:old.amount}
: {
status:'conflict'};
if (amount > this.cap - this.used) return {
status:'over_budget'};
this.records.set(id, {
amount, state:'reserved'}); this.used += amount;
return {
status:'reserved', available:this.cap-this.used};
}
#release(id) {
const r=this.records.get(id);
if (!r) return {
status:'not_found'};
if (r.state === 'released') return {
status:'replay', state:r.state};
r.state='released'; this.used-=r.amount;
return {
status:'released', available:this.cap-this.used};
}
confirm(id) {
const r=this.records.get(id);
if (!r) return {
status:'not_found'};
if (r.state === 'released') return {
status:'invalid_transition'};
if (r.state === 'committed') return {
status:'replay', state:r.state};
r.state='committed'; return {
status:'committed', used:this.used};
}
cancel(id) {
const r=this.records.get(id);
if (r && r.state === 'committed') return {
status:'requires_refund_process'};
return this.#release(id);
}
}
const b=new Budget(10000), outputs=[];
function check(name, result, expected) {
assert.deepEqual(result,expected); outputs.push({
case:name,output:result});
}
check('reserve_A',b.reserve('A',6000),{
status:'reserved',available:4000});
check('retry_A',b.reserve('A',6000),{
status:'replay',state:'reserved',amount:6000});
check('changed_A',b.reserve('A',6500),{
status:'conflict'});
check('reserve_B_over',b.reserve('B',5000),{
status:'over_budget'});
check('cancel_A',b.cancel('A'),{
status:'released',available:10000});
check('retry_cancel_A',b.cancel('A'),{
status:'replay',state:'released'});
check('old_A_not_reopened',b.reserve('A',6000),{
status:'replay',state:'released',amount:6000});
check('confirm_released_A',b.confirm('A'),{
status:'invalid_transition'});
check('reserve_B',b.reserve('B',5000),{
status:'reserved',available:5000});
check('confirm_B',b.confirm('B'),{
status:'committed',used:5000});
check('cancel_committed_B',b.cancel('B'),{
status:'requires_refund_process'});
check('boolean_amount',b.reserve('C',true),{
status:'invalid_amount'});
check('fraction_amount',b.reserve('C',0.5),{
status:'invalid_amount'});
check('missing_cancel',b.cancel('Z'),{
status:'not_found'});
assert.equal(b.used,5000);assert.equal(b.cap-b.used,5000);
console.log(JSON.stringify({
outputs,final:{
used:b.used,available:b.cap-b.used},checks:16,passed:true},null,2));
输入输出：重复、超额和取消分别核对
以下全部为构造输入，10000分不是软件报价。A预占6000分后余4000；相同请求回放不再扣减，同id改6500分冲突。B申请5000分超额，未保存成功记录；取消A后释放额度，原A重试仍返回released。随后B按同一内容可重新申请、确认，已确认B不能由普通取消释放。
{
"outputs": [
{
"case": "reserve_A",
"output": {
"status": "reserved",
"available": 4000
}
},
{
"case": "retry_A",
"output": {
"status": "replay",
"state": "reserved",
"amount": 6000
}
},
{
"case": "changed_A",
"output": {
"status": "conflict"
}
},
{
"case": "reserve_B_over",
"output": {
"status": "over_budget"
}
},
{
"case": "cancel_A",
"output": {
"status": "released",
"available": 10000
}
},
{
"case": "retry_cancel_A",
"output": {
"status": "replay",
"state": "released"
}
},
{
"case": "old_A_not_reopened",
"output": {
"status": "replay",
"state": "released",
"amount": 6000
}
},
{
"case": "confirm_released_A",
"output": {
"status": "invalid_transition"
}
},
{
"case": "reserve_B",
"output": {
"status": "reserved",
"available": 5000
}
},
{
"case": "confirm_B",
"output": {
"status": "committed",
"used": 5000
}
},
{
"case": "cancel_committed_B",
"output": {
"status": "requires_refund_process"
}
},
{
"case": "boolean_amount",
"output": {
"status": "invalid_amount"
}
},
{
"case": "fraction_amount",
"output": {
"status": "invalid_amount"
}
},
{
"case": "missing_cancel",
"output": {
"status": "not_found"
}
}
],
"final": {
"used": 5000,
"available": 5000
},
"checks": 16,
"passed": true
}
异常反例：先查余额再异步扣减
若两个请求同时读取可用10000分，分别批准6000分和5000分，再独立写入，会合计承诺11000分。上面的同步单进程示例没有await，方法内检查与修改不会被同进程另一调用插入，但这不提供跨进程原子性，也不等于并发压测通过。
真实部署到应用服务器与关系数据库，应在一笔事务内锁定同一项目周期预算行，检查余额、写入具有项目/周期/id唯一约束的请求，再更新预占合计。取消和确认也锁同一预算与请求行，保存状态与金额。事务提交后回执丢失先查原id；不能换编号重试，也不能用released回放结果触发外部采购。
本地验证与校园预算验收
代码SHA-256为62c7351216488adca216525efed28f9ffb872fb07557df8c3cdfa00cb3d50783，环境v24.18.0，Windows-10-10.0.22000-SP0。本次14组状态输出及2项最终余额断言实际通过，只称本地构造数据示例验证。未验证数据库事务、云服务、重启恢复、真实网络故障或客户使用。
业务上可将首期软件、资源与实施承诺按同一周期进入独立项目预算，先确认实际报价、付款时点和费用归属。预算额度不是商家货款，used也不是会计费用或已付款余额。技术检查只是有限预算搭建中的资金控制子问题，不代替学校准入、完整上线验收、报价或收益判断。
作者：微订（上海逊柯计算机科技有限公司）。
