@qmilab/lodestar-core 0.1.5 → 0.2.0

package/dist/schemas/reflection.d.ts

@@ -0,0 +1,405 @@
+import { z } from "zod";
+/**
+ * What triggered a reflection pass.
+ *
+ * `cli` — invoked by `lodestar reflect` from a human operator.
+ * `programmatic` — invoked from host code (e.g. runGuarded, the MCP
+ *   proxy) at a deliberate point.
+ * `tail_cascade` — a `belief.transitioned` event recorded a transition
+ *   to `truth_status: contradicted`; the tail watcher dispatched a
+ *   pass to look for dependent fall-out.
+ * `tail_batch` — N `belief.adopted` events have accrued since the
+ *   last pass for the partition (configurable batch size).
+ * `sentinel` — a `sentinel.alerted` event named a `belief_id` as
+ *   subject; the sentinel asked reflection to follow up.
+ */
+export declare const ReflectionTriggerSchema: z.ZodEnum<["cli", "programmatic", "tail_cascade", "tail_batch", "sentinel"]>;
+export type ReflectionTrigger = z.infer<typeof ReflectionTriggerSchema>;
+/**
+ * The lifecycle axes a reflection proposal can target. Mirrors
+ * `LifecycleAxis` in `@qmilab/lodestar-memory-firewall` deliberately —
+ * the core package cannot import from downstream packages, so the
+ * literal union is duplicated here. Keep these in sync.
+ */
+export declare const ReflectionLifecycleAxisSchema: z.ZodEnum<["truth_status", "retrieval_status", "security_status", "freshness_status"]>;
+export type ReflectionLifecycleAxis = z.infer<typeof ReflectionLifecycleAxisSchema>;
+/**
+ * Subject of a `no_op` proposal — reflection looked at this thing
+ * and decided no change. Recorded so the audit trail distinguishes
+ * "reflection considered X and did nothing" from "reflection did
+ * not consider X."
+ */
+export declare const ReflectionSubjectSchema: z.ZodObject<{
+    kind: z.ZodEnum<["belief", "claim", "decision"]>;
+    id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "belief" | "claim" | "decision";
+}, {
+    id: string;
+    kind: "belief" | "claim" | "decision";
+}>;
+export type ReflectionSubject = z.infer<typeof ReflectionSubjectSchema>;
+/**
+ * One typed proposal from a reflection pass.
+ *
+ * Proposals are *suggestions*. They do not mutate state. When a
+ * proposal is acted on, the runner calls the existing MemoryFirewall
+ * API with `by_authority: "reflection"`, and the firewall emits its
+ * own normal `belief.adopted` / `belief.transitioned` event whose
+ * `causal_parent_ids` includes the reflection pass's event id.
+ *
+ * The `rationale_id` on every variant points to an Explanation the
+ * runner generated alongside the proposal — same shape as the
+ * Explanations the firewall consumes for transitions.
+ */
+export declare const ReflectionProposalSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"claim_promotion">;
+    claim_id: z.ZodString;
+    target_truth_status: z.ZodEnum<["unverified", "supported", "contradicted", "superseded"]>;
+    evidence_id: z.ZodString;
+    rationale_id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    kind: "claim_promotion";
+    claim_id: string;
+    rationale_id: string;
+    target_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+    evidence_id: string;
+}, {
+    kind: "claim_promotion";
+    claim_id: string;
+    rationale_id: string;
+    target_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+    evidence_id: string;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"belief_transition">;
+    belief_id: z.ZodString;
+    axis: z.ZodEnum<["truth_status", "retrieval_status", "security_status", "freshness_status"]>;
+    from_value: z.ZodString;
+    to_value: z.ZodString;
+    evidence_id: z.ZodOptional<z.ZodString>;
+    rationale_id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    kind: "belief_transition";
+    rationale_id: string;
+    belief_id: string;
+    axis: "truth_status" | "retrieval_status" | "security_status" | "freshness_status";
+    from_value: string;
+    to_value: string;
+    evidence_id?: string | undefined;
+}, {
+    kind: "belief_transition";
+    rationale_id: string;
+    belief_id: string;
+    axis: "truth_status" | "retrieval_status" | "security_status" | "freshness_status";
+    from_value: string;
+    to_value: string;
+    evidence_id?: string | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"belief_supersession">;
+    old_belief_id: z.ZodString;
+    new_belief_id: z.ZodString;
+    rationale_id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    kind: "belief_supersession";
+    rationale_id: string;
+    old_belief_id: string;
+    new_belief_id: string;
+}, {
+    kind: "belief_supersession";
+    rationale_id: string;
+    old_belief_id: string;
+    new_belief_id: string;
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"decision_dependency_flagged">;
+    decision_id: z.ZodString;
+    contradicted_belief_id: z.ZodString;
+    /**
+     * The contradicted belief's truth_status BEFORE the transition.
+     * Captured from the firing `belief.transitioned` payload's
+     * `from_value` (defensively a TruthStatus, but stored as the raw
+     * string the transition emitted). Used by the application step
+     * to record an accurate `old_value` in the dependent Decision's
+     * Revision — a belief can transition `unverified → contradicted`
+     * directly, not only from `supported`.
+     */
+    previous_truth_status: z.ZodEnum<["unverified", "supported", "contradicted", "superseded"]>;
+    rationale_id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    kind: "decision_dependency_flagged";
+    rationale_id: string;
+    decision_id: string;
+    contradicted_belief_id: string;
+    previous_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+}, {
+    kind: "decision_dependency_flagged";
+    rationale_id: string;
+    decision_id: string;
+    contradicted_belief_id: string;
+    previous_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"no_op">;
+    subject: z.ZodObject<{
+        kind: z.ZodEnum<["belief", "claim", "decision"]>;
+        id: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "belief" | "claim" | "decision";
+    }, {
+        id: string;
+        kind: "belief" | "claim" | "decision";
+    }>;
+    rationale_id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    subject: {
+        id: string;
+        kind: "belief" | "claim" | "decision";
+    };
+    kind: "no_op";
+    rationale_id: string;
+}, {
+    subject: {
+        id: string;
+        kind: "belief" | "claim" | "decision";
+    };
+    kind: "no_op";
+    rationale_id: string;
+}>]>;
+export type ReflectionProposal = z.infer<typeof ReflectionProposalSchema>;
+/**
+ * The payload of a `reflection.completed@1` event.
+ *
+ * Idempotence is by cursor: a pass over events with `seq` strictly
+ * greater than `cursor.from_seq` and less than or equal to
+ * `cursor.to_seq` produces the same proposals on re-run. Re-running
+ * is safe — proposals are typed, no state has been mutated, and the
+ * harness can compare proposal sets across runs.
+ *
+ * `observed_event_ids` lists every event the pass actually read.
+ * `proposals` is non-empty in v0 — a pass that found nothing to act
+ * on emits a `no_op` proposal for at least one subject it inspected,
+ * so the harness can distinguish "ran and silent" from "did not run."
+ */
+export declare const ReflectionCompletedPayloadSchema: z.ZodObject<{
+    pass_id: z.ZodString;
+    triggered_by: z.ZodEnum<["cli", "programmatic", "tail_cascade", "tail_batch", "sentinel"]>;
+    cursor: z.ZodObject<{
+        from_seq: z.ZodNumber;
+        to_seq: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        from_seq: number;
+        to_seq: number;
+    }, {
+        from_seq: number;
+        to_seq: number;
+    }>;
+    observed_event_ids: z.ZodArray<z.ZodString, "many">;
+    proposals: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"claim_promotion">;
+        claim_id: z.ZodString;
+        target_truth_status: z.ZodEnum<["unverified", "supported", "contradicted", "superseded"]>;
+        evidence_id: z.ZodString;
+        rationale_id: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "claim_promotion";
+        claim_id: string;
+        rationale_id: string;
+        target_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+        evidence_id: string;
+    }, {
+        kind: "claim_promotion";
+        claim_id: string;
+        rationale_id: string;
+        target_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+        evidence_id: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"belief_transition">;
+        belief_id: z.ZodString;
+        axis: z.ZodEnum<["truth_status", "retrieval_status", "security_status", "freshness_status"]>;
+        from_value: z.ZodString;
+        to_value: z.ZodString;
+        evidence_id: z.ZodOptional<z.ZodString>;
+        rationale_id: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "belief_transition";
+        rationale_id: string;
+        belief_id: string;
+        axis: "truth_status" | "retrieval_status" | "security_status" | "freshness_status";
+        from_value: string;
+        to_value: string;
+        evidence_id?: string | undefined;
+    }, {
+        kind: "belief_transition";
+        rationale_id: string;
+        belief_id: string;
+        axis: "truth_status" | "retrieval_status" | "security_status" | "freshness_status";
+        from_value: string;
+        to_value: string;
+        evidence_id?: string | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"belief_supersession">;
+        old_belief_id: z.ZodString;
+        new_belief_id: z.ZodString;
+        rationale_id: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "belief_supersession";
+        rationale_id: string;
+        old_belief_id: string;
+        new_belief_id: string;
+    }, {
+        kind: "belief_supersession";
+        rationale_id: string;
+        old_belief_id: string;
+        new_belief_id: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"decision_dependency_flagged">;
+        decision_id: z.ZodString;
+        contradicted_belief_id: z.ZodString;
+        /**
+         * The contradicted belief's truth_status BEFORE the transition.
+         * Captured from the firing `belief.transitioned` payload's
+         * `from_value` (defensively a TruthStatus, but stored as the raw
+         * string the transition emitted). Used by the application step
+         * to record an accurate `old_value` in the dependent Decision's
+         * Revision — a belief can transition `unverified → contradicted`
+         * directly, not only from `supported`.
+         */
+        previous_truth_status: z.ZodEnum<["unverified", "supported", "contradicted", "superseded"]>;
+        rationale_id: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "decision_dependency_flagged";
+        rationale_id: string;
+        decision_id: string;
+        contradicted_belief_id: string;
+        previous_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+    }, {
+        kind: "decision_dependency_flagged";
+        rationale_id: string;
+        decision_id: string;
+        contradicted_belief_id: string;
+        previous_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"no_op">;
+        subject: z.ZodObject<{
+            kind: z.ZodEnum<["belief", "claim", "decision"]>;
+            id: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            kind: "belief" | "claim" | "decision";
+        }, {
+            id: string;
+            kind: "belief" | "claim" | "decision";
+        }>;
+        rationale_id: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        subject: {
+            id: string;
+            kind: "belief" | "claim" | "decision";
+        };
+        kind: "no_op";
+        rationale_id: string;
+    }, {
+        subject: {
+            id: string;
+            kind: "belief" | "claim" | "decision";
+        };
+        kind: "no_op";
+        rationale_id: string;
+    }>]>, "many">;
+    started_at: z.ZodString;
+    finished_at: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    triggered_by: "sentinel" | "cli" | "programmatic" | "tail_cascade" | "tail_batch";
+    pass_id: string;
+    cursor: {
+        from_seq: number;
+        to_seq: number;
+    };
+    observed_event_ids: string[];
+    proposals: ({
+        kind: "claim_promotion";
+        claim_id: string;
+        rationale_id: string;
+        target_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+        evidence_id: string;
+    } | {
+        kind: "belief_transition";
+        rationale_id: string;
+        belief_id: string;
+        axis: "truth_status" | "retrieval_status" | "security_status" | "freshness_status";
+        from_value: string;
+        to_value: string;
+        evidence_id?: string | undefined;
+    } | {
+        kind: "belief_supersession";
+        rationale_id: string;
+        old_belief_id: string;
+        new_belief_id: string;
+    } | {
+        kind: "decision_dependency_flagged";
+        rationale_id: string;
+        decision_id: string;
+        contradicted_belief_id: string;
+        previous_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+    } | {
+        subject: {
+            id: string;
+            kind: "belief" | "claim" | "decision";
+        };
+        kind: "no_op";
+        rationale_id: string;
+    })[];
+    started_at: string;
+    finished_at: string;
+}, {
+    triggered_by: "sentinel" | "cli" | "programmatic" | "tail_cascade" | "tail_batch";
+    pass_id: string;
+    cursor: {
+        from_seq: number;
+        to_seq: number;
+    };
+    observed_event_ids: string[];
+    proposals: ({
+        kind: "claim_promotion";
+        claim_id: string;
+        rationale_id: string;
+        target_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+        evidence_id: string;
+    } | {
+        kind: "belief_transition";
+        rationale_id: string;
+        belief_id: string;
+        axis: "truth_status" | "retrieval_status" | "security_status" | "freshness_status";
+        from_value: string;
+        to_value: string;
+        evidence_id?: string | undefined;
+    } | {
+        kind: "belief_supersession";
+        rationale_id: string;
+        old_belief_id: string;
+        new_belief_id: string;
+    } | {
+        kind: "decision_dependency_flagged";
+        rationale_id: string;
+        decision_id: string;
+        contradicted_belief_id: string;
+        previous_truth_status: "unverified" | "supported" | "contradicted" | "superseded";
+    } | {
+        subject: {
+            id: string;
+            kind: "belief" | "claim" | "decision";
+        };
+        kind: "no_op";
+        rationale_id: string;
+    })[];
+    started_at: string;
+    finished_at: string;
+}>;
+export type ReflectionCompletedPayload = z.infer<typeof ReflectionCompletedPayloadSchema>;
+/**
+ * Event-type literal. Use this constant rather than the bare string
+ * so a future rename is grep-safe.
+ */
+export declare const REFLECTION_COMPLETED_EVENT_TYPE: "reflection.completed";
+export declare const REFLECTION_COMPLETED_SCHEMA_VERSION: "1";
+//# sourceMappingURL=reflection.d.ts.map

