open-multi-agent-kit 1.0.0 → 1.2.2

package/dist/metacognition/observe.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Observation mode — §13 "기존 완료 판정 호출부: 메타상태를 진단으로 첨부,
+ * 최종 승인·검증 영수증은 기존 권위에 둠."
+ *
+ * Produces a serializable diagnostic snapshot for the host to attach at a
+ * completion/verification boundary. It never mutates the run, never issues a
+ * receipt, and never changes `verified` — it only reports what the
+ * metacognition state saw at that checkpoint.
+ */
+import { type CheckpointResult } from "./checkpoint.ts";
+import type { ActionConstraints, MetaAction } from "./policy.ts";
+import type { MetaState } from "./state.ts";
+export interface MetaDiagnostic {
+    readonly schema: "omk.metacognition.diagnostic.v1";
+    readonly taskId: string;
+    readonly stageId: string;
+    readonly stateFingerprint: string;
+    readonly finishKind: "continue" | "verified-completion" | "inconclusive";
+    readonly finishReason?: string;
+    readonly proposedAction: MetaActionKindLabel;
+    readonly openRequiredObligations: number;
+    readonly violatedObligations: number;
+    readonly blockedHighRiskCandidates: number;
+    readonly unresolvedMismatches: number;
+    readonly verifierBlindSpots: number;
+    readonly runnerHealth: MetaState["verifier"]["runnerHealth"];
+    readonly calibrationDemoted: number;
+    readonly checkpointCount: number;
+}
+type MetaActionKindLabel = MetaAction["kind"];
+/** Observation-mode diagnostic. Read-only over MetaState — no side effects. */
+export declare function attachMetaDiagnostics(state: MetaState, constraints: ActionConstraints, nowMs: number): MetaDiagnostic;
+/** Project a checkpoint result into the diagnostic record. */
+export declare function toDiagnostic(state: MetaState, result: CheckpointResult): MetaDiagnostic;
+/**
+ * Run one observation-mode checkpoint through the bridge: returns the kernel
+ * report plus the diagnostic to attach. The host keeps its own completion
+ * verdict; this only advises.
+ */
+export declare function observeCheckpoint(state: MetaState, constraints: ActionConstraints, nowMs: number): {
+    readonly result: CheckpointResult;
+    readonly diagnostic: MetaDiagnostic;
+};
+export {};
+//# sourceMappingURL=observe.d.ts.map

package/dist/metacognition/observe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observe.d.ts","sourceRoot":"","sources":["../../src/metacognition/observe.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,KAAK,gBAAgB,EAAc,MAAM,iBAAiB,CAAC;AACpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAI5C,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,MAAM,EAAE,iCAAiC,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,qBAAqB,GAAG,cAAc,CAAC;IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,cAAc,CAAC,CAAC;IAC7D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CACjC;AACD,KAAK,mBAAmB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAE9C,iFAA+E;AAC/E,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,CAIrH;AAED,8DAA8D;AAC9D,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,GAAG,cAAc,CAiCvF;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAChC,KAAK,EAAE,SAAS,EAChB,WAAW,EAAE,iBAAiB,EAC9B,KAAK,EAAE,MAAM,GACX;IAAE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAA;CAAE,CAG5E","sourcesContent":["/**\n * Observation mode — §13 \"기존 완료 판정 호출부: 메타상태를 진단으로 첨부,\n * 최종 승인·검증 영수증은 기존 권위에 둠.\"\n *\n * Produces a serializable diagnostic snapshot for the host to attach at a\n * completion/verification boundary. It never mutates the run, never issues a\n * receipt, and never changes `verified` — it only reports what the\n * metacognition state saw at that checkpoint.\n */\nimport { type CheckpointResult, checkpoint } from \"./checkpoint.ts\";\nimport type { ActionConstraints, MetaAction } from \"./policy.ts\";\nimport { mismatchSummary } from \"./predictions.ts\";\nimport type { MetaState } from \"./state.ts\";\nimport { stateFingerprint } from \"./state.ts\";\nimport { integer } from \"./validation.ts\";\n\nexport interface MetaDiagnostic {\n\treadonly schema: \"omk.metacognition.diagnostic.v1\";\n\treadonly taskId: string;\n\treadonly stageId: string;\n\treadonly stateFingerprint: string;\n\treadonly finishKind: \"continue\" | \"verified-completion\" | \"inconclusive\";\n\treadonly finishReason?: string;\n\treadonly proposedAction: MetaActionKindLabel;\n\treadonly openRequiredObligations: number;\n\treadonly violatedObligations: number;\n\treadonly blockedHighRiskCandidates: number;\n\treadonly unresolvedMismatches: number;\n\treadonly verifierBlindSpots: number;\n\treadonly runnerHealth: MetaState[\"verifier\"][\"runnerHealth\"];\n\treadonly calibrationDemoted: number;\n\treadonly checkpointCount: number;\n}\ntype MetaActionKindLabel = MetaAction[\"kind\"];\n\n/** Observation-mode diagnostic. Read-only over MetaState — no side effects. */\nexport function attachMetaDiagnostics(state: MetaState, constraints: ActionConstraints, nowMs: number): MetaDiagnostic {\n\tinteger(nowMs, \"nowMs\");\n\tconst result = checkpoint({ state, nowMs, constraints });\n\treturn toDiagnostic(state, result);\n}\n\n/** Project a checkpoint result into the diagnostic record. */\nexport function toDiagnostic(state: MetaState, result: CheckpointResult): MetaDiagnostic {\n\tconst mismatches = mismatchSummary(state.predictions);\n\tconst blindSpots = state.verifier.evaluations.reduce(\n\t\t(n, e) => n + e.blindSpots.length + (e.detectionRate === \"unknown\" ? 1 : 0),\n\t\t0,\n\t);\n\tconst demoted = Object.values(state.calibration.buckets).filter((b) => b.state === \"demoted\").length;\n\treturn {\n\t\tschema: \"omk.metacognition.diagnostic.v1\",\n\t\ttaskId: state.goal.taskId,\n\t\tstageId: state.goal.stageId,\n\t\tstateFingerprint: stateFingerprint(state),\n\t\tfinishKind: result.finish.kind,\n\t\tfinishReason:\n\t\t\tresult.finish.kind === \"inconclusive\"\n\t\t\t\t? result.finish.reason\n\t\t\t\t: result.finish.kind === \"verified-completion\"\n\t\t\t\t\t? result.finish.receiptId\n\t\t\t\t\t: undefined,\n\t\tproposedAction: result.action.kind,\n\t\topenRequiredObligations: state.obligations.filter((o) => o.status === \"required\").length,\n\t\tviolatedObligations: state.obligations.filter((o) => o.status === \"violated\").length,\n\t\tblockedHighRiskCandidates: state.obligations.filter((o) => o.status === \"blocked-high-risk\").length,\n\t\tunresolvedMismatches:\n\t\t\tmismatches.byKind[\"unexpected-fail\"] +\n\t\t\tmismatches.byKind[\"unexpected-side-effect\"] +\n\t\t\tmismatches.byKind[\"scope-mismatch\"] +\n\t\t\tmismatches.byKind[\"missing-observation\"],\n\t\tverifierBlindSpots: blindSpots,\n\t\trunnerHealth: state.verifier.runnerHealth,\n\t\tcalibrationDemoted: demoted,\n\t\tcheckpointCount: result.state.checkpointCount,\n\t};\n}\n\n/**\n * Run one observation-mode checkpoint through the bridge: returns the kernel\n * report plus the diagnostic to attach. The host keeps its own completion\n * verdict; this only advises.\n */\nexport function observeCheckpoint(\n\tstate: MetaState,\n\tconstraints: ActionConstraints,\n\tnowMs: number,\n): { readonly result: CheckpointResult; readonly diagnostic: MetaDiagnostic } {\n\tconst result = checkpoint({ state, nowMs, constraints });\n\treturn { result, diagnostic: toDiagnostic(state, result) };\n}\n"]}

package/dist/metacognition/observe.js

