@lucern/pack-host 0.1.0-alpha.2

package/dist/domain-pack/ontology/software-entities-v1.d.ts

@@ -0,0 +1,102 @@
+/**
+ * Software Entities Ontology Snapshot v1.0.0
+ *
+ * Reference ontology snapshot for turnkey engineering packs. This gives
+ * engineering-focused domain packs a real typed bundle to bind and seed.
+ */
+type OntologyEntityTypeSnapshot = {
+    value: string;
+    label: string;
+    description: string;
+};
+type OntologyEdgeTypeSnapshot = {
+    value: string;
+    label: string;
+    description: string;
+    sourceTypes?: string[];
+    targetTypes?: string[];
+};
+declare const SOFTWARE_ENTITIES_V1: {
+    readonly ontologyId: "software-entities";
+    readonly version: "1.0.0";
+    readonly name: "Software Entities";
+    readonly description: "Core software-delivery ontology for repositories, services, modules, changes, incidents, and agent-assisted engineering workflows.";
+    readonly entityTypes: readonly [{
+        readonly value: "repository";
+        readonly label: "Repository";
+        readonly description: "Source repository or monorepo boundary under active ownership.";
+    }, {
+        readonly value: "service";
+        readonly label: "Service";
+        readonly description: "Deployable service, application, or runtime surface.";
+    }, {
+        readonly value: "module";
+        readonly label: "Module";
+        readonly description: "Logical code module, package, or subsystem within a service.";
+    }, {
+        readonly value: "workflow";
+        readonly label: "Workflow";
+        readonly description: "Repeatable engineering workflow such as review, migration, or incident response.";
+    }, {
+        readonly value: "migration";
+        readonly label: "Migration";
+        readonly description: "Schema, API, or rollout change with sequencing and rollback concerns.";
+    }, {
+        readonly value: "incident";
+        readonly label: "Incident";
+        readonly description: "Operational incident, outage, or regression requiring triage and mitigation.";
+    }, {
+        readonly value: "decision_record";
+        readonly label: "Decision Record";
+        readonly description: "Architecture decision, rationale record, or precedent artifact.";
+    }, {
+        readonly value: "agent";
+        readonly label: "Agent";
+        readonly description: "Configured AI worker or assistant participating in engineering workflows.";
+    }];
+    readonly edgeTypes: readonly [{
+        readonly value: "depends_on";
+        readonly label: "Depends On";
+        readonly description: "A repository, service, module, or workflow depends on another surface.";
+        readonly sourceTypes: ["repository", "service", "module", "workflow", "migration"];
+        readonly targetTypes: ["repository", "service", "module", "workflow", "migration"];
+    }, {
+        readonly value: "owns";
+        readonly label: "Owns";
+        readonly description: "An agent or service owns a module, workflow, or decision record.";
+        readonly sourceTypes: ["agent", "service"];
+        readonly targetTypes: ["module", "workflow", "decision_record"];
+    }, {
+        readonly value: "calls";
+        readonly label: "Calls";
+        readonly description: "A repository, service, or module invokes another service or module.";
+        readonly sourceTypes: ["repository", "service", "module"];
+        readonly targetTypes: ["service", "module"];
+    }, {
+        readonly value: "blocks";
+        readonly label: "Blocks";
+        readonly description: "An incident, migration, or workflow blocks another engineering surface.";
+        readonly sourceTypes: ["incident", "migration", "workflow"];
+        readonly targetTypes: ["migration", "workflow", "service", "decision_record"];
+    }, {
+        readonly value: "reviews";
+        readonly label: "Reviews";
+        readonly description: "An agent or workflow reviews a change, module, or migration.";
+        readonly sourceTypes: ["agent", "workflow"];
+        readonly targetTypes: ["module", "migration", "decision_record"];
+    }, {
+        readonly value: "mitigates";
+        readonly label: "Mitigates";
+        readonly description: "A workflow or migration mitigates an incident or risky change.";
+        readonly sourceTypes: ["workflow", "migration"];
+        readonly targetTypes: ["incident", "service", "module"];
+    }, {
+        readonly value: "supersedes";
+        readonly label: "Supersedes";
+        readonly description: "A newer decision record, migration, or workflow replaces an earlier one.";
+        readonly sourceTypes: ["decision_record", "migration", "workflow"];
+        readonly targetTypes: ["decision_record", "migration", "workflow"];
+    }];
+};
+
+export { type OntologyEdgeTypeSnapshot, type OntologyEntityTypeSnapshot, SOFTWARE_ENTITIES_V1 };

package/dist/domain-pack/ontology/software-entities-v1.js

@@ -0,0 +1,104 @@
+// src/domain-pack/ontology/software-entities-v1.ts
+var SOFTWARE_ENTITIES_V1 = {
+  ontologyId: "software-entities",
+  version: "1.0.0",
+  name: "Software Entities",
+  description: "Core software-delivery ontology for repositories, services, modules, changes, incidents, and agent-assisted engineering workflows.",
+  entityTypes: [
+    {
+      value: "repository",
+      label: "Repository",
+      description: "Source repository or monorepo boundary under active ownership."
+    },
+    {
+      value: "service",
+      label: "Service",
+      description: "Deployable service, application, or runtime surface."
+    },
+    {
+      value: "module",
+      label: "Module",
+      description: "Logical code module, package, or subsystem within a service."
+    },
+    {
+      value: "workflow",
+      label: "Workflow",
+      description: "Repeatable engineering workflow such as review, migration, or incident response."
+    },
+    {
+      value: "migration",
+      label: "Migration",
+      description: "Schema, API, or rollout change with sequencing and rollback concerns."
+    },
+    {
+      value: "incident",
+      label: "Incident",
+      description: "Operational incident, outage, or regression requiring triage and mitigation."
+    },
+    {
+      value: "decision_record",
+      label: "Decision Record",
+      description: "Architecture decision, rationale record, or precedent artifact."
+    },
+    {
+      value: "agent",
+      label: "Agent",
+      description: "Configured AI worker or assistant participating in engineering workflows."
+    }
+  ],
+  edgeTypes: [
+    {
+      value: "depends_on",
+      label: "Depends On",
+      description: "A repository, service, module, or workflow depends on another surface.",
+      sourceTypes: ["repository", "service", "module", "workflow", "migration"],
+      targetTypes: ["repository", "service", "module", "workflow", "migration"]
+    },
+    {
+      value: "owns",
+      label: "Owns",
+      description: "An agent or service owns a module, workflow, or decision record.",
+      sourceTypes: ["agent", "service"],
+      targetTypes: ["module", "workflow", "decision_record"]
+    },
+    {
+      value: "calls",
+      label: "Calls",
+      description: "A repository, service, or module invokes another service or module.",
+      sourceTypes: ["repository", "service", "module"],
+      targetTypes: ["service", "module"]
+    },
+    {
+      value: "blocks",
+      label: "Blocks",
+      description: "An incident, migration, or workflow blocks another engineering surface.",
+      sourceTypes: ["incident", "migration", "workflow"],
+      targetTypes: ["migration", "workflow", "service", "decision_record"]
+    },
+    {
+      value: "reviews",
+      label: "Reviews",
+      description: "An agent or workflow reviews a change, module, or migration.",
+      sourceTypes: ["agent", "workflow"],
+      targetTypes: ["module", "migration", "decision_record"]
+    },
+    {
+      value: "mitigates",
+      label: "Mitigates",
+      description: "A workflow or migration mitigates an incident or risky change.",
+      sourceTypes: ["workflow", "migration"],
+      targetTypes: ["incident", "service", "module"]
+    },
+    {
+      value: "supersedes",
+      label: "Supersedes",
+      description: "A newer decision record, migration, or workflow replaces an earlier one.",
+      sourceTypes: ["decision_record", "migration", "workflow"],
+      targetTypes: ["decision_record", "migration", "workflow"]
+    }
+  ]
+};
+
+export { SOFTWARE_ENTITIES_V1 };
+//# sourceMappingURL=software-entities-v1.js.map
+//# sourceMappingURL=software-entities-v1.js.map

