實際呼叫,再把路由留下來。
本頁實際呼叫 executeInspection,讀取其輸出與 trace。原路由忽略加法需求而選乘法;候選路由依 explicit operation 選算子。程式以 TypeScript 執行,示意的需求、候選與判定規則均由人預先寫好。
const request = { left: 3, right: 5, operation: "sum" };
const original = executeInspection(request, "original");
const candidate = executeInspection(request, "candidate");
const product = executeInspection(
{ ...request, operation: "product" }, "candidate"
);
const interventions = inspectInterventions(request);
以下紀錄由這次示意函數呼叫返回,不是以敘事補上的假執行,也不是模型的思考過程。
原路由的實際 trace
[
{
"part": "requirement",
"input": "{\"left\":3,\"right\":5,\"operation\":\"sum\"}",
"output": "3 + 5 = 8"
},
{
"part": "resolver",
"input": "{\"left\":3,\"right\":5}",
"output": "product"
},
{
"part": "arithmetic",
"input": "3 × 5",
"output": "15"
},
{
"part": "check",
"input": "actual=15; reference=8",
"output": "mismatch"
}
]
候選路由的實際 trace
[
{
"part": "requirement",
"input": "{\"left\":3,\"right\":5,\"operation\":\"sum\"}",
"output": "3 + 5 = 8"
},
{
"part": "resolver",
"input": "{\"left\":3,\"right\":5,\"operation\":\"sum\"}",
"output": "sum"
},
{
"part": "arithmetic",
"input": "3 + 5",
"output": "8"
},
{
"part": "check",
"input": "actual=8; reference=8",
"output": "match"
}
]
同一輸入的實際輸出
- 原路由選中
- product
- 原路由輸出
- 15 與加法要求不符
- 候選路由選中
- sum
- 候選路由輸出
- 8 符合要求
- 乘法需求的候選對照
- 15 product
- 移除需求感知路由的消融
- 15 product
原路由的 3 × 5 = 15 算得正確,錯在需求是求和。候選不是把答案寫死成 8;換成求積,仍執行乘法。單個替換消融回到固定乘法,讓加法錯誤重現。這些結論只涵蓋此人工程式及指定條件。
消融返回的實際 trace
[
{
"part": "requirement",
"input": "{\"left\":3,\"right\":5,\"operation\":\"sum\"}",
"output": "3 + 5 = 8"
},
{
"part": "resolver",
"input": "{\"left\":3,\"right\":5}",
"output": "product"
},
{
"part": "arithmetic",
"input": "3 × 5",
"output": "15"
},
{
"part": "check",
"input": "actual=15; reference=8",
"output": "mismatch"
}
]