@@ -0,0 +1,59 @@
+/**
+ * Observation mode — §13 "기존 완료 판정 호출부: 메타상태를 진단으로 첨부,
+ * 최종 승인·검증 영수증은 기존 권위에 둠."
+ *
+ * Produces a serializable diagnostic snapshot for the host to attach at a
+ * completion/verification boundary. It never mutates the run, never issues a
+ * receipt, and never changes `verified` — it only reports what the
+ * metacognition state saw at that checkpoint.
+ */
+import { checkpoint } from "./checkpoint.js";
+import { mismatchSummary } from "./predictions.js";
+import { stateFingerprint } from "./state.js";
+import { integer } from "./validation.js";
+/** Observation-mode diagnostic. Read-only over MetaState — no side effects. */
+export function attachMetaDiagnostics(state, constraints, nowMs) {
+    integer(nowMs, "nowMs");
+    const result = checkpoint({ state, nowMs, constraints });
+    return toDiagnostic(state, result);
+}
+/** Project a checkpoint result into the diagnostic record. */
+export function toDiagnostic(state, result) {
+    const mismatches = mismatchSummary(state.predictions);
+    const blindSpots = state.verifier.evaluations.reduce((n, e) => n + e.blindSpots.length + (e.detectionRate === "unknown" ? 1 : 0), 0);
+    const demoted = Object.values(state.calibration.buckets).filter((b) => b.state === "demoted").length;
+    return {
+        schema: "omk.metacognition.diagnostic.v1",
+        taskId: state.goal.taskId,
+        stageId: state.goal.stageId,
+        stateFingerprint: stateFingerprint(state),
+        finishKind: result.finish.kind,
+        finishReason: result.finish.kind === "inconclusive"
+            ? result.finish.reason
+            : result.finish.kind === "verified-completion"
+                ? result.finish.receiptId
+                : undefined,
+        proposedAction: result.action.kind,
+        openRequiredObligations: state.obligations.filter((o) => o.status === "required").length,
+        violatedObligations: state.obligations.filter((o) => o.status === "violated").length,
+        blockedHighRiskCandidates: state.obligations.filter((o) => o.status === "blocked-high-risk").length,
+        unresolvedMismatches: mismatches.byKind["unexpected-fail"] +
+            mismatches.byKind["unexpected-side-effect"] +
+            mismatches.byKind["scope-mismatch"] +
+            mismatches.byKind["missing-observation"],
+        verifierBlindSpots: blindSpots,
+        runnerHealth: state.verifier.runnerHealth,
+        calibrationDemoted: demoted,
+        checkpointCount: result.state.checkpointCount,
+    };
+}
+/**
+ * Run one observation-mode checkpoint through the bridge: returns the kernel
+ * report plus the diagnostic to attach. The host keeps its own completion
+ * verdict; this only advises.
+ */
+export function observeCheckpoint(state, constraints, nowMs) {
+    const result = checkpoint({ state, nowMs, constraints });
+    return { result, diagnostic: toDiagnostic(state, result) };
+}
+//# sourceMappingURL=observe.js.map

package/dist/metacognition/observe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observe.js","sourceRoot":"","sources":["../../src/metacognition/observe.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAyB,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAEpE,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAqB1C,iFAA+E;AAC/E,MAAM,UAAU,qBAAqB,CAAC,KAAgB,EAAE,WAA8B,EAAE,KAAa,EAAkB;IACtH,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IACzD,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AAAA,CACnC;AAED,8DAA8D;AAC9D,MAAM,UAAU,YAAY,CAAC,KAAgB,EAAE,MAAwB,EAAkB;IACxF,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,CACnD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAC3E,CAAC,CACD,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IACrG,OAAO;QACN,MAAM,EAAE,iCAAiC;QACzC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM;QACzB,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO;QAC3B,gBAAgB,EAAE,gBAAgB,CAAC,KAAK,CAAC;QACzC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI;QAC9B,YAAY,EACX,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;YACpC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM;YACtB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB;gBAC7C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS;gBACzB,CAAC,CAAC,SAAS;QACd,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI;QAClC,uBAAuB,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QACxF,mBAAmB,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;QACpF,yBAAyB,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,mBAAmB,CAAC,CAAC,MAAM;QACnG,oBAAoB,EACnB,UAAU,CAAC,MAAM,CAAC,iBAAiB,CAAC;YACpC,UAAU,CAAC,MAAM,CAAC,wBAAwB,CAAC;YAC3C,UAAU,CAAC,MAAM,CAAC,gBAAgB,CAAC;YACnC,UAAU,CAAC,MAAM,CAAC,qBAAqB,CAAC;QACzC,kBAAkB,EAAE,UAAU;QAC9B,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,YAAY;QACzC,kBAAkB,EAAE,OAAO;QAC3B,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe;KAC7C,CAAC;AAAA,CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAChC,KAAgB,EAChB,WAA8B,EAC9B,KAAa,EACgE;IAC7E,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IACzD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;AAAA,CAC3D","sourcesContent":["/**\n * Observation mode — §13 \"기존 완료 판정 호출부: 메타상태를 진단으로 첨부,\n * 최종 승인·검증 영수증은 기존 권위에 둠.\"\n *\n * Produces a serializable diagnostic snapshot for the host to attach at a\n * completion/verification boundary. It never mutates the run, never issues a\n * receipt, and never changes `verified` — it only reports what the\n * metacognition state saw at that checkpoint.\n */\nimport { type CheckpointResult, checkpoint } from \"./checkpoint.ts\";\nimport type { ActionConstraints, MetaAction } from \"./policy.ts\";\nimport { mismatchSummary } from \"./predictions.ts\";\nimport type { MetaState } from \"./state.ts\";\nimport { stateFingerprint } from \"./state.ts\";\nimport { integer } from \"./validation.ts\";\n\nexport interface MetaDiagnostic {\n\treadonly schema: \"omk.metacognition.diagnostic.v1\";\n\treadonly taskId: string;\n\treadonly stageId: string;\n\treadonly stateFingerprint: string;\n\treadonly finishKind: \"continue\" | \"verified-completion\" | \"inconclusive\";\n\treadonly finishReason?: string;\n\treadonly proposedAction: MetaActionKindLabel;\n\treadonly openRequiredObligations: number;\n\treadonly violatedObligations: number;\n\treadonly blockedHighRiskCandidates: number;\n\treadonly unresolvedMismatches: number;\n\treadonly verifierBlindSpots: number;\n\treadonly runnerHealth: MetaState[\"verifier\"][\"runnerHealth\"];\n\treadonly calibrationDemoted: number;\n\treadonly checkpointCount: number;\n}\ntype MetaActionKindLabel = MetaAction[\"kind\"];\n\n/** Observation-mode diagnostic. Read-only over MetaState — no side effects. */\nexport function attachMetaDiagnostics(state: MetaState, constraints: ActionConstraints, nowMs: number): MetaDiagnostic {\n\tinteger(nowMs, \"nowMs\");\n\tconst result = checkpoint({ state, nowMs, constraints });\n\treturn toDiagnostic(state, result);\n}\n\n/** Project a checkpoint result into the diagnostic record. */\nexport function toDiagnostic(state: MetaState, result: CheckpointResult): MetaDiagnostic {\n\tconst mismatches = mismatchSummary(state.predictions);\n\tconst blindSpots = state.verifier.evaluations.reduce(\n\t\t(n, e) => n + e.blindSpots.length + (e.detectionRate === \"unknown\" ? 1 : 0),\n\t\t0,\n\t);\n\tconst demoted = Object.values(state.calibration.buckets).filter((b) => b.state === \"demoted\").length;\n\treturn {\n\t\tschema: \"omk.metacognition.diagnostic.v1\",\n\t\ttaskId: state.goal.taskId,\n\t\tstageId: state.goal.stageId,\n\t\tstateFingerprint: stateFingerprint(state),\n\t\tfinishKind: result.finish.kind,\n\t\tfinishReason:\n\t\t\tresult.finish.kind === \"inconclusive\"\n\t\t\t\t? result.finish.reason\n\t\t\t\t: result.finish.kind === \"verified-completion\"\n\t\t\t\t\t? result.finish.receiptId\n\t\t\t\t\t: undefined,\n\t\tproposedAction: result.action.kind,\n\t\topenRequiredObligations: state.obligations.filter((o) => o.status === \"required\").length,\n\t\tviolatedObligations: state.obligations.filter((o) => o.status === \"violated\").length,\n\t\tblockedHighRiskCandidates: state.obligations.filter((o) => o.status === \"blocked-high-risk\").length,\n\t\tunresolvedMismatches:\n\t\t\tmismatches.byKind[\"unexpected-fail\"] +\n\t\t\tmismatches.byKind[\"unexpected-side-effect\"] +\n\t\t\tmismatches.byKind[\"scope-mismatch\"] +\n\t\t\tmismatches.byKind[\"missing-observation\"],\n\t\tverifierBlindSpots: blindSpots,\n\t\trunnerHealth: state.verifier.runnerHealth,\n\t\tcalibrationDemoted: demoted,\n\t\tcheckpointCount: result.state.checkpointCount,\n\t};\n}\n\n/**\n * Run one observation-mode checkpoint through the bridge: returns the kernel\n * report plus the diagnostic to attach. The host keeps its own completion\n * verdict; this only advises.\n */\nexport function observeCheckpoint(\n\tstate: MetaState,\n\tconstraints: ActionConstraints,\n\tnowMs: number,\n): { readonly result: CheckpointResult; readonly diagnostic: MetaDiagnostic } {\n\tconst result = checkpoint({ state, nowMs, constraints });\n\treturn { result, diagnostic: toDiagnostic(state, result) };\n}\n"]}

package/dist/metacognition/policy.d.ts

