公式快取較舊，匯入時為何要暫停？

先核來源與已訂規則

本例抽取約定要 R2 快取依據。公式 2+3 的快取卻是 R1 留下的 4，要暫停；例子不執行公式，也不能因看似易算便自行填新值。

已填假設輸入
紀錄	輸入 JSON
原例輸入	{"formula":"2+3","cache":4,"cacheRevision":"R1","requiredRevision":"R2"}

下載可編輯 CSV ↓

比較兩條實際路徑

更正保留公式及快取 4，列明依據不足。符合本例版本的快取 5 可收；版本相符是此處收件門檻，不是所有公式均正確的證明。

錯誤與更正路徑的輸出
路徑	輸出 JSON
錯誤路徑	{"accepted":true,"value":4,"formula":"2+3"}
更正路徑	{"accepted":false,"error":"cache-evidence-gap","formula":"2+3","retainedCache":4}

下載可編輯 CSV ↓

本地 Node.js 程序：22.23.3 或 24.14.1

import {DatabaseSync} from 'node:sqlite';
import {TextDecoder} from 'node:util';
import {inflateSync} from 'node:zlib';
import {posix} from 'node:path';
import {createHash} from 'node:crypto';
const rows=(db,sql)=>db.prepare(sql).all().map(r=>({...r}));
const failed=(action)=>{try{action();return null;}catch(e){return {code:e.errcode??e.code??e.name};}};

import assert from 'node:assert/strict';
const run=function run(i,corrected=true){
    if(corrected&&(i.cache===null||i.cacheRevision!==i.requiredRevision))return {accepted:false,error:'cache-evidence-gap',formula:i.formula,retainedCache:i.cache};
    return {accepted:true,value:i.cache,formula:i.formula};
  };
const cases=[{"label":"misleading base","input":{"formula":"2+3","cache":4,"cacheRevision":"R1","requiredRevision":"R2"},"expected":{"accepted":true,"value":4,"formula":"2+3"},"corrected":false},{"label":"corrected base","input":{"formula":"2+3","cache":4,"cacheRevision":"R1","requiredRevision":"R2"},"expected":{"accepted":false,"error":"cache-evidence-gap","formula":"2+3","retainedCache":4},"corrected":true},{"label":"matching declared cache evidence","input":{"formula":"2+3","cache":5,"cacheRevision":"R2","requiredRevision":"R2"},"expected":{"accepted":true,"value":5,"formula":"2+3"},"corrected":true},{"label":"no cached result","input":{"formula":"2+3","cache":null,"cacheRevision":"R2","requiredRevision":"R2"},"expected":{"accepted":false,"error":"cache-evidence-gap","formula":"2+3","retainedCache":null},"corrected":true}];
for(const test of cases){
  const actual=run(test.input,test.corrected);
  assert.deepEqual(actual,test.expected,test.label);
  console.log(test.label,actual);
}

下載可執行例子 ↓

下次載入前核邊界

R2 配快取 5 可收；沒有快取，即使標 R2 也要停。

可編輯邊界紀錄及預期輸出
情況	輸入 JSON	預期輸出 JSON
快取依據版本相符	{"formula":"2+3","cache":5,"cacheRevision":"R2","requiredRevision":"R2"}	{"accepted":true,"value":5,"formula":"2+3"}
尚無快取結果	{"formula":"2+3","cache":null,"cacheRevision":"R2","requiredRevision":"R2"}	{"accepted":false,"error":"cache-evidence-gap","formula":"2+3","retainedCache":null}

下載可編輯 CSV ↓

匯入程序可否自行把快取 4 換 5？

查看參考答案

不可，程序沒有執行公式或更新依據的步驟。先保留 4，補齊所需快取依據才收。

先核來源與已訂規則

比較兩條實際路徑

下次載入前核邊界

相關資源