@contractspec/example.policy-safe-knowledge-assistant 1.46.1 → 1.47.0

package/IMPLEMENTATION_SKETCH.md

@@ -1,40 +0,0 @@
-## Implementation sketch — Policy-safe Knowledge Assistant (example)
-
-This example package is **spec-first** and demonstrates how to compose:
-
-- `@contractspec/example.locale-jurisdiction-gate`
-- `@contractspec/example.versioned-knowledge-base`
-- `@contractspec/example.kb-update-pipeline`
-- `@contractspec/example.learning-patterns`
-
-The runnable **sandbox UI/runtime** lives in `@contractspec/bundle.studio` (wired later).
-
-### Package boundaries
-
-- **Gate**: validates `locale`, `jurisdiction`, `kbSnapshotId`, `allowedScope`. Refuses if citations are missing or scope is violated.
-- **Versioned KB**: stores immutable sources and versioned rules; publishes snapshots containing only approved rule versions.
-- **Update Pipeline (HITL)**: detects changes, creates review tasks, gates approvals by risk level; publishing remains blocked until all proposed rule versions are approved.
-- **Learning patterns**: drills/coach/quests as event-driven Learning Journey tracks.
-
-### Key invariants (fail-closed)
-
-- No assistant call without explicit `locale` and `jurisdiction`.
-- No assistant answer without at least one citation referencing a **KB snapshot**.
-- Snapshot publishing includes only approved rule versions and is jurisdiction-scoped.
-- High-risk KB changes require expert approval.
-
-### What is stubbed vs real
-
-- **LLM**: stubbed/deterministic (no external calls). Answers are derived from KB search results.
-- **Source fetching**: stubbed/offline fixtures (no web truth).
-- **Storage**: in tests, in-memory stores; in sandbox, browser SQLite + IndexedDB.
-
-
-
-
-
-
-
-
-
-

package/dist/feature.d.ts

@@ -1,7 +0,0 @@
-import { FeatureModuleSpec } from "@contractspec/lib.contracts";
-
-//#region src/feature.d.ts
-declare const PolicySafeKnowledgeAssistantFeature: FeatureModuleSpec;
-//#endregion
-export { PolicySafeKnowledgeAssistantFeature };
-//# sourceMappingURL=feature.d.ts.map

package/dist/feature.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"feature.d.ts","names":[],"sources":["../src/feature.ts"],"sourcesContent":[],"mappings":";;;cAEa,qCAAqC"}

