opensquid 0.5.395

package/dist/runtime/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/runtime/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAkCxB,eAAO,MAAM,YAAY,8DAA4D,CAAC;AACtF,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD;;;;;;;;;GASG;AACH;;;;;;;;;;GAUG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmBpB,CAAC;AACJ,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA0BlB,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C,mFAAmF;AACnF,MAAM,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,EAAE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEnE,yEAAyE;AACzE,MAAM,MAAM,gBAAgB,GAAG,OAAO,CAAC,OAAO,EAAE;IAAE,KAAK,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC;AAExE;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,WAAW,EAAE,UAAU,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAcD,OAAO,EACL,gBAAgB,EAChB,KAAK,EACL,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,SAAS,EACT,aAAa,EACb,OAAO,EACP,YAAY,EACZ,eAAe,GAChB,MAAM,YAAY,CAAC;AAcpB,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAUzD,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;EAWtB,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD,eAAO,MAAM,QAAQ,iDAA+C,CAAC;AACrE,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAmBhD,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMzB,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAE5D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM/B,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAKxE,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;WAYhB,CAAC;AACF,MAAM,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;AASxC,eAAO,MAAM,QAAQ,gCAA8B,CAAC;AACpD,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoBhB,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC;AAS1C,eAAO,MAAM,KAAK,wEAAsE,CAAC;AACzF,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC;AA6B1C,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAoEf,gFAAgF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEhF,CAAC;AACH,MAAM,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;AAgBxC;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,cAAc,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,SAAS,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9C;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAuChD,MAAM,MAAM,WAAW,GACnB,YAAY,GACZ,MAAM,GACN,oBAAoB,GACpB,kBAAkB,GAClB,cAAc,GACd,UAAU,CAAC;AAEf,MAAM,MAAM,aAAa,GACrB;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,UAAU,GAAG,OAAO,GAAG,SAAS,CAAA;CAAE,GACpF;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,eAAe,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GACnE;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,gBAAgB,EAAE,UAAU,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAgBzE,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB"}

package/dist/runtime/types.js

