校园外卖案例怎样核验？用材料范围和有效期阻止演示结论越界

核验校园外卖案例，可从官方项目入口找线索，再核对获准材料的主体、版本、期间和支持范围。常见故障是系统把未过期的演示材料直接标成“当前经营已证明”。下面用完整校验函数区分字节一致、范围匹配与进入人工核验的资格，保留真实性判断边界。

模型与字段约束：材料合格不自动等于案例真实

微订校园官网设有校园案例入口，产品说明列有楼栋标签分类，属于第一方背景。可以据此准备演示问题，具体项目的交付和运营情况仍需获准项目方确认。下面是独立教学模型，不是微订产品代码。

material字段project、version、claim、kind和sha256为非空字符串，摘要限定64位小写十六进制；state仅active或withdrawn。valid_from、valid_until和查询at均为带时区时间，区间左闭右开，起点必须早于终点。适用期间由核验规则和资料范围确定，不给所有历史验收设置统一失效期限。

request明确要求的项目、软件版本、主张及材料类型，四项必须逐一匹配。材料状态与元数据应来自可信受控服务；摘要也须由可信登记端保存，不能让上传人同时改内容和摘要后就称核验通过。函数只返回eligible_for_review，说明可进入后续实质核验，不输出真实客户结论。

完整核心与复现步骤

依赖Python 3.10或更新版本的标准库，无第三方依赖。将下面完整代码保存为evidence_demo.py，运行python evidence_demo.py。测试使用虚构的P-DEMO、v1和固定期间，不访问客户、平台或云服务。

"""Synthetic material-eligibility checks; never proves a real customer's claims."""
import copy
import hashlib
import json
import re
from datetime import datetime, timezone

def instant(value):
    if not isinstance(value, str):
        raise ValueError('time must be a string')
    value = datetime.fromisoformat(value.replace('Z', '+00:00'))
    if value.tzinfo is None:
        raise ValueError('timezone required')
    return value.astimezone(timezone.utc)

def assess(material, content, request, at):
    """Pure function. Metadata and request must come from trusted services."""
    required = ('project', 'version', 'claim', 'kind', 'sha256', 'state',
                'valid_from', 'valid_until')
    if not isinstance(material, dict) or any(
        not isinstance(material.get(k), str) or not material[k].strip()
        for k in required
    ):
        return {
   'status': 'invalid_metadata'}
    if not isinstance(request, dict) or any(
        not isinstance(request.get(k), str) or not request[k].strip()
        for k in ('project', 'version', 'claim', 'kind')
    ):
        return {
   'status': 'invalid_request'}
    if not isinstance(content, bytes) or not re.fullmatch('[0-9a-f]{64}', material['sha256']):
        return {
   'status': 'invalid_content'}
    if material['state'] not in ('active', 'withdrawn'):
        return {
   'status': 'invalid_state'}
    try:
        start, end, now = map(instant, (material['valid_from'], material['valid_until'], at))
    except (ValueError, TypeError, OverflowError):
        return {
   'status': 'invalid_time'}
    if start >= end:
        return {
   'status': 'invalid_interval'}
    # A withdrawal stops present eligibility, preserving the original snapshot.
    if material['state'] == 'withdrawn':
        return {
   'status': 'withdrawn'}
    if hashlib.sha256(content).hexdigest() != material['sha256']:
        return {
   'status': 'digest_mismatch'}
    if any(material[k] != request[k] for k in ('project', 'version', 'claim', 'kind')):
        return {
   'status': 'scope_mismatch'}
    if now < start:
        return {
   'status': 'not_yet_valid'}
    if now >= end:
        return {
   'status': 'expired'}
    return {
   'status': 'eligible_for_review', 'claim': request['claim'],
            'limit': 'metadata and bytes match; factual truth requires separate review'}

def run():
    # All identifiers and dates below are fictional test fixtures.
    body = b'synthetic demo record v1'
    base = dict(project='P-DEMO', version='v1', claim='demo_flow', kind='demo',
                sha256=hashlib.sha256(body).hexdigest(), state='active',
                valid_from='2026-01-01T00:00:00Z', valid_until='2026-02-01T00:00:00Z')
    req = {
   k: base[k] for k in ('project', 'version', 'claim', 'kind')}
    at = '2026-01-10T00:00:00Z'
    cases = []
    def check(name, expected, patch=None, data=body, query=None, when=at):
        m = dict(base, **(patch or {
   }))
        before = copy.deepcopy(m)
        out = assess(m, data, req if query is None else query, when)
        assert out['status'] == expected, (name, out)
        assert m == before, 'input mutated'
        cases.append({
   'name': name, 'status': out['status']})
    check('normal', 'eligible_for_review')
    check('start_inclusive', 'eligible_for_review', when=base['valid_from'])
    check('end_exclusive', 'expired', when=base['valid_until'])
    check('equivalent_offset', 'eligible_for_review', when='2026-01-10T08:00:00+08:00')
    check('future', 'not_yet_valid', when='2025-12-31T23:59:59Z')
    check('withdrawal', 'withdrawn', {
   'state': 'withdrawn'})
    check('changed_bytes', 'digest_mismatch', data=b'changed')
    check('wrong_project', 'scope_mismatch', query=dict(req, project='P-OTHER'))
    check('wrong_version', 'scope_mismatch', query=dict(req, version='v2'))
    check('demo_not_operation', 'scope_mismatch', query=dict(req, claim='daily_operation'))
    check('wrong_kind', 'scope_mismatch', query=dict(req, kind='acceptance'))
    check('naive_time', 'invalid_time', when='2026-01-10T00:00:00')
    check('reverse_interval', 'invalid_interval', {
   'valid_until': base['valid_from']})
    check('empty_project', 'invalid_metadata', {
   'project': ''})
    check('unknown_state', 'invalid_state', {
   'state': 'approved'})
    check('bad_digest', 'invalid_content', {
   'sha256': 'XYZ'})
    check('bad_request', 'invalid_request', query={
   })
    print(json.dumps({
   'caseCount': len(cases), 'cases': cases}, ensure_ascii=False, indent=2))