@@ -0,0 +1,53 @@
+import type { MetaState } from "./state.ts";
+export type MetaActionKind = "inspect_local" | "retrieve_reference" | "run_discriminating_probe" | "strengthen_verifier" | "reselect_skills" | "revise_implementation" | "switch_strategy" | "request_required_decision" | "continue_object_work" | "finish_with_bound_receipt" | "stop_inconclusive" | "settle_safety" | "form_obligations";
+export interface MetaAction {
+    readonly kind: MetaActionKind;
+    readonly obligationId?: string;
+    readonly hypothesisId?: string;
+    readonly reason: string;
+    readonly priority: number;
+}
+export interface ActionConstraints {
+    readonly authorizedActions: readonly MetaActionKind[];
+    readonly prerequisites: Partial<Readonly<Record<MetaActionKind, readonly string[]>>>;
+    readonly actionCostsMs: Partial<Readonly<Record<MetaActionKind, number>>>;
+    readonly actionCostsRequests: Partial<Readonly<Record<MetaActionKind, number>>>;
+    readonly inScopeKinds: readonly MetaActionKind[];
+}
+/** §9.2: Authorized ∧ Prerequisites ∧ BudgetFits ∧ ScopeBound. */
+export declare function feasibleActions(state: MetaState, constraints: ActionConstraints): MetaActionKind[];
+/**
+ * §14 priority table — the baseline deterministic policy. Safety first, then
+ * required decisions, host-observed obligations, verifier health, prediction
+ * mismatches, verifier blind spots, stagnation, optional positive-VOI work,
+ * object work, then finish.
+ */
+export declare function selectAction(state: MetaState, constraints: ActionConstraints, options?: {
+    readonly receipt?: {
+        receiptId: string;
+        candidateHash: string;
+        scope: string;
+    } | null;
+    readonly maxRepetitions?: number;
+    readonly switchCost?: number;
+    readonly estimatedSwitchGain?: number;
+    readonly voiCandidates?: readonly {
+        kind: MetaActionKind;
+        voi: number;
+    }[];
+    readonly progress?: {
+        goalScope: string;
+        candidateFamily: string;
+        errorClass: string;
+        approach: string;
+        checkMethod: string;
+        sourceFamily: string;
+    };
+}): MetaAction;
+/**
+ * §6.2/§6.5 VOI evaluation for one observation action. Returns the finite
+ * computation result; the caller supplies real priors and likelihoods and may
+ * include approved 2-step bundles whose joint value is computed the same way.
+ */
+export declare function valueOfObservation(prior: readonly number[], losses: readonly (readonly number[])[], likelihoodByHypothesis: readonly (readonly number[])[], cost: number): number;
+//# sourceMappingURL=policy.d.ts.map

package/dist/metacognition/policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../../src/metacognition/policy.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C,MAAM,MAAM,cAAc,GACvB,eAAe,GACf,oBAAoB,GACpB,0BAA0B,GAC1B,qBAAqB,GACrB,iBAAiB,GACjB,uBAAuB,GACvB,iBAAiB,GACjB,2BAA2B,GAC3B,sBAAsB,GACtB,2BAA2B,GAC3B,mBAAmB,GACnB,eAAe,GACf,kBAAkB,CAAC;AAEtB,MAAM,WAAW,UAAU;IAC1B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,cAAc,EAAE,CAAC;IACtD,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACrF,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1E,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAChF,QAAQ,CAAC,YAAY,EAAE,SAAS,cAAc,EAAE,CAAC;CACjD;AAkBD,yEAAkE;AAClE,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,iBAAiB,GAAG,cAAc,EAAE,CAclG;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAC3B,KAAK,EAAE,SAAS,EAChB,WAAW,EAAE,iBAAiB,EAC9B,OAAO,CAAC,EAAE;IACT,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACtF,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1E,QAAQ,CAAC,QAAQ,CAAC,EAAE;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,eAAe,EAAE,MAAM,CAAC;QACxB,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,YAAY,EAAE,MAAM,CAAC;KACrB,CAAC;CACF,GACC,UAAU,CAsGZ;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CACjC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,MAAM,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,EACtC,sBAAsB,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,EACtD,IAAI,EAAE,MAAM,GACV,MAAM,CAER","sourcesContent":["/**\n * Algorithm F — bounded metacontrol policy. Spec §9, §14.\n *\n * Feasibility precedes optimization: an action that is unauthorized, missing\n * prerequisites, over budget, or out of scope is absent from the feasible set\n * no matter how much information it promises. The baseline policy is the\n * explicit priority table of §14, not a score-sum that folds safety\n * constraints into a utility number.\n */\nimport { experimentValue } from \"./decision.ts\";\nimport type { MetaState } from \"./state.ts\";\nimport { isStagnant, netSwitchValue, progressKey } from \"./verifier.ts\";\n\nexport type MetaActionKind =\n\t| \"inspect_local\"\n\t| \"retrieve_reference\"\n\t| \"run_discriminating_probe\"\n\t| \"strengthen_verifier\"\n\t| \"reselect_skills\"\n\t| \"revise_implementation\"\n\t| \"switch_strategy\"\n\t| \"request_required_decision\"\n\t| \"continue_object_work\"\n\t| \"finish_with_bound_receipt\"\n\t| \"stop_inconclusive\"\n\t| \"settle_safety\"\n\t| \"form_obligations\";\n\nexport interface MetaAction {\n\treadonly kind: MetaActionKind;\n\treadonly obligationId?: string;\n\treadonly hypothesisId?: string;\n\treadonly reason: string;\n\treadonly priority: number;\n}\n\nexport interface ActionConstraints {\n\treadonly authorizedActions: readonly MetaActionKind[];\n\treadonly prerequisites: Partial<Readonly<Record<MetaActionKind, readonly string[]>>>;\n\treadonly actionCostsMs: Partial<Readonly<Record<MetaActionKind, number>>>;\n\treadonly actionCostsRequests: Partial<Readonly<Record<MetaActionKind, number>>>;\n\treadonly inScopeKinds: readonly MetaActionKind[];\n}\n\nconst ALL_KINDS: readonly MetaActionKind[] = [\n\t\"inspect_local\",\n\t\"retrieve_reference\",\n\t\"run_discriminating_probe\",\n\t\"strengthen_verifier\",\n\t\"reselect_skills\",\n\t\"revise_implementation\",\n\t\"switch_strategy\",\n\t\"request_required_decision\",\n\t\"continue_object_work\",\n\t\"finish_with_bound_receipt\",\n\t\"stop_inconclusive\",\n\t\"settle_safety\",\n\t\"form_obligations\",\n];\n\n/** §9.2: Authorized ∧ Prerequisites ∧ BudgetFits ∧ ScopeBound. */\nexport function feasibleActions(state: MetaState, constraints: ActionConstraints): MetaActionKind[] {\n\treturn ALL_KINDS.filter((kind) => {\n\t\tif (!constraints.authorizedActions.includes(kind)) return false;\n\t\tif (!constraints.inScopeKinds.includes(kind)) return false;\n\t\tfor (const prereq of constraints.prerequisites[kind] ?? []) {\n\t\t\tconst met =\n\t\t\t\tstate.obligations.some((o) => o.id === prereq && o.status === \"satisfied\") ||\n\t\t\t\tstate.predictions.some((p) => p.predictionId === prereq && p.status === \"resolved\");\n\t\t\tif (!met) return false;\n\t\t}\n\t\tconst ms = constraints.actionCostsMs[kind] ?? 0;\n\t\tconst req = constraints.actionCostsRequests[kind] ?? 0;\n\t\treturn ms <= state.budget.remainingMs && req <= state.budget.remainingRequests;\n\t});\n}\n\n/**\n * §14 priority table — the baseline deterministic policy. Safety first, then\n * required decisions, host-observed obligations, verifier health, prediction\n * mismatches, verifier blind spots, stagnation, optional positive-VOI work,\n * object work, then finish.\n */\nexport function selectAction(\n\tstate: MetaState,\n\tconstraints: ActionConstraints,\n\toptions?: {\n\t\treadonly receipt?: { receiptId: string; candidateHash: string; scope: string } | null;\n\t\treadonly maxRepetitions?: number;\n\t\treadonly switchCost?: number;\n\t\treadonly estimatedSwitchGain?: number;\n\t\treadonly voiCandidates?: readonly { kind: MetaActionKind; voi: number }[];\n\t\treadonly progress?: {\n\t\t\tgoalScope: string;\n\t\t\tcandidateFamily: string;\n\t\t\terrorClass: string;\n\t\t\tapproach: string;\n\t\t\tcheckMethod: string;\n\t\t\tsourceFamily: string;\n\t\t};\n\t},\n): MetaAction {\n\tconst feasible = new Set(feasibleActions(state, constraints));\n\tconst pick = (\n\t\tkind: MetaActionKind,\n\t\treason: string,\n\t\tpriority: number,\n\t\textra?: Partial<MetaAction>,\n\t): MetaAction | null => (feasible.has(kind) ? { kind, reason, priority, ...extra } : null);\n\n\t// 0: cancellation, authorization violation, safety constraint, binding mismatch.\n\tif (\n\t\tstate.policy.interruptionReason !== null ||\n\t\tstate.facts.candidateHash === \"\" ||\n\t\t!constraints.authorizedActions.every((a) => state.policy.authorizedActions.includes(a))\n\t) {\n\t\treturn (\n\t\t\tpick(\"settle_safety\", \"safety-or-binding\", 0) ?? {\n\t\t\t\tkind: \"stop_inconclusive\",\n\t\t\t\treason: \"unsafe-feasible-set\",\n\t\t\t\tpriority: 0,\n\t\t\t}\n\t\t);\n\t}\n\t// 1: required user decision or unknown prerequisite.\n\tconst needsDecision = state.obligations.find(\n\t\t(o) => o.status === \"blocked-high-risk\" || (o.status === \"required\" && o.checkMethodId === null && o.required),\n\t);\n\tif (needsDecision) {\n\t\tconst action = pick(\"request_required_decision\", `required-decision:${needsDecision.id}`, 1, {\n\t\t\tobligationId: needsDecision.id,\n\t\t});\n\t\tif (action) return action;\n\t}\n\t// 2: host-observed new required obligation → refresh obligations, gate the step.\n\tconst newRequired = state.obligations.find((o) => o.status === \"required\" && o.coverageFraction === 0);\n\tif (newRequired) {\n\t\tconst action = pick(\"form_obligations\", `new-required:${newRequired.id}`, 2, { obligationId: newRequired.id });\n\t\tif (action) return action;\n\t}\n\t// 3: check execution itself invalid → diagnose environment, not code.\n\tif (state.verifier.runnerHealth !== \"healthy\") {\n\t\tconst action = pick(\"inspect_local\", \"verifier-health-unverified\", 3);\n\t\tif (action) return action;\n\t}\n\t// 4: prediction mismatch or adoptable evidence conflict → discriminate causes.\n\tconst mismatch = state.predictions.find(\n\t\t(p) => p.status === \"resolved\" && p.mismatch !== undefined && p.mismatch !== \"none\",\n\t);\n\tif (mismatch && state.hypotheses.open.length > 1) {\n\t\tconst action = pick(\"run_discriminating_probe\", `mismatch:${mismatch.predictionId}`, 4, {\n\t\t\thypothesisId: state.hypotheses.open[0],\n\t\t});\n\t\tif (action) return action;\n\t}\n\t// 5: verifier blind spot on an important obligation → negative control / new check.\n\tconst blind = state.verifier.evaluations.find((e) => e.detectionRate === \"unknown\" || e.blindSpots.length > 0);\n\tif (blind) {\n\t\tconst action = pick(\"strengthen_verifier\", `blind-spot:${blind.obligationId}`, 5, {\n\t\t\tobligationId: blind.obligationId,\n\t\t});\n\t\tif (action) return action;\n\t}\n\t// 6: same strategy, no valid progress → switch with hysteresis, or stop.\n\tconst maxRep = options?.maxRepetitions ?? 3;\n\tif (options?.progress && isStagnant(options.progress, state.progressHistory, maxRep)) {\n\t\tconst switchGain = netSwitchValue(options.estimatedSwitchGain ?? 0, 0, options.switchCost ?? 0);\n\t\tif (switchGain > 0) {\n\t\t\tconst action = pick(\"switch_strategy\", `stagnant:${progressKey(options.progress)}`, 6);\n\t\t\tif (action) return action;\n\t\t}\n\t\tconst stop = pick(\"stop_inconclusive\", \"stagnant-no-progress\", 6);\n\t\tif (stop) return stop;\n\t}\n\t// 7: optional information acquisition with positive VOI.\n\tconst voi = (options?.voiCandidates ?? [])\n\t\t.filter((c) => c.voi > 0 && feasible.has(c.kind))\n\t\t.sort((a, b) => b.voi - a.voi);\n\tif (voi.length > 0) {\n\t\treturn (\n\t\t\tpick(voi[0]!.kind, `positive-voi:${voi[0]!.voi}`, 7) ?? {\n\t\t\t\tkind: \"stop_inconclusive\",\n\t\t\t\treason: \"no-feasible-voi-action\",\n\t\t\t\tpriority: 7,\n\t\t\t}\n\t\t);\n\t}\n\t// 8: premises sufficient, object work remains.\n\tconst openRequired = state.obligations.filter((o) => o.status === \"required\" || o.status === \"violated\");\n\tif (openRequired.length === 0) {\n\t\tconst action = pick(\"continue_object_work\", \"premises-satisfied\", 8);\n\t\tif (action) return action;\n\t}\n\t// 9: object work done → verified bounded completion or inconclusive stop.\n\tif (options?.receipt && openRequired.length === 0) {\n\t\tconst action = pick(\"finish_with_bound_receipt\", `receipt:${options.receipt.receiptId}`, 9);\n\t\tif (action) return action;\n\t}\n\tconst blocked =\n\t\tpick(\"revise_implementation\", `open-obligations:${openRequired.length}`, 8) ??\n\t\tpick(\"inspect_local\", \"open-obligations-inspect\", 8);\n\tif (blocked) return blocked;\n\treturn { kind: \"stop_inconclusive\", reason: \"no-feasible-action\", priority: 9 };\n}\n\n/**\n * §6.2/§6.5 VOI evaluation for one observation action. Returns the finite\n * computation result; the caller supplies real priors and likelihoods and may\n * include approved 2-step bundles whose joint value is computed the same way.\n */\nexport function valueOfObservation(\n\tprior: readonly number[],\n\tlosses: readonly (readonly number[])[],\n\tlikelihoodByHypothesis: readonly (readonly number[])[],\n\tcost: number,\n): number {\n\treturn experimentValue(prior, losses, likelihoodByHypothesis, cost).netValue;\n}\n"]}