package/dist/schemas/reflection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reflection.d.ts","sourceRoot":"","sources":["../../src/schemas/reflection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,uBAAuB,8EAMlC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,wFAKxC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAA;AAEnF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;EAGlC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAoCjC;;;;;;;;OAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IASL,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAlCzC;;;;;;;;WAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+CL,CAAA;AACF,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gCAAgC,CAAC,CAAA;AAEzF;;;GAGG;AACH,eAAO,MAAM,+BAA+B,wBAAkC,CAAA;AAC9E,eAAO,MAAM,mCAAmC,KAAe,CAAA"}

package/dist/schemas/reflection.js

@@ -0,0 +1,154 @@
+import { z } from "zod";
+import { TruthStatusSchema } from "./belief.js";
+import { TimestampSchema } from "./common.js";
+/**
+ * What triggered a reflection pass.
+ *
+ * `cli` — invoked by `lodestar reflect` from a human operator.
+ * `programmatic` — invoked from host code (e.g. runGuarded, the MCP
+ *   proxy) at a deliberate point.
+ * `tail_cascade` — a `belief.transitioned` event recorded a transition
+ *   to `truth_status: contradicted`; the tail watcher dispatched a
+ *   pass to look for dependent fall-out.
+ * `tail_batch` — N `belief.adopted` events have accrued since the
+ *   last pass for the partition (configurable batch size).
+ * `sentinel` — a `sentinel.alerted` event named a `belief_id` as
+ *   subject; the sentinel asked reflection to follow up.
+ */
+export const ReflectionTriggerSchema = z.enum([
+    "cli",
+    "programmatic",
+    "tail_cascade",
+    "tail_batch",
+    "sentinel",
+]);
+/**
+ * The lifecycle axes a reflection proposal can target. Mirrors
+ * `LifecycleAxis` in `@qmilab/lodestar-memory-firewall` deliberately —
+ * the core package cannot import from downstream packages, so the
+ * literal union is duplicated here. Keep these in sync.
+ */
+export const ReflectionLifecycleAxisSchema = z.enum([
+    "truth_status",
+    "retrieval_status",
+    "security_status",
+    "freshness_status",
+]);
+/**
+ * Subject of a `no_op` proposal — reflection looked at this thing
+ * and decided no change. Recorded so the audit trail distinguishes
+ * "reflection considered X and did nothing" from "reflection did
+ * not consider X."
+ */
+export const ReflectionSubjectSchema = z.object({
+    kind: z.enum(["belief", "claim", "decision"]),
+    id: z.string(),
+});
+/**
+ * One typed proposal from a reflection pass.
+ *
+ * Proposals are *suggestions*. They do not mutate state. When a
+ * proposal is acted on, the runner calls the existing MemoryFirewall
+ * API with `by_authority: "reflection"`, and the firewall emits its
+ * own normal `belief.adopted` / `belief.transitioned` event whose
+ * `causal_parent_ids` includes the reflection pass's event id.
+ *
+ * The `rationale_id` on every variant points to an Explanation the
+ * runner generated alongside the proposal — same shape as the
+ * Explanations the firewall consumes for transitions.
+ */
+export const ReflectionProposalSchema = z.discriminatedUnion("kind", [
+    z.object({
+        kind: z.literal("claim_promotion"),
+        claim_id: z.string(),
+        target_truth_status: TruthStatusSchema,
+        evidence_id: z.string(),
+        rationale_id: z.string(),
+    }),
+    z.object({
+        kind: z.literal("belief_transition"),
+        belief_id: z.string(),
+        axis: ReflectionLifecycleAxisSchema,
+        from_value: z.string(),
+        to_value: z.string(),
+        evidence_id: z.string().optional(),
+        rationale_id: z.string(),
+    }),
+    z.object({
+        kind: z.literal("belief_supersession"),
+        old_belief_id: z.string(),
+        new_belief_id: z.string(),
+        rationale_id: z.string(),
+    }),
+    /**
+     * The decision-dependency cascade. When a belief that a past
+     * Decision depended on transitions to `truth_status: contradicted`,
+     * reflection proposes flagging that Decision as having a contradicted
+     * dependency. Applying the proposal emits a Revision event with
+     * `target_type: "decision"` so the decision's epistemic status
+     * change is recorded in the audit chain. (Closes the Batch-2-deferred
+     * "contradicted belief flags dependent decisions" invariant.)
+     */
+    z.object({
+        kind: z.literal("decision_dependency_flagged"),
+        decision_id: z.string(),
+        contradicted_belief_id: z.string(),
+        /**
+         * The contradicted belief's truth_status BEFORE the transition.
+         * Captured from the firing `belief.transitioned` payload's
+         * `from_value` (defensively a TruthStatus, but stored as the raw
+         * string the transition emitted). Used by the application step
+         * to record an accurate `old_value` in the dependent Decision's
+         * Revision — a belief can transition `unverified → contradicted`
+         * directly, not only from `supported`.
+         */
+        previous_truth_status: TruthStatusSchema,
+        rationale_id: z.string(),
+    }),
+    z.object({
+        kind: z.literal("no_op"),
+        subject: ReflectionSubjectSchema,
+        rationale_id: z.string(),
+    }),
+]);
+/**
+ * The payload of a `reflection.completed@1` event.
+ *
+ * Idempotence is by cursor: a pass over events with `seq` strictly
+ * greater than `cursor.from_seq` and less than or equal to
+ * `cursor.to_seq` produces the same proposals on re-run. Re-running
+ * is safe — proposals are typed, no state has been mutated, and the
+ * harness can compare proposal sets across runs.
+ *
+ * `observed_event_ids` lists every event the pass actually read.
+ * `proposals` is non-empty in v0 — a pass that found nothing to act
+ * on emits a `no_op` proposal for at least one subject it inspected,
+ * so the harness can distinguish "ran and silent" from "did not run."
+ */
+export const ReflectionCompletedPayloadSchema = z.object({
+    pass_id: z.string(),
+    triggered_by: ReflectionTriggerSchema,
+    cursor: z.object({
+        from_seq: z.number().int().min(-1).describe("-1 if this is the first pass for the partition"),
+        to_seq: z
+            .number()
+            .int()
+            .min(-1)
+            .describe("Equal to from_seq when the window is empty — the pass ran but observed no new events. " +
+            "Encoded explicitly (rather than skipping emission) so the audit chain can distinguish " +
+            "'reflection ran and was silent' from 'reflection did not run.'"),
+    }),
+    observed_event_ids: z.array(z.string()),
+    proposals: z
+        .array(ReflectionProposalSchema)
+        .min(1, "every reflection pass emits at least one proposal (no_op counts)"),
+    started_at: TimestampSchema,
+    finished_at: TimestampSchema,
+});
+/**
+ * Event-type literal. Use this constant rather than the bare string
+ * so a future rename is grep-safe.
+ */
+export const REFLECTION_COMPLETED_EVENT_TYPE = "reflection.completed";
+export const REFLECTION_COMPLETED_SCHEMA_VERSION = "1";
+//# sourceMappingURL=reflection.js.map

