项目编号：20261023-004。公开产品简介只提供需求方向；源码、测试与合成输入独立编写，不依赖对应产品。
场景与问题边界
对非负整数计数执行精确阈值比较，分母为零显式未知，汇总用BigInt避免整数总和失真。代码复核发现交换包精确分数阈值核验器面向调用者已经持有并脱敏导出的记录，不爬取网站、不访问账户，也不声称兼容某一厂商的私有导出格式。实际目的在于把一个容易被含糊处理的小规则变为可运行、可复查的本地工具：结果必须说明检查了什么、无法判断什么。相似不代表重复，缺号不代表真实丢失，轨迹合法也不代表操作确实发生。输出中的限制并不是免责填充，而是使用这类导出检查器时必须保持的解释边界。
输入契约
当前已核验计数与总数字段均为非负安全整数，已核验数不得超过总数。阈值为0至1的安全整数分数；分母0明确unknown，不静默当成0。汇总数值输出十进制字符串。
{"id":"string","verifiedFindings":"number","allFindings":"number"}记录id精确匹配且全批唯一，不自动修剪标识或把字符串数字转换成数值。普通工具最多接受1000条记录，集合成对比较单独限制为150条，避免二次方结果无限膨胀；字符串数组最多256项。错误字段、重复id、负数和不安全整数会明确报错，不能把无效输入默默转成“通过”。所有示例都是可手工复核的小规模合成数据。实际导入前应主动剔除密钥、个人信息与无关字段。
合成样本与实际结果
{"thresholdNumerator":1,"thresholdDenominator":2,"records":[{"id":"a","verifiedFindings":3,"allFindings":4},{"id":"b","verifiedFindings":1,"allFindings":2},{"id":"c","verifiedFindings":0,"allFindings":0}]}当前实际执行的报告为：
{"records":[{"id":"a","relation":"above"},{"id":"b","relation":"equal"},{"id":"c","relation":"unknown"}],"aggregate":{"numerator":"4","denominator":"6","relation":"above","unknownRecords":1},"note":"汇总为合并计数之比，不是各记录比例的算术平均。零分母不当作0或通过。"}核心实现
校验函数负责输入类型和规模，分析函数只实现本项目的一种规则。不同报告不共享不透明的计分器，也不把界面上的标签伪装成真正计算。排序使用明确码元顺序，避免对默认locale的隐含依赖；分析复制数组，不修改调用者记录。需要比较整数分数时用BigInt交叉乘法，不能用可能掩盖边界的浮点近似。以下为压缩包实际核心源码，页面与Node报告脚本直接导入同一个模块。
exportconstMETA={"id":"20261023-004","title":"代码复核发现交换包精确分数阈值核验器","focus":"对非负整数计数执行精确阈值比较，分母为零显式未知，汇总用BigInt避免整数总和失真"};exportconstCFG={"kind":"ratio","amount":"inspectionUnits","tokens":"findingTags","hit":"verifiedFindings","total":"allFindings","path":"findingStates","stream":"reviewStream"};exportconstSCHEMA={"id":"string","verifiedFindings":"number","allFindings":"number"};exportconstSAMPLE={"thresholdNumerator":1,"thresholdDenominator":2,"records":[{"id":"a","verifiedFindings":3,"allFindings":4},{"id":"b","verifiedFindings":1,"allFindings":2},{"id":"c","verifiedFindings":0,"allFindings":0}]};functionvalidated(input){constmaximum=CFG.kind==='jaccard'?150:1000;if(!input||typeofinput!=='object'||Array.isArray(input)||!Array.isArray(input.records)||input.records.length>maximum)thrownewTypeError('必须提供records数组，当前上限'+maximum+'条');constseen=newSet();returninput.records.map(r=>{if(!r||typeofr!=='object'||Array.isArray(r))thrownewTypeError('记录必须是对象');for(const[k,t]ofObject.entries(SCHEMA)){constv=r[k];if(t==='strings'||t==='path'){if(!Array.isArray(v)||v.length>256||v.some(s=>typeofs!=='string'||!s.trim())||(t==='strings'&&newSet(v).size!==v.length)||(t==='path'&&v.length===0))thrownewTypeError('字符串数组字段错误：'+k);}elseif(typeofv!==t||(t==='string'&&!v.trim())||(t==='number'&&(!Number.isSafeInteger(v)||v<0)))thrownewTypeError('字段错误：'+k);}if(seen.has(r.id))thrownewRangeError('重复id：'+r.id);seen.add(r.id);returnr;}).slice().sort((a,b)=>a.id<b.id?-1:a.id>b.id?1:0);}exportfunctionanalyze(input){constrows=validated(input),p=input.thresholdNumerator,q=input.thresholdDenominator;if(!Number.isSafeInteger(p)||!Number.isSafeInteger(q)||p<0||q<=0||p>q)thrownewRangeError('阈值必须为0至1的非负整数分数');constclassify=(n,d)=>d===0n?'unknown':n*BigInt(q)>BigInt(p)*d?'above':n*BigInt(q)<BigInt(p)*d?'below':'equal';lethits=0n,total=0n,unknown=0;constrecords=rows.map(r=>{constn=BigInt(r[CFG.hit]),d=BigInt(r[CFG.total]);if(n>d)thrownewRangeError('已核验计数不得超过总数');constrelation=classify(n,d);if(relation==='unknown')unknown++;else{hits+=n;total+=d;}return{id:r.id,relation};});return{records,aggregate:{numerator:hits.toString(),denominator:total.toString(),relation:classify(hits,total),unknownRecords:unknown},note:'汇总为合并计数之比，不是各记录比例的算术平均。零分母不当作0或通过。'};}运行与测试结果
使用Node.js 18或以上版本，无第三方运行依赖。在project目录执行npm test，实际调用node --test；执行npm run report，生成dist/report.json与dist/report.html。浏览器演示应先运行python3 -m http.server 8080，再访问http://localhost:8080并点击“运行分析”。直接双击HTML可能触发file协议的模块限制，不应据此把服务端未启动误报成算法故障。
本次执行8项自动化测试通过，包含样本的具体数值与结构结果、算法专属边界、非法顶层、缺失字段、错误字段类型、重复id、输入不可变性，以及换序后结果一致。测试源码位于test/，实际命令输出在docs/测试输出.txt。这些证据证明列出的合成案例通过，不证明所有业务数据都正确。尤其状态配置来自调用者，工具不会把一份错误的规则表变成正确的真实业务规范。
真实截图如何核验
浏览器通过本地静态服务打开项目，点击运行后将页面#output中的JSON与Node生成的报告逐项比较，再截取screenshots/运行效果.jpg。画面包含项目编号、输入与实际分析结果，不是绘制的总结图片，也不是第三方官方截图。browser-evidence.json保存捕获时刻和源码、图片的SHA-256；更改源码后应重跑并重新截图，旧证据不能为修改后的文件背书。
限制与扩展
顺序切批不会重新优化任务顺序，集合相似只衡量精确字符串交并关系，状态迁移只检查显式轨迹，分数核验不代表统计显著性，断号检测也无法判断上游采集是否完整。程序不发送请求、不执行部署、不变更流程状态、不合并记录、不实施业务筛选。不能将候选列表、通过标识或数学比例冒充平台官方结论或效果承诺。
所有分析在内存中执行，未做生产压力测试，不提供访问控制、持久存储或多人权限。页面使用textContent显示结果，离线HTML报告进行基础转义，但这不等于完整安全审计。若要扩展CSV导入或可变字段映射，应先补一个预期失败的反例，明确规模与单位，再实现功能。输出格式改变时同步修订测试、README和截图，避免文章与可运行代码逐渐脱节。
源码资源与授权
配套原创源码资源采用独立提交轨道。目前因资源作者认证及已知付费上传额度门禁，尚未获得平台正式接受，不能声称已进入审核；门禁解除后再提交。当前没有可核验的公开下载地址，不虚构链接。平台资源可用后才回填官方URL，并尝试原生资源卡。每包包含README、MIT LICENSE、原创授权声明、合成数据、自动化测试和真实运行截图，不包含热点产品的代码、权重、品牌素材、官方截图或受限内容。
标签：JavaScript、JSON、数据核验