package/dist/metacognition/policy.js

@@ -0,0 +1,155 @@
+/**
+ * Algorithm F — bounded metacontrol policy. Spec §9, §14.
+ *
+ * Feasibility precedes optimization: an action that is unauthorized, missing
+ * prerequisites, over budget, or out of scope is absent from the feasible set
+ * no matter how much information it promises. The baseline policy is the
+ * explicit priority table of §14, not a score-sum that folds safety
+ * constraints into a utility number.
+ */
+import { experimentValue } from "./decision.js";
+import { isStagnant, netSwitchValue, progressKey } from "./verifier.js";
+const ALL_KINDS = [
+    "inspect_local",
+    "retrieve_reference",
+    "run_discriminating_probe",
+    "strengthen_verifier",
+    "reselect_skills",
+    "revise_implementation",
+    "switch_strategy",
+    "request_required_decision",
+    "continue_object_work",
+    "finish_with_bound_receipt",
+    "stop_inconclusive",
+    "settle_safety",
+    "form_obligations",
+];
+/** §9.2: Authorized ∧ Prerequisites ∧ BudgetFits ∧ ScopeBound. */
+export function feasibleActions(state, constraints) {
+    return ALL_KINDS.filter((kind) => {
+        if (!constraints.authorizedActions.includes(kind))
+            return false;
+        if (!constraints.inScopeKinds.includes(kind))
+            return false;
+        for (const prereq of constraints.prerequisites[kind] ?? []) {
+            const met = state.obligations.some((o) => o.id === prereq && o.status === "satisfied") ||
+                state.predictions.some((p) => p.predictionId === prereq && p.status === "resolved");
+            if (!met)
+                return false;
+        }
+        const ms = constraints.actionCostsMs[kind] ?? 0;
+        const req = constraints.actionCostsRequests[kind] ?? 0;
+        return ms <= state.budget.remainingMs && req <= state.budget.remainingRequests;
+    });
+}
+/**
+ * §14 priority table — the baseline deterministic policy. Safety first, then
+ * required decisions, host-observed obligations, verifier health, prediction
+ * mismatches, verifier blind spots, stagnation, optional positive-VOI work,
+ * object work, then finish.
+ */
+export function selectAction(state, constraints, options) {
+    const feasible = new Set(feasibleActions(state, constraints));
+    const pick = (kind, reason, priority, extra) => (feasible.has(kind) ? { kind, reason, priority, ...extra } : null);
+    // 0: cancellation, authorization violation, safety constraint, binding mismatch.
+    if (state.policy.interruptionReason !== null ||
+        state.facts.candidateHash === "" ||
+        !constraints.authorizedActions.every((a) => state.policy.authorizedActions.includes(a))) {
+        return (pick("settle_safety", "safety-or-binding", 0) ?? {
+            kind: "stop_inconclusive",
+            reason: "unsafe-feasible-set",
+            priority: 0,
+        });
+    }
+    // 1: required user decision or unknown prerequisite.
+    const needsDecision = state.obligations.find((o) => o.status === "blocked-high-risk" || (o.status === "required" && o.checkMethodId === null && o.required));
+    if (needsDecision) {
+        const action = pick("request_required_decision", `required-decision:${needsDecision.id}`, 1, {
+            obligationId: needsDecision.id,
+        });
+        if (action)
+            return action;
+    }
+    // 2: host-observed new required obligation → refresh obligations, gate the step.
+    const newRequired = state.obligations.find((o) => o.status === "required" && o.coverageFraction === 0);
+    if (newRequired) {
+        const action = pick("form_obligations", `new-required:${newRequired.id}`, 2, { obligationId: newRequired.id });
+        if (action)
+            return action;
+    }
+    // 3: check execution itself invalid → diagnose environment, not code.
+    if (state.verifier.runnerHealth !== "healthy") {
+        const action = pick("inspect_local", "verifier-health-unverified", 3);
+        if (action)
+            return action;
+    }
+    // 4: prediction mismatch or adoptable evidence conflict → discriminate causes.
+    const mismatch = state.predictions.find((p) => p.status === "resolved" && p.mismatch !== undefined && p.mismatch !== "none");
+    if (mismatch && state.hypotheses.open.length > 1) {
+        const action = pick("run_discriminating_probe", `mismatch:${mismatch.predictionId}`, 4, {
+            hypothesisId: state.hypotheses.open[0],
+        });
+        if (action)
+            return action;
+    }
+    // 5: verifier blind spot on an important obligation → negative control / new check.
+    const blind = state.verifier.evaluations.find((e) => e.detectionRate === "unknown" || e.blindSpots.length > 0);
+    if (blind) {
+        const action = pick("strengthen_verifier", `blind-spot:${blind.obligationId}`, 5, {
+            obligationId: blind.obligationId,
+        });
+        if (action)
+            return action;
+    }
+    // 6: same strategy, no valid progress → switch with hysteresis, or stop.
+    const maxRep = options?.maxRepetitions ?? 3;
+    if (options?.progress && isStagnant(options.progress, state.progressHistory, maxRep)) {
+        const switchGain = netSwitchValue(options.estimatedSwitchGain ?? 0, 0, options.switchCost ?? 0);
+        if (switchGain > 0) {
+            const action = pick("switch_strategy", `stagnant:${progressKey(options.progress)}`, 6);
+            if (action)
+                return action;
+        }
+        const stop = pick("stop_inconclusive", "stagnant-no-progress", 6);
+        if (stop)
+            return stop;
+    }
+    // 7: optional information acquisition with positive VOI.
+    const voi = (options?.voiCandidates ?? [])
+        .filter((c) => c.voi > 0 && feasible.has(c.kind))
+        .sort((a, b) => b.voi - a.voi);
+    if (voi.length > 0) {
+        return (pick(voi[0].kind, `positive-voi:${voi[0].voi}`, 7) ?? {
+            kind: "stop_inconclusive",
+            reason: "no-feasible-voi-action",
+            priority: 7,
+        });
+    }
+    // 8: premises sufficient, object work remains.
+    const openRequired = state.obligations.filter((o) => o.status === "required" || o.status === "violated");
+    if (openRequired.length === 0) {
+        const action = pick("continue_object_work", "premises-satisfied", 8);
+        if (action)
+            return action;
+    }
+    // 9: object work done → verified bounded completion or inconclusive stop.
+    if (options?.receipt && openRequired.length === 0) {
+        const action = pick("finish_with_bound_receipt", `receipt:${options.receipt.receiptId}`, 9);
+        if (action)
+            return action;
+    }
+    const blocked = pick("revise_implementation", `open-obligations:${openRequired.length}`, 8) ??
+        pick("inspect_local", "open-obligations-inspect", 8);
+    if (blocked)
+        return blocked;
+    return { kind: "stop_inconclusive", reason: "no-feasible-action", priority: 9 };
+}
+/**
+ * §6.2/§6.5 VOI evaluation for one observation action. Returns the finite
+ * computation result; the caller supplies real priors and likelihoods and may
+ * include approved 2-step bundles whose joint value is computed the same way.
+ */
+export function valueOfObservation(prior, losses, likelihoodByHypothesis, cost) {
+    return experimentValue(prior, losses, likelihoodByHypothesis, cost).netValue;
+}
+//# sourceMappingURL=policy.js.map