package/dist/domain-pack/ontology/software-entities-v1.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../src/domain-pack/ontology/software-entities-v1.ts"],"names":[],"mappings":";AAqBO,IAAM,oBAAA,GAAuB;AAAA,EAClC,UAAA,EAAY,mBAAA;AAAA,EACZ,OAAA,EAAS,OAAA;AAAA,EACT,IAAA,EAAM,mBAAA;AAAA,EACN,WAAA,EACE,oIAAA;AAAA,EACF,WAAA,EAAa;AAAA,IACX;AAAA,MACE,KAAA,EAAO,YAAA;AAAA,MACP,KAAA,EAAO,YAAA;AAAA,MACP,WAAA,EACE;AAAA,KACJ;AAAA,IACA;AAAA,MACE,KAAA,EAAO,SAAA;AAAA,MACP,KAAA,EAAO,SAAA;AAAA,MACP,WAAA,EAAa;AAAA,KACf;AAAA,IACA;AAAA,MACE,KAAA,EAAO,QAAA;AAAA,MACP,KAAA,EAAO,QAAA;AAAA,MACP,WAAA,EACE;AAAA,KACJ;AAAA,IACA;AAAA,MACE,KAAA,EAAO,UAAA;AAAA,MACP,KAAA,EAAO,UAAA;AAAA,MACP,WAAA,EACE;AAAA,KACJ;AAAA,IACA;AAAA,MACE,KAAA,EAAO,WAAA;AAAA,MACP,KAAA,EAAO,WAAA;AAAA,MACP,WAAA,EACE;AAAA,KACJ;AAAA,IACA;AAAA,MACE,KAAA,EAAO,UAAA;AAAA,MACP,KAAA,EAAO,UAAA;AAAA,MACP,WAAA,EACE;AAAA,KACJ;AAAA,IACA;AAAA,MACE,KAAA,EAAO,iBAAA;AAAA,MACP,KAAA,EAAO,iBAAA;AAAA,MACP,WAAA,EACE;AAAA,KACJ;AAAA,IACA;AAAA,MACE,KAAA,EAAO,OAAA;AAAA,MACP,KAAA,EAAO,OAAA;AAAA,MACP,WAAA,EACE;AAAA;AACJ,GACF;AAAA,EACA,SAAA,EAAW;AAAA,IACT;AAAA,MACE,KAAA,EAAO,YAAA;AAAA,MACP,KAAA,EAAO,YAAA;AAAA,MACP,WAAA,EACE,wEAAA;AAAA,MACF,aAAa,CAAC,YAAA,EAAc,SAAA,EAAW,QAAA,EAAU,YAAY,WAAW,CAAA;AAAA,MACxE,aAAa,CAAC,YAAA,EAAc,SAAA,EAAW,QAAA,EAAU,YAAY,WAAW;AAAA,KAC1E;AAAA,IACA;AAAA,MACE,KAAA,EAAO,MAAA;AAAA,MACP,KAAA,EAAO,MAAA;AAAA,MACP,WAAA,EACE,kEAAA;AAAA,MACF,WAAA,EAAa,CAAC,OAAA,EAAS,SAAS,CAAA;AAAA,MAChC,WAAA,EAAa,CAAC,QAAA,EAAU,UAAA,EAAY,iBAAiB;AAAA,KACvD;AAAA,IACA;AAAA,MACE,KAAA,EAAO,OAAA;AAAA,MACP,KAAA,EAAO,OAAA;AAAA,MACP,WAAA,EACE,qEAAA;AAAA,MACF,WAAA,EAAa,CAAC,YAAA,EAAc,SAAA,EAAW,QAAQ,CAAA;AAAA,MAC/C,WAAA,EAAa,CAAC,SAAA,EAAW,QAAQ;AAAA,KACnC;AAAA,IACA;AAAA,MACE,KAAA,EAAO,QAAA;AAAA,MACP,KAAA,EAAO,QAAA;AAAA,MACP,WAAA,EACE,yEAAA;AAAA,MACF,WAAA,EAAa,CAAC,UAAA,EAAY,WAAA,EAAa,UAAU,CAAA;AAAA,MACjD,WAAA,EAAa,CAAC,WAAA,EAAa,UAAA,EAAY,WAAW,iBAAiB;AAAA,KACrE;AAAA,IACA;AAAA,MACE,KAAA,EAAO,SAAA;AAAA,MACP,KAAA,EAAO,SAAA;AAAA,MACP,WAAA,EACE,8DAAA;AAAA,MACF,WAAA,EAAa,CAAC,OAAA,EAAS,UAAU,CAAA;AAAA,MACjC,WAAA,EAAa,CAAC,QAAA,EAAU,WAAA,EAAa,iBAAiB;AAAA,KACxD;AAAA,IACA;AAAA,MACE,KAAA,EAAO,WAAA;AAAA,MACP,KAAA,EAAO,WAAA;AAAA,MACP,WAAA,EACE,gEAAA;AAAA,MACF,WAAA,EAAa,CAAC,UAAA,EAAY,WAAW,CAAA;AAAA,MACrC,WAAA,EAAa,CAAC,UAAA,EAAY,SAAA,EAAW,QAAQ;AAAA,KAC/C;AAAA,IACA;AAAA,MACE,KAAA,EAAO,YAAA;AAAA,MACP,KAAA,EAAO,YAAA;AAAA,MACP,WAAA,EACE,0EAAA;AAAA,MACF,WAAA,EAAa,CAAC,iBAAA,EAAmB,WAAA,EAAa,UAAU,CAAA;AAAA,MACxD,WAAA,EAAa,CAAC,iBAAA,EAAmB,WAAA,EAAa,UAAU;AAAA;AAC1D;AAEJ","file":"software-entities-v1.js","sourcesContent":["/**\n * Software Entities Ontology Snapshot v1.0.0\n *\n * Reference ontology snapshot for turnkey engineering packs. This gives\n * engineering-focused domain packs a real typed bundle to bind and seed.\n */\n\nexport type OntologyEntityTypeSnapshot = {\n  value: string;\n  label: string;\n  description: string;\n};\n\nexport type OntologyEdgeTypeSnapshot = {\n  value: string;\n  label: string;\n  description: string;\n  sourceTypes?: string[];\n  targetTypes?: string[];\n};\n\nexport const SOFTWARE_ENTITIES_V1 = {\n  ontologyId: \"software-entities\",\n  version: \"1.0.0\",\n  name: \"Software Entities\",\n  description:\n    \"Core software-delivery ontology for repositories, services, modules, changes, incidents, and agent-assisted engineering workflows.\",\n  entityTypes: [\n    {\n      value: \"repository\",\n      label: \"Repository\",\n      description:\n        \"Source repository or monorepo boundary under active ownership.\",\n    },\n    {\n      value: \"service\",\n      label: \"Service\",\n      description: \"Deployable service, application, or runtime surface.\",\n    },\n    {\n      value: \"module\",\n      label: \"Module\",\n      description:\n        \"Logical code module, package, or subsystem within a service.\",\n    },\n    {\n      value: \"workflow\",\n      label: \"Workflow\",\n      description:\n        \"Repeatable engineering workflow such as review, migration, or incident response.\",\n    },\n    {\n      value: \"migration\",\n      label: \"Migration\",\n      description:\n        \"Schema, API, or rollout change with sequencing and rollback concerns.\",\n    },\n    {\n      value: \"incident\",\n      label: \"Incident\",\n      description:\n        \"Operational incident, outage, or regression requiring triage and mitigation.\",\n    },\n    {\n      value: \"decision_record\",\n      label: \"Decision Record\",\n      description:\n        \"Architecture decision, rationale record, or precedent artifact.\",\n    },\n    {\n      value: \"agent\",\n      label: \"Agent\",\n      description:\n        \"Configured AI worker or assistant participating in engineering workflows.\",\n    },\n  ] as const satisfies readonly OntologyEntityTypeSnapshot[],\n  edgeTypes: [\n    {\n      value: \"depends_on\",\n      label: \"Depends On\",\n      description:\n        \"A repository, service, module, or workflow depends on another surface.\",\n      sourceTypes: [\"repository\", \"service\", \"module\", \"workflow\", \"migration\"],\n      targetTypes: [\"repository\", \"service\", \"module\", \"workflow\", \"migration\"],\n    },\n    {\n      value: \"owns\",\n      label: \"Owns\",\n      description:\n        \"An agent or service owns a module, workflow, or decision record.\",\n      sourceTypes: [\"agent\", \"service\"],\n      targetTypes: [\"module\", \"workflow\", \"decision_record\"],\n    },\n    {\n      value: \"calls\",\n      label: \"Calls\",\n      description:\n        \"A repository, service, or module invokes another service or module.\",\n      sourceTypes: [\"repository\", \"service\", \"module\"],\n      targetTypes: [\"service\", \"module\"],\n    },\n    {\n      value: \"blocks\",\n      label: \"Blocks\",\n      description:\n        \"An incident, migration, or workflow blocks another engineering surface.\",\n      sourceTypes: [\"incident\", \"migration\", \"workflow\"],\n      targetTypes: [\"migration\", \"workflow\", \"service\", \"decision_record\"],\n    },\n    {\n      value: \"reviews\",\n      label: \"Reviews\",\n      description:\n        \"An agent or workflow reviews a change, module, or migration.\",\n      sourceTypes: [\"agent\", \"workflow\"],\n      targetTypes: [\"module\", \"migration\", \"decision_record\"],\n    },\n    {\n      value: \"mitigates\",\n      label: \"Mitigates\",\n      description:\n        \"A workflow or migration mitigates an incident or risky change.\",\n      sourceTypes: [\"workflow\", \"migration\"],\n      targetTypes: [\"incident\", \"service\", \"module\"],\n    },\n    {\n      value: \"supersedes\",\n      label: \"Supersedes\",\n      description:\n        \"A newer decision record, migration, or workflow replaces an earlier one.\",\n      sourceTypes: [\"decision_record\", \"migration\", \"workflow\"],\n      targetTypes: [\"decision_record\", \"migration\", \"workflow\"],\n    },\n  ] as const satisfies readonly OntologyEdgeTypeSnapshot[],\n} as const;\n"]}

package/dist/domain-pack/packs/developer-reasoning.d.ts