package/dist/schemas/reflection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reflection.js","sourceRoot":"","sources":["../../src/schemas/reflection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAE7C;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC5C,KAAK;IACL,cAAc;IACd,cAAc;IACd,YAAY;IACZ,UAAU;CACX,CAAC,CAAA;AAGF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,IAAI,CAAC;IAClD,cAAc;IACd,kBAAkB;IAClB,iBAAiB;IACjB,kBAAkB;CACnB,CAAC,CAAA;AAGF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;CACf,CAAC,CAAA;AAGF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACnE,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAClC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;QACpB,mBAAmB,EAAE,iBAAiB;QACtC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;QACvB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;KACzB,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC;QACpC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;QACrB,IAAI,EAAE,6BAA6B;QACnC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;QACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;QACpB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAClC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;KACzB,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;QACtC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;QACzB,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;QACzB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;KACzB,CAAC;IACF;;;;;;;;OAQG;IACH,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC;QAC9C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;QACvB,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE;QAClC;;;;;;;;WAQG;QACH,qBAAqB,EAAE,iBAAiB;QACxC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;KACzB,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,OAAO,EAAE,uBAAuB;QAChC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;KACzB,CAAC;CACH,CAAC,CAAA;AAGF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,MAAM,CAAC;IACvD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,YAAY,EAAE,uBAAuB;IACrC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,gDAAgD,CAAC;QAC7F,MAAM,EAAE,CAAC;aACN,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,CAAC,CAAC;aACP,QAAQ,CACP,wFAAwF;YACtF,wFAAwF;YACxF,gEAAgE,CACnE;KACJ,CAAC;IACF,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACvC,SAAS,EAAE,CAAC;SACT,KAAK,CAAC,wBAAwB,CAAC;SAC/B,GAAG,CAAC,CAAC,EAAE,kEAAkE,CAAC;IAC7E,UAAU,EAAE,eAAe;IAC3B,WAAW,EAAE,eAAe;CAC7B,CAAC,CAAA;AAGF;;;GAGG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,sBAA+B,CAAA;AAC9E,MAAM,CAAC,MAAM,mCAAmC,GAAG,GAAY,CAAA"}