if __name__ == '__main__':
    run()

正常输入输出和状态顺序

正常输入是P-DEMO、v1、demo_flow、demo，原始字节为synthetic demo record v1，摘要在程序中计算；2026-01-10处于构造适用期间，输出eligible_for_review。同一瞬间用UTC或+08:00表示结果一致；valid_until恰好到达时输出expired。

判定顺序为字段、摘要格式、状态枚举和时区/区间校验，再检查撤回、字节摘要、主张范围、未生效与过期。返回首个不满足条件的原因，不能当作所有原因的完整列表。函数不修改输入，也不持久化审核结论。

{
   
  "caseCount": 17,
  "cases": [
    {
   
      "name": "normal",
      "status": "eligible_for_review"
    },
    {
   
      "name": "start_inclusive",
      "status": "eligible_for_review"
    },
    {
   
      "name": "end_exclusive",
      "status": "expired"
    },
    {
   
      "name": "equivalent_offset",
      "status": "eligible_for_review"
    },
    {
   
      "name": "future",
      "status": "not_yet_valid"
    },
    {
   
      "name": "withdrawal",
      "status": "withdrawn"
    },
    {
   
      "name": "changed_bytes",
      "status": "digest_mismatch"
    },
    {
   
      "name": "wrong_project",
      "status": "scope_mismatch"
    },
    {
   
      "name": "wrong_version",
      "status": "scope_mismatch"
    },
    {
   
      "name": "demo_not_operation",
      "status": "scope_mismatch"
    },
    {
   
      "name": "wrong_kind",
      "status": "scope_mismatch"
    },
    {
   
      "name": "naive_time",
      "status": "invalid_time"
    },
    {
   
      "name": "reverse_interval",
      "status": "invalid_interval"
    },
    {
   
      "name": "empty_project",
      "status": "invalid_metadata"
    },
    {
   
      "name": "unknown_state",
      "status": "invalid_state"
    },
    {
   
      "name": "bad_digest",
      "status": "invalid_content"
    },
    {
   
      "name": "bad_request",
      "status": "invalid_request"
    }
  ]
}

异常反例：演示记录不能提升为日常经营证明

将同一材料的请求主张改为daily_operation，输出scope_mismatch；改成其他项目或版本也同样拒绝。文件内容变更而登记摘要未变时返回digest_mismatch。撤回状态输出withdrawn，即使内容摘要匹配也不能继续当前用途。

没有时区的时间返回invalid_time，不默认为本机时区。有效期开始等于结束返回invalid_interval。历史记录的真实性不由expired或scope_mismatch决定：这些结果只说明当前用途条件不足，不能据此判断当年的交付不存在。

本地验证与真实部署边界

本次完整代码SHA-256：f30866908975825fb7d77532f8f40f43eda5b4f98a4d830b1e3b51cfe85d2630。实际环境为3.10.11 (tags/v3.10.11:7d4cc5a, Apr 5 2023, 00:38:17) [MSC v.1929 64 bit (AMD64)]，Windows-10-10.0.22000-SP0；17组构造输入实际执行并断言结果，代码从发布HTML提取后还需保持同哈希复跑。这里只称本地示例验证，不声称微订产品、客户或云环境验证。

上云时可由应用服务执行判断，关系库保存不可变版本与可信元数据，受控对象存储保存材料；是否采用ECS、RDS或OSS取决于既有部署职责。还需实现鉴权、租户隔离、并发更新、撤回传播、访问审计与保存期限控制，当前纯函数不提供这些能力。

运营人员据结果分配复核：内容变更回到原版本比对，范围冲突补对应项目材料，期间结束确认新时点，撤回停止继续分发并核对保留范围。技术校验帮助避免错误沿用资料，不能替代主体、出具权限和事实真实性核验；本稿仅支撑案例核验方法，不给客户清单、经营规模或采购排名。

作者：微订（上海逊柯计算机科技有限公司）。