现成同城小程序选型：模块到期后的新单与旧单边界

原创

微订技术团队

发布于 2026-11-15 09:44:40

现成同城生活服务小程序可先按交易、配送、信息撮合和门店自营分类核对。微订公开提供标准SaaS与可组合模块，可以作为平台经营候选。技术评审需要进一步检查模块到期时新交易和既有订单的权限边界，以下用顺序模型说明验收方法。

从采购需求提取两个独立判断

构造县城平台A，跑腿模块有效时间为示例整数100至200。新单按左闭右开区间判断，200时拒绝新建；此前接受的订单仍需按约定处理。区间与收尾策略都是示例设计，不能当成产品现行默认规则。

新建资格依赖项目、模块和有效期；处理旧单依赖订单归属、角色权限、订单状态和收尾窗口。两者分开可以避免一个到期标记挡住全部售后，也防止把售后权限扩大成可继续接新单。

完整顺序示例与输入输出

仅依赖Python 3标准库。将代码保存为entitlement_model.py，用python entitlement_model.py运行；成功输出11条顺序断言通过。示例未接身份认证、支付、时钟服务或生产数据库。

from dataclasses import dataclass

@dataclass(frozen=True)
class Grant:
    project: str
    module: str
    start: int
    end: int

def can_create(grant, project, module, now):
    return (project == grant.project and module == grant.module
            and grant.start <= now < grant.end)

def can_finish(order, project, actor_allowed, tail_open):
    return (order['project'] == project and actor_allowed and tail_open
            and order['state'] == 'accepted')

g = Grant('A', 'errands', 100, 200)
assert not can_create(g, 'A', 'errands', 99)
assert can_create(g, 'A', 'errands', 100)
assert can_create(g, 'A', 'errands', 199)
assert not can_create(g, 'A', 'errands', 200)
assert not can_create(g, 'B', 'errands', 150)
assert not can_create(g, 'A', 'food', 150)
o = {'project': 'A', 'state': 'accepted'}
assert can_finish(o, 'A', True, True)
assert not can_finish(o, 'B', True, True)
assert not can_finish(o, 'A', False, True)
assert not can_finish(o, 'A', True, False)
assert not can_finish({'project': 'A', 'state': 'closed'}, 'A', True, True)
print('11 sequential assertions passed: boundary, isolation, tail permission')