package/dist/metacognition/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../src/metacognition/policy.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAiCxE,MAAM,SAAS,GAA8B;IAC5C,eAAe;IACf,oBAAoB;IACpB,0BAA0B;IAC1B,qBAAqB;IACrB,iBAAiB;IACjB,uBAAuB;IACvB,iBAAiB;IACjB,2BAA2B;IAC3B,sBAAsB;IACtB,2BAA2B;IAC3B,mBAAmB;IACnB,eAAe;IACf,kBAAkB;CAClB,CAAC;AAEF,yEAAkE;AAClE,MAAM,UAAU,eAAe,CAAC,KAAgB,EAAE,WAA8B,EAAoB;IACnG,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC5D,MAAM,GAAG,GACR,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC;gBAC1E,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;YACrF,IAAI,CAAC,GAAG;gBAAE,OAAO,KAAK,CAAC;QACxB,CAAC;QACD,MAAM,EAAE,GAAG,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,OAAO,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC;IAAA,CAC/E,CAAC,CAAC;AAAA,CACH;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC3B,KAAgB,EAChB,WAA8B,EAC9B,OAcC,EACY;IACb,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,CACZ,IAAoB,EACpB,MAAc,EACd,QAAgB,EAChB,KAA2B,EACP,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE3F,iFAAiF;IACjF,IACC,KAAK,CAAC,MAAM,CAAC,kBAAkB,KAAK,IAAI;QACxC,KAAK,CAAC,KAAK,CAAC,aAAa,KAAK,EAAE;QAChC,CAAC,WAAW,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EACtF,CAAC;QACF,OAAO,CACN,IAAI,CAAC,eAAe,EAAE,mBAAmB,EAAE,CAAC,CAAC,IAAI;YAChD,IAAI,EAAE,mBAAmB;YACzB,MAAM,EAAE,qBAAqB;YAC7B,QAAQ,EAAE,CAAC;SACX,CACD,CAAC;IACH,CAAC;IACD,qDAAqD;IACrD,MAAM,aAAa,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,mBAAmB,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,aAAa,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,CAC9G,CAAC;IACF,IAAI,aAAa,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,IAAI,CAAC,2BAA2B,EAAE,qBAAqB,aAAa,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE;YAC5F,YAAY,EAAE,aAAa,CAAC,EAAE;SAC9B,CAAC,CAAC;QACH,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC3B,CAAC;IACD,mFAAiF;IACjF,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,gBAAgB,KAAK,CAAC,CAAC,CAAC;IACvG,IAAI,WAAW,EAAE,CAAC;QACjB,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,EAAE,gBAAgB,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,YAAY,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/G,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC3B,CAAC;IACD,wEAAsE;IACtE,IAAI,KAAK,CAAC,QAAQ,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,4BAA4B,EAAE,CAAC,CAAC,CAAC;QACtE,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC3B,CAAC;IACD,iFAA+E;IAC/E,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM,CACnF,CAAC;IACF,IAAI,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,0BAA0B,EAAE,YAAY,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC,EAAE;YACvF,YAAY,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;SACtC,CAAC,CAAC;QACH,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC3B,CAAC;IACD,sFAAoF;IACpF,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC/G,IAAI,KAAK,EAAE,CAAC;QACX,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,EAAE,cAAc,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC,EAAE;YACjF,YAAY,EAAE,KAAK,CAAC,YAAY;SAChC,CAAC,CAAC;QACH,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC3B,CAAC;IACD,2EAAyE;IACzE,MAAM,MAAM,GAAG,OAAO,EAAE,cAAc,IAAI,CAAC,CAAC;IAC5C,IAAI,OAAO,EAAE,QAAQ,IAAI,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,eAAe,EAAE,MAAM,CAAC,EAAE,CAAC;QACtF,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,mBAAmB,IAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;QAChG,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,EAAE,YAAY,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACvF,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;QAC3B,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,mBAAmB,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC;QAClE,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACvB,CAAC;IACD,yDAAyD;IACzD,MAAM,GAAG,GAAG,CAAC,OAAO,EAAE,aAAa,IAAI,EAAE,CAAC;SACxC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAChD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CACN,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,gBAAgB,GAAG,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI;YACvD,IAAI,EAAE,mBAAmB;YACzB,MAAM,EAAE,wBAAwB;YAChC,QAAQ,EAAE,CAAC;SACX,CACD,CAAC;IACH,CAAC;IACD,+CAA+C;IAC/C,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IACzG,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC;QACrE,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC3B,CAAC;IACD,4EAA0E;IAC1E,IAAI,OAAO,EAAE,OAAO,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,2BAA2B,EAAE,WAAW,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5F,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC3B,CAAC;IACD,MAAM,OAAO,GACZ,IAAI,CAAC,uBAAuB,EAAE,oBAAoB,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC3E,IAAI,CAAC,eAAe,EAAE,0BAA0B,EAAE,CAAC,CAAC,CAAC;IACtD,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAC5B,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAAA,CAChF;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CACjC,KAAwB,EACxB,MAAsC,EACtC,sBAAsD,EACtD,IAAY,EACH;IACT,OAAO,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC;AAAA,CAC7E","sourcesContent":["/**\n * Algorithm F — bounded metacontrol policy. Spec §9, §14.\n *\n * Feasibility precedes optimization: an action that is unauthorized, missing\n * prerequisites, over budget, or out of scope is absent from the feasible set\n * no matter how much information it promises. The baseline policy is the\n * explicit priority table of §14, not a score-sum that folds safety\n * constraints into a utility number.\n */\nimport { experimentValue } from \"./decision.ts\";\nimport type { MetaState } from \"./state.ts\";\nimport { isStagnant, netSwitchValue, progressKey } from \"./verifier.ts\";\n\nexport type MetaActionKind =\n\t| \"inspect_local\"\n\t| \"retrieve_reference\"\n\t| \"run_discriminating_probe\"\n\t| \"strengthen_verifier\"\n\t| \"reselect_skills\"\n\t| \"revise_implementation\"\n\t| \"switch_strategy\"\n\t| \"request_required_decision\"\n\t| \"continue_object_work\"\n\t| \"finish_with_bound_receipt\"\n\t| \"stop_inconclusive\"\n\t| \"settle_safety\"\n\t| \"form_obligations\";\n\nexport interface MetaAction {\n\treadonly kind: MetaActionKind;\n\treadonly obligationId?: string;\n\treadonly hypothesisId?: string;\n\treadonly reason: string;\n\treadonly priority: number;\n}\n\nexport interface ActionConstraints {\n\treadonly authorizedActions: readonly MetaActionKind[];\n\treadonly prerequisites: Partial<Readonly<Record<MetaActionKind, readonly string[]>>>;\n\treadonly actionCostsMs: Partial<Readonly<Record<MetaActionKind, number>>>;\n\treadonly actionCostsRequests: Partial<Readonly<Record<MetaActionKind, number>>>;\n\treadonly inScopeKinds: readonly MetaActionKind[];\n}\n\nconst ALL_KINDS: readonly MetaActionKind[] = [\n\t\"inspect_local\",\n\t\"retrieve_reference\",\n\t\"run_discriminating_probe\",\n\t\"strengthen_verifier\",\n\t\"reselect_skills\",\n\t\"revise_implementation\",\n\t\"switch_strategy\",\n\t\"request_required_decision\",\n\t\"continue_object_work\",\n\t\"finish_with_bound_receipt\",\n\t\"stop_inconclusive\",\n\t\"settle_safety\",\n\t\"form_obligations\",\n];\n\n/** §9.2: Authorized ∧ Prerequisites ∧ BudgetFits ∧ ScopeBound. */\nexport function feasibleActions(state: MetaState, constraints: ActionConstraints): MetaActionKind[] {\n\treturn ALL_KINDS.filter((kind) => {\n\t\tif (!constraints.authorizedActions.includes(kind)) return false;\n\t\tif (!constraints.inScopeKinds.includes(kind)) return false;\n\t\tfor (const prereq of constraints.prerequisites[kind] ?? []) {\n\t\t\tconst met =\n\t\t\t\tstate.obligations.some((o) => o.id === prereq && o.status === \"satisfied\") ||\n\t\t\t\tstate.predictions.some((p) => p.predictionId === prereq && p.status === \"resolved\");\n\t\t\tif (!met) return false;\n\t\t}\n\t\tconst ms = constraints.actionCostsMs[kind] ?? 0;\n\t\tconst req = constraints.actionCostsRequests[kind] ?? 0;\n\t\treturn ms <= state.budget.remainingMs && req <= state.budget.remainingRequests;\n\t});\n}\n\n/**\n * §14 priority table — the baseline deterministic policy. Safety first, then\n * required decisions, host-observed obligations, verifier health, prediction\n * mismatches, verifier blind spots, stagnation, optional positive-VOI work,\n * object work, then finish.\n */\nexport function selectAction(\n\tstate: MetaState,\n\tconstraints: ActionConstraints,\n\toptions?: {\n\t\treadonly receipt?: { receiptId: string; candidateHash: string; scope: string } | null;\n\t\treadonly maxRepetitions?: number;\n\t\treadonly switchCost?: number;\n\t\treadonly estimatedSwitchGain?: number;\n\t\treadonly voiCandidates?: readonly { kind: MetaActionKind; voi: number }[];\n\t\treadonly progress?: {\n\t\t\tgoalScope: string;\n\t\t\tcandidateFamily: string;\n\t\t\terrorClass: string;\n\t\t\tapproach: string;\n\t\t\tcheckMethod: string;\n\t\t\tsourceFamily: string;\n\t\t};\n\t},\n): MetaAction {\n\tconst feasible = new Set(feasibleActions(state, constraints));\n\tconst pick = (\n\t\tkind: MetaActionKind,\n\t\treason: string,\n\t\tpriority: number,\n\t\textra?: Partial<MetaAction>,\n\t): MetaAction | null => (feasible.has(kind) ? { kind, reason, priority, ...extra } : null);\n\n\t// 0: cancellation, authorization violation, safety constraint, binding mismatch.\n\tif (\n\t\tstate.policy.interruptionReason !== null ||\n\t\tstate.facts.candidateHash === \"\" ||\n\t\t!constraints.authorizedActions.every((a) => state.policy.authorizedActions.includes(a))\n\t) {\n\t\treturn (\n\t\t\tpick(\"settle_safety\", \"safety-or-binding\", 0) ?? {\n\t\t\t\tkind: \"stop_inconclusive\",\n\t\t\t\treason: \"unsafe-feasible-set\",\n\t\t\t\tpriority: 0,\n\t\t\t}\n\t\t);\n\t}\n\t// 1: required user decision or unknown prerequisite.\n\tconst needsDecision = state.obligations.find(\n\t\t(o) => o.status === \"blocked-high-risk\" || (o.status === \"required\" && o.checkMethodId === null && o.required),\n\t);\n\tif (needsDecision) {\n\t\tconst action = pick(\"request_required_decision\", `required-decision:${needsDecision.id}`, 1, {\n\t\t\tobligationId: needsDecision.id,\n\t\t});\n\t\tif (action) return action;\n\t}\n\t// 2: host-observed new required obligation → refresh obligations, gate the step.\n\tconst newRequired = state.obligations.find((o) => o.status === \"required\" && o.coverageFraction === 0);\n\tif (newRequired) {\n\t\tconst action = pick(\"form_obligations\", `new-required:${newRequired.id}`, 2, { obligationId: newRequired.id });\n\t\tif (action) return action;\n\t}\n\t// 3: check execution itself invalid → diagnose environment, not code.\n\tif (state.verifier.runnerHealth !== \"healthy\") {\n\t\tconst action = pick(\"inspect_local\", \"verifier-health-unverified\", 3);\n\t\tif (action) return action;\n\t}\n\t// 4: prediction mismatch or adoptable evidence conflict → discriminate causes.\n\tconst mismatch = state.predictions.find(\n\t\t(p) => p.status === \"resolved\" && p.mismatch !== undefined && p.mismatch !== \"none\",\n\t);\n\tif (mismatch && state.hypotheses.open.length > 1) {\n\t\tconst action = pick(\"run_discriminating_probe\", `mismatch:${mismatch.predictionId}`, 4, {\n\t\t\thypothesisId: state.hypotheses.open[0],\n\t\t});\n\t\tif (action) return action;\n\t}\n\t// 5: verifier blind spot on an important obligation → negative control / new check.\n\tconst blind = state.verifier.evaluations.find((e) => e.detectionRate === \"unknown\" || e.blindSpots.length > 0);\n\tif (blind) {\n\t\tconst action = pick(\"strengthen_verifier\", `blind-spot:${blind.obligationId}`, 5, {\n\t\t\tobligationId: blind.obligationId,\n\t\t});\n\t\tif (action) return action;\n\t}\n\t// 6: same strategy, no valid progress → switch with hysteresis, or stop.\n\tconst maxRep = options?.maxRepetitions ?? 3;\n\tif (options?.progress && isStagnant(options.progress, state.progressHistory, maxRep)) {\n\t\tconst switchGain = netSwitchValue(options.estimatedSwitchGain ?? 0, 0, options.switchCost ?? 0);\n\t\tif (switchGain > 0) {\n\t\t\tconst action = pick(\"switch_strategy\", `stagnant:${progressKey(options.progress)}`, 6);\n\t\t\tif (action) return action;\n\t\t}\n\t\tconst stop = pick(\"stop_inconclusive\", \"stagnant-no-progress\", 6);\n\t\tif (stop) return stop;\n\t}\n\t// 7: optional information acquisition with positive VOI.\n\tconst voi = (options?.voiCandidates ?? [])\n\t\t.filter((c) => c.voi > 0 && feasible.has(c.kind))\n\t\t.sort((a, b) => b.voi - a.voi);\n\tif (voi.length > 0) {\n\t\treturn (\n\t\t\tpick(voi[0]!.kind, `positive-voi:${voi[0]!.voi}`, 7) ?? {\n\t\t\t\tkind: \"stop_inconclusive\",\n\t\t\t\treason: \"no-feasible-voi-action\",\n\t\t\t\tpriority: 7,\n\t\t\t}\n\t\t);\n\t}\n\t// 8: premises sufficient, object work remains.\n\tconst openRequired = state.obligations.filter((o) => o.status === \"required\" || o.status === \"violated\");\n\tif (openRequired.length === 0) {\n\t\tconst action = pick(\"continue_object_work\", \"premises-satisfied\", 8);\n\t\tif (action) return action;\n\t}\n\t// 9: object work done → verified bounded completion or inconclusive stop.\n\tif (options?.receipt && openRequired.length === 0) {\n\t\tconst action = pick(\"finish_with_bound_receipt\", `receipt:${options.receipt.receiptId}`, 9);\n\t\tif (action) return action;\n\t}\n\tconst blocked =\n\t\tpick(\"revise_implementation\", `open-obligations:${openRequired.length}`, 8) ??\n\t\tpick(\"inspect_local\", \"open-obligations-inspect\", 8);\n\tif (blocked) return blocked;\n\treturn { kind: \"stop_inconclusive\", reason: \"no-feasible-action\", priority: 9 };\n}\n\n/**\n * §6.2/§6.5 VOI evaluation for one observation action. Returns the finite\n * computation result; the caller supplies real priors and likelihoods and may\n * include approved 2-step bundles whose joint value is computed the same way.\n */\nexport function valueOfObservation(\n\tprior: readonly number[],\n\tlosses: readonly (readonly number[])[],\n\tlikelihoodByHypothesis: readonly (readonly number[])[],\n\tcost: number,\n): number {\n\treturn experimentValue(prior, losses, likelihoodByHypothesis, cost).netValue;\n}\n"]}

