@agentxm/client-core 0.1.6 → 0.3.1

package/dist/src/unstable/lint/config.js

@@ -0,0 +1,137 @@
+/**
+ * `LintConfig` — workspace-settings-level lint configuration.
+ *
+ * Workspace `.axm/settings.json` carries a `lint` section whose `rules` map
+ * binds rule ids to `"off" | "info" | "warn" | "error"`. The registry publish
+ * gate ignores workspace overrides; this config affects `axm lint` only.
+ *
+ * Keys are **exact** rule ids (`<namespace>/<name>`). No glob, wildcard, or
+ * regex syntax is accepted in v1. The accepted-key set is built at schema
+ * construction time from rule ids registered via `registerLintRuleIds` — the
+ * three v1 catalogs (`skill/*`, `pack/*`, `workspace/*`) each register their
+ * ids so adding a catalog in a later phase extends the set by construction.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import * as Schema from "effect/Schema";
+// -----------------------------------------------------------------------------
+// Config value schema
+// -----------------------------------------------------------------------------
+/**
+ * Accepted values for a `lint.rules` entry.
+ *
+ * Note: `"warn"` is the config surface for `Severity` `"warning"`; mirror's
+ * ESLint convention. The evaluator treats `"warn"` as equivalent to `warning`
+ * severity; `"off"` suppresses emission.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const LintRuleSeveritySchema = Schema.Literals(["off", "info", "warn", "error"]).annotate({
+    identifier: "LintRuleSeverity",
+    title: "Lint Rule Severity",
+    description: "Severity override for a lint rule: 'off' silences it, 'info'/'warn'/'error' raise or lower severity.",
+});
+// -----------------------------------------------------------------------------
+// Registered rule-id allowlist
+// -----------------------------------------------------------------------------
+/**
+ * Internal mutable registry of accepted rule ids, populated at module-load
+ * time by each rule catalog's side-effecting `registerLintRuleIds` call.
+ *
+ * The registry is module-local so callers in other packages can't extend it
+ * without going through `registerLintRuleIds`; the v1 catalogs register from
+ * `./catalog/skill.ts`, `./catalog/pack.ts`, and `./catalog/workspace.ts` in
+ * Phases 3a/3b/3c.
+ */
+const registeredRuleIds = new Set();
+/**
+ * Register one or more rule ids into the config allowlist.
+ *
+ * Each v1 rule catalog calls this once at module-load to extend the set of
+ * accepted `lint.rules` keys. Calls are additive and idempotent — registering
+ * an id twice is a no-op. A rule id that isn't registered will cause
+ * `SettingsSchema` decode to fail at the `lint.rules` key, surfacing the
+ * unknown id in the error path.
+ *
+ * Consumers (Phases 3a/3b/3c) should register from the catalog module by
+ * iterating the catalog's own rule array: no copy-paste of rule ids into this
+ * file.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const registerLintRuleIds = (ids) => {
+    for (const id of ids) {
+        registeredRuleIds.add(id);
+    }
+};
+/**
+ * Read-only view of the currently-registered rule ids.
+ *
+ * Mainly useful for tests and snapshots; production callers should not depend
+ * on ordering.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const registeredLintRuleIds = () => registeredRuleIds;
+// -----------------------------------------------------------------------------
+// Rules map schema
+// -----------------------------------------------------------------------------
+const ruleIdKeyFilter = Schema.makeFilter((input) => {
+    const invalid = [];
+    for (const key of Object.keys(input)) {
+        if (!registeredRuleIds.has(key)) {
+            invalid.push(key);
+        }
+    }
+    if (invalid.length === 0) {
+        return undefined;
+    }
+    return `Unknown lint rule id(s) in lint.rules: ${invalid.join(", ")}. Keys must be exact <namespace>/<name> ids; wildcards and globs are not supported.`;
+});
+/**
+ * Record of `<namespace>/<name>` ids to severity overrides.
+ *
+ * Unknown / wildcard / regex keys are rejected at decode by the filter — the
+ * filter walks the decoded record's keys and checks every key against the
+ * registered rule-id set. Wildcard patterns like `"skill/*"` fail the filter
+ * because they are not registered ids.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const LintRulesMapSchema = Schema.Record(Schema.String, LintRuleSeveritySchema)
+    .check(ruleIdKeyFilter)
+    .annotate({
+    identifier: "LintRulesMap",
+    title: "Lint Rules Map",
+    description: "Map of exact <namespace>/<name> rule ids to severity overrides for `axm lint`.",
+});
+// -----------------------------------------------------------------------------
+// LintConfig schema
+// -----------------------------------------------------------------------------
+/**
+ * `lint` section of `.axm/settings.json`.
+ *
+ * Today only `rules` is defined; future fields (per-rule options, reporter
+ * selection) extend this struct. The schema rejects excess top-level keys so
+ * typos surface at decode.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const LintConfigSchema = Schema.Struct({
+    rules: Schema.optional(LintRulesMapSchema),
+}).annotate({
+    identifier: "LintConfig",
+    title: "Lint Config",
+    description: "Workspace lint configuration under `lint` in `.axm/settings.json`.",
+});
+/**
+ * The platform-canonical `LintConfig` — empty rules, no overrides.
+ *
+ * Registry publish uses this config; it carries no overrides so every rule
+ * fires at its catalog severity.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const platformCanonicalLintConfig = { rules: {} };
+//# sourceMappingURL=config.js.map

package/dist/src/unstable/lint/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../../src/unstable/lint/config.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,gFAAgF;AAChF,sBAAsB;AACtB,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC/F,UAAU,EAAE,kBAAkB;IAC9B,KAAK,EAAE,oBAAoB;IAC3B,WAAW,EACT,sGAAsG;CACzG,CAAC,CAAC;AASH,gFAAgF;AAChF,+BAA+B;AAC/B,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;AAE5C;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,GAAqB,EAAQ,EAAE;IACjE,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,GAAwB,EAAE,CAAC,iBAAiB,CAAC;AAElF,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CACvC,CAAC,KAAwC,EAAsB,EAAE;IAC/D,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,0CAA0C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,qFAAqF,CAAC;AAC3J,CAAC,CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC;KACnF,KAAK,CAAC,eAAe,CAAC;KACtB,QAAQ,CAAC;IACR,UAAU,EAAE,cAAc;IAC1B,KAAK,EAAE,gBAAgB;IACvB,WAAW,EAAE,gFAAgF;CAC9F,CAAC,CAAC;AASL,gFAAgF;AAChF,oBAAoB;AACpB,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC;CAC3C,CAAC,CAAC,QAAQ,CAAC;IACV,UAAU,EAAE,YAAY;IACxB,KAAK,EAAE,aAAa;IACpB,WAAW,EAAE,oEAAoE;CAClF,CAAC,CAAC;AASH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAe,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC"}

package/dist/src/unstable/lint/context.d.ts

@@ -0,0 +1,265 @@
+/**
+ * Rule-context types and narrow accessors.
+ *
+ * Each rule-context type bundles a caller-decoded `subject` with a narrow
+ * caller-bound accessor and a `displayRoot` used for path rendering. Rules
+ * consume accessors as ordinary property access (no Layer wiring); tests pass
+ * literal fakes.
+ *
+ * Phase 2 pins the context shapes and accessor interfaces. Phases 3a, 3b, and
+ * 3c land the concrete `subject` decoders and VFT-/platform-backed accessor
+ * implementations.
+ *
+ * Accessor surfaces are intentionally minimal — rules SHALL see only the
+ * methods the v1 catalog requires. Extending a surface is a Phase 3a/3b/3c
+ * action with a documented rule consumer, not a free action.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import type * as Effect from "effect/Effect";
+import type * as Option from "effect/Option";
+import type { AgentDescriptor, AgentId } from "../agents/types.js";
+/**
+ * Tagged error surfaced by `SkillFileAccessor` / `PackFileAccessor` when a
+ * read fails for reasons other than "file not found" (which is represented
+ * by `exists -> false`).
+ *
+ * Concrete implementations live in Phases 3a/3b; this interface fixes the
+ * error shape rules can rely on.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface FileAccessError {
+    readonly _tag: "FileAccessError";
+    /** Accessor-relative posix path that failed. */
+    readonly path: string;
+    /** Machine-readable reason. */
+    readonly reason: "path-escape" | "read-error" | "io-error";
+    /** Human-readable detail; no rendered display path. */
+    readonly message: string;
+}
+/**
+ * Narrow skill-rooted file accessor.
+ *
+ * Root is the directory containing `SKILL.md`. Paths are posix and relative
+ * to the root; implementations MUST reject path-traversal attempts (`..`,
+ * absolute paths, symlink escapes) by returning `false` from `exists` or
+ * failing `readBytes` with `FileAccessError { reason: "path-escape" }`.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface SkillFileAccessor {
+    readonly exists: (path: string) => Effect.Effect<boolean>;
+    readonly readBytes: (path: string) => Effect.Effect<Uint8Array, FileAccessError>;
+}
+/**
+ * Narrow pack-rooted file accessor.
+ *
+ * Root is the directory containing `extension-pack.json`. Same traversal
+ * constraints as `SkillFileAccessor`.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface PackFileAccessor {
+    readonly exists: (path: string) => Effect.Effect<boolean>;
+    readonly readBytes: (path: string) => Effect.Effect<Uint8Array, FileAccessError>;
+}
+/**
+ * Raw workspace `settings.json` document as returned by the accessor.
+ *
+ * The accessor parses JSON but does NOT decode via `SettingsSchema` — the
+ * decode arm is the job of `workspace/settings-schema-valid`. Rules that
+ * need a typed shape call `Schema.decodeUnknown(SettingsSchema)` locally;
+ * those decodes produce no findings because `workspace/settings-schema-valid`
+ * already emits them.
+ *
+ * A `SettingsReadError` on the accessor's `settings` Effect means the bytes
+ * were unreadable or failed JSON.parse. Absence of the file surfaces via
+ * `exists(".axm/settings.json") -> false` and is owned by
+ * `workspace/initialized`.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export type SettingsDocument = unknown;
+/**
+ * Raw workspace `axm-lock.yaml` document as returned by the accessor.
+ *
+ * The accessor parses YAML but does NOT decode via `LockfileSchema` — the
+ * decode arm is the job of `workspace/lockfile-valid`. Rules that need a
+ * typed shape call `Schema.decodeUnknown(LockfileSchema)` locally; those
+ * decodes produce no findings because `workspace/lockfile-valid` already
+ * emits them.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export type LockfileDocument = unknown;
+/**
+ * Tagged error surfaced by workspace-level reads.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface SettingsReadError {
+    readonly _tag: "SettingsReadError";
+    readonly message: string;
+}
+/**
+ * Tagged error surfaced by workspace lockfile reads.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface LockfileReadError {
+    readonly _tag: "LockfileReadError";
+    readonly message: string;
+}
+/**
+ * A detected-but-not-declared coding agent surfaced by
+ * `WorkspaceLintAccessor.detectAgents`. Phase 3c refines this if the detector
+ * lands additional probe metadata.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface AgentDetection {
+    readonly id: AgentId;
+    /** Path (posix, accessor-relative) that led to the detection. */
+    readonly markerPath: string;
+}
+/**
+ * Narrow workspace-rooted accessor.
+ *
+ * Exposes only the methods the v1 workspace catalog consumes; see `lint-engine`
+ * spec "Workspace accessor exposes only v1 methods." Extending this interface
+ * requires a concrete rule that needs the added method.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface WorkspaceLintAccessor {
+    readonly settings: Effect.Effect<SettingsDocument, SettingsReadError>;
+    readonly lockfile: Effect.Effect<Option.Option<LockfileDocument>, LockfileReadError>;
+    readonly installedSkills: Effect.Effect<ReadonlyArray<SkillRuleContext>>;
+    readonly installedPacks: Effect.Effect<ReadonlyArray<PackRuleContext>>;
+    readonly knownAgents: Effect.Effect<ReadonlyArray<AgentDescriptor>>;
+    readonly detectAgents: (scope: "project" | "user") => Effect.Effect<ReadonlyArray<AgentDetection>>;
+    readonly exists: (path: string) => Effect.Effect<boolean>;
+    readonly isWritable: (path: string) => Effect.Effect<boolean>;
+    readonly list: (path: string) => Effect.Effect<ReadonlyArray<string>, FileAccessError>;
+}
+/**
+ * Context passed to `skill/*` rules.
+ *
+ * `subject` is the caller-decoded skill content (SKILL.md frontmatter +
+ * optional skill.json). Phase 3a refines the `subject` type to the concrete
+ * `SkillContent` shape; Phase 2 leaves it structurally open so the rule
+ * primitives don't need a circular dependency on the skill module.
+ *
+ * `displayRoot` is posix and relative; `""` means the accessor root is the
+ * rendering base. See `./compose-path.ts` for the four documented cases.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface SkillRuleContext<S = SkillContent> {
+    readonly subject: S;
+    readonly files: SkillFileAccessor;
+    readonly displayRoot: string;
+}
+/**
+ * Concrete subject shape passed to `skill/*` rules.
+ *
+ * Rules read `SKILL.md` bytes through `context.files` (the authoritative
+ * source shared across publish and `axm lint`). The `subject` carries only
+ * what rules can't efficiently re-derive from bytes:
+ *
+ * - `isNative` — whether the caller expects this skill to carry a
+ *   `skill.json` manifest. Native (registry-installed) skills set this to
+ *   `true`; non-native (managed external) skills set it to `false`. Rules
+ *   that depend on `skill.json` (`skill/manifest-present`,
+ *   `skill/manifest-schema-valid`, `skill/manifest-keys-recognized`)
+ *   early-return `[]` when `isNative === false`, so the same catalog covers
+ *   both.
+ * - `skillJson` — the already-decoded `skill.json` contents when present
+ *   (caller decodes once, rules don't re-read + re-parse). `undefined` when
+ *   the file is absent. Schema-valid rules pipe this into
+ *   `Schema.decodeUnknownResult(SkillManifestSchema)`; keys-recognized
+ *   enumerates top-level keys after narrowing to `Record<string, unknown>`.
+ *
+ * Phase 3b and 3c consumers build `SkillContent` via
+ * `buildSkillRuleContexts` (this phase) against the `WorkspaceIndex`
+ * surface; publish (Phase 4, this-repo) builds one `SkillContent` per
+ * incoming archive.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface SkillContent {
+    readonly isNative: boolean;
+    readonly skillJson: unknown;
+}
+/**
+ * Context passed to `pack/*` rules.
+ *
+ * `subject` is the caller-decoded pack content — concrete `PackContent` shape
+ * defined below. Packs are registry-only at v1 (no non-native arm), so the
+ * subject carries only the already-decoded manifest and rules read
+ * `extension-pack.json` bytes through `context.files` as needed.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface PackRuleContext<S = PackContent> {
+    readonly subject: S;
+    readonly files: PackFileAccessor;
+    readonly displayRoot: string;
+}
+/**
+ * Concrete subject shape passed to `pack/*` rules.
+ *
+ * Rules read `extension-pack.json` bytes through `context.files` (the
+ * authoritative source shared across publish and `axm lint`). The `subject`
+ * carries only what rules can't efficiently re-derive from bytes:
+ *
+ * - `packJson` — the already-decoded `extension-pack.json` contents when
+ *   present (caller decodes once, rules don't re-read + re-parse).
+ *   `undefined` when the file is absent. Schema-valid rules pipe this into
+ *   `Schema.decodeUnknownResult(ExtensionPackManifestSchema)`;
+ *   keys-recognized enumerates top-level keys after narrowing to
+ *   `Record<string, unknown>`.
+ *
+ * Unlike `SkillContent`, there is no `isNative` discriminator — packs are
+ * registry-only and every pack context is expected to expose a manifest.
+ * The presence rule (`pack/manifest-present`) owns the absence arm.
+ *
+ * Phase 3c consumers build `PackContent` via `buildPackRuleContexts`
+ * against the `WorkspaceIndex` surface; publish (Phase 4, this-repo) builds
+ * one `PackContent` per incoming archive.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface PackContent {
+    readonly packJson: unknown;
+}
+/**
+ * Context passed to `workspace/*` rules.
+ *
+ * `subject.scope` is `"project"` (default) or `"user"` (user-level `.axm/`).
+ * Rules whose invariants apply at only one scope early-return `[]` via the
+ * `check` body.
+ *
+ * `subject.root` is an absolute filesystem path pinning the workspace root;
+ * typed as `string` in Phase 2 so the rule primitives don't depend on a
+ * platform-specific path brand.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface WorkspaceRuleContext {
+    readonly subject: WorkspaceSubject;
+    readonly workspace: WorkspaceLintAccessor;
+    readonly displayRoot: string;
+}
+/**
+ * Workspace subject: the rule-addressable identity of the workspace under lint.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface WorkspaceSubject {
+    readonly root: string;
+    readonly scope: "project" | "user";
+}
+//# sourceMappingURL=context.d.ts.map

package/dist/src/unstable/lint/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../../src/unstable/lint/context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAMnE;;;;;;;;;GASG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,gDAAgD;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,YAAY,GAAG,UAAU,CAAC;IAC3D,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAMD;;;;;;;;;GASG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1D,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;CAClF;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1D,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;CAClF;AAMD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,CAAC;AAEvC;;;;;;;;;;GAUG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,CAAC;AAEvC;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IACtE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACrF,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACzE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IACvE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IACpE,QAAQ,CAAC,YAAY,EAAE,CACrB,KAAK,EAAE,SAAS,GAAG,MAAM,KACtB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1D,QAAQ,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,CAAC;CACxF;AAMD;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,gBAAgB,CAAC,CAAC,GAAG,YAAY;IAChD,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,GAAG,WAAW;IAC9C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAAC;CACpC"}

package/dist/src/unstable/lint/context.js

@@ -0,0 +1,21 @@
+/**
+ * Rule-context types and narrow accessors.
+ *
+ * Each rule-context type bundles a caller-decoded `subject` with a narrow
+ * caller-bound accessor and a `displayRoot` used for path rendering. Rules
+ * consume accessors as ordinary property access (no Layer wiring); tests pass
+ * literal fakes.
+ *
+ * Phase 2 pins the context shapes and accessor interfaces. Phases 3a, 3b, and
+ * 3c land the concrete `subject` decoders and VFT-/platform-backed accessor
+ * implementations.
+ *
+ * Accessor surfaces are intentionally minimal — rules SHALL see only the
+ * methods the v1 catalog requires. Extending a surface is a Phase 3a/3b/3c
+ * action with a documented rule consumer, not a free action.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+export {};
+//# sourceMappingURL=context.js.map

package/dist/src/unstable/lint/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../src/unstable/lint/context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG"}

package/dist/src/unstable/lint/evaluate.d.ts

@@ -0,0 +1,68 @@
+/**
+ * Pure evaluator for the lint engine.
+ *
+ * `evaluateContexts(rules, contexts, config)` pairs each rule with each context,
+ * invokes `rule.check`, applies severity overrides from `config.rules`, and
+ * drops findings whose configured severity is `"off"`. It never invokes
+ * `rule.fix` — that is the caller's job via `collectFixOperations` plus the
+ * plan pipeline.
+ *
+ * `collectFixOperations(evaluated)` walks the `AutofixableFinding`s produced
+ * above, invokes the matched rule's `fix`, flattens the returned operations
+ * and deduplicates them by structural equality. Two rules that emit the same
+ * `install-skill` Operation for the same target contribute it once.
+ *
+ * Both functions are plain `Effect` values; neither requires a Layer or an
+ * ambient service. See the `lint-engine` design doc §3 for the rationale
+ * behind library primitives over a central engine service.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import * as Effect from "effect/Effect";
+import type { Operation } from "../plan/plan.js";
+import type { LintConfig } from "./config.js";
+import type { LintFinding, LintRule } from "./rule.js";
+/**
+ * One `(rule, context, findings)` evaluation result.
+ *
+ * `findings` is emitted after severity overrides from `config.rules` have been
+ * applied; rule-level severity is the platform default, finding-level severity
+ * is the effective post-override severity.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export interface Evaluated<C> {
+    readonly rule: LintRule<C>;
+    readonly context: C;
+    readonly findings: ReadonlyArray<LintFinding>;
+}
+/**
+ * Pair each rule with each context, run `rule.check`, apply severity overrides
+ * from `config.rules`, and return one `Evaluated<C>` per pair.
+ *
+ * Findings whose configured severity is `"off"` are suppressed entirely; the
+ * `Evaluated` entry still ships (with an empty `findings` array) so consumers
+ * that group by rule still see the rule ran.
+ *
+ * Rules are evaluated in catalog order; contexts are evaluated in caller
+ * order. Rule-context invocation is sequential within a single
+ * `evaluateContexts` call so tests can observe deterministic ordering.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const evaluateContexts: <C>(rules: ReadonlyArray<LintRule<C>>, contexts: ReadonlyArray<C>, config: LintConfig) => Effect.Effect<ReadonlyArray<Evaluated<C>>>;
+/**
+ * Walk the `AutofixableFinding`s in `evaluated`, invoke each matched rule's
+ * `fix`, flatten the returned operations, and deduplicate by structural
+ * equality of the Operation value.
+ *
+ * Structural equality is defined as JSON-serializable deep equality on
+ * `{ name, args }`. v1 operations are plain POJOs; if an operation later grows
+ * non-serializable fields, the dedupe key extraction lands alongside that
+ * change.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export declare const collectFixOperations: <C>(evaluated: ReadonlyArray<Evaluated<C>>) => Effect.Effect<ReadonlyArray<Operation<string, unknown>>>;
+//# sourceMappingURL=evaluate.d.ts.map

package/dist/src/unstable/lint/evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../../../src/unstable/lint/evaluate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAoB,MAAM,aAAa,CAAC;AAChE,OAAO,KAAK,EAIV,WAAW,EACX,QAAQ,EAET,MAAM,WAAW,CAAC;AAMnB;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;CAC/C;AAgDD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,gBAAgB,GAAI,CAAC,EAChC,OAAO,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EACjC,UAAU,aAAa,CAAC,CAAC,CAAC,EAC1B,QAAQ,UAAU,KACjB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAKzC,CAAC;AA8BJ;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,oBAAoB,GAAI,CAAC,EACpC,WAAW,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KACrC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA4BtD,CAAC"}

package/dist/src/unstable/lint/evaluate.js

@@ -0,0 +1,147 @@
+/**
+ * Pure evaluator for the lint engine.
+ *
+ * `evaluateContexts(rules, contexts, config)` pairs each rule with each context,
+ * invokes `rule.check`, applies severity overrides from `config.rules`, and
+ * drops findings whose configured severity is `"off"`. It never invokes
+ * `rule.fix` — that is the caller's job via `collectFixOperations` plus the
+ * plan pipeline.
+ *
+ * `collectFixOperations(evaluated)` walks the `AutofixableFinding`s produced
+ * above, invokes the matched rule's `fix`, flattens the returned operations
+ * and deduplicates them by structural equality. Two rules that emit the same
+ * `install-skill` Operation for the same target contribute it once.
+ *
+ * Both functions are plain `Effect` values; neither requires a Layer or an
+ * ambient service. See the `lint-engine` design doc §3 for the rationale
+ * behind library primitives over a central engine service.
+ *
+ * @experimental This API is unstable and may change without notice.
+ * @packageDocumentation
+ */
+import * as Array from "effect/Array";
+import * as Effect from "effect/Effect";
+// -----------------------------------------------------------------------------
+// Severity override
+// -----------------------------------------------------------------------------
+/**
+ * Translate a `LintRuleSeverity` config value into an effective `Severity`
+ * or the `"off"` sentinel. `"warn"` maps to `"warning"` so downstream code
+ * sees the canonical three-severity alphabet.
+ *
+ * `config.rules` keys are exact rule ids with no wildcard / glob support in v1;
+ * see `./config.ts` for the schema.
+ */
+const translateConfigValue = (value) => {
+    switch (value) {
+        case "warn":
+            return "warning";
+        case "off":
+        case "info":
+        case "error":
+            return value;
+    }
+};
+const applyOverride = (defaultSeverity, override) => {
+    if (override === undefined) {
+        return defaultSeverity;
+    }
+    return translateConfigValue(override);
+};
+const withSeverity = (finding, severity) => {
+    if (finding.kind === "autofixable") {
+        const next = { ...finding, severity };
+        return next;
+    }
+    const next = { ...finding, severity };
+    return next;
+};
+// -----------------------------------------------------------------------------
+// evaluateContexts
+// -----------------------------------------------------------------------------
+/**
+ * Pair each rule with each context, run `rule.check`, apply severity overrides
+ * from `config.rules`, and return one `Evaluated<C>` per pair.
+ *
+ * Findings whose configured severity is `"off"` are suppressed entirely; the
+ * `Evaluated` entry still ships (with an empty `findings` array) so consumers
+ * that group by rule still see the rule ran.
+ *
+ * Rules are evaluated in catalog order; contexts are evaluated in caller
+ * order. Rule-context invocation is sequential within a single
+ * `evaluateContexts` call so tests can observe deterministic ordering.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const evaluateContexts = (rules, contexts, config) => Effect.forEach(rules.flatMap((rule) => contexts.map((context) => ({ rule, context }))), ({ rule, context }) => evaluateOne(rule, context, config), { concurrency: 1 });
+const evaluateOne = (rule, context, config) => Effect.map(rule.check(context), (rawFindings) => ({
+    rule,
+    context,
+    findings: applySeverityConfig(rule, rawFindings, config),
+}));
+const applySeverityConfig = (rule, findings, config) => {
+    const override = config.rules?.[rule.id];
+    const effective = applyOverride(rule.severity, override);
+    if (effective === "off") {
+        return [];
+    }
+    return Array.map(findings, (finding) => withSeverity(finding, effective));
+};
+// -----------------------------------------------------------------------------
+// collectFixOperations
+// -----------------------------------------------------------------------------
+/**
+ * Walk the `AutofixableFinding`s in `evaluated`, invoke each matched rule's
+ * `fix`, flatten the returned operations, and deduplicate by structural
+ * equality of the Operation value.
+ *
+ * Structural equality is defined as JSON-serializable deep equality on
+ * `{ name, args }`. v1 operations are plain POJOs; if an operation later grows
+ * non-serializable fields, the dedupe key extraction lands alongside that
+ * change.
+ *
+ * @experimental This API is unstable and may change without notice.
+ */
+export const collectFixOperations = (evaluated) => Effect.gen(function* () {
+    const collected = [];
+    const seen = new Set();
+    for (const entry of evaluated) {
+        if (entry.rule.kind !== "autofixing") {
+            continue;
+        }
+        const rule = entry.rule;
+        for (const finding of entry.findings) {
+            if (finding.kind !== "autofixable") {
+                continue;
+            }
+            const ops = yield* rule.fix(entry.context, finding);
+            for (const op of ops) {
+                const key = dedupeKey(op);
+                if (seen.has(key)) {
+                    continue;
+                }
+                seen.add(key);
+                collected.push(op);
+            }
+        }
+    }
+    return collected;
+});
+const dedupeKey = (op) => {
+    // Stable serialization: sort keys recursively to avoid collisions from
+    // property-order differences. v1 Operation args are plain JSON-compatible
+    // values; when that stops being true, dedupe extraction changes alongside.
+    return JSON.stringify(op, canonicalReplacer);
+};
+const canonicalReplacer = (_key, value) => {
+    if (!isPlainRecord(value)) {
+        return value;
+    }
+    const sorted = {};
+    for (const k of Object.keys(value).sort()) {
+        sorted[k] = value[k];
+    }
+    return sorted;
+};
+const isPlainRecord = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
+//# sourceMappingURL=evaluate.js.map

