Codex
79 lines
2.5 KiB
TypeScript
79 lines
2.5 KiB
TypeScript
import assert from "node:assert/strict";
|
|
import { test } from "bun:test";
|
|
|
|
import { classifyQuickVerifyCleanupStep, quickVerifyCleanupFindings } from "./hwlab-node-web-sentinel-p5-observe";
|
|
|
|
function forceStopStep(observer: Record<string, unknown>): Record<string, unknown> {
|
|
return {
|
|
phase: "observe-stop-after-terminal",
|
|
ok: false,
|
|
payload: {
|
|
ok: false,
|
|
status: "blocked",
|
|
forceReason: "graceful-stop-not-consumed",
|
|
observer: {
|
|
command: "web-probe-observe force-stop",
|
|
...observer,
|
|
},
|
|
valuesRedacted: true,
|
|
},
|
|
valuesRedacted: true,
|
|
};
|
|
}
|
|
|
|
test("quick verify cleanup downgrades abandoned graceful stop when force stop confirms not alive", () => {
|
|
const step = forceStopStep({
|
|
aliveBefore: true,
|
|
aliveAfter: false,
|
|
termSent: true,
|
|
killSent: true,
|
|
pendingAbandoned: 1,
|
|
processingAbandoned: 0,
|
|
});
|
|
|
|
const cleanup = classifyQuickVerifyCleanupStep(step);
|
|
assert.equal(cleanup.cleanupClass, "bounded-force-stop");
|
|
assert.equal(cleanup.gracefulStopOk, false);
|
|
assert.equal(cleanup.forceStopOk, true);
|
|
assert.equal(cleanup.aliveAfter, false);
|
|
assert.equal(cleanup.pendingAbandoned, 1);
|
|
assert.deepEqual(quickVerifyCleanupFindings(step), []);
|
|
});
|
|
|
|
test("quick verify cleanup emits WBC-096 when force stop leaves observer alive", () => {
|
|
const step = forceStopStep({
|
|
aliveBefore: true,
|
|
aliveAfter: true,
|
|
termSent: true,
|
|
killSent: false,
|
|
pendingAbandoned: 0,
|
|
processingAbandoned: 1,
|
|
});
|
|
|
|
const cleanup = classifyQuickVerifyCleanupStep(step);
|
|
const findings = quickVerifyCleanupFindings(step);
|
|
assert.equal(cleanup.cleanupClass, "observer-stop-failed");
|
|
assert.equal(cleanup.forceStopOk, false);
|
|
assert.equal(cleanup.aliveAfter, true);
|
|
assert.equal(findings.length, 1);
|
|
assert.equal(findings[0]?.id, "quick-verify-observer-stop-failed");
|
|
assert.match(String(findings[0]?.evidenceSummary), /aliveAfter=true/u);
|
|
});
|
|
|
|
test("quick verify cleanup emits WBC-096 when stopped state cannot be confirmed", () => {
|
|
const step = forceStopStep({
|
|
aliveBefore: true,
|
|
termSent: true,
|
|
killSent: true,
|
|
pendingAbandoned: 1,
|
|
processingAbandoned: 0,
|
|
});
|
|
|
|
const cleanup = classifyQuickVerifyCleanupStep(step);
|
|
const findings = quickVerifyCleanupFindings(step);
|
|
assert.equal(cleanup.cleanupClass, "observer-stop-failed");
|
|
assert.equal(cleanup.aliveAfter, null);
|
|
assert.equal(findings.length, 1);
|
|
assert.equal(findings[0]?.id, "quick-verify-observer-stop-failed");
|
|
});
|