@@ -0,0 +1,337 @@
+/**
+ * Core runtime types for the opensquid substrate.
+ *
+ * Every type is paired with a Zod schema and a `z.infer` line so that TS and
+ * runtime validation never drift apart. Schemas validate untrusted input
+ * (event payloads from hosts, pack YAML, RAG payloads); inferred types flow
+ * through the rest of the runtime as compile-time guarantees.
+ *
+ * Type → source-of-truth in `docs/opensquid-real-design.md`:
+ *
+ *   Event       — §"The architecture in six concepts" (concept 1)
+ *                 eight kinds: tool_call | prompt_submit | session_end | stop
+ *                 | schedule | webhook | inbound_channel | file_changed
+ *                 (AUTO.1 widened the union from 4 → 8 to back the four
+ *                 non-tool-call triggers: scheduler ticks, webhook intakes,
+ *                 inbound channel messages, and file-change watchers.)
+ *   Verdict     — §"Anti-drift split" (rule output)
+ *                 level: pass | block | warn | surface
+ *   ProcessStep — §"Skill format" (rules are processes, not typed checks)
+ *   Rule        — §"The architecture in six concepts" (concept 3)
+ *                 kind: track_check (deterministic) | destination_check (LLM-judged)
+ *   Skill       — §"Skill format" + §"Skill properties"
+ *                 load mode + when_to_load + unloads_when + rules + prose
+ *   Pack        — §"Pack format" + §"Manifest fields"
+ *                 name / version / scope / goal required; rest defaulted
+ *   RuleResult  — TS-only union (never crosses a process boundary, so no schema)
+ *
+ * Looseness is deliberate at `ProcessStep.args` and `ToolCallEvent.args`:
+ * tightening means migrating every primitive. The task spec calls this out
+ * (Task 1.1 risk callout). Per-function refinement lands in Task 1.2.
+ */
+import { z } from 'zod';
+import { ChatAgentSchema } from '../packs/schemas/chat_agent.js';
+import { DriftResponseConfig } from '../packs/schemas/drift_response.js';
+import { ActivationScope, BaseVersion, CompositeInclude, DetectedByCheck, Foundation, PackKind, PackUsage, SeedLesson, VerifyGate, Guard, } from '../packs/schemas/manifest.js';
+import { Team } from '../packs/schemas/team.js';
+import { ModelsConfig } from '../packs/schemas/models.js';
+import { Fsm } from './fsm.js';
+// ---------------------------------------------------------------------------
+// Verdict — rule output (T-ASC ASC.3 discriminated-union refactor)
+//
+// Before T-ASC ASC.3 the Verdict was a flat object {level, message, ruleId?}
+// for 4 levels. ASC.3 adds a 5th level `directive` whose payload is
+// `next_action: NextAction` instead of `message: string`. The schema becomes
+// a discriminated union on `level` so the runtime narrows precisely — a
+// directive verdict has no `message`, a message-bearing verdict has no
+// `next_action`, and TypeScript enforces the right access at compile time.
+// `MessageVerdict` is the narrowed alias drift-path consumers (drift_response,
+// escalate, auto_correct) take; `DirectiveVerdict` is the alias the
+// dispatcher's directive-aggregation path consumes.
+// ---------------------------------------------------------------------------
+export const VerdictLevel = z.enum(['pass', 'block', 'warn', 'surface', 'directive']);
+/**
+ * NextAction — payload of a `level: 'directive'` verdict. Names the next
+ * skill OR tool the agent should run (skill XOR tool, never both); `args`
+ * threads the call through; `rationale` is the mandatory plain-English
+ * explanation that lands in the agent's pre-prompt context.
+ *
+ * Per T-ASC L7 + project_opensquid_no_agent_loop: opensquid emits the
+ * directive, the agent dispatches. The skill name here is informational —
+ * opensquid does NOT invoke it.
+ */
+/**
+ * DPC.1 (2026-05-30) — extended to 3-way XOR (skill / tool / profession).
+ * The `profession` field points at an opensquid built-in profession pack
+ * (e.g. `task-spec-author`, `scope-architect`) under `packs/builtin/<name>/`
+ * or at a user-scope profession pack under `~/.opensquid/packs/<name>/`.
+ * Chain-handoff directives (T-ASC ASC.5) use `profession:` to route the
+ * agent to spawn_subagent with the named pack's team-role manifest. The
+ * agent loads the pack, applies the role's `instructions` + pinned skills,
+ * runs the subagent — opensquid stays passive per
+ * [[project_opensquid_no_agent_loop]].
+ */
+export const NextAction = z
+    .object({
+    skill: z.string().min(1).optional(),
+    tool: z.string().min(1).optional(),
+    profession: z.string().min(1).optional(),
+    args: z.record(z.unknown()).optional(),
+    rationale: z.string().min(1),
+})
+    .strict()
+    .refine((na) => {
+    const set = [na.skill, na.tool, na.profession].filter((v) => v !== undefined).length;
+    return set === 1;
+}, {
+    message: 'next_action.skill XOR next_action.tool XOR next_action.profession — exactly one must be set',
+    path: ['skill'],
+});
+export const Verdict = z.discriminatedUnion('level', [
+    z.object({
+        level: z.literal('pass'),
+        message: z.string(),
+        ruleId: z.string().optional(),
+    }),
+    z.object({
+        level: z.literal('block'),
+        message: z.string(),
+        ruleId: z.string().optional(),
+    }),
+    z.object({
+        level: z.literal('warn'),
+        message: z.string(),
+        ruleId: z.string().optional(),
+    }),
+    z.object({
+        level: z.literal('surface'),
+        message: z.string(),
+        ruleId: z.string().optional(),
+    }),
+    z.object({
+        level: z.literal('directive'),
+        next_action: NextAction,
+        ruleId: z.string().optional(),
+    }),
+]);
+// ---------------------------------------------------------------------------
+// Event + EventKind + Trigger — split into `./event.ts` per AUTO.1 file-size
+// constraint (types.ts must stay under 400 LOC). The barrel re-export below
+// preserves every existing `import { Event } from './types.js'` callsite so
+// the split is internal layout, not a public-API change.
+//
+// Naming note: spec says "split into `types/event.ts`" but we use
+// `./event.ts` (sibling, not subdir) to avoid the NodeNext name collision
+// between sibling file `types.ts` and sibling directory `types/`. Same
+// outcome, simpler resolver.
+// ---------------------------------------------------------------------------
+export { DEFAULT_TRIGGERS, Event, EventKind, FileChangedEvent, InboundChannelEvent, PromptSubmitEvent, ScheduleEvent, SessionEndEvent, SessionStartEvent, StopEvent, ToolCallEvent, Trigger, WebhookEvent, defaultTriggers, } from './event.js';
+// Internal re-import: the Skill schema below references `Trigger` +
+// `defaultTriggers`. We import them locally rather than relying on the
+// re-export above (NodeNext doesn't let a file consume its own re-exports
+// without a separate import statement).
+import { Trigger, defaultTriggers } from './event.js';
+// T-ASC ASC.2: the Skill schema's new `requires:` field references
+// `SkillRequires` from the precondition evaluator module.
+import { SkillRequires } from './skill_requires.js';
+// Re-export so external callers can `import { SkillRequires } from
+// '../runtime/types.js'` (conventional barrel) — mirrors how Trigger
+// is exported via the './event.js' re-export above.
+export { SkillRequires } from './skill_requires.js';
+// ---------------------------------------------------------------------------
+// Rule + ProcessStep — rules are processes (sequences of primitive calls)
+//
+// `args` and `if` stay loose at this layer; per-function Zod refinement is
+// planned for Task 1.2 (function-library registry). `on_empty` is the
+// early-exit verdict when a `call` produces no meaningful output.
+// ---------------------------------------------------------------------------
+export const ProcessStep = z.object({
+    call: z.string(),
+    args: z.record(z.unknown()).optional(),
+    as: z.string().optional(),
+    if: z.string().optional(),
+    on_empty: z.enum(['pass', 'block', 'continue']).optional(),
+    // on_error: how the evaluator treats a failing primitive. Absent / 'abort'
+    // (default) → return kind:'error' (historical hard-abort). 'continue' → bind
+    // the error message to `as` (if set) and proceed, letting the rule observe
+    // the failure (e.g. an audit subagent that could not spawn) and branch on it.
+    on_error: z.enum(['abort', 'continue']).optional(),
+});
+export const RuleKind = z.enum(['track_check', 'destination_check']);
+// ---------------------------------------------------------------------------
+// Rule — runtime view of a pack rule.
+//
+// Phase 4 splits this into a discriminated union to match the YAML schema in
+// `src/packs/schemas/skill.ts`. Track-check rules carry `process` (a sequence
+// of primitive calls walked by `evaluateProcess`). Destination-check rules
+// carry `interval` + `model_alias` + `prompt_template` — they fire through the
+// dedicated `check_destination` primitive (Task 4.2) on the scheduler tick
+// (Task 4.3), not through the process evaluator.
+//
+// Why duplicate the YAML schema here: the YAML schema validates pack files
+// on disk; the runtime schema is the cross-process contract (env-var test
+// seam, MCP tool args, future RAG-side state writes). Both must stay aligned;
+// drift between them is caught by the schema cross-test plus the
+// `validatePackFunctions` walker which type-checks against this `Rule`.
+// ---------------------------------------------------------------------------
+export const TrackCheckRule = z.object({
+    id: z.string(),
+    kind: z.literal('track_check').default('track_check'),
+    // T-ASC ASC.5: per-rule AND-preconditions; same shape as Skill.requires.
+    requires: z.array(SkillRequires).default([]),
+    process: z.array(ProcessStep),
+});
+export const DestinationCheckRule = z.object({
+    id: z.string(),
+    kind: z.literal('destination_check'),
+    interval: z.object({ every_n_tool_calls: z.number().int().positive() }),
+    model_alias: z.string().default('reasoning'),
+    prompt_template: z.string(),
+});
+// `kind` defaults to `'track_check'` when missing (Phase 1–3 ergonomic) via
+// the same preprocess shim used in the YAML schema. Keeps the env-var test
+// seam (which feeds pre-parsed pack JSON) working without explicit `kind`.
+export const Rule = z.preprocess((input) => {
+    if (typeof input !== 'object' || input === null || Array.isArray(input)) {
+        return input;
+    }
+    const obj = input;
+    if (obj.kind === undefined) {
+        return { ...obj, kind: 'track_check' };
+    }
+    return obj;
+}, z.discriminatedUnion('kind', [TrackCheckRule, DestinationCheckRule]));
+// ---------------------------------------------------------------------------
+// Skill — unit of work-discipline that loads + unloads on declared conditions
+//
+// `when_to_load` and `unloads_when` stay `unknown[]` here; the matcher schema
+// is refined in Task 3.1 / 3.2 when load-condition primitives land.
+// ---------------------------------------------------------------------------
+export const LoadMode = z.enum(['preload', 'lazy']);
+export const Skill = z.object({
+    name: z.string(),
+    load: LoadMode.default('lazy'),
+    when_to_load: z.array(z.unknown()).default([]),
+    // T-ASC ASC.2: AND-semantic preconditions evaluated at the dispatcher
+    // boundary BEFORE walking rules. Same shape as the YAML-side `requires:`
+    // block (discriminated-union via `SkillRequires`). Empty array trivially
+    // holds — back-compat with every Phase 1+ pack. Each entry is a
+    // discriminated-union variant (kinds: automation_mode_on,
+    // active_task_present, chain_stage); see `skill_requires.ts` for the
+    // evaluator + RequiresCache.
+    requires: z.array(SkillRequires).default([]),
+    unloads_when: z.array(z.unknown()).default([]),
+    // AUTO.1: same shape as the YAML-side `triggers:` block. The runtime view
+    // is the post-load contract; refusing empty arrays here keeps the
+    // env-var test seam (which feeds pre-parsed pack JSON) from sneaking an
+    // empty list past the YAML loader.
+    triggers: z.array(Trigger).min(1).default(defaultTriggers),
+    rules: z.array(Rule).default([]),
+    prose: z.string().optional(),
+});
+// ---------------------------------------------------------------------------
+// Pack — manifest + skills (memory lives outside packs)
+//
+// `evolves: true` default — wedge gate may mutate skills unless the pack
+// author opts out. Required-vs-defaulted matches §"Manifest fields" exactly.
+// ---------------------------------------------------------------------------
+export const Scope = z.enum(['universal', 'domain', 'specialty', 'workflow', 'project']);
+// `chatAgent` is the WAB.6 chat-agent binding side-file (`chat_agent.yaml`),
+// folded into the runtime Pack only when the pack ships one. Absent =
+// `undefined` (not an empty object) so consumers can distinguish "pack
+// shipped no chat-agent binding" from "shipped one with defaults" — the
+// runtime's `buildChatToolDispatcher` reads `undefined` as "fall back to
+// built-in defaults" without ever surfacing a phantom file.
+//
+// The side-file is intentionally additive: every existing pack stays valid
+// without authoring a `chat_agent.yaml`. Only consumers that opt into the
+// warm-agent chat bridge (WAB.6+) read the field.
+//
+// `models` is the optional `models.yaml` side-file folded into the Pack —
+// pack-declared model aliases (`fast_classifier`, `reasoning`, etc.). The
+// runtime's model-config resolver (PR-followup) reads this AFTER env vars
+// and user-level `~/.opensquid/models.yaml` overrides, so a pack-shipped
+// alias acts as the "out-of-the-box default" that the user can override.
+// Absent = `undefined`; downstream resolvers treat that as "no pack
+// contributions" and only consult env + user-yaml. See `models/load_config.ts`.
+//
+// `driftResponse` is the optional `drift_response.yaml` side-file. When
+// present, the hook dispatcher (`runtime/hooks/dispatch.ts`) resolves each
+// rule's policy via `driftResponse.per_rule[rule.id] ?? driftResponse.default`
+// instead of the historical hard-coded `block_tool` default. Absent =
+// `undefined`; the dispatcher falls back to `block_tool` as the Phase 1
+// conservative default so existing packs that don't ship the file behave
+// identically to pre-PR-followup. See `runtime/hooks/dispatch.ts` for the
+// resolve-precedence chain.
+export const Pack = z.object({
+    name: z.string(),
+    version: z.string(),
+    scope: Scope,
+    goal: z.string(),
+    description: z.string().default(''),
+    requires: z.array(z.string()).default([]),
+    conflicts: z.array(z.string()).default([]),
+    extends: z.string().optional(),
+    evolves: z.boolean().default(true),
+    skills: z.array(Skill).default([]),
+    chatAgent: ChatAgentSchema.optional(),
+    models: ModelsConfig.optional(),
+    driftResponse: DriftResponseConfig.optional(),
+    // IDF.1 (2026-05-30) — v0.6 pack content-richness restored. camelCase
+    // runtime mapping for the snake_case manifest fields (foundation /
+    // activation_scope / detected_by). See schemas/manifest.ts for the
+    // YAML-side shapes. ALL optional on the runtime Pack type so test
+    // fixtures + non-loadPack callers can construct Pack literals without
+    // these fields (back-compat). The YAML loader (loader.ts) supplies the
+    // defaults explicitly. Downstream consumers (IDF.4 dispatcher) read
+    // `pack.activationScope ?? 'project'` defensively.
+    foundation: Foundation.optional(),
+    activationScope: ActivationScope.optional(),
+    detectedBy: z.array(DetectedByCheck).optional(),
+    // MM.1 (2026-05-30) — multi-mode pack addressing. All three optional on
+    // the runtime Pack type so test fixtures + non-loadPack callers can
+    // construct Pack literals without these fields (back-compat). The YAML
+    // loader (loader.ts) supplies the defaults explicitly. Downstream
+    // consumers read defensively via ?? coalesce ('focused' / 'active' / []).
+    kind: PackKind.optional(),
+    usage: PackUsage.optional(),
+    includes: z.array(CompositeInclude).optional(),
+    // MM.2 (2026-05-30) — loaded team.yaml. The loader (loader.ts) reads +
+    // parses team.yaml when usage is 'profession' | 'both'; absent for
+    // 'active' packs. Optional on the runtime type so test fixtures can
+    // construct Pack literals without it. Consumed by the dispatcher's
+    // profession-directive validator (profession_resolver.ts).
+    team: Team.optional(),
+    // LP.1 (2026-05-30) — living-pack fields. baseVersion is the immutable
+    // vanilla baseline; personalRevisionId is the monotonic count of
+    // promoted lessons; lastMergedVanilla is the most recent vanilla
+    // version successfully 3-way-merged (LP.2 will populate). All three
+    // OPTIONAL: built-in packs (bundled in npm) have no personal_revision
+    // dir; only installed packs at ~/.opensquid/packs/ carry them.
+    baseVersion: BaseVersion.optional(),
+    personalRevisionId: z.number().int().nonnegative().optional(),
+    lastMergedVanilla: BaseVersion.nullable().optional(),
+    // DOG.5 (2026-05-30) — convenience view of the LP.1 version.json shape as
+    // `<base>.<rev>` triple. Present iff the loader read a non-null
+    // PersonalRevision from `<user-home>/.opensquid/packs/<pack-id>/
+    // personal_revision/version.json`. Absent for built-in packs that ship
+    // in the npm tree without per-user installation. Equivalent to
+    // `pack.baseVersion === version.base && pack.personalRevisionId ===
+    // version.revision` but pre-formatted as a single object for log /
+    // diagnostic surfaces.
+    livingVersion: z
+        .object({ base: z.string(), revision: z.number().int().nonnegative() })
+        .optional(),
+    // DOG.3 (2026-05-30) — schema-sugar manifest blocks hoisted onto Pack so
+    // downstream consumers (ingest pipeline, audit-trail surface, fixture
+    // sync) can read without re-parsing the manifest YAML. Optional on the
+    // runtime Pack type so test fixtures + non-loadPack callers can
+    // construct Pack literals without these fields (back-compat); the YAML
+    // loader (loader.ts) supplies the defaults explicitly.
+    seedLessons: z.array(SeedLesson).optional(),
+    verifyGates: z.array(VerifyGate).optional(),
+    guards: z.array(Guard).optional(),
+    /** Pack-declared lifecycle FSM (slice A2; from `fsm.yaml`). Validated total. */
+    fsm: Fsm.optional(),
+});
+//# sourceMappingURL=types.js.map