package/dist/src/unstable/lint/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../../../src/unstable/lint/evaluate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AA+BxC,gFAAgF;AAChF,oBAAoB;AACpB,gFAAgF;AAEhF;;;;;;;GAOG;AACH,MAAM,oBAAoB,GAAG,CAAC,KAAuB,EAAoB,EAAE;IACzE,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,MAAM;YACT,OAAO,SAAS,CAAC;QACnB,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,eAAyB,EACzB,QAAsC,EACpB,EAAE;IACpB,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,OAAO,oBAAoB,CAAC,QAAQ,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,OAAoB,EAAE,QAAkB,EAAe,EAAE;IAC7E,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,MAAM,IAAI,GAAuB,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAoB,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,CAAC;IACvD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,KAAiC,EACjC,QAA0B,EAC1B,MAAkB,EAC0B,EAAE,CAC9C,MAAM,CAAC,OAAO,CACZ,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EACvE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,EACzD,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC;AAEJ,MAAM,WAAW,GAAG,CAClB,IAAiB,EACjB,OAAU,EACV,MAAkB,EACW,EAAE,CAC/B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAChD,IAAI;IACJ,OAAO;IACP,QAAQ,EAAE,mBAAmB,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC;CACzD,CAAC,CAAC,CAAC;AAEN,MAAM,mBAAmB,GAAG,CAC1B,IAAiB,EACjB,QAAoC,EACpC,MAAkB,EACU,EAAE;IAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACzD,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;AAEhF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,SAAsC,EACoB,EAAE,CAC5D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAsC,EAAE,CAAC;IACxD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACrC,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAsB,KAAK,CAAC,IAAI,CAAC;QAE3C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACnC,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACpD,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACrB,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;gBAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAClB,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC,CAAC;AAEL,MAAM,SAAS,GAAG,CAAC,EAA8B,EAAU,EAAE;IAC3D,uEAAuE;IACvE,0EAA0E;IAC1E,2EAA2E;IAC3E,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAE,KAAc,EAAW,EAAE;IAClE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,KAAc,EAA8C,EAAE,CACnF,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC"}