package/dist/metacognition/predictions.d.ts

@@ -0,0 +1,78 @@
+export type PredictionKind = "check-outcome" | "scope" | "side-effect" | "resource" | "hypothesis-outcome";
+export type EstimatorKind = "uncalibrated-model-estimate" | "validated-estimator" | "none";
+export type PredictionStatus = "registered" | "resolved" | "superseded" | "unobserved";
+export type MismatchKind = "unexpected-pass" | "unexpected-fail" | "unexpected-side-effect" | "missing-observation" | "scope-mismatch" | "none";
+export interface Prediction {
+    readonly predictionId: string;
+    readonly operationId: string;
+    readonly taskId: string;
+    readonly stageId: string;
+    readonly kind: PredictionKind;
+    readonly candidateHash: string;
+    readonly environmentHash: string;
+    readonly checkDefinitionHash: string;
+    readonly policyVersion: string;
+    readonly modelRevision: string;
+    readonly skillHashes: readonly string[];
+    readonly expectedOutcome: string;
+    /** Binary expectation for scored predictions; undefined for categorical. */
+    readonly expectedBinary?: boolean;
+    readonly probability?: number;
+    readonly estimator: EstimatorKind;
+    readonly counterevidenceCondition: string;
+    readonly hostSequence: number;
+    readonly registeredAtMs: number;
+    status: PredictionStatus;
+    readonly resolvedAtMs?: number;
+    readonly observedOutcome?: string;
+    readonly observedBinary?: boolean;
+    readonly mismatch?: MismatchKind;
+}
+export interface ScoredPrediction {
+    readonly predictionId: string;
+    readonly mismatch: MismatchKind;
+    readonly brier?: number;
+    readonly surprise?: number;
+}
+/**
+ * Register a prediction. The host calls this BEFORE the operation runs.
+ * hostSequence is a host-owned monotone counter; predictions are immutable
+ * once registered — corrections append a new record.
+ */
+export declare function registerPrediction(ledger: readonly Prediction[], prediction: Omit<Prediction, "status">): readonly Prediction[];
+/**
+ * Resolve a registered prediction against a host observation bound to the
+ * same candidate/check/environment fingerprints. Mismatched bindings reject —
+ * a prediction for one candidate cannot be scored against another.
+ */
+export declare function resolvePrediction(ledger: readonly Prediction[], predictionId: string, observation: {
+    readonly candidateHash: string;
+    readonly environmentHash: string;
+    readonly checkDefinitionHash: string;
+    readonly outcome: string;
+    readonly binaryOutcome?: boolean;
+    readonly sideEffect?: boolean;
+    readonly observedAtMs: number;
+}): {
+    ledger: readonly Prediction[];
+    scored: ScoredPrediction;
+};
+/**
+ * Mark a prediction superseded (policy/budget/target changed before outcome)
+ * or unobserved (cancelled, environment failure, late result). Neither is
+ * ever scored as a code result.
+ */
+export declare function retirePrediction(ledger: readonly Prediction[], predictionId: string, outcome: "superseded" | "unobserved"): readonly Prediction[];
+/** Categorical mismatch summary plus scored aggregates. */
+export declare function mismatchSummary(ledger: readonly Prediction[]): {
+    readonly total: number;
+    readonly resolved: number;
+    readonly byKind: Readonly<Record<MismatchKind, number>>;
+    readonly meanBrier?: number;
+    readonly meanSurprise?: number;
+    readonly surprising: readonly ScoredPrediction[];
+};
+/** §5.5: map a mismatch kind to the short control branch it triggers. */
+export declare function mismatchBranch(kind: MismatchKind): string;
+export declare function predictionFingerprint(p: Prediction): string;
+//# sourceMappingURL=predictions.d.ts.map

