kibi-cli 2.3.0 → 2.5.0

package/dist/public/operations/schema6-check-actions.d.ts

@@ -0,0 +1,127 @@
+import type { MigrationAction } from "./migration-plan.js";
+/**
+ * Review actions for the check findings the schema 6 migration asks a human
+ * to resolve. Each one has a stable id (not a diagnostic index), so the same
+ * item planned from authored sources and from a later check merges into one
+ * action, and findings that share a fix collapse into one action.
+ */
+export type MigrationActionInput = Partial<MigrationAction> & Pick<MigrationAction, "id" | "code">;
+/** Review: an exception that exempts nothing until a human approves it. */
+export declare const EXCEPTION_UNAPPROVED_REVIEW_CODE = "review_exception_unapproved";
+/** Review: an agent-recorded exception approval nobody corroborated. */
+export declare const EXCEPTION_SELF_ATTESTED_REVIEW_CODE = "review_exception_approval_self_attested";
+/** Review: a predicate whose missing key_arguments leave rule pairs open. */
+export declare const PREDICATE_KEY_ARGUMENTS_REVIEW_CODE = "review_predicate_key_arguments";
+/** Review: a success scenario whose feasibility cannot be decided. */
+export declare const SCENARIO_FEASIBILITY_REVIEW_CODE = "review_scenario_feasibility_unknown";
+/** Review: agent-authored requirements no human has approved (one action). */
+export declare const AGENT_REQUIREMENTS_REVIEW_CODE = "review_agent_requirements_unapproved";
+export declare const AGENT_REQUIREMENTS_REVIEW_ACTION_ID = "review-agent-requirements-unapproved";
+/** Automatic: close superseded requirements that are not closed. */
+export declare const CLOSE_SUPERSEDED_REQUIREMENTS_CODE = "close_superseded_requirements";
+export declare const CLOSE_SUPERSEDED_REQUIREMENTS_ACTION_ID = "close-superseded-requirements";
+/** Review: requirements that supersede each other (no automatic fix). */
+export declare const SUPERSESSION_CYCLE_REVIEW_CODE = "review_supersession_cycle";
+/**
+ * Automatic: repair redundant or dead authored `source` values. A moved
+ * knowledge file is rewritten to its `.kb/` path; a value naming the
+ * entity's own file or nothing Kibi can map is removed.
+ */
+export declare const SOURCE_PATH_REWRITE_CODE = "source_path_rewrite";
+export declare const SOURCE_PATH_REWRITE_ACTION_ID = "source-path-rewrite";
+/** Review: a source value Kibi cannot edit safely (the automatic fix's fallback). */
+export declare const SOURCE_PATH_REVIEW_CODE = "review_source_path_dangling";
+/** Review: symbols whose every owning requirement is retired (one queue). */
+export declare const SYMBOL_OWNER_REVIEW_CODE = "review_symbol_owner_superseded";
+export declare const SYMBOL_OWNER_REVIEW_ACTION_ID = "review-symbol-owner-superseded";
+/** Review: an accepted ADR nothing links to. */
+export declare const ADR_UNLINKED_REVIEW_CODE = "review_adr_unlinked";
+/** Review: an ADR still proposed. */
+export declare const ADR_PROPOSED_REVIEW_CODE = "review_adr_proposed";
+/** Review: human- or agent-authored requirements with no rationale (one queue). */
+export declare const RATIONALE_REVIEW_CODE = "review_requirement_rationale_missing";
+export declare const RATIONALE_REVIEW_ACTION_ID = "review-requirement-rationale-missing";
+/** Automatic: recompile sources rewritten by earlier migration actions. */
+export declare const MIGRATION_SYNC_CODE = "migration_sync";
+export declare const MIGRATION_SYNC_ACTION_ID = "migration-sync";
+export declare function exceptionUnapprovedActionId(exceptionId: string): string;
+/** The sync that recompiles sources rewritten by earlier actions. */
+export declare function migrationSyncActionInput(dependsOn: readonly string[]): MigrationActionInput;
+export type SupersededClosureInput = Readonly<{
+    id: string;
+    path?: string;
+    status: string;
+    supersededBy: readonly string[];
+}>;
+/** One automatic action that closes every listed superseded requirement. */
+export declare function closeSupersededRequirementsActionInput(closures: readonly SupersededClosureInput[]): MigrationActionInput;
+/** Review: requirements that supersede each other; a person picks the current one. */
+export declare function supersessionCycleReviewActionInput(cycle: {
+    members: readonly string[];
+    edges: readonly (readonly [string, string])[];
+    files?: readonly string[];
+}): MigrationActionInput;
+export type SourcePathRewriteInput = Readonly<{
+    entityId: string;
+    file: string;
+    from: string;
+    to: string;
+}>;
+export type SourcePathRemovalInput = Readonly<{
+    entityId: string;
+    file: string;
+    from: string;
+    /** `self`: the value names the entity's own file; `dangling`: nothing Kibi can map. */
+    reason: "self" | "dangling";
+}>;
+/**
+ * One automatic action that rewrites every listed moved source and removes
+ * every listed redundant or dead one.
+ */
+export declare function sourcePathRewriteActionInput(input: Readonly<{
+    rewrites: readonly SourcePathRewriteInput[];
+    removals: readonly SourcePathRemovalInput[];
+}>): MigrationActionInput;
+/**
+ * Review: a source value Kibi would rewrite or remove but cannot edit
+ * safely (it spans several lines, or the edit would change other fields).
+ */
+export declare function sourcePathReviewActionInput(source: {
+    entityId: string;
+    value: unknown;
+    file?: string;
+    reason?: string;
+    rewrite?: string;
+}): MigrationActionInput;
+type Violation = Readonly<Record<string, unknown>>;
+/**
+ * Map the blocking findings that schema 6 migrates mechanically to stable
+ * actions with the same ids `kibi migrate` plans from authored sources:
+ * superseded-requirement-open (one close action, one review per cycle) and
+ * source-path-dangling (one automatic rewrite-or-remove action; a review
+ * only for a value Kibi cannot edit safely), plus the sync that recompiles
+ * what they rewrite.
+ */
+export declare function lifecycleActionsFromViolations(violations: readonly Violation[]): {
+    actions: MigrationActionInput[];
+    consumed: ReadonlySet<number>;
+};
+/** Action codes `kibi migrate` plans itself from authored sources. */
+export declare const SOURCE_PLANNED_LIFECYCLE_CODES: ReadonlySet<string>;
+/** Exception review shared by the source scan and the exception-unapproved rule. */
+export declare function exceptionUnapprovedActionInput(input: {
+    exceptionId: string;
+    exempts: readonly string[];
+    source?: string;
+}): MigrationActionInput;
+type Diagnostic = Readonly<Record<string, unknown>>;
+/**
+ * Map the schema 6 review findings of one check to stable review actions.
+ * Returns the actions and the indexes of the diagnostics they replace.
+ */
+export declare function schema6ReviewActionsFromCheck(diagnostics: readonly Diagnostic[]): {
+    actions: MigrationActionInput[];
+    consumed: ReadonlySet<number>;
+};
+export {};
+//# sourceMappingURL=schema6-check-actions.d.ts.map