package/dist/runtime/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/runtime/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EACL,eAAe,EACf,WAAW,EACX,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,QAAQ,EACR,SAAS,EACT,UAAU,EACV,UAAU,EACV,KAAK,GACN,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAE/B,8EAA8E;AAC9E,mEAAmE;AACnE,EAAE;AACF,6EAA6E;AAC7E,oEAAoE;AACpE,6EAA6E;AAC7E,wEAAwE;AACxE,uEAAuE;AACvE,2EAA2E;AAC3E,+EAA+E;AAC/E,oEAAoE;AACpE,oDAAoD;AACpD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;AAGtF;;;;;;;;;GASG;AACH;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC;KACxB,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAClC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACxC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;IACtC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC7B,CAAC;KACD,MAAM,EAAE;KACR,MAAM,CACL,CAAC,EAAE,EAAE,EAAE;IACL,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IACrF,OAAO,GAAG,KAAK,CAAC,CAAC;AACnB,CAAC,EACD;IACE,OAAO,EACL,6FAA6F;IAC/F,IAAI,EAAE,CAAC,OAAO,CAAC;CAChB,CACF,CAAC;AAGJ,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE;IACnD,CAAC,CAAC,MAAM,CAAC;QACP,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;QACxB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACnB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KAC9B,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACnB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KAC9B,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;QACxB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACnB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KAC9B,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC3B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACnB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KAC9B,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;QAC7B,WAAW,EAAE,UAAU;QACvB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KAC9B,CAAC;CACH,CAAC,CAAC;AAoBH,8EAA8E;AAC9E,6EAA6E;AAC7E,4EAA4E;AAC5E,4EAA4E;AAC5E,yDAAyD;AACzD,EAAE;AACF,kEAAkE;AAClE,0EAA0E;AAC1E,uEAAuE;AACvE,6BAA6B;AAC7B,8EAA8E;AAE9E,OAAO,EACL,gBAAgB,EAChB,KAAK,EACL,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,SAAS,EACT,aAAa,EACb,OAAO,EACP,YAAY,EACZ,eAAe,GAChB,MAAM,YAAY,CAAC;AAEpB,oEAAoE;AACpE,uEAAuE;AACvE,0EAA0E;AAC1E,wCAAwC;AACxC,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AACtD,mEAAmE;AACnE,0DAA0D;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,mEAAmE;AACnE,qEAAqE;AACrE,oDAAoD;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGpD,8EAA8E;AAC9E,0EAA0E;AAC1E,EAAE;AACF,2EAA2E;AAC3E,sEAAsE;AACtE,kEAAkE;AAClE,8EAA8E;AAE9E,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1D,2EAA2E;IAC3E,6EAA6E;IAC7E,2EAA2E;IAC3E,8EAA8E;IAC9E,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE;CACnD,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,mBAAmB,CAAC,CAAC,CAAC;AAGrE,8EAA8E;AAC9E,sCAAsC;AACtC,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,2EAA2E;AAC3E,+EAA+E;AAC/E,2EAA2E;AAC3E,iDAAiD;AACjD,EAAE;AACF,2EAA2E;AAC3E,0EAA0E;AAC1E,8EAA8E;AAC9E,iEAAiE;AACjE,wEAAwE;AACxE,8EAA8E;AAE9E,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IACrD,yEAAyE;IACzE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC5C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;CAC9B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACpC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;IACvE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC;IAC5C,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE;CAC5B,CAAC,CAAC;AAGH,4EAA4E;AAC5E,2EAA2E;AAC3E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAC9B,CAAC,KAAK,EAAE,EAAE;IACR,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,EACD,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAC,CACrE,CAAC;AAGF,8EAA8E;AAC9E,8EAA8E;AAC9E,EAAE;AACF,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAGpD,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;IAC9B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC9C,sEAAsE;IACtE,yEAAyE;IACzE,yEAAyE;IACzE,gEAAgE;IAChE,0DAA0D;IAC1D,qEAAqE;IACrE,6BAA6B;IAC7B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC5C,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC9C,0EAA0E;IAC1E,kEAAkE;IAClE,wEAAwE;IACxE,mCAAmC;IACnC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;IAC1D,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAChC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC,CAAC;AAGH,8EAA8E;AAC9E,wDAAwD;AACxD,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAGzF,6EAA6E;AAC7E,sEAAsE;AACtE,uEAAuE;AACvE,wEAAwE;AACxE,yEAAyE;AACzE,4DAA4D;AAC5D,EAAE;AACF,2EAA2E;AAC3E,0EAA0E;AAC1E,kDAAkD;AAClD,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,0EAA0E;AAC1E,yEAAyE;AACzE,yEAAyE;AACzE,oEAAoE;AACpE,gFAAgF;AAChF,EAAE;AACF,wEAAwE;AACxE,2EAA2E;AAC3E,+EAA+E;AAC/E,sEAAsE;AACtE,wEAAwE;AACxE,yEAAyE;AACzE,0EAA0E;AAC1E,4BAA4B;AAC5B,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;IACnC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACzC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC1C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IAClC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAClC,SAAS,EAAE,eAAe,CAAC,QAAQ,EAAE;IACrC,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;IAC/B,aAAa,EAAE,mBAAmB,CAAC,QAAQ,EAAE;IAC7C,sEAAsE;IACtE,mEAAmE;IACnE,mEAAmE;IACnE,kEAAkE;IAClE,sEAAsE;IACtE,uEAAuE;IACvE,oEAAoE;IACpE,mDAAmD;IACnD,UAAU,EAAE,UAAU,CAAC,QAAQ,EAAE;IACjC,eAAe,EAAE,eAAe,CAAC,QAAQ,EAAE;IAC3C,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,QAAQ,EAAE;IAC/C,wEAAwE;IACxE,oEAAoE;IACpE,uEAAuE;IACvE,kEAAkE;IAClE,0EAA0E;IAC1E,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE;IACzB,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE;IAC3B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IAC9C,uEAAuE;IACvE,mEAAmE;IACnE,oEAAoE;IACpE,mEAAmE;IACnE,2DAA2D;IAC3D,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE;IACrB,uEAAuE;IACvE,iEAAiE;IACjE,iEAAiE;IACjE,oEAAoE;IACpE,sEAAsE;IACtE,+DAA+D;IAC/D,WAAW,EAAE,WAAW,CAAC,QAAQ,EAAE;IACnC,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IAC7D,iBAAiB,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACpD,0EAA0E;IAC1E,gEAAgE;IAChE,iEAAiE;IACjE,uEAAuE;IACvE,+DAA+D;IAC/D,oEAAoE;IACpE,mEAAmE;IACnE,uBAAuB;IACvB,aAAa,EAAE,CAAC;SACb,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;SACtE,QAAQ,EAAE;IACb,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,gEAAgE;IAChE,uEAAuE;IACvE,uDAAuD;IACvD,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE;IAC3C,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE;IAC3C,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;IACjC,gFAAgF;IAChF,GAAG,EAAE,GAAG,CAAC,QAAQ,EAAE;CACpB,CAAC,CAAC"}