package/dist/metacognition/predictions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predictions.d.ts","sourceRoot":"","sources":["../../src/metacognition/predictions.ts"],"names":[],"mappings":"AAaA,MAAM,MAAM,cAAc,GAAG,eAAe,GAAG,OAAO,GAAG,aAAa,GAAG,UAAU,GAAG,oBAAoB,CAAC;AAC3G,MAAM,MAAM,aAAa,GAAG,6BAA6B,GAAG,qBAAqB,GAAG,MAAM,CAAC;AAC3F,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,UAAU,GAAG,YAAY,GAAG,YAAY,CAAC;AACvF,MAAM,MAAM,YAAY,GACrB,iBAAiB,GACjB,iBAAiB,GACjB,wBAAwB,GACxB,qBAAqB,GACrB,gBAAgB,GAChB,MAAM,CAAC;AAEV,MAAM,WAAW,UAAU;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,4EAA4E;IAC5E,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,MAAM,EAAE,gBAAgB,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;CACjC;AACD,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC3B;AA4BD;;;;GAIG;AACH,wBAAgB,kBAAkB,CACjC,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,GACpC,SAAS,UAAU,EAAE,CAKvB;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAChC,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE;IACZ,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC9B,GACC;IAAE,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAA;CAAE,CAuC7D;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC/B,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,YAAY,GAAG,YAAY,GAClC,SAAS,UAAU,EAAE,CAQvB;AAED,2DAA2D;AAC3D,wBAAgB,eAAe,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,GAAG;IAC/D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACjD,CAyCA;AAED,0EAAyE;AACzE,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAezD;AAED,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM,CAW3D","sourcesContent":["/**\n * Algorithm B — pre-execution prediction ledger and mismatch scoring.\n * Spec: OMK_metacognitive_control_algorithms_2026-09-19.md §5.\n *\n * Predictions are registered by the host BEFORE outcomes exist and bound to\n * candidate/environment/check/policy fingerprints. Later edits append a new\n * prediction — existing records are never overwritten. Unobserved, cancelled,\n * or environment-failed outcomes stay unobserved; they are never silently\n * scored as code success or failure.\n */\nimport { brier, surprise } from \"./decision.ts\";\nimport { canonical, ensure, integer, lexical, member, text, unique } from \"./validation.ts\";\n\nexport type PredictionKind = \"check-outcome\" | \"scope\" | \"side-effect\" | \"resource\" | \"hypothesis-outcome\";\nexport type EstimatorKind = \"uncalibrated-model-estimate\" | \"validated-estimator\" | \"none\";\nexport type PredictionStatus = \"registered\" | \"resolved\" | \"superseded\" | \"unobserved\";\nexport type MismatchKind =\n\t| \"unexpected-pass\"\n\t| \"unexpected-fail\"\n\t| \"unexpected-side-effect\"\n\t| \"missing-observation\"\n\t| \"scope-mismatch\"\n\t| \"none\";\n\nexport interface Prediction {\n\treadonly predictionId: string;\n\treadonly operationId: string;\n\treadonly taskId: string;\n\treadonly stageId: string;\n\treadonly kind: PredictionKind;\n\treadonly candidateHash: string;\n\treadonly environmentHash: string;\n\treadonly checkDefinitionHash: string;\n\treadonly policyVersion: string;\n\treadonly modelRevision: string;\n\treadonly skillHashes: readonly string[];\n\treadonly expectedOutcome: string;\n\t/** Binary expectation for scored predictions; undefined for categorical. */\n\treadonly expectedBinary?: boolean;\n\treadonly probability?: number;\n\treadonly estimator: EstimatorKind;\n\treadonly counterevidenceCondition: string;\n\treadonly hostSequence: number;\n\treadonly registeredAtMs: number;\n\tstatus: PredictionStatus;\n\treadonly resolvedAtMs?: number;\n\treadonly observedOutcome?: string;\n\treadonly observedBinary?: boolean;\n\treadonly mismatch?: MismatchKind;\n}\nexport interface ScoredPrediction {\n\treadonly predictionId: string;\n\treadonly mismatch: MismatchKind;\n\treadonly brier?: number;\n\treadonly surprise?: number;\n}\n\nconst LEDGER_BOUND = 4096;\n\nfunction validatePrediction(p: Prediction): void {\n\ttext(p.predictionId, \"predictionId\", 128);\n\ttext(p.operationId, \"operationId\", 128);\n\ttext(p.taskId, \"taskId\", 128);\n\ttext(p.stageId, \"stageId\", 128);\n\tmember(p.kind, [\"check-outcome\", \"scope\", \"side-effect\", \"resource\", \"hypothesis-outcome\"], \"kind\");\n\ttext(p.candidateHash, \"candidateHash\", 128);\n\ttext(p.environmentHash, \"environmentHash\", 128);\n\ttext(p.checkDefinitionHash, \"checkDefinitionHash\", 128);\n\ttext(p.policyVersion, \"policyVersion\", 64);\n\ttext(p.modelRevision, \"modelRevision\", 128);\n\tunique(p.skillHashes, \"skillHashes\", 64);\n\ttext(p.expectedOutcome, \"expectedOutcome\", 2048);\n\ttext(p.counterevidenceCondition, \"counterevidenceCondition\", 2048);\n\tmember(p.estimator, [\"uncalibrated-model-estimate\", \"validated-estimator\", \"none\"], \"estimator\");\n\tinteger(p.hostSequence, \"hostSequence\");\n\tinteger(p.registeredAtMs, \"registeredAtMs\");\n\tif (p.probability !== undefined) {\n\t\tensure(p.probability >= 0 && p.probability <= 1, \"probability out of range\");\n\t\tensure(p.estimator !== \"none\", \"probability requires a declared estimator\");\n\t}\n\tif (p.expectedBinary !== undefined) ensure(typeof p.expectedBinary === \"boolean\", \"expectedBinary\");\n}\n\n/**\n * Register a prediction. The host calls this BEFORE the operation runs.\n * hostSequence is a host-owned monotone counter; predictions are immutable\n * once registered — corrections append a new record.\n */\nexport function registerPrediction(\n\tledger: readonly Prediction[],\n\tprediction: Omit<Prediction, \"status\">,\n): readonly Prediction[] {\n\tensure(ledger.length < LEDGER_BOUND, \"prediction ledger bound exceeded\");\n\tvalidatePrediction({ ...prediction, status: \"registered\" });\n\tensure(!ledger.some((p) => p.predictionId === prediction.predictionId), \"duplicate predictionId\");\n\treturn [...ledger, { ...prediction, status: \"registered\" }];\n}\n\n/**\n * Resolve a registered prediction against a host observation bound to the\n * same candidate/check/environment fingerprints. Mismatched bindings reject —\n * a prediction for one candidate cannot be scored against another.\n */\nexport function resolvePrediction(\n\tledger: readonly Prediction[],\n\tpredictionId: string,\n\tobservation: {\n\t\treadonly candidateHash: string;\n\t\treadonly environmentHash: string;\n\t\treadonly checkDefinitionHash: string;\n\t\treadonly outcome: string;\n\t\treadonly binaryOutcome?: boolean;\n\t\treadonly sideEffect?: boolean;\n\t\treadonly observedAtMs: number;\n\t},\n): { ledger: readonly Prediction[]; scored: ScoredPrediction } {\n\ttext(predictionId, \"predictionId\", 128);\n\tconst index = ledger.findIndex((p) => p.predictionId === predictionId);\n\tensure(index >= 0, \"unknown predictionId\");\n\tconst p = ledger[index]!;\n\tensure(p.status === \"registered\", `prediction ${predictionId} is ${p.status}`);\n\tensure(observation.candidateHash === p.candidateHash, \"candidate binding mismatch\");\n\tensure(observation.environmentHash === p.environmentHash, \"environment binding mismatch\");\n\tensure(observation.checkDefinitionHash === p.checkDefinitionHash, \"check binding mismatch\");\n\tinteger(observation.observedAtMs, \"observedAtMs\");\n\tensure(observation.observedAtMs >= p.registeredAtMs, \"observation predates registration\");\n\tlet mismatch: MismatchKind = \"none\";\n\tlet score: number | undefined;\n\tlet surpriseScore: number | undefined;\n\tif (observation.binaryOutcome !== undefined && p.expectedBinary !== undefined) {\n\t\tconst outcome: 0 | 1 = observation.binaryOutcome ? 1 : 0;\n\t\tconst expected: 0 | 1 = p.expectedBinary ? 1 : 0;\n\t\tif (outcome !== expected) mismatch = p.kind === \"check-outcome\" ? \"unexpected-fail\" : \"unexpected-side-effect\";\n\t\tif (p.probability !== undefined) {\n\t\t\tscore = brier(p.probability, outcome);\n\t\t\tsurpriseScore = surprise(p.probability, outcome);\n\t\t}\n\t} else if (observation.outcome !== p.expectedOutcome) {\n\t\tmismatch = p.kind === \"scope\" ? \"scope-mismatch\" : \"unexpected-fail\";\n\t}\n\tif (observation.sideEffect === true && p.kind !== \"side-effect\" && mismatch === \"none\") {\n\t\tmismatch = \"unexpected-side-effect\";\n\t}\n\tconst resolved: Prediction = {\n\t\t...p,\n\t\tstatus: \"resolved\",\n\t\tresolvedAtMs: observation.observedAtMs,\n\t\tobservedOutcome: observation.outcome,\n\t\tobservedBinary: observation.binaryOutcome,\n\t\tmismatch,\n\t};\n\tconst next = ledger.slice();\n\tnext[index] = resolved;\n\treturn { ledger: next, scored: { predictionId, mismatch, brier: score, surprise: surpriseScore } };\n}\n\n/**\n * Mark a prediction superseded (policy/budget/target changed before outcome)\n * or unobserved (cancelled, environment failure, late result). Neither is\n * ever scored as a code result.\n */\nexport function retirePrediction(\n\tledger: readonly Prediction[],\n\tpredictionId: string,\n\toutcome: \"superseded\" | \"unobserved\",\n): readonly Prediction[] {\n\tconst index = ledger.findIndex((p) => p.predictionId === predictionId);\n\tensure(index >= 0, \"unknown predictionId\");\n\tconst p = ledger[index]!;\n\tensure(p.status === \"registered\", `prediction ${predictionId} is ${p.status}`);\n\tconst next = ledger.slice();\n\tnext[index] = { ...p, status: outcome };\n\treturn next;\n}\n\n/** Categorical mismatch summary plus scored aggregates. */\nexport function mismatchSummary(ledger: readonly Prediction[]): {\n\treadonly total: number;\n\treadonly resolved: number;\n\treadonly byKind: Readonly<Record<MismatchKind, number>>;\n\treadonly meanBrier?: number;\n\treadonly meanSurprise?: number;\n\treadonly surprising: readonly ScoredPrediction[];\n} {\n\tconst byKind: Record<MismatchKind, number> = {\n\t\t\"unexpected-pass\": 0,\n\t\t\"unexpected-fail\": 0,\n\t\t\"unexpected-side-effect\": 0,\n\t\t\"missing-observation\": 0,\n\t\t\"scope-mismatch\": 0,\n\t\tnone: 0,\n\t};\n\tconst surprising: ScoredPrediction[] = [];\n\tlet brierSum = 0,\n\t\tsurpriseSum = 0,\n\t\tscored = 0;\n\tfor (const p of ledger) {\n\t\tif (p.status !== \"resolved\") continue;\n\t\tconst kind = p.mismatch ?? \"none\";\n\t\tbyKind[kind] += 1;\n\t\tif (p.observedBinary !== undefined && p.probability !== undefined) {\n\t\t\tconst outcome: 0 | 1 = p.observedBinary ? 1 : 0;\n\t\t\tbrierSum += brier(p.probability, outcome);\n\t\t\tsurpriseSum += surprise(p.probability, outcome);\n\t\t\tscored += 1;\n\t\t\tif (kind !== \"none\") {\n\t\t\t\tsurprising.push({\n\t\t\t\t\tpredictionId: p.predictionId,\n\t\t\t\t\tmismatch: kind,\n\t\t\t\t\tbrier: brier(p.probability, outcome),\n\t\t\t\t\tsurprise: surprise(p.probability, outcome),\n\t\t\t\t});\n\t\t\t}\n\t\t}\n\t}\n\tsurprising.sort((a, b) => (b.surprise ?? 0) - (a.surprise ?? 0) || lexical(a.predictionId, b.predictionId));\n\treturn {\n\t\ttotal: ledger.length,\n\t\tresolved: scored,\n\t\tbyKind,\n\t\tmeanBrier: scored > 0 ? brierSum / scored : undefined,\n\t\tmeanSurprise: scored > 0 ? surpriseSum / scored : undefined,\n\t\tsurprising,\n\t};\n}\n\n/** §5.5: map a mismatch kind to the short control branch it triggers. */\nexport function mismatchBranch(kind: MismatchKind): string {\n\tswitch (kind) {\n\t\tcase \"scope-mismatch\":\n\t\t\treturn \"impact-analysis-and-obligation-refresh\";\n\t\tcase \"unexpected-fail\":\n\t\t\treturn \"cause-hypothesis-discrimination\";\n\t\tcase \"unexpected-pass\":\n\t\t\treturn \"verifier-evaluation\";\n\t\tcase \"unexpected-side-effect\":\n\t\t\treturn \"boundary-and-permission-review\";\n\t\tcase \"missing-observation\":\n\t\t\treturn \"coverage-gap-registration\";\n\t\tcase \"none\":\n\t\t\treturn \"continue\";\n\t}\n}\n\nexport function predictionFingerprint(p: Prediction): string {\n\treturn canonical([\n\t\tp.operationId,\n\t\tp.taskId,\n\t\tp.stageId,\n\t\tp.candidateHash,\n\t\tp.environmentHash,\n\t\tp.checkDefinitionHash,\n\t\tp.policyVersion,\n\t\tp.modelRevision,\n\t]);\n}\n"]}