iterate-kernel 0.1.0-draft.1

package/dist/errors.js

@@ -0,0 +1,18 @@
+/**
+ * Thrown by every parse* function in this package when the input does not
+ * conform to the schema. `code` is stable and machine-readable; `issues`
+ * carries one entry per violation with a JSON-path-like location.
+ */
+export class KernelSchemaError extends Error {
+    code = "KERNEL_E_SCHEMA";
+    issues;
+    constructor(label, issues) {
+        const detail = issues
+            .map((issue) => `${issue.path.length > 0 ? issue.path : "<root>"}: ${issue.message}`)
+            .join("; ");
+        super(`invalid ${label}: ${detail}`);
+        this.name = "KernelSchemaError";
+        this.issues = issues;
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAKA;;;;GAIG;AACH,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACjC,IAAI,GAAG,iBAAiB,CAAC;IACzB,MAAM,CAA+B;IAE9C,YAAY,KAAa,EAAE,MAAoC;QAC7D,MAAM,MAAM,GAAG,MAAM;aAClB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;aACpF,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,KAAK,CAAC,WAAW,KAAK,KAAK,MAAM,EAAE,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;QAChC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF"}

package/dist/evidence-decision.d.ts

@@ -0,0 +1,44 @@
+import type { EvidencePack } from "./evidence-pack.js";
+import type { DecisionOutcome } from "./decision-log-entry.js";
+/**
+ * Transcribing an evidence pack into the decision log's vocabulary.
+ *
+ * This function deliberately contains **no verification logic of its own**. The
+ * three architecture iron laws put "did this change happen because of this
+ * operation" inside the Swift engine; the engine already answered that question
+ * and wrote it into the pack (`attribution`, `assertion.passed`,
+ * `diagnosis.class`, `circuitBreaker.level`). What lives here is only the
+ * mapping from those verdicts to the four `DecisionOutcome` values, so that both
+ * TypeScript shells log the same words for the same evidence — one of the
+ * reasons the mapping is in the kernel instead of in each shell.
+ *
+ * Order matters, and it is the order of "what actually decides the run":
+ *
+ *   1. `circuitBreaker.level >= 3`      → `blocked`
+ *      The loop was stopped by policy. Whether the interface is fine is not
+ *      what this entry is about, and saying `fail` would blame the app for a
+ *      harness limit.
+ *   2. an assertion present             → `pass` / `fail` from `assertion.passed`
+ *      This is the engine's own verdict on the property that was checked.
+ *   3. a diagnosis present              → `NO_ANOMALY` = pass, `INCONCLUSIVE` =
+ *      inconclusive, any `T*` class = fail
+ *   4. neither                          → `inconclusive`
+ *      Nothing was asserted and nothing diagnosed: there is no basis to record
+ *      a verdict, and an audit log full of unfounded `pass` entries is worse
+ *      than an empty one.
+ *
+ * Then, and only as a downgrade, the pack's own contamination fields are
+ * honoured: a `pass` whose attribution is `weak`, or which the engine flagged
+ * `contaminated`, is recorded as `inconclusive`. A "pass" the engine itself
+ * refuses to attribute to this operation must not be logged as if it had been
+ * attributed — that is the failure mode the audit chain exists to catch.
+ * Nothing here can upgrade a verdict.
+ */
+export declare function decisionOutcomeFromEvidence(evidence: EvidencePack): DecisionOutcome;
+/**
+ * Human-readable reason for the entry's `summary`, built from the same fields
+ * only. Producers use it so that two shells do not invent two phrasings of the
+ * same state; it is a *rendering* of the pack, never a new judgement.
+ */
+export declare function decisionSummaryFromEvidence(evidence: EvidencePack): string;
+//# sourceMappingURL=evidence-decision.d.ts.map

package/dist/evidence-decision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-decision.d.ts","sourceRoot":"","sources":["../src/evidence-decision.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,YAAY,GAAG,eAAe,CAMnF;AAoBD;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,YAAY,GAAG,MAAM,CAoB1E"}

package/dist/evidence-decision.js

@@ -0,0 +1,88 @@
+/**
+ * Transcribing an evidence pack into the decision log's vocabulary.
+ *
+ * This function deliberately contains **no verification logic of its own**. The
+ * three architecture iron laws put "did this change happen because of this
+ * operation" inside the Swift engine; the engine already answered that question
+ * and wrote it into the pack (`attribution`, `assertion.passed`,
+ * `diagnosis.class`, `circuitBreaker.level`). What lives here is only the
+ * mapping from those verdicts to the four `DecisionOutcome` values, so that both
+ * TypeScript shells log the same words for the same evidence — one of the
+ * reasons the mapping is in the kernel instead of in each shell.
+ *
+ * Order matters, and it is the order of "what actually decides the run":
+ *
+ *   1. `circuitBreaker.level >= 3`      → `blocked`
+ *      The loop was stopped by policy. Whether the interface is fine is not
+ *      what this entry is about, and saying `fail` would blame the app for a
+ *      harness limit.
+ *   2. an assertion present             → `pass` / `fail` from `assertion.passed`
+ *      This is the engine's own verdict on the property that was checked.
+ *   3. a diagnosis present              → `NO_ANOMALY` = pass, `INCONCLUSIVE` =
+ *      inconclusive, any `T*` class = fail
+ *   4. neither                          → `inconclusive`
+ *      Nothing was asserted and nothing diagnosed: there is no basis to record
+ *      a verdict, and an audit log full of unfounded `pass` entries is worse
+ *      than an empty one.
+ *
+ * Then, and only as a downgrade, the pack's own contamination fields are
+ * honoured: a `pass` whose attribution is `weak`, or which the engine flagged
+ * `contaminated`, is recorded as `inconclusive`. A "pass" the engine itself
+ * refuses to attribute to this operation must not be logged as if it had been
+ * attributed — that is the failure mode the audit chain exists to catch.
+ * Nothing here can upgrade a verdict.
+ */
+export function decisionOutcomeFromEvidence(evidence) {
+    const base = baseOutcome(evidence);
+    if (base !== "pass")
+        return base;
+    if (evidence.attribution.contaminated)
+        return "inconclusive";
+    if (evidence.attribution.level === "weak")
+        return "inconclusive";
+    return "pass";
+}
+function baseOutcome(evidence) {
+    if (evidence.circuitBreaker.level >= 3)
+        return "blocked";
+    // `assertion` and `diagnosis` are **both** `optional()` and `union([X, null])`:
+    // absent and explicit-null are two different shapes the engine really emits
+    // (the frozen fixture carries `"diagnosis": null`). A `!== null` test alone
+    // would treat an absent key as a present object and throw, so presence is
+    // tested with `?? null` instead.
+    const assertion = evidence.assertion ?? null;
+    if (assertion !== null)
+        return assertion.passed ? "pass" : "fail";
+    const diagnosis = evidence.diagnosis ?? null;
+    if (diagnosis !== null) {
+        if (diagnosis.class === "NO_ANOMALY")
+            return "pass";
+        if (diagnosis.class === "INCONCLUSIVE")
+            return "inconclusive";
+        return "fail";
+    }
+    return "inconclusive";
+}
+/**
+ * Human-readable reason for the entry's `summary`, built from the same fields
+ * only. Producers use it so that two shells do not invent two phrasings of the
+ * same state; it is a *rendering* of the pack, never a new judgement.
+ */
+export function decisionSummaryFromEvidence(evidence) {
+    const parts = [];
+    const assertion = evidence.assertion ?? null;
+    if (assertion !== null) {
+        parts.push(`assertion ${assertion.property} ${assertion.passed ? "passed" : "failed"}: expected ${JSON.stringify(assertion.expected)}, actual ${JSON.stringify(assertion.actual)}`);
+    }
+    const diagnosis = evidence.diagnosis ?? null;
+    if (diagnosis !== null) {
+        parts.push(`diagnosis ${diagnosis.class}: ${diagnosis.report.anomaly}`);
+    }
+    if (evidence.circuitBreaker.level > 0) {
+        parts.push(`circuitBreaker level ${evidence.circuitBreaker.level}${evidence.circuitBreaker.reason ? ` (${evidence.circuitBreaker.reason})` : ""}`);
+    }
+    parts.push(`attribution ${evidence.attribution.level}${evidence.attribution.contaminated ? ", contaminated" : ""}`);
+    const summary = parts.join("; ");
+    return summary.length > 2048 ? `${summary.slice(0, 2045)}...` : summary;
+}
+//# sourceMappingURL=evidence-decision.js.map

package/dist/evidence-decision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-decision.js","sourceRoot":"","sources":["../src/evidence-decision.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,2BAA2B,CAAC,QAAsB;IAChE,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,QAAQ,CAAC,WAAW,CAAC,YAAY;QAAE,OAAO,cAAc,CAAC;IAC7D,IAAI,QAAQ,CAAC,WAAW,CAAC,KAAK,KAAK,MAAM;QAAE,OAAO,cAAc,CAAC;IACjE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,QAAsB;IACzC,IAAI,QAAQ,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACzD,gFAAgF;IAChF,4EAA4E;IAC5E,4EAA4E;IAC5E,0EAA0E;IAC1E,iCAAiC;IACjC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,IAAI,CAAC;IAC7C,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IAClE,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,IAAI,CAAC;IAC7C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,SAAS,CAAC,KAAK,KAAK,YAAY;YAAE,OAAO,MAAM,CAAC;QACpD,IAAI,SAAS,CAAC,KAAK,KAAK,cAAc;YAAE,OAAO,cAAc,CAAC;QAC9D,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CAAC,QAAsB;IAChE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,IAAI,CAAC;IAC7C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CACR,aAAa,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,cAAc,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CACxK,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,IAAI,CAAC;IAC7C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,QAAQ,CAAC,cAAc,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CACR,wBAAwB,QAAQ,CAAC,cAAc,CAAC,KAAK,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvI,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,eAAe,QAAQ,CAAC,WAAW,CAAC,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpH,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAC1E,CAAC"}