核發(fā)現(xiàn)交換包精確分?jǐn)?shù)閾值核驗器:邊界規(guī)則、可運(yùn)行源碼與驗收)
項目編號20261023-004。公開產(chǎn)品簡介只提供需求方向源碼、測試與合成輸入獨(dú)立編寫不依賴對應(yīng)產(chǎn)品。場景與問題邊界對非負(fù)整數(shù)計數(shù)執(zhí)行精確閾值比較分母為零顯式未知匯總用BigInt避免整數(shù)總和失真。代碼復(fù)核發(fā)現(xiàn)交換包精確分?jǐn)?shù)閾值核驗器面向調(diào)用者已經(jīng)持有并脫敏導(dǎo)出的記錄不爬取網(wǎng)站、不訪問賬戶也不聲稱兼容某一廠商的私有導(dǎo)出格式。實際目的在于把一個容易被含糊處理的小規(guī)則變?yōu)榭蛇\(yùn)行、可復(fù)查的本地工具結(jié)果必須說明檢查了什么、無法判斷什么。相似不代表重復(fù)缺號不代表真實丟失軌跡合法也不代表操作確實發(fā)生。輸出中的限制并不是免責(zé)填充而是使用這類導(dǎo)出檢查器時必須保持的解釋邊界。輸入契約當(dāng)前已核驗計數(shù)與總數(shù)字段均為非負(fù)安全整數(shù)已核驗數(shù)不得超過總數(shù)。閾值為0至1的安全整數(shù)分?jǐn)?shù)分母0明確unknown不靜默當(dāng)成0。匯總數(shù)值輸出十進(jìn)制字符串。{id:string,verifiedFindings:number,allFindings:number}記錄id精確匹配且全批唯一不自動修剪標(biāo)識或把字符串?dāng)?shù)字轉(zhuǎn)換成數(shù)值。普通工具最多接受1000條記錄集合成對比較單獨(dú)限制為150條避免二次方結(jié)果無限膨脹字符串?dāng)?shù)組最多256項。錯誤字段、重復(fù)id、負(fù)數(shù)和不安全整數(shù)會明確報錯不能把無效輸入默默轉(zhuǎn)成“通過”。所有示例都是可手工復(fù)核的小規(guī)模合成數(shù)據(jù)。實際導(dǎo)入前應(yīng)主動剔除密鑰、個人信息與無關(guān)字段。合成樣本與實際結(jié)果{thresholdNumerator:1,thresholdDenominator:2,records:[{id:a,verifiedFindings:3,allFindings:4},{id:b,verifiedFindings:1,allFindings:2},{id:c,verifiedFindings:0,allFindings:0}]}當(dāng)前實際執(zhí)行的報告為{records:[{id:a,relation:above},{id:b,relation:equal},{id:c,relation:unknown}],aggregate:{numerator:4,denominator:6,relation:above,unknownRecords:1},note:匯總為合并計數(shù)之比不是各記錄比例的算術(shù)平均。零分母不當(dāng)作0或通過。}核心實現(xiàn)校驗函數(shù)負(fù)責(zé)輸入類型和規(guī)模分析函數(shù)只實現(xiàn)本項目的一種規(guī)則。不同報告不共享不透明的計分器也不把界面上的標(biāo)簽偽裝成真正計算。排序使用明確碼元順序避免對默認(rèn)locale的隱含依賴分析復(fù)制數(shù)組不修改調(diào)用者記錄。需要比較整數(shù)分?jǐn)?shù)時用BigInt交叉乘法不能用可能掩蓋邊界的浮點(diǎn)近似。以下為壓縮包實際核心源碼頁面與Node報告腳本直接導(dǎo)入同一個模塊。exportconstMETA{id:20261023-004,title:代碼復(fù)核發(fā)現(xiàn)交換包精確分?jǐn)?shù)閾值核驗器,focus:對非負(fù)整數(shù)計數(shù)執(zhí)行精確閾值比較分母為零顯式未知匯總用BigInt避免整數(shù)總和失真};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){constmaximumCFG.kindjaccard?150:1000;if(!input||typeofinput!object||Array.isArray(input)||!Array.isArray(input.records)||input.records.lengthmaximum)thrownewTypeError(必須提供records數(shù)組當(dāng)前上限maximum條);constseennewSet();returninput.records.map(r{if(!r||typeofr!object||Array.isArray(r))thrownewTypeError(記錄必須是對象);for(const[k,t]ofObject.entries(SCHEMA)){constvr[k];if(tstrings||tpath){if(!Array.isArray(v)||v.length256||v.some(stypeofs!string||!s.trim())||(tstringsnewSet(v).size!v.length)||(tpathv.length0))thrownewTypeError(字符串?dāng)?shù)組字段錯誤k);}elseif(typeofv!t||(tstring!v.trim())||(tnumber(!Number.isSafeInteger(v)||v0)))thrownewTypeError(字段錯誤k);}if(seen.has(r.id))thrownewRangeError(重復(fù)idr.id);seen.add(r.id);returnr;}).slice().sort((a,b)a.idb.id?-1:a.idb.id?1:0);}exportfunctionanalyze(input){constrowsvalidated(input),pinput.thresholdNumerator,qinput.thresholdDenominator;if(!Number.isSafeInteger(p)||!Number.isSafeInteger(q)||p0||q0||pq)thrownewRangeError(閾值必須為0至1的非負(fù)整數(shù)分?jǐn)?shù));constclassify(n,d)d0n?unknown:n*BigInt(q)BigInt(p)*d?above:n*BigInt(q)BigInt(p)*d?below:equal;lethits0n,total0n,unknown0;constrecordsrows.map(r{constnBigInt(r[CFG.hit]),dBigInt(r[CFG.total]);if(nd)thrownewRangeError(已核驗計數(shù)不得超過總數(shù));constrelationclassify(n,d);if(relationunknown)unknown;else{hitsn;totald;}return{id:r.id,relation};});return{records,aggregate:{numerator:hits.toString(),denominator:total.toString(),relation:classify(hits,total),unknownRecords:unknown},note:匯總為合并計數(shù)之比不是各記錄比例的算術(shù)平均。零分母不當(dāng)作0或通過。};}運(yùn)行與測試結(jié)果使用Node.js 18或以上版本無第三方運(yùn)行依賴。在project目錄執(zhí)行npm test實際調(diào)用node --test執(zhí)行npm run report生成dist/report.json與dist/report.html。瀏覽器演示應(yīng)先運(yùn)行python3 -m http.server 8080再訪問http://localhost:8080并點(diǎn)擊“運(yùn)行分析”。直接雙擊HTML可能觸發(fā)file協(xié)議的模塊限制不應(yīng)據(jù)此把服務(wù)端未啟動誤報成算法故障。本次執(zhí)行8項自動化測試通過包含樣本的具體數(shù)值與結(jié)構(gòu)結(jié)果、算法專屬邊界、非法頂層、缺失字段、錯誤字段類型、重復(fù)id、輸入不可變性以及換序后結(jié)果一致。測試源碼位于test/實際命令輸出在docs/測試輸出.txt。這些證據(jù)證明列出的合成案例通過不證明所有業(yè)務(wù)數(shù)據(jù)都正確。尤其狀態(tài)配置來自調(diào)用者工具不會把一份錯誤的規(guī)則表變成正確的真實業(yè)務(wù)規(guī)范。真實截圖如何核驗瀏覽器通過本地靜態(tài)服務(wù)打開項目點(diǎn)擊運(yùn)行后將頁面#output中的JSON與Node生成的報告逐項比較再截取screenshots/運(yùn)行效果.jpg。畫面包含項目編號、輸入與實際分析結(jié)果不是繪制的總結(jié)圖片也不是第三方官方截圖。browser-evidence.json保存捕獲時刻和源碼、圖片的SHA-256更改源碼后應(yīng)重跑并重新截圖舊證據(jù)不能為修改后的文件背書。限制與擴(kuò)展順序切批不會重新優(yōu)化任務(wù)順序集合相似只衡量精確字符串交并關(guān)系狀態(tài)遷移只檢查顯式軌跡分?jǐn)?shù)核驗不代表統(tǒng)計顯著性斷號檢測也無法判斷上游采集是否完整。程序不發(fā)送請求、不執(zhí)行部署、不變更流程狀態(tài)、不合并記錄、不實施業(yè)務(wù)篩選。不能將候選列表、通過標(biāo)識或數(shù)學(xué)比例冒充平臺官方結(jié)論或效果承諾。所有分析在內(nèi)存中執(zhí)行未做生產(chǎn)壓力測試不提供訪問控制、持久存儲或多人權(quán)限。頁面使用textContent顯示結(jié)果離線HTML報告進(jìn)行基礎(chǔ)轉(zhuǎn)義但這不等于完整安全審計。若要擴(kuò)展CSV導(dǎo)入或可變字段映射應(yīng)先補(bǔ)一個預(yù)期失敗的反例明確規(guī)模與單位再實現(xiàn)功能。輸出格式改變時同步修訂測試、README和截圖避免文章與可運(yùn)行代碼逐漸脫節(jié)。源碼資源與授權(quán)配套原創(chuàng)源碼資源采用獨(dú)立提交軌道。目前因資源作者認(rèn)證及已知付費(fèi)上傳額度門禁尚未獲得平臺正式接受不能聲稱已進(jìn)入審核門禁解除后再提交。當(dāng)前沒有可核驗的公開下載地址不虛構(gòu)鏈接。平臺資源可用后才回填官方URL并嘗試原生資源卡。每包包含README、MIT LICENSE、原創(chuàng)授權(quán)聲明、合成數(shù)據(jù)、自動化測試和真實運(yùn)行截圖不包含熱點(diǎn)產(chǎn)品的代碼、權(quán)重、品牌素材、官方截圖或受限內(nèi)容。標(biāo)簽JavaScript、JSON、數(shù)據(jù)核驗