package/dist/runtime/unload_conditions.d.ts

@@ -0,0 +1,97 @@
+/**
+ * `unloads_when` condition evaluator.
+ *
+ * Skills declare exit conditions as a list of `UnloadCondition` entries. The
+ * runtime walks the list per `TickState` snapshot and asks: "should this
+ * skill leave context now?" Like `when_to_load`, semantics are OR — any
+ * condition fires → unload. The evaluator is pure: tick state in, boolean
+ * out, no I/O.
+ *
+ * Authoritative source: `docs/opensquid-real-design.md` §"Skill format" +
+ * §"Skill properties" + spec `docs/tasks/phase-3-dynamic-loading.md` task 3.2.
+ *
+ * Three condition kinds:
+ *
+ *   active_task_completes — fires when the wrapping task closes (Stop event).
+ *   session_ends          — fires when the host session terminates.
+ *   idle_n_turns          — fires after `n` UserPromptSubmit cycles without
+ *                           skill activation. "Turn" is locked to a
+ *                           UserPromptSubmit cycle (see `tick.ts`) — NOT a
+ *                           tool call. Definition pinned per memory
+ *                           `feedback_workflow_cycle`.
+ *
+ * Shorthand surface — pack authors write the no-arg conditions as bare
+ * strings:
+ *
+ *   unloads_when:
+ *     - active_task_completes        # canonical: { kind: active_task_completes }
+ *     - session_ends                 # canonical: { kind: session_ends }
+ *     - idle_n_turns: 5              # canonical: { kind: idle_n_turns, n: 5 }
+ *
+ * `normalizeUnloadCondition` accepts either form; canonical form passes
+ * through unchanged.
+ *
+ * Imports from: zod.
+ * Imported by: src/packs/schemas/skill.ts, src/runtime/index.ts, src/runtime/tick.ts.
+ */
+import { z } from 'zod';
+export declare const UnloadConditionCanonical: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"active_task_completes">;
+}, "strip", z.ZodTypeAny, {
+    kind: "active_task_completes";
+}, {
+    kind: "active_task_completes";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"session_ends">;
+}, "strip", z.ZodTypeAny, {
+    kind: "session_ends";
+}, {
+    kind: "session_ends";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"idle_n_turns">;
+    n: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    kind: "idle_n_turns";
+    n: number;
+}, {
+    kind: "idle_n_turns";
+    n: number;
+}>]>;
+export type UnloadCondition = z.infer<typeof UnloadConditionCanonical>;
+export declare function normalizeUnloadCondition(raw: unknown): unknown;
+export declare const UnloadCondition: z.ZodEffects<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"active_task_completes">;
+}, "strip", z.ZodTypeAny, {
+    kind: "active_task_completes";
+}, {
+    kind: "active_task_completes";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"session_ends">;
+}, "strip", z.ZodTypeAny, {
+    kind: "session_ends";
+}, {
+    kind: "session_ends";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"idle_n_turns">;
+    n: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    kind: "idle_n_turns";
+    n: number;
+}, {
+    kind: "idle_n_turns";
+    n: number;
+}>]>, {
+    kind: "active_task_completes";
+} | {
+    kind: "session_ends";
+} | {
+    kind: "idle_n_turns";
+    n: number;
+}, unknown>;
+export interface TickState {
+    turnsSinceActivation: number;
+    taskCompleted: boolean;
+    sessionEnded: boolean;
+}
+export declare function shouldUnload(conditions: readonly UnloadCondition[], tick: Readonly<TickState>): boolean;
+//# sourceMappingURL=unload_conditions.d.ts.map