package/dist/public/operations/schema6-check-actions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema6-check-actions.d.ts","sourceRoot":"","sources":["../../../src/public/operations/schema6-check-actions.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAE3D;;;;;GAKG;AAGH,MAAM,MAAM,oBAAoB,GAAG,OAAO,CAAC,eAAe,CAAC,GACzD,IAAI,CAAC,eAAe,EAAE,IAAI,GAAG,MAAM,CAAC,CAAC;AAEvC,2EAA2E;AAE3E,eAAO,MAAM,gCAAgC,gCAAgC,CAAC;AAC9E,wEAAwE;AAExE,eAAO,MAAM,mCAAmC,4CACL,CAAC;AAC5C,6EAA6E;AAE7E,eAAO,MAAM,mCAAmC,mCACd,CAAC;AACnC,sEAAsE;AAEtE,eAAO,MAAM,gCAAgC,wCACN,CAAC;AACxC,8EAA8E;AAE9E,eAAO,MAAM,8BAA8B,yCACH,CAAC;AAEzC,eAAO,MAAM,mCAAmC,yCACR,CAAC;AAEzC,oEAAoE;AAEpE,eAAO,MAAM,kCAAkC,kCACd,CAAC;AAElC,eAAO,MAAM,uCAAuC,kCACnB,CAAC;AAClC,yEAAyE;AAEzE,eAAO,MAAM,8BAA8B,8BAA8B,CAAC;AAC1E;;;;GAIG;AAEH,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAE9D,eAAO,MAAM,6BAA6B,wBAAwB,CAAC;AACnE,qFAAqF;AAErF,eAAO,MAAM,uBAAuB,gCAAgC,CAAC;AACrE,6EAA6E;AAE7E,eAAO,MAAM,wBAAwB,mCAAmC,CAAC;AAEzE,eAAO,MAAM,6BAA6B,mCAAmC,CAAC;AAC9E,gDAAgD;AAEhD,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAC9D,qCAAqC;AAErC,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAC9D,mFAAmF;AAEnF,eAAO,MAAM,qBAAqB,yCAAyC,CAAC;AAE5E,eAAO,MAAM,0BAA0B,yCACC,CAAC;AACzC,2EAA2E;AAE3E,eAAO,MAAM,mBAAmB,mBAAmB,CAAC;AAEpD,eAAO,MAAM,wBAAwB,mBAAmB,CAAC;AAQzD,wBAAgB,2BAA2B,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAEvE;AAMD,qEAAqE;AAErE,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,oBAAoB,CAgBtB;AAGD,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,CAAC,CAAC;AAEH,4EAA4E;AAE5E,wBAAgB,sCAAsC,CACpD,QAAQ,EAAE,SAAS,sBAAsB,EAAE,GAC1C,oBAAoB,CA2BtB;AAED,sFAAsF;AAEtF,wBAAgB,kCAAkC,CAAC,KAAK,EAAE;IACxD,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;IAC9C,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3B,GAAG,oBAAoB,CAqBvB;AAGD,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AAGH,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,uFAAuF;IACvF,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC;CAC7B,CAAC,CAAC;AAYH;;;GAGG;AAEH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,QAAQ,CAAC;IACd,QAAQ,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC5C,QAAQ,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAC7C,CAAC,GACD,oBAAoB,CAyBtB;AAED;;;GAGG;AAEH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,GAAG,oBAAoB,CA6BvB;AAED,KAAK,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEnD;;;;;;;GAOG;AAEH,wBAAgB,8BAA8B,CAC5C,UAAU,EAAE,SAAS,SAAS,EAAE,GAC/B;IAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,CAgFpE;AAED,sEAAsE;AAEtE,eAAO,MAAM,8BAA8B,EAAE,WAAW,CAAC,MAAM,CAM7D,CAAC;AAEH,oFAAoF;AAEpF,wBAAgB,8BAA8B,CAAC,KAAK,EAAE;IACpD,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,oBAAoB,CAgBvB;AAED,KAAK,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AA8BpD;;;GAGG;AAEH,wBAAgB,6BAA6B,CAC3C,WAAW,EAAE,SAAS,UAAU,EAAE,GACjC;IAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,CA4NpE"}