@@ -0,0 +1,14 @@
+import { DomainPack } from '../contracts.js';
+
+/**
+ * Domain Pack: Developer Reasoning
+ *
+ * Reference domain pack for AI-assisted software development reasoning.
+ * This is the pack Lucern uses internally — a generic reasoning harness
+ * for code development with beliefs, evidence, and structured workflows.
+ *
+ * Domain-neutral: demonstrates the contract without tenant-specific IP.
+ */
+declare const DEVELOPER_REASONING_PACK: DomainPack;
+
+export { DEVELOPER_REASONING_PACK };

package/dist/domain-pack/packs/developer-reasoning.js

@@ -0,0 +1,339 @@
+// src/domain-pack/contracts.ts
+function dedupeStrings(values) {
+  return Array.from(
+    new Set(values.map((v) => v.trim()).filter((v) => v.length > 0))
+  );
+}
+function normalizeRuntimeTargets(values) {
+  return values ? dedupeStrings(values) : void 0;
+}
+function normalizeOntologyBinding(binding) {
+  return {
+    ...binding,
+    requiredEntityTypes: binding.requiredEntityTypes ? dedupeStrings(binding.requiredEntityTypes) : void 0,
+    requiredEdgeTypes: binding.requiredEdgeTypes ? dedupeStrings(binding.requiredEdgeTypes) : void 0
+  };
+}
+function normalizeOperatingSystem(layer) {
+  if (!layer) {
+    return;
+  }
+  return {
+    prompts: layer.prompts?.map((prompt) => ({
+      ...prompt,
+      runtimeTargets: normalizeRuntimeTargets(prompt.runtimeTargets)
+    })),
+    tools: layer.tools?.map((tool) => ({
+      ...tool,
+      runtimeTargets: normalizeRuntimeTargets(tool.runtimeTargets)
+    })),
+    setupAssets: layer.setupAssets?.map((asset) => ({
+      ...asset,
+      runtimeTargets: normalizeRuntimeTargets(asset.runtimeTargets)
+    })),
+    topicTemplates: layer.topicTemplates,
+    installProfiles: layer.installProfiles?.map((profile) => ({
+      ...profile,
+      promptIds: dedupeStrings(profile.promptIds),
+      toolIds: dedupeStrings(profile.toolIds),
+      assetIds: dedupeStrings(profile.assetIds),
+      defaultTopicSlugs: dedupeStrings(profile.defaultTopicSlugs)
+    }))
+  };
+}
+function defineDomainPack(input) {
+  return {
+    ...input,
+    ontologyBindings: input.ontologyBindings.map(normalizeOntologyBinding),
+    appPackKeys: input.appPackKeys ? dedupeStrings(input.appPackKeys) : void 0,
+    operatingSystem: normalizeOperatingSystem(input.operatingSystem),
+    workflows: input.workflows.map((w) => ({
+      ...w,
+      requiredArtifacts: dedupeStrings(w.requiredArtifacts),
+      gateCheckpoints: dedupeStrings(w.gateCheckpoints),
+      steps: w.steps.map((s) => ({
+        ...s,
+        requiredRoles: dedupeStrings(s.requiredRoles),
+        produces: s.produces ? dedupeStrings(s.produces) : void 0
+      }))
+    }))
+  };
+}
+
+// src/domain-pack/packs/developer-reasoning.ts
+var DEVELOPER_REASONING_PACK = defineDomainPack({
+  packId: "developer-reasoning",
+  name: "Developer Reasoning",
+  version: "1.0.0",
+  ontologyBindings: [
+    {
+      ontologyId: "software-entities",
+      versionConstraint: "^1.0.0",
+      required: true
+    }
+  ],
+  topicRoots: [
+    {
+      slug: "architecture",
+      name: "Architecture",
+      description: "System architecture decisions and trade-offs",
+      ontologyId: "software-entities"
+    },
+    {
+      slug: "implementation",
+      name: "Implementation",
+      description: "Active implementation work and worktrees",
+      ontologyId: "software-entities"
+    },
+    {
+      slug: "operations",
+      name: "Operations",
+      description: "Deployment, observability, and operational concerns"
+    }
+  ],
+  workflows: [
+    {
+      workflowId: "worktree-lifecycle",
+      name: "Worktree Lifecycle",
+      description: "Structured development cycle from scoping through implementation and review",
+      steps: [
+        {
+          stepId: "scope",
+          name: "Scope & Context",
+          description: "Read graph context, identify constraints and prior decisions",
+          requiredRoles: ["investigator"],
+          produces: ["scope-artifact"]
+        },
+        {
+          stepId: "plan",
+          name: "Plan",
+          description: "Design implementation approach informed by graph beliefs",
+          requiredRoles: ["investigator", "critic"],
+          produces: ["plan-artifact"],
+          gateId: "plan-reviewed"
+        },
+        {
+          stepId: "build",
+          name: "Build",
+          description: "Implement with in-flight graph writeback",
+          requiredRoles: ["implementer"],
+          produces: ["implementation-artifact"]
+        },
+        {
+          stepId: "review",
+          name: "Review",
+          description: "Validate implementation against plan, tests, and type safety",
+          requiredRoles: ["critic"],
+          produces: ["review-artifact"],
+          gateId: "review-passed"
+        }
+      ],
+      requiredArtifacts: ["scope-artifact", "implementation-artifact"],
+      gateCheckpoints: ["plan-reviewed", "review-passed"]
+    }
+  ],
+  gates: [
+    {
+      gateId: "plan-reviewed",
+      name: "Plan Reviewed",
+      description: "Implementation plan has been reviewed for feasibility",
+      criteria: [
+        {
+          criterionId: "constraints-checked",
+          description: "Plan respects high-credence beliefs (>= 0.90) as constraints",
+          metric: "constraint_violations",
+          threshold: 0,
+          operator: "eq"
+        },
+        {
+          criterionId: "scope-bounded",
+          description: "Plan stays within declared file and concern scope",
+          metric: "scope_bounded",
+          threshold: 1,
+          operator: "eq"
+        }
+      ],
+      severity: "blocking"
+    },
+    {
+      gateId: "review-passed",
+      name: "Review Passed",
+      description: "Implementation passes type checks, tests, and review",
+      criteria: [
+        {
+          criterionId: "types-clean",
+          description: "TypeScript check passes (npx tsc --noEmit)",
+          metric: "tsc_errors",
+          threshold: 0,
+          operator: "eq"
+        },
+        {
+          criterionId: "tests-passing",
+          description: "All relevant tests pass",
+          metric: "test_pass_ratio",
+          threshold: 1,
+          operator: "eq"
+        }
+      ],
+      severity: "blocking"
+    }
+  ],
+  artifacts: [
+    {
+      artifactId: "scope-artifact",
+      name: "Scope Context",
+      description: "Graph context summary \u2014 beliefs, questions, constraints informing this work",
+      stage: "scope",
+      contentSchema: {
+        type: "object",
+        properties: {
+          beliefs: { type: "array", items: { type: "string" } },
+          questions: { type: "array", items: { type: "string" } },
+          constraints: { type: "array", items: { type: "string" } }
+        },
+        required: ["beliefs", "constraints"]
+      },
+      requiredFields: ["beliefs", "constraints"]
+    },
+    {
+      artifactId: "plan-artifact",
+      name: "Implementation Plan",
+      description: "Files to create/modify, approach, and test strategy",
+      stage: "plan",
+      contentSchema: {
+        type: "object",
+        properties: {
+          files: { type: "array", items: { type: "string" } },
+          approach: { type: "string" },
+          testStrategy: { type: "string" }
+        },
+        required: ["files", "approach"]
+      },
+      requiredFields: ["files", "approach"]
+    },
+    {
+      artifactId: "implementation-artifact",
+      name: "Implementation Summary",
+      description: "What was built, files changed, decisions made",
+      stage: "build",
+      contentSchema: {
+        type: "object",
+        properties: {
+          filesChanged: { type: "array", items: { type: "string" } },
+          decisions: { type: "array", items: { type: "string" } },
+          deferredWork: { type: "array", items: { type: "string" } }
+        },
+        required: ["filesChanged"]
+      },
+      requiredFields: ["filesChanged"]
+    },
+    {
+      artifactId: "review-artifact",
+      name: "Review Summary",
+      description: "Review findings, type check results, test results",
+      stage: "review",
+      contentSchema: {
+        type: "object",
+        properties: {
+          verdict: { type: "string", enum: ["approve", "request-changes"] },
+          findings: { type: "array", items: { type: "string" } },
+          testsPassing: { type: "boolean" },
+          typesClean: { type: "boolean" }
+        },
+        required: ["verdict", "testsPassing", "typesClean"]
+      },
+      requiredFields: ["verdict", "testsPassing", "typesClean"]
+    }
+  ],
+  roles: [
+    {
+      roleId: "investigator",
+      name: "Investigator",
+      description: "Reads graph context and identifies relevant prior knowledge",
+      perspective: "Context-aware, evidence-driven scoping",
+      optimizesFor: "thoroughness of context retrieval and constraint identification",
+      mayBlock: false
+    },
+    {
+      roleId: "implementer",
+      name: "Implementer",
+      description: "Writes code and records decisions in the graph",
+      perspective: "Pragmatic, focused on working code within constraints",
+      optimizesFor: "correctness and simplicity",
+      mayBlock: false
+    },
+    {
+      roleId: "critic",
+      name: "Critic",
+      description: "Challenges assumptions, finds edge cases, and surfaces risks",
+      perspective: "Skeptical, detail-oriented, adversarial testing",
+      optimizesFor: "identifying weaknesses before they reach production",
+      mayBlock: true
+      // Epistemic Invariant #13
+    }
+  ],
+  inquiryShaping: {
+    questionTemplates: [
+      {
+        templateId: "developer-boundary-falsifier",
+        questionType: "falsification",
+        priority: "high",
+        template: "Which interface, contract, or boundary would fail first if {{objective}} is wrong?",
+        whenObjectiveIncludes: [
+          "build",
+          "implement",
+          "refactor",
+          "integrate",
+          "algorithm",
+          "handler",
+          "workflow"
+        ]
+      },
+      {
+        templateId: "developer-regression-counterfactual",
+        questionType: "counterfactual",
+        priority: "high",
+        template: "What existing behavior or verification path would regress if {{hypothesis}} is false?",
+        whenObjectiveIncludes: ["build", "implement", "add", "extend", "support"]
+      }
+    ],
+    taskTemplates: [
+      {
+        templateId: "developer-contract-audit",
+        title: "Audit adjacent contracts and invariants for {{objective}}",
+        description: "Inspect the existing MCP, schema, and worktree contracts that constrain {{objective}} before changing runtime behavior.",
+        taskType: "analysis",
+        priority: "high",
+        whenObjectiveIncludes: ["build", "implement", "extend", "support"]
+      },
+      {
+        templateId: "developer-verification-pass",
+        title: "Run focused verification for {{objective}}",
+        description: "Add or update targeted tests and type-safety checks that would fail if {{hypothesis}} is wrong.",
+        taskType: "review",
+        priority: "medium",
+        whenObjectiveIncludes: ["build", "implement", "algorithm", "workflow"],
+        whenQuestionTypes: ["falsification", "counterfactual"]
+      }
+    ],
+    frameworkHints: [
+      {
+        frameworkName: "Boundary Audit",
+        whenObjectiveIncludes: ["handler", "contract", "api", "workflow"],
+        boost: 0.25,
+        reason: "Developer reasoning work benefits from explicit boundary checks."
+      },
+      {
+        frameworkName: "Pre-mortem",
+        whenQuestionTypes: ["falsification", "counterfactual"],
+        boost: 0.2,
+        reason: "Stress-testing likely failure modes improves worktree shaping quality."
+      }
+    ]
+  },
+  methodologyPackId: "developer"
+});
+
+export { DEVELOPER_REASONING_PACK };
+//# sourceMappingURL=developer-reasoning.js.map
+//# sourceMappingURL=developer-reasoning.js.map