package/dist/runtime/unload_conditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unload_conditions.d.ts","sourceRoot":"","sources":["../../src/runtime/unload_conditions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;IAInC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAmBvE,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAc9D;AAED,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;WAAmE,CAAC;AAehG,MAAM,WAAW,SAAS;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,aAAa,EAAE,OAAO,CAAC;IACvB,YAAY,EAAE,OAAO,CAAC;CACvB;AASD,wBAAgB,YAAY,CAC1B,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,GACxB,OAAO,CAOT"}

package/dist/runtime/unload_conditions.js

@@ -0,0 +1,96 @@
+/**
+ * `unloads_when` condition evaluator.
+ *
+ * Skills declare exit conditions as a list of `UnloadCondition` entries. The
+ * runtime walks the list per `TickState` snapshot and asks: "should this
+ * skill leave context now?" Like `when_to_load`, semantics are OR — any
+ * condition fires → unload. The evaluator is pure: tick state in, boolean
+ * out, no I/O.
+ *
+ * Authoritative source: `docs/opensquid-real-design.md` §"Skill format" +
+ * §"Skill properties" + spec `docs/tasks/phase-3-dynamic-loading.md` task 3.2.
+ *
+ * Three condition kinds:
+ *
+ *   active_task_completes — fires when the wrapping task closes (Stop event).
+ *   session_ends          — fires when the host session terminates.
+ *   idle_n_turns          — fires after `n` UserPromptSubmit cycles without
+ *                           skill activation. "Turn" is locked to a
+ *                           UserPromptSubmit cycle (see `tick.ts`) — NOT a
+ *                           tool call. Definition pinned per memory
+ *                           `feedback_workflow_cycle`.
+ *
+ * Shorthand surface — pack authors write the no-arg conditions as bare
+ * strings:
+ *
+ *   unloads_when:
+ *     - active_task_completes        # canonical: { kind: active_task_completes }
+ *     - session_ends                 # canonical: { kind: session_ends }
+ *     - idle_n_turns: 5              # canonical: { kind: idle_n_turns, n: 5 }
+ *
+ * `normalizeUnloadCondition` accepts either form; canonical form passes
+ * through unchanged.
+ *
+ * Imports from: zod.
+ * Imported by: src/packs/schemas/skill.ts, src/runtime/index.ts, src/runtime/tick.ts.
+ */
+import { z } from 'zod';
+// ---------------------------------------------------------------------------
+// UnloadCondition — canonical discriminated form. Shorthand strings/single-key
+// objects are normalized to this shape before parsing.
+// ---------------------------------------------------------------------------
+export const UnloadConditionCanonical = z.discriminatedUnion('kind', [
+    z.object({ kind: z.literal('active_task_completes') }),
+    z.object({ kind: z.literal('session_ends') }),
+    z.object({ kind: z.literal('idle_n_turns'), n: z.number().int().positive() }),
+]);
+// ---------------------------------------------------------------------------
+// Shorthand normalizer.
+//
+// Bare-string form: 'session_ends' / 'active_task_completes' → {kind: <name>}.
+// Single-key object: {idle_n_turns: 5} → {kind: 'idle_n_turns', n: 5}.
+// Canonical (already-has-kind) form: passes through.
+// Anything else falls through to the discriminated union for a precise Zod
+// error.
+// ---------------------------------------------------------------------------
+const NO_ARG_KINDS = ['active_task_completes', 'session_ends'];
+function isNoArgKind(s) {
+    return NO_ARG_KINDS.includes(s);
+}
+export function normalizeUnloadCondition(raw) {
+    if (typeof raw === 'string') {
+        if (isNoArgKind(raw))
+            return { kind: raw };
+        return raw;
+    }
+    if (raw === null || typeof raw !== 'object' || Array.isArray(raw))
+        return raw;
+    const obj = raw;
+    const keys = Object.keys(obj);
+    if (keys.length !== 1)
+        return raw;
+    const k = keys[0];
+    if (k === 'idle_n_turns' && typeof obj[k] === 'number') {
+        return { kind: 'idle_n_turns', n: obj[k] };
+    }
+    return raw;
+}
+export const UnloadCondition = z.preprocess(normalizeUnloadCondition, UnloadConditionCanonical);
+// ---------------------------------------------------------------------------
+// shouldUnload — OR-walk the condition list. Returns true on first hit.
+//
+// Empty list never fires (a skill with no `unloads_when` stays loaded until
+// the session ends, at which point the dispatcher tears down all skills).
+// ---------------------------------------------------------------------------
+export function shouldUnload(conditions, tick) {
+    for (const c of conditions) {
+        if (c.kind === 'session_ends' && tick.sessionEnded)
+            return true;
+        if (c.kind === 'active_task_completes' && tick.taskCompleted)
+            return true;
+        if (c.kind === 'idle_n_turns' && tick.turnsSinceActivation >= c.n)
+            return true;
+    }
+    return false;
+}
+//# sourceMappingURL=unload_conditions.js.map