package/dist/feature.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"feature.js","names":["PolicySafeKnowledgeAssistantFeature: FeatureModuleSpec"],"sources":["../src/feature.ts"],"sourcesContent":["import type { FeatureModuleSpec } from '@contractspec/lib.contracts';\n\nexport const PolicySafeKnowledgeAssistantFeature: FeatureModuleSpec = {\n  meta: {\n    key: 'policy-safe-knowledge-assistant',\n    version: '1.0.0',\n    title: 'Policy-safe Knowledge Assistant',\n    description:\n      'All-in-one example composing locale/jurisdiction gate + versioned KB + HITL pipeline + learning hub.',\n    domain: 'knowledge',\n    owners: ['@examples'],\n    tags: ['assistant', 'knowledge', 'policy', 'hitl', 'learning'],\n    stability: 'experimental',\n  },\n  operations: [\n    // Gate\n    { key: 'assistant.answer', version: '1.0.0' },\n    { key: 'assistant.explainConcept', version: '1.0.0' },\n    // KB\n    { key: 'kb.ingestSource', version: '1.0.0' },\n    { key: 'kb.upsertRuleVersion', version: '1.0.0' },\n    { key: 'kb.approveRuleVersion', version: '1.0.0' },\n    { key: 'kb.publishSnapshot', version: '1.0.0' },\n    { key: 'kb.search', version: '1.0.0' },\n    // Pipeline\n    { key: 'kbPipeline.runWatch', version: '1.0.0' },\n    { key: 'kbPipeline.createReviewTask', version: '1.0.0' },\n    { key: 'kbPipeline.submitDecision', version: '1.0.0' },\n    { key: 'kbPipeline.publishIfReady', version: '1.0.0' },\n  ],\n  events: [\n    { key: 'assistant.answer.requested', version: '1.0.0' },\n    { key: 'assistant.answer.blocked', version: '1.0.0' },\n    { key: 'assistant.answer.delivered', version: '1.0.0' },\n    { key: 'kb.source.ingested', version: '1.0.0' },\n    { key: 'kb.ruleVersion.created', version: '1.0.0' },\n    { key: 'kb.ruleVersion.approved', version: '1.0.0' },\n    { key: 'kb.snapshot.published', version: '1.0.0' },\n    { key: 'kb.change.detected', version: '1.0.0' },\n    { key: 'kb.review.requested', version: '1.0.0' },\n    { key: 'kb.review.decided', version: '1.0.0' },\n  ],\n  presentations: [],\n  opToPresentation: [],\n  presentationsTargets: [],\n  capabilities: {\n    requires: [\n      { key: 'identity', version: '1.0.0' },\n      { key: 'audit-trail', version: '1.0.0' },\n      { key: 'notifications', version: '1.0.0' },\n      { key: 'jobs', version: '1.0.0' },\n      { key: 'feature-flags', version: '1.0.0' },\n      { key: 'files', version: '1.0.0' },\n      { key: 'metering', version: '1.0.0' },\n      { key: 'learning-journey', version: '1.0.0' },\n    ],\n  },\n};\n"],"mappings":";AAEA,MAAaA,sCAAyD;CACpE,MAAM;EACJ,KAAK;EACL,SAAS;EACT,OAAO;EACP,aACE;EACF,QAAQ;EACR,QAAQ,CAAC,YAAY;EACrB,MAAM;GAAC;GAAa;GAAa;GAAU;GAAQ;GAAW;EAC9D,WAAW;EACZ;CACD,YAAY;EAEV;GAAE,KAAK;GAAoB,SAAS;GAAS;EAC7C;GAAE,KAAK;GAA4B,SAAS;GAAS;EAErD;GAAE,KAAK;GAAmB,SAAS;GAAS;EAC5C;GAAE,KAAK;GAAwB,SAAS;GAAS;EACjD;GAAE,KAAK;GAAyB,SAAS;GAAS;EAClD;GAAE,KAAK;GAAsB,SAAS;GAAS;EAC/C;GAAE,KAAK;GAAa,SAAS;GAAS;EAEtC;GAAE,KAAK;GAAuB,SAAS;GAAS;EAChD;GAAE,KAAK;GAA+B,SAAS;GAAS;EACxD;GAAE,KAAK;GAA6B,SAAS;GAAS;EACtD;GAAE,KAAK;GAA6B,SAAS;GAAS;EACvD;CACD,QAAQ;EACN;GAAE,KAAK;GAA8B,SAAS;GAAS;EACvD;GAAE,KAAK;GAA4B,SAAS;GAAS;EACrD;GAAE,KAAK;GAA8B,SAAS;GAAS;EACvD;GAAE,KAAK;GAAsB,SAAS;GAAS;EAC/C;GAAE,KAAK;GAA0B,SAAS;GAAS;EACnD;GAAE,KAAK;GAA2B,SAAS;GAAS;EACpD;GAAE,KAAK;GAAyB,SAAS;GAAS;EAClD;GAAE,KAAK;GAAsB,SAAS;GAAS;EAC/C;GAAE,KAAK;GAAuB,SAAS;GAAS;EAChD;GAAE,KAAK;GAAqB,SAAS;GAAS;EAC/C;CACD,eAAe,EAAE;CACjB,kBAAkB,EAAE;CACpB,sBAAsB,EAAE;CACxB,cAAc,EACZ,UAAU;EACR;GAAE,KAAK;GAAY,SAAS;GAAS;EACrC;GAAE,KAAK;GAAe,SAAS;GAAS;EACxC;GAAE,KAAK;GAAiB,SAAS;GAAS;EAC1C;GAAE,KAAK;GAAQ,SAAS;GAAS;EACjC;GAAE,KAAK;GAAiB,SAAS;GAAS;EAC1C;GAAE,KAAK;GAAS,SAAS;GAAS;EAClC;GAAE,KAAK;GAAY,SAAS;GAAS;EACrC;GAAE,KAAK;GAAoB,SAAS;GAAS;EAC9C,EACF;CACF"}