package/dist/schemas/revision.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"revision.d.ts","sourceRoot":"","sources":["../../src/schemas/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYzB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAA;AAMrD;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,sMAUnC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,oDAAkD,CAAA;AACxF,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa5B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAA"}
+{"version":3,"file":"revision.d.ts","sourceRoot":"","sources":["../../src/schemas/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAczB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAA;AAMrD;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,sMAUnC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,oDAAkD,CAAA;AACxF,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa5B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAA"}

package/dist/schemas/revision.js.map

@@ -1 +1 @@
-{"version":3,"file":"revision.js","sourceRoot":"","sources":["../../src/schemas/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAE7C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACpD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACxB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;QACjB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;QACtB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;KACvB,CAAC,CAAC;IACH,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACzD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IACnD,EAAE,EAAE,eAAe;CACpB,CAAC,CAAA;AAGF,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC7C,iBAAiB;IACjB,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,uBAAuB;IACvB,oBAAoB;IACpB,kBAAkB;IAClB,iBAAiB;IACjB,iBAAiB;CAClB,CAAC,CAAA;AAGF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;AAGxF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,YAAY,EAAE,wBAAwB;IACtC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,yBAAyB;IACnC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACpD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IAC3D,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACjE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC1E,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC1E,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,yBAAyB,CAAC;IACzE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;IAC7C,EAAE,EAAE,eAAe;CACpB,CAAC,CAAA"}
+{"version":3,"file":"revision.js","sourceRoot":"","sources":["../../src/schemas/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAE7C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACpD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,OAAO,EAAE,CAAC,CAAC,KAAK,CACd,CAAC,CAAC,MAAM,CAAC;QACP,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;QACjB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;QACtB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;KACvB,CAAC,CACH;IACD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACzD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IACnD,EAAE,EAAE,eAAe;CACpB,CAAC,CAAA;AAGF,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC7C,iBAAiB;IACjB,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,uBAAuB;IACvB,oBAAoB;IACpB,kBAAkB;IAClB,iBAAiB;IACjB,iBAAiB;CAClB,CAAC,CAAA;AAGF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;AAGxF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,YAAY,EAAE,wBAAwB;IACtC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,yBAAyB;IACnC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACpD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IAC3D,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACjE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC1E,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC1E,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,yBAAyB,CAAC;IACzE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;IAC7C,EAAE,EAAE,eAAe;CACpB,CAAC,CAAA"}