package/dist/runtime/unload_conditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unload_conditions.js","sourceRoot":"","sources":["../../src/runtime/unload_conditions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,8EAA8E;AAC9E,+EAA+E;AAC/E,uDAAuD;AACvD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACnE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,EAAE,CAAC;IACtD,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;IAC7C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;CAC9E,CAAC,CAAC;AAGH,8EAA8E;AAC9E,wBAAwB;AACxB,EAAE;AACF,+EAA+E;AAC/E,uEAAuE;AACvE,qDAAqD;AACrD,2EAA2E;AAC3E,SAAS;AACT,8EAA8E;AAE9E,MAAM,YAAY,GAAG,CAAC,uBAAuB,EAAE,cAAc,CAAU,CAAC;AAGxE,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAQ,YAAkC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,GAAY;IACnD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,WAAW,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC3C,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAC9E,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAClC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,IAAI,CAAC,KAAK,cAAc,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,UAAU,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC;AAqBhG,8EAA8E;AAC9E,wEAAwE;AACxE,EAAE;AACF,4EAA4E;AAC5E,0EAA0E;AAC1E,8EAA8E;AAE9E,MAAM,UAAU,YAAY,CAC1B,UAAsC,EACtC,IAAyB;IAEzB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC;QAChE,IAAI,CAAC,CAAC,IAAI,KAAK,uBAAuB,IAAI,IAAI,CAAC,aAAa;YAAE,OAAO,IAAI,CAAC;QAC1E,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,oBAAoB,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACjF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/runtime/versioning.d.ts