package/dist/domain-pack/packs/developer-reasoning.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../src/domain-pack/contracts.ts","../../../src/domain-pack/packs/developer-reasoning.ts"],"names":[],"mappings":";AAoSA,SAAS,cAAc,MAAA,EAA4B;AACjD,EAAA,OAAO,KAAA,CAAM,IAAA;AAAA,IACX,IAAI,GAAA,CAAI,MAAA,CAAO,GAAA,CAAI,CAAC,MAAM,CAAA,CAAE,IAAA,EAAM,CAAA,CAAE,OAAO,CAAC,CAAA,KAAM,CAAA,CAAE,MAAA,GAAS,CAAC,CAAC;AAAA,GACjE;AACF;AAMA,SAAS,wBACP,MAAA,EAC6B;AAC7B,EAAA,OAAO,MAAA,GAAU,aAAA,CAAc,MAAM,CAAA,GAAwB,MAAA;AAC/D;AAEA,SAAS,yBAAyB,OAAA,EAA2C;AAC3E,EAAA,OAAO;AAAA,IACL,GAAG,OAAA;AAAA,IACH,qBAAqB,OAAA,CAAQ,mBAAA,GACzB,aAAA,CAAc,OAAA,CAAQ,mBAAmB,CAAA,GACzC,MAAA;AAAA,IACJ,mBAAmB,OAAA,CAAQ,iBAAA,GACvB,aAAA,CAAc,OAAA,CAAQ,iBAAiB,CAAA,GACvC;AAAA,GACN;AACF;AAEA,SAAS,yBACP,KAAA,EACkC;AAClC,EAAA,IAAI,CAAC,KAAA,EAAO;AACV,IAAA;AAAA,EACF;AAEA,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,KAAA,CAAM,OAAA,EAAS,GAAA,CAAI,CAAC,MAAA,MAAY;AAAA,MACvC,GAAG,MAAA;AAAA,MACH,cAAA,EAAgB,uBAAA,CAAwB,MAAA,CAAO,cAAc;AAAA,KAC/D,CAAE,CAAA;AAAA,IACF,KAAA,EAAO,KAAA,CAAM,KAAA,EAAO,GAAA,CAAI,CAAC,IAAA,MAAU;AAAA,MACjC,GAAG,IAAA;AAAA,MACH,cAAA,EAAgB,uBAAA,CAAwB,IAAA,CAAK,cAAc;AAAA,KAC7D,CAAE,CAAA;AAAA,IACF,WAAA,EAAa,KAAA,CAAM,WAAA,EAAa,GAAA,CAAI,CAAC,KAAA,MAAW;AAAA,MAC9C,GAAG,KAAA;AAAA,MACH,cAAA,EAAgB,uBAAA,CAAwB,KAAA,CAAM,cAAc;AAAA,KAC9D,CAAE,CAAA;AAAA,IACF,gBAAgB,KAAA,CAAM,cAAA;AAAA,IACtB,eAAA,EAAiB,KAAA,CAAM,eAAA,EAAiB,GAAA,CAAI,CAAC,OAAA,MAAa;AAAA,MACxD,GAAG,OAAA;AAAA,MACH,SAAA,EAAW,aAAA,CAAc,OAAA,CAAQ,SAAS,CAAA;AAAA,MAC1C,OAAA,EAAS,aAAA,CAAc,OAAA,CAAQ,OAAO,CAAA;AAAA,MACtC,QAAA,EAAU,aAAA,CAAc,OAAA,CAAQ,QAAQ,CAAA;AAAA,MACxC,iBAAA,EAAmB,aAAA,CAAc,OAAA,CAAQ,iBAAiB;AAAA,KAC5D,CAAE;AAAA,GACJ;AACF;AAEO,SAAS,iBAAiB,KAAA,EAAoC;AACnE,EAAA,OAAO;AAAA,IACL,GAAG,KAAA;AAAA,IACH,gBAAA,EAAkB,KAAA,CAAM,gBAAA,CAAiB,GAAA,CAAI,wBAAwB,CAAA;AAAA,IACrE,aAAa,KAAA,CAAM,WAAA,GACf,aAAA,CAAc,KAAA,CAAM,WAAW,CAAA,GAC/B,MAAA;AAAA,IACJ,eAAA,EAAiB,wBAAA,CAAyB,KAAA,CAAM,eAAe,CAAA;AAAA,IAC/D,SAAA,EAAW,KAAA,CAAM,SAAA,CAAU,GAAA,CAAI,CAAC,CAAA,MAAO;AAAA,MACrC,GAAG,CAAA;AAAA,MACH,iBAAA,EAAmB,aAAA,CAAc,CAAA,CAAE,iBAAiB,CAAA;AAAA,MACpD,eAAA,EAAiB,aAAA,CAAc,CAAA,CAAE,eAAe,CAAA;AAAA,MAChD,KAAA,EAAO,CAAA,CAAE,KAAA,CAAM,GAAA,CAAI,CAAC,CAAA,MAAO;AAAA,QACzB,GAAG,CAAA;AAAA,QACH,aAAA,EAAe,aAAA,CAAc,CAAA,CAAE,aAAa,CAAA;AAAA,QAC5C,UAAU,CAAA,CAAE,QAAA,GAAW,aAAA,CAAc,CAAA,CAAE,QAAQ,CAAA,GAAI;AAAA,OACrD,CAAE;AAAA,KACJ,CAAE;AAAA,GACJ;AACF;;;ACtWO,IAAM,2BAA2B,gBAAA,CAAiB;AAAA,EACvD,MAAA,EAAQ,qBAAA;AAAA,EACR,IAAA,EAAM,qBAAA;AAAA,EACN,OAAA,EAAS,OAAA;AAAA,EAET,gBAAA,EAAkB;AAAA,IAChB;AAAA,MACE,UAAA,EAAY,mBAAA;AAAA,MACZ,iBAAA,EAAmB,QAAA;AAAA,MACnB,QAAA,EAAU;AAAA;AACZ,GACF;AAAA,EAEA,UAAA,EAAY;AAAA,IACV;AAAA,MACE,IAAA,EAAM,cAAA;AAAA,MACN,IAAA,EAAM,cAAA;AAAA,MACN,WAAA,EAAa,8CAAA;AAAA,MACb,UAAA,EAAY;AAAA,KACd;AAAA,IACA;AAAA,MACE,IAAA,EAAM,gBAAA;AAAA,MACN,IAAA,EAAM,gBAAA;AAAA,MACN,WAAA,EAAa,0CAAA;AAAA,MACb,UAAA,EAAY;AAAA,KACd;AAAA,IACA;AAAA,MACE,IAAA,EAAM,YAAA;AAAA,MACN,IAAA,EAAM,YAAA;AAAA,MACN,WAAA,EAAa;AAAA;AACf,GACF;AAAA,EAEA,SAAA,EAAW;AAAA,IACT;AAAA,MACE,UAAA,EAAY,oBAAA;AAAA,MACZ,IAAA,EAAM,oBAAA;AAAA,MACN,WAAA,EACE,6EAAA;AAAA,MACF,KAAA,EAAO;AAAA,QACL;AAAA,UACE,MAAA,EAAQ,OAAA;AAAA,UACR,IAAA,EAAM,iBAAA;AAAA,UACN,WAAA,EACE,8DAAA;AAAA,UACF,aAAA,EAAe,CAAC,cAAc,CAAA;AAAA,UAC9B,QAAA,EAAU,CAAC,gBAAgB;AAAA,SAC7B;AAAA,QACA;AAAA,UACE,MAAA,EAAQ,MAAA;AAAA,UACR,IAAA,EAAM,MAAA;AAAA,UACN,WAAA,EACE,0DAAA;AAAA,UACF,aAAA,EAAe,CAAC,cAAA,EAAgB,QAAQ,CAAA;AAAA,UACxC,QAAA,EAAU,CAAC,eAAe,CAAA;AAAA,UAC1B,MAAA,EAAQ;AAAA,SACV;AAAA,QACA;AAAA,UACE,MAAA,EAAQ,OAAA;AAAA,UACR,IAAA,EAAM,OAAA;AAAA,UACN,WAAA,EAAa,0CAAA;AAAA,UACb,aAAA,EAAe,CAAC,aAAa,CAAA;AAAA,UAC7B,QAAA,EAAU,CAAC,yBAAyB;AAAA,SACtC;AAAA,QACA;AAAA,UACE,MAAA,EAAQ,QAAA;AAAA,UACR,IAAA,EAAM,QAAA;AAAA,UACN,WAAA,EACE,8DAAA;AAAA,UACF,aAAA,EAAe,CAAC,QAAQ,CAAA;AAAA,UACxB,QAAA,EAAU,CAAC,iBAAiB,CAAA;AAAA,UAC5B,MAAA,EAAQ;AAAA;AACV,OACF;AAAA,MACA,iBAAA,EAAmB,CAAC,gBAAA,EAAkB,yBAAyB,CAAA;AAAA,MAC/D,eAAA,EAAiB,CAAC,eAAA,EAAiB,eAAe;AAAA;AACpD,GACF;AAAA,EAEA,KAAA,EAAO;AAAA,IACL;AAAA,MACE,MAAA,EAAQ,eAAA;AAAA,MACR,IAAA,EAAM,eAAA;AAAA,MACN,WAAA,EAAa,uDAAA;AAAA,MACb,QAAA,EAAU;AAAA,QACR;AAAA,UACE,WAAA,EAAa,qBAAA;AAAA,UACb,WAAA,EACE,8DAAA;AAAA,UACF,MAAA,EAAQ,uBAAA;AAAA,UACR,SAAA,EAAW,CAAA;AAAA,UACX,QAAA,EAAU;AAAA,SACZ;AAAA,QACA;AAAA,UACE,WAAA,EAAa,eAAA;AAAA,UACb,WAAA,EAAa,mDAAA;AAAA,UACb,MAAA,EAAQ,eAAA;AAAA,UACR,SAAA,EAAW,CAAA;AAAA,UACX,QAAA,EAAU;AAAA;AACZ,OACF;AAAA,MACA,QAAA,EAAU;AAAA,KACZ;AAAA,IACA;AAAA,MACE,MAAA,EAAQ,eAAA;AAAA,MACR,IAAA,EAAM,eAAA;AAAA,MACN,WAAA,EAAa,sDAAA;AAAA,MACb,QAAA,EAAU;AAAA,QACR;AAAA,UACE,WAAA,EAAa,aAAA;AAAA,UACb,WAAA,EAAa,4CAAA;AAAA,UACb,MAAA,EAAQ,YAAA;AAAA,UACR,SAAA,EAAW,CAAA;AAAA,UACX,QAAA,EAAU;AAAA,SACZ;AAAA,QACA;AAAA,UACE,WAAA,EAAa,eAAA;AAAA,UACb,WAAA,EAAa,yBAAA;AAAA,UACb,MAAA,EAAQ,iBAAA;AAAA,UACR,SAAA,EAAW,CAAA;AAAA,UACX,QAAA,EAAU;AAAA;AACZ,OACF;AAAA,MACA,QAAA,EAAU;AAAA;AACZ,GACF;AAAA,EAEA,SAAA,EAAW;AAAA,IACT;AAAA,MACE,UAAA,EAAY,gBAAA;AAAA,MACZ,IAAA,EAAM,eAAA;AAAA,MACN,WAAA,EACE,kFAAA;AAAA,MACF,KAAA,EAAO,OAAA;AAAA,MACP,aAAA,EAAe;AAAA,QACb,IAAA,EAAM,QAAA;AAAA,QACN,UAAA,EAAY;AAAA,UACV,OAAA,EAAS,EAAE,IAAA,EAAM,OAAA,EAAS,OAAO,EAAE,IAAA,EAAM,UAAS,EAAE;AAAA,UACpD,SAAA,EAAW,EAAE,IAAA,EAAM,OAAA,EAAS,OAAO,EAAE,IAAA,EAAM,UAAS,EAAE;AAAA,UACtD,WAAA,EAAa,EAAE,IAAA,EAAM,OAAA,EAAS,OAAO,EAAE,IAAA,EAAM,UAAS;AAAE,SAC1D;AAAA,QACA,QAAA,EAAU,CAAC,SAAA,EAAW,aAAa;AAAA,OACrC;AAAA,MACA,cAAA,EAAgB,CAAC,SAAA,EAAW,aAAa;AAAA,KAC3C;AAAA,IACA;AAAA,MACE,UAAA,EAAY,eAAA;AAAA,MACZ,IAAA,EAAM,qBAAA;AAAA,MACN,WAAA,EAAa,qDAAA;AAAA,MACb,KAAA,EAAO,MAAA;AAAA,MACP,aAAA,EAAe;AAAA,QACb,IAAA,EAAM,QAAA;AAAA,QACN,UAAA,EAAY;AAAA,UACV,KAAA,EAAO,EAAE,IAAA,EAAM,OAAA,EAAS,OAAO,EAAE,IAAA,EAAM,UAAS,EAAE;AAAA,UAClD,QAAA,EAAU,EAAE,IAAA,EAAM,QAAA,EAAS;AAAA,UAC3B,YAAA,EAAc,EAAE,IAAA,EAAM,QAAA;AAAS,SACjC;AAAA,QACA,QAAA,EAAU,CAAC,OAAA,EAAS,UAAU;AAAA,OAChC;AAAA,MACA,cAAA,EAAgB,CAAC,OAAA,EAAS,UAAU;AAAA,KACtC;AAAA,IACA;AAAA,MACE,UAAA,EAAY,yBAAA;AAAA,MACZ,IAAA,EAAM,wBAAA;AAAA,MACN,WAAA,EAAa,+CAAA;AAAA,MACb,KAAA,EAAO,OAAA;AAAA,MACP,aAAA,EAAe;AAAA,QACb,IAAA,EAAM,QAAA;AAAA,QACN,UAAA,EAAY;AAAA,UACV,YAAA,EAAc,EAAE,IAAA,EAAM,OAAA,EAAS,OAAO,EAAE,IAAA,EAAM,UAAS,EAAE;AAAA,UACzD,SAAA,EAAW,EAAE,IAAA,EAAM,OAAA,EAAS,OAAO,EAAE,IAAA,EAAM,UAAS,EAAE;AAAA,UACtD,YAAA,EAAc,EAAE,IAAA,EAAM,OAAA,EAAS,OAAO,EAAE,IAAA,EAAM,UAAS;AAAE,SAC3D;AAAA,QACA,QAAA,EAAU,CAAC,cAAc;AAAA,OAC3B;AAAA,MACA,cAAA,EAAgB,CAAC,cAAc;AAAA,KACjC;AAAA,IACA;AAAA,MACE,UAAA,EAAY,iBAAA;AAAA,MACZ,IAAA,EAAM,gBAAA;AAAA,MACN,WAAA,EAAa,mDAAA;AAAA,MACb,KAAA,EAAO,QAAA;AAAA,MACP,aAAA,EAAe;AAAA,QACb,IAAA,EAAM,QAAA;AAAA,QACN,UAAA,EAAY;AAAA,UACV,OAAA,EAAS,EAAE,IAAA,EAAM,QAAA,EAAU,MAAM,CAAC,SAAA,EAAW,iBAAiB,CAAA,EAAE;AAAA,UAChE,QAAA,EAAU,EAAE,IAAA,EAAM,OAAA,EAAS,OAAO,EAAE,IAAA,EAAM,UAAS,EAAE;AAAA,UACrD,YAAA,EAAc,EAAE,IAAA,EAAM,SAAA,EAAU;AAAA,UAChC,UAAA,EAAY,EAAE,IAAA,EAAM,SAAA;AAAU,SAChC;AAAA,QACA,QAAA,EAAU,CAAC,SAAA,EAAW,cAAA,EAAgB,YAAY;AAAA,OACpD;AAAA,MACA,cAAA,EAAgB,CAAC,SAAA,EAAW,cAAA,EAAgB,YAAY;AAAA;AAC1D,GACF;AAAA,EAEA,KAAA,EAAO;AAAA,IACL;AAAA,MACE,MAAA,EAAQ,cAAA;AAAA,MACR,IAAA,EAAM,cAAA;AAAA,MACN,WAAA,EAAa,6DAAA;AAAA,MACb,WAAA,EAAa,wCAAA;AAAA,MACb,YAAA,EAAc,iEAAA;AAAA,MACd,QAAA,EAAU;AAAA,KACZ;AAAA,IACA;AAAA,MACE,MAAA,EAAQ,aAAA;AAAA,MACR,IAAA,EAAM,aAAA;AAAA,MACN,WAAA,EAAa,gDAAA;AAAA,MACb,WAAA,EAAa,uDAAA;AAAA,MACb,YAAA,EAAc,4BAAA;AAAA,MACd,QAAA,EAAU;AAAA,KACZ;AAAA,IACA;AAAA,MACE,MAAA,EAAQ,QAAA;AAAA,MACR,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE,8DAAA;AAAA,MACF,WAAA,EAAa,iDAAA;AAAA,MACb,YAAA,EAAc,qDAAA;AAAA,MACd,QAAA,EAAU;AAAA;AAAA;AACZ,GACF;AAAA,EAEA,cAAA,EAAgB;AAAA,IACd,iBAAA,EAAmB;AAAA,MACjB;AAAA,QACE,UAAA,EAAY,8BAAA;AAAA,QACZ,YAAA,EAAc,eAAA;AAAA,QACd,QAAA,EAAU,MAAA;AAAA,QACV,QAAA,EACE,oFAAA;AAAA,QACF,qBAAA,EAAuB;AAAA,UACrB,OAAA;AAAA,UACA,WAAA;AAAA,UACA,UAAA;AAAA,UACA,WAAA;AAAA,UACA,WAAA;AAAA,UACA,SAAA;AAAA,UACA;AAAA;AACF,OACF;AAAA,MACA;AAAA,QACE,UAAA,EAAY,qCAAA;AAAA,QACZ,YAAA,EAAc,gBAAA;AAAA,QACd,QAAA,EAAU,MAAA;AAAA,QACV,QAAA,EACE,uFAAA;AAAA,QACF,uBAAuB,CAAC,OAAA,EAAS,WAAA,EAAa,KAAA,EAAO,UAAU,SAAS;AAAA;AAC1E,KACF;AAAA,IACA,aAAA,EAAe;AAAA,MACb;AAAA,QACE,UAAA,EAAY,0BAAA;AAAA,QACZ,KAAA,EAAO,2DAAA;AAAA,QACP,WAAA,EACE,yHAAA;AAAA,QACF,QAAA,EAAU,UAAA;AAAA,QACV,QAAA,EAAU,MAAA;AAAA,QACV,qBAAA,EAAuB,CAAC,OAAA,EAAS,WAAA,EAAa,UAAU,SAAS;AAAA,OACnE;AAAA,MACA;AAAA,QACE,UAAA,EAAY,6BAAA;AAAA,QACZ,KAAA,EAAO,4CAAA;AAAA,QACP,WAAA,EACE,iGAAA;AAAA,QACF,QAAA,EAAU,QAAA;AAAA,QACV,QAAA,EAAU,QAAA;AAAA,QACV,qBAAA,EAAuB,CAAC,OAAA,EAAS,WAAA,EAAa,aAAa,UAAU,CAAA;AAAA,QACrE,iBAAA,EAAmB,CAAC,eAAA,EAAiB,gBAAgB;AAAA;AACvD,KACF;AAAA,IACA,cAAA,EAAgB;AAAA,MACd;AAAA,QACE,aAAA,EAAe,gBAAA;AAAA,QACf,qBAAA,EAAuB,CAAC,SAAA,EAAW,UAAA,EAAY,OAAO,UAAU,CAAA;AAAA,QAChE,KAAA,EAAO,IAAA;AAAA,QACP,MAAA,EAAQ;AAAA,OACV;AAAA,MACA;AAAA,QACE,aAAA,EAAe,YAAA;AAAA,QACf,iBAAA,EAAmB,CAAC,eAAA,EAAiB,gBAAgB,CAAA;AAAA,QACrD,KAAA,EAAO,GAAA;AAAA,QACP,MAAA,EAAQ;AAAA;AACV;AACF,GACF;AAAA,EAEA,iBAAA,EAAmB;AACrB,CAAC","file":"developer-reasoning.js","sourcesContent":["/**\n * Domain Pack Contracts\n *\n * A DomainPack is a self-contained reasoning context bundle that defines\n * how reasoning works in a specific domain. It binds ontology versions,\n * defines topic structure, declares workflow templates, gate schemas,\n * artifact schemas, and reasoning roles.\n *\n * This is the THIRD pack type in Lucern's architecture:\n *   - AppPackManifest: UI routes, surfaces, policy profiles (app-level)\n *   - MethodologyPack: Agent workflow phases, gates, enforcement (process-level)\n *   - DomainPack: Reasoning domain context (domain-level)\n *\n * All fields are internal until RS-5+ external authoring certification.\n */\n\n// ---------------------------------------------------------------------------\n// Ontology Binding — ties a pack to specific ontology versions\n// ---------------------------------------------------------------------------\n\nexport type OntologyProvisionMode = \"bind\" | \"seed\" | \"extend\";\n\nexport type OntologyBinding = {\n  ontologyId: string;\n  versionConstraint: string; // semver range, e.g., \"^1.0.0\"\n  required: boolean;\n  provisionMode?: OntologyProvisionMode;\n  seedRef?: string;\n  requiredEntityTypes?: string[];\n  requiredEdgeTypes?: string[];\n};\n\n// ---------------------------------------------------------------------------\n// Topic Root — defines the domain's top-level topic tree structure\n// ---------------------------------------------------------------------------\n\nexport type TopicRoot = {\n  slug: string;\n  name: string;\n  description: string;\n  ontologyId?: string; // which ontology governs this root\n};\n\n// ---------------------------------------------------------------------------\n// Workflow Template — shape of a workflow (not execution logic)\n// ---------------------------------------------------------------------------\n\nexport type WorkflowStep = {\n  stepId: string;\n  name: string;\n  description: string;\n  requiredRoles: string[]; // roleId references\n  produces?: string[]; // artifactId references\n  gateId?: string; // gate checked after this step\n};\n\nexport type WorkflowTemplate = {\n  workflowId: string;\n  name: string;\n  description: string;\n  steps: WorkflowStep[];\n  requiredArtifacts: string[]; // artifactId references\n  gateCheckpoints: string[]; // gateId references\n};\n\n// ---------------------------------------------------------------------------\n// Gate Schema — declarative description of what must be true\n// ---------------------------------------------------------------------------\n\nexport type GateCriterionOperator = \"gte\" | \"lte\" | \"eq\" | \"gt\" | \"lt\";\n\nexport type GateCriterion = {\n  criterionId: string;\n  description: string;\n  metric: string;\n  threshold?: number;\n  operator?: GateCriterionOperator;\n};\n\nexport type GateSeverity = \"blocking\" | \"warning\" | \"informational\";\n\nexport type GateSchema = {\n  gateId: string;\n  name: string;\n  description: string;\n  criteria: GateCriterion[];\n  severity: GateSeverity;\n};\n\n// ---------------------------------------------------------------------------\n// Artifact Schema — what artifacts workflows produce\n// ---------------------------------------------------------------------------\n\nexport type ArtifactSchema = {\n  artifactId: string;\n  name: string;\n  description: string;\n  stage: string; // workflow step that produces this\n  contentSchema: Record<string, unknown>; // JSON Schema for content\n  requiredFields: string[];\n};\n\n// ---------------------------------------------------------------------------\n// Reasoning Role — epistemic actors in the domain\n// ---------------------------------------------------------------------------\n\nexport type ReasoningRole = {\n  roleId: string;\n  name: string;\n  description: string;\n  perspective: string;\n  optimizesFor: string;\n  mayBlock: boolean; // Epistemic Invariant #13: agents may block progress\n};\n\n// ---------------------------------------------------------------------------\n// Inquiry Shaping — pack-level hooks for RS-3 auto-shaping\n// ---------------------------------------------------------------------------\n\nexport type InquiryShapingQuestionTemplate = {\n  templateId: string;\n  questionType:\n    | \"validation\"\n    | \"falsification\"\n    | \"assumption_probe\"\n    | \"counterfactual\"\n    | \"scope\"\n    | \"comparison\"\n    | \"mechanism\"\n    | \"general\";\n  priority?: \"critical\" | \"high\" | \"medium\" | \"low\";\n  template: string; // Supports {{objective}} and {{hypothesis}}\n  whenObjectiveIncludes?: string[];\n};\n\nexport type InquiryShapingTaskTemplate = {\n  templateId: string;\n  title: string; // Supports {{objective}} and {{hypothesis}}\n  description?: string; // Supports {{objective}} and {{hypothesis}}\n  taskType?:\n    | \"general\"\n    | \"find_evidence\"\n    | \"verify_claim\"\n    | \"research\"\n    | \"review\"\n    | \"interview\"\n    | \"analysis\"\n    | \"track_metrics\";\n  priority?: \"urgent\" | \"high\" | \"medium\" | \"low\";\n  whenObjectiveIncludes?: string[];\n  whenQuestionTypes?: string[];\n};\n\nexport type InquiryShapingFrameworkHint = {\n  frameworkName: string;\n  whenObjectiveIncludes?: string[];\n  whenQuestionTypes?: string[];\n  boost?: number;\n  reason?: string;\n};\n\nexport type InquiryShapingConfig = {\n  questionTemplates?: InquiryShapingQuestionTemplate[];\n  taskTemplates?: InquiryShapingTaskTemplate[];\n  frameworkHints?: InquiryShapingFrameworkHint[];\n};\n\n// ---------------------------------------------------------------------------\n// Operating System Layer — prompts, tools, topic bootstrap, install surfaces\n// ---------------------------------------------------------------------------\n\nexport type RuntimeTarget = \"claude-code\" | \"codex\" | \"hybrid\" | \"portable\";\n\nexport type PromptSource = \"langfuse\" | \"file\";\nexport type PromptChannel =\n  | \"bootstrap\"\n  | \"workflow\"\n  | \"analysis\"\n  | \"review\"\n  | \"tool\";\n\nexport type PromptBinding = {\n  promptId: string;\n  description: string;\n  source: PromptSource;\n  ref: string;\n  fallbackRef?: string;\n  channel: PromptChannel;\n  required: boolean;\n  runtimeTargets?: RuntimeTarget[];\n};\n\nexport type ToolKind = \"mcp\" | \"cli\" | \"script\" | \"hook\" | \"ai-tool\";\n\nexport type ToolBinding = {\n  toolId: string;\n  description: string;\n  kind: ToolKind;\n  entrypoint: string;\n  required: boolean;\n  runtimeTargets?: RuntimeTarget[];\n};\n\nexport type SetupAssetKind =\n  | \"instruction\"\n  | \"settings\"\n  | \"hook\"\n  | \"skill\"\n  | \"agent\"\n  | \"manifest\"\n  | \"template\"\n  | \"inbox\"\n  | \"script\"\n  | \"ui\";\n\nexport type SetupAsset = {\n  assetId: string;\n  kind: SetupAssetKind;\n  description: string;\n  path: string;\n  required: boolean;\n  runtimeTargets?: RuntimeTarget[];\n};\n\nexport type TopicTemplate = {\n  slug: string;\n  name: string;\n  description: string;\n  parentSlug?: string;\n  ontologyId?: string;\n};\n\nexport type InstallProfile = {\n  profileId: string;\n  name: string;\n  description: string;\n  runtimeTarget: RuntimeTarget;\n  promptIds: string[];\n  toolIds: string[];\n  assetIds: string[];\n  defaultTopicSlugs: string[];\n};\n\nexport type OperatingSystemLayer = {\n  prompts?: PromptBinding[];\n  tools?: ToolBinding[];\n  setupAssets?: SetupAsset[];\n  topicTemplates?: TopicTemplate[];\n  installProfiles?: InstallProfile[];\n};\n\n// ---------------------------------------------------------------------------\n// Domain Pack — the top-level contract\n// ---------------------------------------------------------------------------\n\nexport type DomainPack = {\n  // Identity\n  packId: string;\n  name: string;\n  version: string; // semver\n\n  // Scope\n  ontologyBindings: OntologyBinding[];\n  topicRoots: TopicRoot[];\n\n  // Workflow Templates\n  workflows: WorkflowTemplate[];\n\n  // Gate Schemas\n  gates: GateSchema[];\n\n  // Artifact Schemas\n  artifacts: ArtifactSchema[];\n\n  // Reasoning Roles\n  roles: ReasoningRole[];\n\n  // Inquiry shaping hooks\n  inquiryShaping?: InquiryShapingConfig;\n\n  // Runtime/install packaging layer\n  operatingSystem?: OperatingSystemLayer;\n\n  // Composition — optional references to other pack types\n  appPackKeys?: string[]; // AppPackManifest keys this domain uses\n  methodologyPackId?: string; // MethodologyPack for agent behavior\n};\n\n// ---------------------------------------------------------------------------\n// Builder helper — normalizes arrays and validates basic structure\n// ---------------------------------------------------------------------------\n\nfunction dedupeStrings(values: string[]): string[] {\n  return Array.from(\n    new Set(values.map((v) => v.trim()).filter((v) => v.length > 0))\n  );\n}\n\nexport type DomainPackInput = Omit<DomainPack, \"appPackKeys\"> & {\n  appPackKeys?: string[];\n};\n\nfunction normalizeRuntimeTargets(\n  values: RuntimeTarget[] | undefined\n): RuntimeTarget[] | undefined {\n  return values ? (dedupeStrings(values) as RuntimeTarget[]) : undefined;\n}\n\nfunction normalizeOntologyBinding(binding: OntologyBinding): OntologyBinding {\n  return {\n    ...binding,\n    requiredEntityTypes: binding.requiredEntityTypes\n      ? dedupeStrings(binding.requiredEntityTypes)\n      : undefined,\n    requiredEdgeTypes: binding.requiredEdgeTypes\n      ? dedupeStrings(binding.requiredEdgeTypes)\n      : undefined,\n  };\n}\n\nfunction normalizeOperatingSystem(\n  layer: OperatingSystemLayer | undefined\n): OperatingSystemLayer | undefined {\n  if (!layer) {\n    return;\n  }\n\n  return {\n    prompts: layer.prompts?.map((prompt) => ({\n      ...prompt,\n      runtimeTargets: normalizeRuntimeTargets(prompt.runtimeTargets),\n    })),\n    tools: layer.tools?.map((tool) => ({\n      ...tool,\n      runtimeTargets: normalizeRuntimeTargets(tool.runtimeTargets),\n    })),\n    setupAssets: layer.setupAssets?.map((asset) => ({\n      ...asset,\n      runtimeTargets: normalizeRuntimeTargets(asset.runtimeTargets),\n    })),\n    topicTemplates: layer.topicTemplates,\n    installProfiles: layer.installProfiles?.map((profile) => ({\n      ...profile,\n      promptIds: dedupeStrings(profile.promptIds),\n      toolIds: dedupeStrings(profile.toolIds),\n      assetIds: dedupeStrings(profile.assetIds),\n      defaultTopicSlugs: dedupeStrings(profile.defaultTopicSlugs),\n    })),\n  };\n}\n\nexport function defineDomainPack(input: DomainPackInput): DomainPack {\n  return {\n    ...input,\n    ontologyBindings: input.ontologyBindings.map(normalizeOntologyBinding),\n    appPackKeys: input.appPackKeys\n      ? dedupeStrings(input.appPackKeys)\n      : undefined,\n    operatingSystem: normalizeOperatingSystem(input.operatingSystem),\n    workflows: input.workflows.map((w) => ({\n      ...w,\n      requiredArtifacts: dedupeStrings(w.requiredArtifacts),\n      gateCheckpoints: dedupeStrings(w.gateCheckpoints),\n      steps: w.steps.map((s) => ({\n        ...s,\n        requiredRoles: dedupeStrings(s.requiredRoles),\n        produces: s.produces ? dedupeStrings(s.produces) : undefined,\n      })),\n    })),\n  };\n}\n","/**\n * Domain Pack: Developer Reasoning\n *\n * Reference domain pack for AI-assisted software development reasoning.\n * This is the pack Lucern uses internally — a generic reasoning harness\n * for code development with beliefs, evidence, and structured workflows.\n *\n * Domain-neutral: demonstrates the contract without tenant-specific IP.\n */\n\nimport { defineDomainPack } from \"../contracts\";\n\nexport const DEVELOPER_REASONING_PACK = defineDomainPack({\n  packId: \"developer-reasoning\",\n  name: \"Developer Reasoning\",\n  version: \"1.0.0\",\n\n  ontologyBindings: [\n    {\n      ontologyId: \"software-entities\",\n      versionConstraint: \"^1.0.0\",\n      required: true,\n    },\n  ],\n\n  topicRoots: [\n    {\n      slug: \"architecture\",\n      name: \"Architecture\",\n      description: \"System architecture decisions and trade-offs\",\n      ontologyId: \"software-entities\",\n    },\n    {\n      slug: \"implementation\",\n      name: \"Implementation\",\n      description: \"Active implementation work and worktrees\",\n      ontologyId: \"software-entities\",\n    },\n    {\n      slug: \"operations\",\n      name: \"Operations\",\n      description: \"Deployment, observability, and operational concerns\",\n    },\n  ],\n\n  workflows: [\n    {\n      workflowId: \"worktree-lifecycle\",\n      name: \"Worktree Lifecycle\",\n      description:\n        \"Structured development cycle from scoping through implementation and review\",\n      steps: [\n        {\n          stepId: \"scope\",\n          name: \"Scope & Context\",\n          description:\n            \"Read graph context, identify constraints and prior decisions\",\n          requiredRoles: [\"investigator\"],\n          produces: [\"scope-artifact\"],\n        },\n        {\n          stepId: \"plan\",\n          name: \"Plan\",\n          description:\n            \"Design implementation approach informed by graph beliefs\",\n          requiredRoles: [\"investigator\", \"critic\"],\n          produces: [\"plan-artifact\"],\n          gateId: \"plan-reviewed\",\n        },\n        {\n          stepId: \"build\",\n          name: \"Build\",\n          description: \"Implement with in-flight graph writeback\",\n          requiredRoles: [\"implementer\"],\n          produces: [\"implementation-artifact\"],\n        },\n        {\n          stepId: \"review\",\n          name: \"Review\",\n          description:\n            \"Validate implementation against plan, tests, and type safety\",\n          requiredRoles: [\"critic\"],\n          produces: [\"review-artifact\"],\n          gateId: \"review-passed\",\n        },\n      ],\n      requiredArtifacts: [\"scope-artifact\", \"implementation-artifact\"],\n      gateCheckpoints: [\"plan-reviewed\", \"review-passed\"],\n    },\n  ],\n\n  gates: [\n    {\n      gateId: \"plan-reviewed\",\n      name: \"Plan Reviewed\",\n      description: \"Implementation plan has been reviewed for feasibility\",\n      criteria: [\n        {\n          criterionId: \"constraints-checked\",\n          description:\n            \"Plan respects high-credence beliefs (>= 0.90) as constraints\",\n          metric: \"constraint_violations\",\n          threshold: 0,\n          operator: \"eq\",\n        },\n        {\n          criterionId: \"scope-bounded\",\n          description: \"Plan stays within declared file and concern scope\",\n          metric: \"scope_bounded\",\n          threshold: 1,\n          operator: \"eq\",\n        },\n      ],\n      severity: \"blocking\",\n    },\n    {\n      gateId: \"review-passed\",\n      name: \"Review Passed\",\n      description: \"Implementation passes type checks, tests, and review\",\n      criteria: [\n        {\n          criterionId: \"types-clean\",\n          description: \"TypeScript check passes (npx tsc --noEmit)\",\n          metric: \"tsc_errors\",\n          threshold: 0,\n          operator: \"eq\",\n        },\n        {\n          criterionId: \"tests-passing\",\n          description: \"All relevant tests pass\",\n          metric: \"test_pass_ratio\",\n          threshold: 1.0,\n          operator: \"eq\",\n        },\n      ],\n      severity: \"blocking\",\n    },\n  ],\n\n  artifacts: [\n    {\n      artifactId: \"scope-artifact\",\n      name: \"Scope Context\",\n      description:\n        \"Graph context summary — beliefs, questions, constraints informing this work\",\n      stage: \"scope\",\n      contentSchema: {\n        type: \"object\",\n        properties: {\n          beliefs: { type: \"array\", items: { type: \"string\" } },\n          questions: { type: \"array\", items: { type: \"string\" } },\n          constraints: { type: \"array\", items: { type: \"string\" } },\n        },\n        required: [\"beliefs\", \"constraints\"],\n      },\n      requiredFields: [\"beliefs\", \"constraints\"],\n    },\n    {\n      artifactId: \"plan-artifact\",\n      name: \"Implementation Plan\",\n      description: \"Files to create/modify, approach, and test strategy\",\n      stage: \"plan\",\n      contentSchema: {\n        type: \"object\",\n        properties: {\n          files: { type: \"array\", items: { type: \"string\" } },\n          approach: { type: \"string\" },\n          testStrategy: { type: \"string\" },\n        },\n        required: [\"files\", \"approach\"],\n      },\n      requiredFields: [\"files\", \"approach\"],\n    },\n    {\n      artifactId: \"implementation-artifact\",\n      name: \"Implementation Summary\",\n      description: \"What was built, files changed, decisions made\",\n      stage: \"build\",\n      contentSchema: {\n        type: \"object\",\n        properties: {\n          filesChanged: { type: \"array\", items: { type: \"string\" } },\n          decisions: { type: \"array\", items: { type: \"string\" } },\n          deferredWork: { type: \"array\", items: { type: \"string\" } },\n        },\n        required: [\"filesChanged\"],\n      },\n      requiredFields: [\"filesChanged\"],\n    },\n    {\n      artifactId: \"review-artifact\",\n      name: \"Review Summary\",\n      description: \"Review findings, type check results, test results\",\n      stage: \"review\",\n      contentSchema: {\n        type: \"object\",\n        properties: {\n          verdict: { type: \"string\", enum: [\"approve\", \"request-changes\"] },\n          findings: { type: \"array\", items: { type: \"string\" } },\n          testsPassing: { type: \"boolean\" },\n          typesClean: { type: \"boolean\" },\n        },\n        required: [\"verdict\", \"testsPassing\", \"typesClean\"],\n      },\n      requiredFields: [\"verdict\", \"testsPassing\", \"typesClean\"],\n    },\n  ],\n\n  roles: [\n    {\n      roleId: \"investigator\",\n      name: \"Investigator\",\n      description: \"Reads graph context and identifies relevant prior knowledge\",\n      perspective: \"Context-aware, evidence-driven scoping\",\n      optimizesFor: \"thoroughness of context retrieval and constraint identification\",\n      mayBlock: false,\n    },\n    {\n      roleId: \"implementer\",\n      name: \"Implementer\",\n      description: \"Writes code and records decisions in the graph\",\n      perspective: \"Pragmatic, focused on working code within constraints\",\n      optimizesFor: \"correctness and simplicity\",\n      mayBlock: false,\n    },\n    {\n      roleId: \"critic\",\n      name: \"Critic\",\n      description:\n        \"Challenges assumptions, finds edge cases, and surfaces risks\",\n      perspective: \"Skeptical, detail-oriented, adversarial testing\",\n      optimizesFor: \"identifying weaknesses before they reach production\",\n      mayBlock: true, // Epistemic Invariant #13\n    },\n  ],\n\n  inquiryShaping: {\n    questionTemplates: [\n      {\n        templateId: \"developer-boundary-falsifier\",\n        questionType: \"falsification\",\n        priority: \"high\",\n        template:\n          \"Which interface, contract, or boundary would fail first if {{objective}} is wrong?\",\n        whenObjectiveIncludes: [\n          \"build\",\n          \"implement\",\n          \"refactor\",\n          \"integrate\",\n          \"algorithm\",\n          \"handler\",\n          \"workflow\",\n        ],\n      },\n      {\n        templateId: \"developer-regression-counterfactual\",\n        questionType: \"counterfactual\",\n        priority: \"high\",\n        template:\n          \"What existing behavior or verification path would regress if {{hypothesis}} is false?\",\n        whenObjectiveIncludes: [\"build\", \"implement\", \"add\", \"extend\", \"support\"],\n      },\n    ],\n    taskTemplates: [\n      {\n        templateId: \"developer-contract-audit\",\n        title: \"Audit adjacent contracts and invariants for {{objective}}\",\n        description:\n          \"Inspect the existing MCP, schema, and worktree contracts that constrain {{objective}} before changing runtime behavior.\",\n        taskType: \"analysis\",\n        priority: \"high\",\n        whenObjectiveIncludes: [\"build\", \"implement\", \"extend\", \"support\"],\n      },\n      {\n        templateId: \"developer-verification-pass\",\n        title: \"Run focused verification for {{objective}}\",\n        description:\n          \"Add or update targeted tests and type-safety checks that would fail if {{hypothesis}} is wrong.\",\n        taskType: \"review\",\n        priority: \"medium\",\n        whenObjectiveIncludes: [\"build\", \"implement\", \"algorithm\", \"workflow\"],\n        whenQuestionTypes: [\"falsification\", \"counterfactual\"],\n      },\n    ],\n    frameworkHints: [\n      {\n        frameworkName: \"Boundary Audit\",\n        whenObjectiveIncludes: [\"handler\", \"contract\", \"api\", \"workflow\"],\n        boost: 0.25,\n        reason: \"Developer reasoning work benefits from explicit boundary checks.\",\n      },\n      {\n        frameworkName: \"Pre-mortem\",\n        whenQuestionTypes: [\"falsification\", \"counterfactual\"],\n        boost: 0.2,\n        reason: \"Stress-testing likely failure modes improves worktree shaping quality.\",\n      },\n    ],\n  },\n\n  methodologyPackId: \"developer\",\n});\n"]}

package/dist/domain-pack/packs/engineering-accelerator.d.ts

@@ -0,0 +1,11 @@
+import { DomainPack } from '../contracts.js';
+
+/**
+ * Domain Pack: Engineering Accelerator
+ *
+ * First concrete engineering domain pack for proving that pack-host can
+ * turn first-hour workflows into reusable reasoning scaffolding.
+ */
+declare const ENGINEERING_ACCELERATOR_PACK: DomainPack;
+
+export { ENGINEERING_ACCELERATOR_PACK };