@@ -0,0 +1,38 @@
+import type { BaseVersion } from '../packs/schemas/manifest.js';
+export type FileDisposition = {
+    kind: 'unchanged';
+    path: string;
+} | {
+    kind: 'auto-merged-personal';
+    path: string;
+    reason: 'personal-only-edit';
+} | {
+    kind: 'auto-merged-vanilla';
+    path: string;
+    reason: 'vanilla-only-edit';
+} | {
+    kind: 'conflict';
+    path: string;
+    conflictSidecarPath: string;
+};
+export interface MergeResult {
+    packId: string;
+    baseVersion: BaseVersion;
+    vanillaVersion: BaseVersion;
+    personalRevisionId: number;
+    dispositions: FileDisposition[];
+    conflictCount: number;
+    /** True iff merge completed without errors (conflicts are NOT errors). */
+    ok: boolean;
+    /** True iff merge was a no-op (already merged against this vanilla). */
+    noop: boolean;
+}
+export interface ThreeWayMergeInput {
+    packId: string;
+    baseDir: string;
+    personalStateDir: string;
+    vanillaDir: string;
+    vanillaVersion: BaseVersion;
+}
+export declare function runThreeWayMerge(input: ThreeWayMergeInput): Promise<MergeResult>;
+//# sourceMappingURL=versioning.d.ts.map

package/dist/runtime/versioning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"versioning.d.ts","sourceRoot":"","sources":["../../src/runtime/versioning.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAEhE,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,GAC5E;IAAE,IAAI,EAAE,qBAAqB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,mBAAmB,CAAA;CAAE,GAC1E;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,mBAAmB,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,WAAW,CAAC;IACzB,cAAc,EAAE,WAAW,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,YAAY,EAAE,eAAe,EAAE,CAAC;IAChC,aAAa,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,EAAE,EAAE,OAAO,CAAC;IACZ,wEAAwE;IACxE,IAAI,EAAE,OAAO,CAAC;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,WAAW,CAAC;CAC7B;AAKD,wBAAsB,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,WAAW,CAAC,CA2FtF"}