@lucern/sdk 0.3.0-alpha.1 → 0.3.0-alpha.11
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +3 -0
- package/README.md +51 -4
- package/dist/accessControl.d.ts +78 -0
- package/dist/accessControl.js +1118 -0
- package/dist/accessControl.js.map +1 -0
- package/dist/adminClient.d.ts +10 -8
- package/dist/adminClient.js +242 -39
- package/dist/adminClient.js.map +1 -1
- package/dist/answersClient.d.ts +2 -0
- package/dist/answersClient.js +221 -11
- package/dist/answersClient.js.map +1 -1
- package/dist/audience/index.d.ts +2 -1
- package/dist/audience/index.js +1 -3
- package/dist/audience/index.js.map +1 -1
- package/dist/audiencesClient.d.ts +18 -16
- package/dist/audiencesClient.js +297 -90
- package/dist/audiencesClient.js.map +1 -1
- package/dist/auditClient.d.ts +2 -0
- package/dist/auditClient.js +227 -15
- package/dist/auditClient.js.map +1 -1
- package/dist/authContext.d.ts +56 -0
- package/dist/authContext.js +170 -0
- package/dist/authContext.js.map +1 -0
- package/dist/authDeviceClient.d.ts +49 -0
- package/dist/authDeviceClient.js +121 -0
- package/dist/authDeviceClient.js.map +1 -0
- package/dist/beliefs/index.d.ts +26 -5
- package/dist/beliefs/index.js +3625 -1140
- package/dist/beliefs/index.js.map +1 -1
- package/dist/beliefsClient.d.ts +4 -2
- package/dist/beliefsClient.js +230 -26
- package/dist/beliefsClient.js.map +1 -1
- package/dist/boundaryClientSurface.d.ts +20 -0
- package/dist/boundaryClientSurface.js +73 -0
- package/dist/boundaryClientSurface.js.map +1 -0
- package/dist/client.d.ts +2988 -27
- package/dist/client.js +3625 -1140
- package/dist/client.js.map +1 -1
- package/dist/clientHelpers.d.ts +48 -0
- package/dist/clientHelpers.js +137 -0
- package/dist/clientHelpers.js.map +1 -0
- package/dist/contextClient.d.ts +6 -3
- package/dist/contextClient.js +252 -30
- package/dist/contextClient.js.map +1 -1
- package/dist/contextFacade.js +25 -16
- package/dist/contextFacade.js.map +1 -1
- package/dist/contextPackCompiler.js +19 -30
- package/dist/contextPackCompiler.js.map +1 -1
- package/dist/contextPackPolicy.js +7 -17
- package/dist/contextPackPolicy.js.map +1 -1
- package/dist/contextTypes.d.ts +2 -0
- package/dist/contracts/api-enums.contract.d.ts +2 -2
- package/dist/contracts/api-enums.contract.js +6 -1
- package/dist/contracts/api-enums.contract.js.map +1 -1
- package/dist/contracts/index.d.ts +1 -0
- package/dist/contracts/index.js +120 -5
- package/dist/contracts/index.js.map +1 -1
- package/dist/contracts/lens-filter.contract.js +4 -3
- package/dist/contracts/lens-filter.contract.js.map +1 -1
- package/dist/contracts/lens-workflow.contract.js +4 -3
- package/dist/contracts/lens-workflow.contract.js.map +1 -1
- package/dist/contracts/lensFilter.js +4 -3
- package/dist/contracts/lensFilter.js.map +1 -1
- package/dist/contracts/lensWorkflow.js +4 -3
- package/dist/contracts/lensWorkflow.js.map +1 -1
- package/dist/contracts/mcpTools.d.ts +46 -1
- package/dist/contracts/mcpTools.js +108 -0
- package/dist/contracts/mcpTools.js.map +1 -1
- package/dist/contradictions/index.d.ts +25 -4
- package/dist/contradictions/index.js +3625 -1140
- package/dist/contradictions/index.js.map +1 -1
- package/dist/coreClient.d.ts +11 -1
- package/dist/coreClient.js +222 -14
- package/dist/coreClient.js.map +1 -1
- package/dist/decisions/index.d.ts +35 -14
- package/dist/decisions/index.js +3625 -1140
- package/dist/decisions/index.js.map +1 -1
- package/dist/decisionsClient.d.ts +6 -12
- package/dist/decisionsClient.js +235 -37
- package/dist/decisionsClient.js.map +1 -1
- package/dist/edges/index.d.ts +48 -87
- package/dist/edges/index.js +3625 -1140
- package/dist/edges/index.js.map +1 -1
- package/dist/embeddingsClient.d.ts +106 -0
- package/dist/embeddingsClient.js +731 -0
- package/dist/embeddingsClient.js.map +1 -0
- package/dist/eventingClient.d.ts +96 -0
- package/dist/eventingClient.js +728 -0
- package/dist/eventingClient.js.map +1 -0
- package/dist/events.js +6 -3
- package/dist/events.js.map +1 -1
- package/dist/eventsCore.d.ts +3 -1
- package/dist/eventsCore.js +222 -14
- package/dist/eventsCore.js.map +1 -1
- package/dist/evidence/index.d.ts +25 -4
- package/dist/evidence/index.js +3625 -1140
- package/dist/evidence/index.js.map +1 -1
- package/dist/evidenceClient.d.ts +2 -0
- package/dist/evidenceClient.js +222 -14
- package/dist/evidenceClient.js.map +1 -1
- package/dist/facade/context.d.ts +2 -1
- package/dist/facade/context.js +25 -16
- package/dist/facade/context.js.map +1 -1
- package/dist/functionSurface.d.ts +143 -0
- package/dist/functionSurface.js +1204 -0
- package/dist/functionSurface.js.map +1 -0
- package/dist/functionSurfaceClient.d.ts +8 -0
- package/dist/functionSurfaceClient.js +1204 -0
- package/dist/functionSurfaceClient.js.map +1 -0
- package/dist/gatewayFacades.d.ts +64 -46
- package/dist/gatewayFacades.js +461 -128
- package/dist/gatewayFacades.js.map +1 -1
- package/dist/graphAnalysisClient.d.ts +192 -0
- package/dist/graphAnalysisClient.js +799 -0
- package/dist/graphAnalysisClient.js.map +1 -0
- package/dist/graphClient.d.ts +8 -13
- package/dist/graphClient.js +244 -45
- package/dist/graphClient.js.map +1 -1
- package/dist/graphIntel.d.ts +4 -0
- package/dist/graphIntel.js +3 -0
- package/dist/graphIntel.js.map +1 -0
- package/dist/graphIntelligence.d.ts +2 -0
- package/dist/graphIntelligence.js +47 -0
- package/dist/graphIntelligence.js.map +1 -0
- package/dist/graphRecommendationsClient.d.ts +56 -0
- package/dist/graphRecommendationsClient.js +664 -0
- package/dist/graphRecommendationsClient.js.map +1 -0
- package/dist/graphStateClassifierClient.d.ts +73 -0
- package/dist/graphStateClassifierClient.js +716 -0
- package/dist/graphStateClassifierClient.js.map +1 -0
- package/dist/harnessClient.d.ts +15 -24
- package/dist/harnessClient.js +235 -42
- package/dist/harnessClient.js.map +1 -1
- package/dist/identityClient.d.ts +97 -11
- package/dist/identityClient.js +409 -33
- package/dist/identityClient.js.map +1 -1
- package/dist/index.d.ts +30 -5
- package/dist/index.js +4272 -1225
- package/dist/index.js.map +1 -1
- package/dist/infisicalRuntime.d.ts +43 -0
- package/dist/infisicalRuntime.js +346 -0
- package/dist/infisicalRuntime.js.map +1 -0
- package/dist/jobsClient.d.ts +98 -0
- package/dist/jobsClient.js +726 -0
- package/dist/jobsClient.js.map +1 -0
- package/dist/learningClient.d.ts +8 -6
- package/dist/learningClient.js +252 -44
- package/dist/learningClient.js.map +1 -1
- package/dist/lenses/index.d.ts +77 -38
- package/dist/lenses/index.js +3625 -1140
- package/dist/lenses/index.js.map +1 -1
- package/dist/mcpClient.d.ts +28 -0
- package/dist/mcpClient.js +669 -0
- package/dist/mcpClient.js.map +1 -0
- package/dist/modelRuntimeClient.d.ts +72 -0
- package/dist/modelRuntimeClient.js +704 -0
- package/dist/modelRuntimeClient.js.map +1 -0
- package/dist/nodes/index.d.ts +64 -21
- package/dist/nodes/index.js +3625 -1140
- package/dist/nodes/index.js.map +1 -1
- package/dist/ontologies/index.d.ts +54 -32
- package/dist/ontologies/index.js +3625 -1140
- package/dist/ontologies/index.js.map +1 -1
- package/dist/ontologyClient.d.ts +19 -25
- package/dist/ontologyClient.js +258 -40
- package/dist/ontologyClient.js.map +1 -1
- package/dist/ontologyLinksClient.d.ts +71 -0
- package/dist/ontologyLinksClient.js +697 -0
- package/dist/ontologyLinksClient.js.map +1 -0
- package/dist/orgGraphSearchClient.d.ts +85 -0
- package/dist/orgGraphSearchClient.js +672 -0
- package/dist/orgGraphSearchClient.js.map +1 -0
- package/dist/packsClient.d.ts +11 -23
- package/dist/packsClient.js +234 -46
- package/dist/packsClient.js.map +1 -1
- package/dist/policyClient.d.ts +13 -10
- package/dist/policyClient.js +243 -25
- package/dist/policyClient.js.map +1 -1
- package/dist/questions/index.d.ts +25 -4
- package/dist/questions/index.js +3625 -1140
- package/dist/questions/index.js.map +1 -1
- package/dist/realtime/index.d.ts +1 -1
- package/dist/reportsClient.d.ts +9 -7
- package/dist/reportsClient.js +281 -53
- package/dist/reportsClient.js.map +1 -1
- package/dist/schemaClient.d.ts +5 -3
- package/dist/schemaClient.js +235 -29
- package/dist/schemaClient.js.map +1 -1
- package/dist/sdkSurface.d.ts +8 -3
- package/dist/sdkSurface.js +10 -6
- package/dist/sdkSurface.js.map +1 -1
- package/dist/secrets.d.ts +1 -0
- package/dist/secrets.js +3 -0
- package/dist/secrets.js.map +1 -0
- package/dist/sourcesClient.d.ts +2 -0
- package/dist/sourcesClient.js +222 -14
- package/dist/sourcesClient.js.map +1 -1
- package/dist/telemetryClient.d.ts +94 -0
- package/dist/telemetryClient.js +741 -0
- package/dist/telemetryClient.js.map +1 -0
- package/dist/toolRegistryClient.d.ts +115 -0
- package/dist/toolRegistryClient.js +767 -0
- package/dist/toolRegistryClient.js.map +1 -0
- package/dist/topics/index.d.ts +36 -9
- package/dist/topics/index.js +3627 -1140
- package/dist/topics/index.js.map +1 -1
- package/dist/topicsClient.d.ts +4 -0
- package/dist/topicsClient.js +237 -24
- package/dist/topicsClient.js.map +1 -1
- package/dist/types.d.ts +5 -0
- package/dist/version.d.ts +1 -1
- package/dist/version.js +1 -1
- package/dist/version.js.map +1 -1
- package/dist/workflowClient.d.ts +58 -40
- package/dist/workflowClient.js +243 -58
- package/dist/workflowClient.js.map +1 -1
- package/dist/worktrees/index.d.ts +70 -33
- package/dist/worktrees/index.js +3625 -1140
- package/dist/worktrees/index.js.map +1 -1
- package/package.json +13 -3
- package/dist/client-B6aWUUwp.d.ts +0 -2552
|
@@ -69,17 +69,11 @@ var TOKENS_PER_WORD = 1.35;
|
|
|
69
69
|
var MIN_TOKEN_ESTIMATE = 8;
|
|
70
70
|
|
|
71
71
|
// src/contextPackPolicy.ts
|
|
72
|
-
function nowMs() {
|
|
73
|
-
return Date.now();
|
|
74
|
-
}
|
|
75
|
-
function normalizeText(text) {
|
|
76
|
-
return text.trim().toLowerCase();
|
|
77
|
-
}
|
|
78
72
|
function tokenHits(text, tokens) {
|
|
79
73
|
if (tokens.length === 0) {
|
|
80
74
|
return 1;
|
|
81
75
|
}
|
|
82
|
-
const haystack =
|
|
76
|
+
const haystack = text.trim().toLowerCase();
|
|
83
77
|
let hits = 0;
|
|
84
78
|
for (const token of tokens) {
|
|
85
79
|
if (haystack.includes(token)) {
|
|
@@ -94,7 +88,7 @@ function clamp01(value) {
|
|
|
94
88
|
}
|
|
95
89
|
return Math.max(0, Math.min(1, value));
|
|
96
90
|
}
|
|
97
|
-
function recencyScore(updatedAt, referenceTimeMs =
|
|
91
|
+
function recencyScore(updatedAt, referenceTimeMs = Date.now()) {
|
|
98
92
|
if (!updatedAt || !Number.isFinite(updatedAt)) {
|
|
99
93
|
return 0.25;
|
|
100
94
|
}
|
|
@@ -110,15 +104,15 @@ function confidenceScore(confidence) {
|
|
|
110
104
|
return clamp01(confidence);
|
|
111
105
|
}
|
|
112
106
|
function priorityScore(priority) {
|
|
113
|
-
const value =
|
|
107
|
+
const value = (priority || "").trim().toLowerCase();
|
|
114
108
|
return PRIORITY_SCORES[value] ?? DEFAULT_PRIORITY_SCORE;
|
|
115
109
|
}
|
|
116
110
|
function severityScore(severity) {
|
|
117
|
-
const value =
|
|
111
|
+
const value = (severity || "").trim().toLowerCase();
|
|
118
112
|
return SEVERITY_SCORES[value] ?? DEFAULT_SEVERITY_SCORE;
|
|
119
113
|
}
|
|
120
114
|
function beliefTypeBonus(beliefType) {
|
|
121
|
-
const value =
|
|
115
|
+
const value = (beliefType || "").trim().toLowerCase();
|
|
122
116
|
return BELIEF_TYPE_BONUS[value] ?? DEFAULT_BELIEF_TYPE_BONUS;
|
|
123
117
|
}
|
|
124
118
|
function resolveEffectiveWeights(overrides) {
|
|
@@ -144,7 +138,7 @@ function generateJustification(_section, candidate, queryTokens, weights) {
|
|
|
144
138
|
}
|
|
145
139
|
const ts = candidate.updatedAt || candidate.createdAt || null;
|
|
146
140
|
if (ts && Number.isFinite(ts)) {
|
|
147
|
-
const ageDays = Math.max(0,
|
|
141
|
+
const ageDays = Math.max(0, Date.now() - ts) / (1e3 * 60 * 60 * 24);
|
|
148
142
|
if (ageDays < 1) {
|
|
149
143
|
parts.push("updated today");
|
|
150
144
|
} else if (ageDays < 7) {
|
|
@@ -169,10 +163,6 @@ function generateJustification(_section, candidate, queryTokens, weights) {
|
|
|
169
163
|
}
|
|
170
164
|
return parts.join(", ");
|
|
171
165
|
}
|
|
172
|
-
function computeBaselineScore(candidate, queryTokens) {
|
|
173
|
-
const hits = tokenHits(candidate.text, queryTokens);
|
|
174
|
-
return queryTokens.length === 0 ? 1 : hits;
|
|
175
|
-
}
|
|
176
166
|
function computeWeightedScore(section, candidate, queryTokens, effectiveWeights, referenceTimeMs) {
|
|
177
167
|
const weights = (effectiveWeights ?? RANKING_WEIGHTS)[section];
|
|
178
168
|
const queryComponent = queryTokens.length === 0 ? 0.4 : clamp01(tokenHits(candidate.text, queryTokens) / queryTokens.length);
|
|
@@ -206,7 +196,7 @@ function rankContextSection(section, rows, queryTokens, limit, profile, options)
|
|
|
206
196
|
queryTokens,
|
|
207
197
|
effectiveWeights,
|
|
208
198
|
referenceTimeMs
|
|
209
|
-
) :
|
|
199
|
+
) : queryTokens.length === 0 ? 1 : tokenHits(row.text, queryTokens);
|
|
210
200
|
const result = { ...row, score };
|
|
211
201
|
if (includeJustifications && profile === "weighted_v1") {
|
|
212
202
|
const weights = (effectiveWeights ?? RANKING_WEIGHTS)[section];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../src/contracts/context-pack.contract.ts","../src/contextPackPolicy.ts"],"names":[],"mappings":";AAgGO,IAAM,qBAAA,GAET;AAAA,EACF,UAAA,EAAY,IAAA;AAAA,EACZ,aAAA,EAAe,GAAA;AAAA,EACf,aAAA,EAAe,IAAA;AAAA,EACf,cAAA,EAAgB,IAAA;AAAA,EAChB,cAAA,EAAgB;AAClB,CAAA;AAOO,IAAM,gBAAA,GAAmB,GAAA;AAGzB,IAAM,gBAAA,GAAmB,GAAA;AAGzB,IAAM,oBAAA,GAAuB,IAAA;AAS7B,IAAM,wBAAA,GAA2B,EAAA;AA0BjC,IAAM,eAAA,GAET;AAAA,EACF,UAAA,EAAY;AAAA,IACV,KAAA,EAAO,IAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,UAAA,EAAY,GAAA;AAAA,IACZ,UAAA,EAAY;AAAA,GACd;AAAA,EACA,aAAA,EAAe;AAAA,IACb,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,UAAA,EAAY,GAAA;AAAA,IACZ,UAAA,EAAY;AAAA,GACd;AAAA,EACA,aAAA,EAAe;AAAA,IACb,KAAA,EAAO,IAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,QAAA,EAAU;AAAA,GACZ;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS;AAAA,GACX;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,QAAA,EAAU;AAAA;AAEd,CAAA;AAGO,IAAM,sBAAA,GAAyB,EAAA;AAQ/B,IAAM,sBAAA,GAAyB;AAAA,EACpC,KAAA,EAAO,GAAA;AAAA,EACP,YAAA,EAAc;AAChB,CAAA;AAGO,IAAM,oBAAA,GAAuB,EAAA;AAG7B,IAAM,gBAAA,GAAmB,EAAA;AAUzB,IAAM,iBAAA,GAAsD;AAAA,EACjE,SAAA,EAAW,CAAA;AAAA,EACX,KAAA,EAAO,GAAA;AAAA,EACP,SAAA,EAAW;AACb,CAAA;AAEO,IAAM,yBAAA,GAA4B,GAAA;AAMlC,IAAM,eAAA,GAAoD;AAAA,EAC/D,QAAA,EAAU,CAAA;AAAA,EACV,IAAA,EAAM,IAAA;AAAA,EACN,MAAA,EAAQ,IAAA;AAAA,EACR,GAAA,EAAK;AACP,CAAA;AAEO,IAAM,sBAAA,GAAyB,GAAA;AAE/B,IAAM,eAAA,GAAoD;AAAA,EAC/D,QAAA,EAAU,CAAA;AAAA,EACV,IAAA,EAAM,IAAA;AAAA,EACN,MAAA,EAAQ,GAAA;AAAA,EACR,GAAA,EAAK;AACP,CAAA;AAEO,IAAM,sBAAA,GAAyB,GAAA;AAyc/B,IAAM,eAAA,GAAkB,IAAA;AAGxB,IAAM,kBAAA,GAAqB,CAAA;;;AC1nBlC,SAAS,KAAA,GAAgB;AACvB,EAAA,OAAO,KAAK,GAAA,EAAI;AAClB;AAEA,SAAS,cAAc,IAAA,EAAsB;AAC3C,EAAA,OAAO,IAAA,CAAK,IAAA,EAAK,CAAE,WAAA,EAAY;AACjC;AAEA,SAAS,SAAA,CAAU,MAAc,MAAA,EAA0B;AACzD,EAAA,IAAI,MAAA,CAAO,WAAW,CAAA,EAAG;AACvB,IAAA,OAAO,CAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,cAAc,IAAI,CAAA;AACnC,EAAA,IAAI,IAAA,GAAO,CAAA;AACX,EAAA,KAAA,MAAW,SAAS,MAAA,EAAQ;AAC1B,IAAA,IAAI,QAAA,CAAS,QAAA,CAAS,KAAK,CAAA,EAAG;AAC5B,MAAA,IAAA,IAAQ,CAAA;AAAA,IACV;AAAA,EACF;AACA,EAAA,OAAO,IAAA;AACT;AAEA,SAAS,QAAQ,KAAA,EAAuB;AACtC,EAAA,IAAI,CAAC,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,EAAG;AAC3B,IAAA,OAAO,CAAA;AAAA,EACT;AACA,EAAA,OAAO,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,CAAC,CAAA;AACvC;AAEA,SAAS,YAAA,CACP,SAAA,EACA,eAAA,GAAkB,KAAA,EAAM,EAChB;AACR,EAAA,IAAI,CAAC,SAAA,IAAa,CAAC,MAAA,CAAO,QAAA,CAAS,SAAS,CAAA,EAAG;AAC7C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,kBAAkB,SAAS,CAAA;AACrD,EAAA,MAAM,OAAA,GAAU,KAAA,IAAS,GAAA,GAAO,EAAA,GAAK,EAAA,GAAK,EAAA,CAAA;AAC1C,EAAA,MAAM,KAAA,GAAQ,QAAQ,OAAA,GAAU,sBAAA,CAAA;AAChC,EAAA,OAAO,QAAQ,KAAK,CAAA;AACtB;AAEA,SAAS,gBAAgB,UAAA,EAA+C;AACtE,EAAA,IAAI,OAAO,UAAA,KAAe,QAAA,IAAY,CAAC,MAAA,CAAO,QAAA,CAAS,UAAU,CAAA,EAAG;AAClE,IAAA,OAAO,GAAA;AAAA,EACT;AACA,EAAA,OAAO,QAAQ,UAAU,CAAA;AAC3B;AAEA,SAAS,cAAc,QAAA,EAA6C;AAClE,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,QAAA,IAAY,EAAE,CAAA;AAC1C,EAAA,OAAO,eAAA,CAAgB,KAAK,CAAA,IAAK,sBAAA;AACnC;AAEA,SAAS,cAAc,QAAA,EAA6C;AAClE,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,QAAA,IAAY,EAAE,CAAA;AAC1C,EAAA,OAAO,eAAA,CAAgB,KAAK,CAAA,IAAK,sBAAA;AACnC;AAEA,SAAS,gBAAgB,UAAA,EAA+C;AACtE,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,UAAA,IAAc,EAAE,CAAA;AAC5C,EAAA,OAAO,iBAAA,CAAkB,KAAK,CAAA,IAAK,yBAAA;AACrC;AAEO,SAAS,wBACd,SAAA,EAC8D;AAC9D,EAAA,IAAI,CAAC,SAAA,IAAa,SAAA,CAAU,MAAA,KAAW,CAAA,EAAG;AACxC,IAAA,OAAO,eAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,EAAE,GAAG,eAAA,EAAgB;AAIpC,EAAA,KAAA,MAAW,YAAY,SAAA,EAAW;AAChC,IAAA,MAAM,IAAA,GAAO,eAAA,CAAgB,QAAA,CAAS,OAAO,CAAA;AAC7C,IAAA,IAAI,IAAA,EAAM;AACR,MAAA,MAAA,CAAO,QAAA,CAAS,OAAO,CAAA,GAAI,EAAE,GAAG,IAAA,EAAM,GAAG,SAAS,OAAA,EAAQ;AAAA,IAC5D;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,qBAAA,CACP,QAAA,EACA,SAAA,EACA,WAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,QAAkB,EAAC;AAEzB,EAAA,MAAM,IAAA,GAAO,SAAA,CAAU,SAAA,CAAU,IAAA,EAAM,WAAW,CAAA;AAClD,EAAA,IAAI,WAAA,CAAY,MAAA,GAAS,CAAA,IAAK,IAAA,GAAO,CAAA,EAAG;AACtC,IAAA,KAAA,CAAM,KAAK,CAAA,EAAG,IAAI,CAAA,CAAA,EAAI,WAAA,CAAY,MAAM,CAAA,oBAAA,CAAsB,CAAA;AAAA,EAChE,CAAA,MAAA,IAAW,WAAA,CAAY,MAAA,KAAW,CAAA,EAAG;AACnC,IAAA,KAAA,CAAM,KAAK,iBAAiB,CAAA;AAAA,EAC9B;AAEA,EAAA,MAAM,EAAA,GAAK,SAAA,CAAU,SAAA,IAAa,SAAA,CAAU,SAAA,IAAa,IAAA;AACzD,EAAA,IAAI,EAAA,IAAM,MAAA,CAAO,QAAA,CAAS,EAAE,CAAA,EAAG;AAC7B,IAAA,MAAM,OAAA,GAAU,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,KAAA,KAAU,EAAE,CAAA,IAAK,GAAA,GAAO,EAAA,GAAK,EAAA,GAAK,EAAA,CAAA;AAC9D,IAAA,IAAI,UAAU,CAAA,EAAG;AACf,MAAA,KAAA,CAAM,KAAK,eAAe,CAAA;AAAA,IAC5B,CAAA,MAAA,IAAW,UAAU,CAAA,EAAG;AACtB,MAAA,KAAA,CAAM,KAAK,CAAA,QAAA,EAAW,IAAA,CAAK,KAAA,CAAM,OAAO,CAAC,CAAA,KAAA,CAAO,CAAA;AAAA,IAClD,CAAA,MAAA,IAAW,UAAU,EAAA,EAAI;AACvB,MAAA,KAAA,CAAM,KAAK,CAAA,QAAA,EAAW,IAAA,CAAK,MAAM,OAAA,GAAU,CAAC,CAAC,CAAA,KAAA,CAAO,CAAA;AAAA,IACtD,CAAA,MAAO;AACL,MAAA,KAAA,CAAM,KAAK,CAAA,QAAA,EAAW,IAAA,CAAK,KAAA,CAAM,OAAO,CAAC,CAAA,eAAA,CAAiB,CAAA;AAAA,IAC5D;AAAA,EACF;AAEA,EAAA,IACE,OAAA,CAAQ,eAAe,MAAA,IACvB,SAAA,CAAU,eAAe,IAAA,IACzB,SAAA,CAAU,eAAe,MAAA,EACzB;AACA,IAAA,KAAA,CAAM,KAAK,CAAA,WAAA,EAAc,SAAA,CAAU,WAAW,OAAA,CAAQ,CAAC,CAAC,CAAA,CAAE,CAAA;AAAA,EAC5D;AACA,EAAA,IAAI,OAAA,CAAQ,UAAA,KAAe,MAAA,IAAa,SAAA,CAAU,UAAA,EAAY;AAC5D,IAAA,KAAA,CAAM,IAAA,CAAK,CAAA,KAAA,EAAQ,SAAA,CAAU,UAAU,CAAA,CAAE,CAAA;AAAA,EAC3C;AACA,EAAA,IAAI,OAAA,CAAQ,QAAA,KAAa,MAAA,IAAa,SAAA,CAAU,QAAA,EAAU;AACxD,IAAA,KAAA,CAAM,IAAA,CAAK,CAAA,SAAA,EAAY,SAAA,CAAU,QAAQ,CAAA,CAAE,CAAA;AAAA,EAC7C;AACA,EAAA,IAAI,OAAA,CAAQ,QAAA,KAAa,MAAA,IAAa,SAAA,CAAU,QAAA,EAAU;AACxD,IAAA,KAAA,CAAM,IAAA,CAAK,CAAA,SAAA,EAAY,SAAA,CAAU,QAAQ,CAAA,CAAE,CAAA;AAAA,EAC7C;AAEA,EAAA,OAAO,KAAA,CAAM,KAAK,IAAI,CAAA;AACxB;AAEA,SAAS,oBAAA,CACP,WACA,WAAA,EACQ;AACR,EAAA,MAAM,IAAA,GAAO,SAAA,CAAU,SAAA,CAAU,IAAA,EAAM,WAAW,CAAA;AAClD,EAAA,OAAO,WAAA,CAAY,MAAA,KAAW,CAAA,GAAI,CAAA,GAAI,IAAA;AACxC;AAEA,SAAS,oBAAA,CACP,OAAA,EACA,SAAA,EACA,WAAA,EACA,kBACA,eAAA,EACQ;AACR,EAAA,MAAM,OAAA,GAAA,CAAW,gBAAA,IAAoB,eAAA,EAAiB,OAAO,CAAA;AAC7D,EAAA,MAAM,cAAA,GACJ,WAAA,CAAY,MAAA,KAAW,CAAA,GACnB,GAAA,GACA,OAAA,CAAQ,SAAA,CAAU,SAAA,CAAU,IAAA,EAAM,WAAW,CAAA,GAAI,WAAA,CAAY,MAAM,CAAA;AACzE,EAAA,MAAM,gBAAA,GAAmB,YAAA;AAAA,IACvB,SAAA,CAAU,SAAA,IAAa,SAAA,CAAU,SAAA,IAAa,IAAA;AAAA,IAC9C;AAAA,GACF;AAEA,EAAA,IAAI,KAAA,GACF,cAAA,GAAiB,OAAA,CAAQ,KAAA,GAAQ,mBAAmB,OAAA,CAAQ,OAAA;AAE9D,EAAA,IAAI,OAAA,CAAQ,eAAe,MAAA,EAAW;AACpC,IAAA,KAAA,IAAS,eAAA,CAAgB,SAAA,CAAU,UAAU,CAAA,GAAI,OAAA,CAAQ,UAAA;AAAA,EAC3D;AACA,EAAA,IAAI,OAAA,CAAQ,eAAe,MAAA,EAAW;AACpC,IAAA,KAAA,IAAS,eAAA,CAAgB,SAAA,CAAU,UAAU,CAAA,GAAI,OAAA,CAAQ,UAAA;AAAA,EAC3D;AACA,EAAA,IAAI,OAAA,CAAQ,aAAa,MAAA,EAAW;AAClC,IAAA,KAAA,IAAS,aAAA,CAAc,SAAA,CAAU,QAAQ,CAAA,GAAI,OAAA,CAAQ,QAAA;AAAA,EACvD;AACA,EAAA,IAAI,OAAA,CAAQ,aAAa,MAAA,EAAW;AAClC,IAAA,KAAA,IAAS,aAAA,CAAc,SAAA,CAAU,QAAQ,CAAA,GAAI,OAAA,CAAQ,QAAA;AAAA,EACvD;AAEA,EAAA,OAAO,KAAA;AACT;AAEO,SAAS,mBACd,OAAA,EACA,IAAA,EACA,WAAA,EACA,KAAA,EACA,SACA,OAAA,EACsB;AACtB,EAAA,MAAM,mBAAmB,OAAA,EAAS,gBAAA;AAClC,EAAA,MAAM,qBAAA,GAAwB,SAAS,qBAAA,IAAyB,KAAA;AAChE,EAAA,MAAM,kBAAkB,OAAA,EAAS,eAAA;AAEjC,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,GAAA,CAAI,CAAC,GAAA,KAAQ;AAC/B,IAAA,MAAM,KAAA,GACJ,YAAY,aAAA,GACR,oBAAA;AAAA,MACE,OAAA;AAAA,MACA,GAAA;AAAA,MACA,WAAA;AAAA,MACA,gBAAA;AAAA,MACA;AAAA,KACF,GACA,oBAAA,CAAqB,GAAA,EAAK,WAAW,CAAA;AAE3C,IAAA,MAAM,MAAA,GAA6B,EAAE,GAAG,GAAA,EAAK,KAAA,EAAM;AAEnD,IAAA,IAAI,qBAAA,IAAyB,YAAY,aAAA,EAAe;AACtD,MAAA,MAAM,OAAA,GAAA,CAAW,gBAAA,IAAoB,eAAA,EAAiB,OAAO,CAAA;AAC7D,MAAA,MAAA,CAAO,aAAA,GAAgB,qBAAA,CAAsB,OAAA,EAAS,GAAA,EAAK,aAAa,OAAO,CAAA;AAAA,IACjF;AAEA,IAAA,OAAO,MAAA;AAAA,EACT,CAAC,CAAA;AAED,EAAA,MAAM,QAAA,GACJ,WAAA,CAAY,MAAA,KAAW,CAAA,GAAI,MAAA,GAAS,MAAA,CAAO,MAAA,CAAO,CAAC,GAAA,KAAQ,GAAA,CAAI,KAAA,GAAQ,CAAC,CAAA;AAE1E,EAAA,QAAA,CAAS,IAAA,CAAK,CAAC,IAAA,EAAM,KAAA,KAAU;AAC7B,IAAA,IAAI,KAAA,CAAM,KAAA,KAAU,IAAA,CAAK,KAAA,EAAO;AAC9B,MAAA,OAAO,KAAA,CAAM,QAAQ,IAAA,CAAK,KAAA;AAAA,IAC5B;AACA,IAAA,MAAM,OAAA,GAAU,KAAA,CAAM,SAAA,IAAa,KAAA,CAAM,SAAA,IAAa,CAAA;AACtD,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,SAAA,IAAa,IAAA,CAAK,SAAA,IAAa,CAAA;AACnD,IAAA,OAAO,OAAA,GAAU,MAAA;AAAA,EACnB,CAAC,CAAA;AAED,EAAA,OAAO,QAAA,CAAS,KAAA,CAAM,CAAA,EAAG,KAAK,CAAA;AAChC;AAEO,SAAS,gBAAA,CACd,KAAA,EACA,QAAA,GAAW,oBAAA,EACH;AACR,EAAA,MAAM,MAAA,GACJ,OAAO,KAAA,KAAU,QAAA,IAAY,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,GAC9C,IAAA,CAAK,KAAA,CAAM,KAAK,CAAA,GAChB,QAAA;AACN,EAAA,OAAO,KAAK,GAAA,CAAI,gBAAA,EAAkB,KAAK,GAAA,CAAI,gBAAA,EAAkB,MAAM,CAAC,CAAA;AACtE;AAEA,SAAS,eAAe,IAAA,EAAsB;AAC5C,EAAA,MAAM,KAAA,GAAQ,KAAK,IAAA,EAAK,CAAE,MAAM,KAAK,CAAA,CAAE,MAAA,CAAO,OAAO,CAAA,CAAE,MAAA;AACvD,EAAA,OAAO,KAAK,GAAA,CAAI,kBAAA,EAAoB,KAAK,IAAA,CAAK,KAAA,GAAQ,eAAe,CAAC,CAAA;AACxE;AAEO,SAAS,mBAAmB,IAAA,EAQjB;AAChB,EAAA,MAAM,WAAA,GAAc,gBAAA,CAAiB,IAAA,CAAK,WAAW,CAAA;AACrD,EAAA,MAAM,eAAA,GAAkB,KAAK,eAAA,IAAmB,KAAA;AAEhD,EAAA,MAAM,cAAA,GAA6C;AAAA,IACjD,UAAA,EAAY,IAAA,CAAK,KAAA,CAAM,WAAA,GAAc,sBAAsB,UAAU,CAAA;AAAA,IACrE,eAAe,IAAA,CAAK,KAAA;AAAA,MAClB,cAAc,qBAAA,CAAsB;AAAA,KACtC;AAAA,IACA,eAAe,IAAA,CAAK,KAAA;AAAA,MAClB,cAAc,qBAAA,CAAsB;AAAA,KACtC;AAAA,IACA,gBAAgB,IAAA,CAAK,KAAA;AAAA,MACnB,cAAc,qBAAA,CAAsB;AAAA,KACtC;AAAA,IACA,gBAAgB,IAAA,CAAK,GAAA;AAAA,MACnB,wBAAA;AAAA,MACA,IAAA,CAAK,KAAA,CAAM,WAAA,GAAc,qBAAA,CAAsB,cAAc;AAAA;AAC/D,GACF;AAEA,EAAA,MAAM,QAAA,GAAyC;AAAA,IAC7C,YAAY,EAAC;AAAA,IACb,eAAe,EAAC;AAAA,IAChB,eAAe,EAAC;AAAA,IAChB,gBAAgB,EAAC;AAAA,IACjB,gBAAgB;AAAC,GACnB;AAEA,EAAA,MAAM,YAAA,GAA2C;AAAA,IAC/C,UAAA,EAAY,CAAA;AAAA,IACZ,aAAA,EAAe,CAAA;AAAA,IACf,aAAA,EAAe,CAAA;AAAA,IACf,cAAA,EAAgB,CAAA;AAAA,IAChB,cAAA,EAAgB;AAAA,GAClB;AAEA,EAAA,MAAM,gBAAoC,EAAC;AAE3C,EAAA,MAAM,QAAA,GAAW,CAAC,OAAA,EAAqB,EAAA,EAAY,MAAc,KAAA,KAAmB;AAClF,IAAA,MAAM,UAAA,GAAa,eAAe,IAAI,CAAA;AACtC,IAAA,MAAM,SAAA,GAAY,YAAA,CAAa,OAAO,CAAA,GAAI,UAAA;AAC1C,IAAA,IAAI,SAAA,GAAY,cAAA,CAAe,OAAO,CAAA,EAAG;AACvC,MAAA,IAAI,eAAA,EAAiB;AACnB,QAAA,aAAA,CAAc,IAAA,CAAK;AAAA,UACjB,EAAA;AAAA,UACA,OAAA;AAAA,UACA,MAAA,EAAQ,iBAAA;AAAA,UACR,OAAO,KAAA,IAAS;AAAA,SACjB,CAAA;AAAA,MACH;AACA,MAAA;AAAA,IACF;AACA,IAAA,QAAA,CAAS,OAAO,CAAA,CAAE,IAAA,CAAK,EAAE,CAAA;AACzB,IAAA,YAAA,CAAa,OAAO,CAAA,GAAI,SAAA;AAAA,EAC1B,CAAA;AAEA,EAAA,KAAA,MAAW,GAAA,IAAO,KAAK,UAAA,EAAY;AACjC,IAAA,QAAA,CAAS,cAAc,GAAA,CAAI,MAAA,EAAQ,GAAA,CAAI,aAAA,EAAe,IAAI,KAAK,CAAA;AAAA,EACjE;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,KAAK,aAAA,EAAe;AACpC,IAAA,QAAA,CAAS,iBAAiB,GAAA,CAAI,MAAA,EAAQ,GAAA,CAAI,aAAA,EAAe,IAAI,KAAK,CAAA;AAAA,EACpE;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,KAAK,aAAA,EAAe;AACpC,IAAA,QAAA,CAAS,iBAAiB,GAAA,CAAI,UAAA,EAAY,GAAA,CAAI,IAAA,EAAM,IAAI,KAAK,CAAA;AAAA,EAC/D;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,KAAK,cAAA,EAAgB;AACrC,IAAA,QAAA,CAAS,kBAAkB,GAAA,CAAI,MAAA,EAAQ,GAAA,CAAI,aAAA,EAAe,IAAI,KAAK,CAAA;AAAA,EACrE;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,KAAK,cAAA,EAAgB;AACrC,IAAA,QAAA,CAAS,kBAAkB,GAAA,CAAI,eAAA,EAAiB,GAAA,CAAI,WAAA,EAAa,IAAI,KAAK,CAAA;AAAA,EAC5E;AAEA,EAAA,MAAM,eAAA,GACJ,aAAa,UAAA,GACb,YAAA,CAAa,gBACb,YAAA,CAAa,aAAA,GACb,YAAA,CAAa,cAAA,GACb,YAAA,CAAa,cAAA;AAEf,EAAA,OAAO;AAAA,IACL,WAAA;AAAA,IACA,eAAA;AAAA,IACA,cAAA;AAAA,IACA,YAAA;AAAA,IACA,QAAA;AAAA,IACA,GAAI,eAAA,GAAkB,EAAE,aAAA,KAAkB;AAAC,GAC7C;AACF;AAiBO,SAAS,YAAA,CACd,UAAA,EACA,WAAA,EACA,KAAA,EACgB;AAChB,EAAA,IAAI,UAAA,CAAW,WAAW,CAAA,EAAG;AAC3B,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,iBAAiB,IAAA,CAAK,GAAA;AAAA,IAC1B,CAAA;AAAA,IACA,IAAA,CAAK,GAAA,CAAI,KAAA,IAAS,oBAAA,EAAsB,gBAAgB;AAAA,GAC1D;AAEA,EAAA,MAAM,iBAAiB,IAAA,CAAK,GAAA;AAAA,IAC1B,CAAA;AAAA,IACA,GAAG,UAAA,CAAW,GAAA;AAAA,MACZ,CAAC,SAAA,KACC,SAAA,CAAU,oBAAA,GAAuB,SAAA,CAAU;AAAA;AAC/C,GACF;AAEA,EAAA,MAAM,MAAA,GAAS,UAAA,CAAW,GAAA,CAAI,CAAC,SAAA,KAAc;AAC3C,IAAA,MAAM,UAAA,GAAa,GAAG,SAAA,CAAU,KAAK,IAAI,SAAA,CAAU,UAAU,CAAA,CAAA,EAAI,SAAA,CAAU,aAAa,CAAA,CAAA;AACxF,IAAA,MAAM,UAAA,GACJ,WAAA,CAAY,MAAA,KAAW,CAAA,GACnB,GAAA,GACA,OAAA,CAAQ,SAAA,CAAU,UAAA,EAAY,WAAW,CAAA,GAAI,WAAA,CAAY,MAAM,CAAA;AAErE,IAAA,MAAM,gBAAA,GACJ,SAAA,CAAU,oBAAA,GAAuB,SAAA,CAAU,sBAAA;AAC7C,IAAA,MAAM,iBAAA,GAAoB,OAAA,CAAQ,gBAAA,GAAmB,cAAc,CAAA;AAEnE,IAAA,MAAM,KAAA,GACJ,UAAA,GAAa,sBAAA,CAAuB,KAAA,GACpC,oBAAoB,sBAAA,CAAuB,YAAA;AAE7C,IAAA,OAAO,EAAE,GAAG,SAAA,EAAW,KAAA,EAAM;AAAA,EAC/B,CAAC,CAAA;AAED,EAAA,MAAA,CAAO,IAAA,CAAK,CAAC,IAAA,EAAM,KAAA,KAAU;AAC3B,IAAA,IAAI,KAAA,CAAM,KAAA,KAAU,IAAA,CAAK,KAAA,EAAO;AAC9B,MAAA,OAAO,KAAA,CAAM,QAAQ,IAAA,CAAK,KAAA;AAAA,IAC5B;AACA,IAAA,MAAM,SAAA,GAAY,KAAA,CAAM,oBAAA,GAAuB,KAAA,CAAM,sBAAA;AACrD,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,oBAAA,GAAuB,IAAA,CAAK,sBAAA;AAClD,IAAA,OAAO,SAAA,GAAY,QAAA;AAAA,EACrB,CAAC,CAAA;AAED,EAAA,OAAO,MAAA,CAAO,KAAA,CAAM,CAAA,EAAG,cAAc,CAAA;AACvC","file":"contextPackPolicy.js","sourcesContent":["/**\n * Context-Pack Contract v1\n *\n * Canonical TypeScript types and constants for the context-pack output schema.\n * This is the external contract consumed by:\n * - MCP tool `compile_context` (canonical compiler read)\n * - SDK/HTTP consumers that read compiled context packs programmatically\n * - Benchmark harnesses (context-pack-ab)\n *\n * BREAKING CHANGE RULES:\n * - Adding optional fields to ContextPackV1 is NON-breaking\n * - Removing fields or changing types is BREAKING (bump CONTEXT_PACK_SCHEMA_VERSION)\n * - Changing section budget ratios or ranking weights is NON-breaking (tuning)\n * - Changing the version string is BREAKING (consumers check it)\n */\n\n// =============================================================================\n// SCHEMA VERSION\n// =============================================================================\n\n/** Canonical version string. Consumers MUST check this field for compatibility. */\nexport const CONTEXT_PACK_SCHEMA_VERSION = \"1.0.0\" as const;\n\n// =============================================================================\n// RANKING PROFILES\n// =============================================================================\n\n/**\n * Available ranking profiles for context-pack assembly.\n *\n * - `baseline_v1`: Simple token-hit counting. Items with zero query hits are excluded.\n * - `weighted_v1`: Multi-signal scoring combining query relevance, recency, confidence,\n * belief type, priority, and severity with section-specific weight vectors.\n */\nexport type ContextRankingProfile = \"baseline_v1\" | \"weighted_v1\";\n\nexport const CONTEXT_RANKING_PROFILES: readonly ContextRankingProfile[] = [\n \"baseline_v1\",\n \"weighted_v1\",\n] as const;\n\nexport const DEFAULT_RANKING_PROFILE: ContextRankingProfile = \"weighted_v1\";\n\n// =============================================================================\n// COMPILATION MODE (RS-2)\n// =============================================================================\n\n/**\n * Context compilation mode.\n *\n * - `standard`: Default — ranked beliefs, questions, evidence, contradictions.\n * - `delta`: Diff-aware — adds failure context, verification obligations,\n * and worktree ledger analysis to the standard context pack.\n */\nexport type ContextCompilationMode = \"standard\" | \"delta\";\n\nexport const DEFAULT_COMPILATION_MODE: ContextCompilationMode = \"standard\";\n\n// =============================================================================\n// SECTION KEYS\n// =============================================================================\n\n/**\n * The five canonical sections of a context pack.\n * Order matters: invariants are injected first, contradictions last.\n */\nexport type ContextPackSectionKey =\n | \"invariants\"\n | \"activeBeliefs\"\n | \"openQuestions\"\n | \"recentEvidence\"\n | \"contradictions\";\n\nexport const CONTEXT_PACK_SECTION_KEYS: readonly ContextPackSectionKey[] = [\n \"invariants\",\n \"activeBeliefs\",\n \"openQuestions\",\n \"recentEvidence\",\n \"contradictions\",\n] as const;\n\n// =============================================================================\n// SECTION BUDGET RATIOS\n// =============================================================================\n\n/**\n * Token budget allocation ratios per section.\n * These sum to 1.0 and determine how the total tokenBudget is divided.\n *\n * Rationale:\n * - invariants (0.28): Highest-priority constraints, injected first\n * - activeBeliefs (0.30): Largest section, carries domain knowledge\n * - openQuestions (0.17): Unresolved work items guide agent behavior\n * - recentEvidence (0.17): Implementation context for grounding\n * - contradictions (0.08): Tension signals, smallest section\n */\nexport const SECTION_BUDGET_RATIOS: Readonly<\n Record<ContextPackSectionKey, number>\n> = {\n invariants: 0.28,\n activeBeliefs: 0.3,\n openQuestions: 0.17,\n recentEvidence: 0.17,\n contradictions: 0.08,\n} as const;\n\n// =============================================================================\n// TOKEN BUDGET CONSTRAINTS\n// =============================================================================\n\n/** Minimum allowed token budget. Below this, context packs lose utility. */\nexport const MIN_TOKEN_BUDGET = 400;\n\n/** Maximum allowed token budget. Above this, context packs bloat prompts. */\nexport const MAX_TOKEN_BUDGET = 8000;\n\n/** Default token budget when caller does not specify. */\nexport const DEFAULT_TOKEN_BUDGET = 1800;\n\n/** Default max items per section. */\nexport const DEFAULT_SECTION_LIMIT = 8;\n\n/** Hard ceiling on items per section. */\nexport const MAX_SECTION_LIMIT = 25;\n\n/** Minimum contradiction section budget floor (tokens). */\nexport const MIN_CONTRADICTION_BUDGET = 40;\n\n// =============================================================================\n// RANKING WEIGHT VECTORS\n// =============================================================================\n\n/**\n * Weight vectors for the weighted_v1 ranking profile.\n * Each section has a different signal mix:\n *\n * - query: How many query tokens appear in the candidate text\n * - recency: Exponential decay from updatedAt (half-life = 30 days)\n * - confidence: Belief confidence score [0,1]\n * - beliefType: Bonus for invariant > tenet > principle > other\n * - priority: Question priority (critical > high > medium > low)\n * - severity: Contradiction severity (critical > high > medium > low)\n */\nexport type RankingWeightVector = {\n query: number;\n recency: number;\n confidence?: number;\n beliefType?: number;\n priority?: number;\n severity?: number;\n};\n\nexport const RANKING_WEIGHTS: Readonly<\n Record<ContextPackSectionKey, RankingWeightVector>\n> = {\n invariants: {\n query: 0.35,\n recency: 0.1,\n confidence: 0.4,\n beliefType: 0.15,\n },\n activeBeliefs: {\n query: 0.5,\n recency: 0.2,\n confidence: 0.2,\n beliefType: 0.1,\n },\n openQuestions: {\n query: 0.55,\n recency: 0.2,\n priority: 0.25,\n },\n recentEvidence: {\n query: 0.6,\n recency: 0.4,\n },\n contradictions: {\n query: 0.4,\n recency: 0.2,\n severity: 0.4,\n },\n} as const;\n\n/** Recency decay half-life in days. After 30 days, recency score = 0.5. */\nexport const RECENCY_HALF_LIFE_DAYS = 30;\n\n/**\n * Ranking weight vector for the relatedEntities section.\n * Entities are ranked by query relevance and connectivity (bridge edge count).\n * Separate from RANKING_WEIGHTS because entities are not part of the\n * token-budgeted injection plan.\n */\nexport const ENTITY_RANKING_WEIGHTS = {\n query: 0.4,\n connectivity: 0.6,\n} as const;\n\n/** Default max entities to include in the context pack. */\nexport const DEFAULT_ENTITY_LIMIT = 10;\n\n/** Hard ceiling on entities per context pack. */\nexport const MAX_ENTITY_LIMIT = 50;\n\n// =============================================================================\n// BELIEF TYPE BONUS MAP\n// =============================================================================\n\n/**\n * Bonus multiplier for belief types in ranking.\n * Invariants get 1.0, unknown types get 0.4.\n */\nexport const BELIEF_TYPE_BONUS: Readonly<Record<string, number>> = {\n invariant: 1.0,\n tenet: 0.8,\n principle: 0.6,\n} as const;\n\nexport const DEFAULT_BELIEF_TYPE_BONUS = 0.4;\n\n// =============================================================================\n// PRIORITY / SEVERITY SCORE MAPS\n// =============================================================================\n\nexport const PRIORITY_SCORES: Readonly<Record<string, number>> = {\n critical: 1.0,\n high: 0.85,\n medium: 0.55,\n low: 0.35,\n} as const;\n\nexport const DEFAULT_PRIORITY_SCORE = 0.5;\n\nexport const SEVERITY_SCORES: Readonly<Record<string, number>> = {\n critical: 1.0,\n high: 0.85,\n medium: 0.6,\n low: 0.35,\n} as const;\n\nexport const DEFAULT_SEVERITY_SCORE = 0.5;\n\n// =============================================================================\n// SECTION ITEM TYPES\n// =============================================================================\n\n/** A ranked belief in the invariants or activeBeliefs section. */\nexport type ContextPackBelief = {\n nodeId: string;\n canonicalText: string;\n confidence: number | null;\n beliefType: string | null;\n score: number;\n /** Present in activeBeliefs, absent in invariants */\n status?: string;\n updatedAt?: number | null;\n /** Human-readable explanation of why this item was ranked here (RS-2). */\n justification?: string;\n};\n\n/** A ranked question in the openQuestions section. */\nexport type ContextPackQuestion = {\n questionId: string;\n text: string;\n status: string;\n priority: string;\n updatedAt?: number | null;\n score: number;\n /** Human-readable explanation of why this item was ranked here (RS-2). */\n justification?: string;\n};\n\n/** A ranked evidence item in the recentEvidence section. */\nexport type ContextPackEvidence = {\n nodeId: string;\n canonicalText: string;\n sourceUrl: string | null;\n kind: string;\n createdAt: number | null;\n score: number;\n /** Human-readable explanation of why this item was ranked here (RS-2). */\n justification?: string;\n};\n\n/** A ranked contradiction in the contradictions section. */\nexport type ContextPackContradiction = {\n contradictionId: string;\n severity: string;\n status: string;\n description: string;\n score: number;\n /** Human-readable explanation of why this item was ranked here (RS-2). */\n justification?: string;\n};\n\n/**\n * An entity from the ontological layer surfaced in the context pack.\n * Entities are domain objects (companies, people, functions, etc.) connected\n * to beliefs via bridge edges. They provide the \"reality anchor\" that makes\n * the reasoning graph domain-aware.\n */\nexport type ContextPackEntity = {\n /** Convex document ID of the entity node. */\n nodeId: string;\n /** Entity type (e.g., \"company\", \"person\", \"function\"). */\n entityType: string;\n /** Human-readable title/name of the entity. */\n title: string;\n /** Number of beliefs connected to this entity via bridge edges. */\n connectedBeliefCount: number;\n /** Number of evidence items referencing this entity. */\n connectedEvidenceCount: number;\n /** Relevance score from ranking algorithm. */\n score: number;\n /** Entity metadata (structured per ontology schema). */\n metadata?: Record<string, unknown>;\n};\n\n/**\n * A lattice seed entry representing a belief that was auto-generated\n * to cover an ontology entity type within a topic scope.\n */\nexport type BeliefLatticeSeed = {\n /** The belief node ID that was created or already existed. */\n beliefNodeId: string;\n /** The entity type this seed belief covers. */\n entityType: string;\n /** Whether this seed was newly created or already existed. */\n created: boolean;\n /** The canonical text of the seed belief. */\n canonicalText: string;\n};\n\n// =============================================================================\n// SUMMARY\n// =============================================================================\n\n/** Counts and scoped health signals for the context pack. */\nexport type ContextPackSummary = {\n totalBeliefs: number;\n invariants: number;\n openQuestions: number;\n evidenceItems: number;\n contradictions: number;\n /** Number of ontological entities in scope (optional, present when entity graph is active). */\n relatedEntities?: number;\n scopedTopics: number;\n descendantDepth: number;\n query: string | null;\n};\n\n// =============================================================================\n// FAILURE CONTEXT (RS-2)\n// =============================================================================\n\n/** A failed approach surfaced from the failure log for anti-repetition. */\nexport type ContextPackFailure = {\n /** Lucern attempt/evidence node ID. */\n attemptId: string;\n /** What was tried. */\n approach: string;\n /** Why it failed. */\n outcome: string;\n /** When the attempt was recorded (ms since epoch). */\n recordedAt: number;\n /** Relevance score from ranking algorithm. */\n score: number;\n};\n\n/** Failure context section appended to context packs in delta mode. */\nexport type ContextPackFailureContext = {\n /** Ranked failed approaches relevant to the current query. */\n failures: ContextPackFailure[];\n /** IDs of items suppressed from other sections due to anti-repetition. */\n suppressedIds: string[];\n};\n\n// =============================================================================\n// DELTA REPORT (RS-2)\n// =============================================================================\n\n/** A verification obligation surfaced by delta compilation. */\nexport type VerificationObligation = {\n /** What must be verified. */\n description: string;\n /** Source of the obligation (e.g., \"belief:xyz confidence drop\"). */\n source: string;\n /** Severity: how important it is to verify. */\n severity: \"critical\" | \"high\" | \"medium\" | \"low\";\n};\n\n/** Delta report appended to context packs when mode = \"delta\". */\nexport type ContextPackDeltaReport = {\n /** Items that changed since the reference point (new, updated, removed). */\n changedItems: Array<{\n id: string;\n section: ContextPackSectionKey;\n changeType: \"added\" | \"updated\" | \"removed\" | \"confidence_changed\";\n summary: string;\n }>;\n /** Obligations the consuming session must verify. */\n verificationObligations: VerificationObligation[];\n /** Reference point for the delta (worktree ID, timestamp, or commit SHA). */\n referencePoint: string;\n};\n\n// =============================================================================\n// PACK WEIGHT OVERRIDES (RS-2)\n// =============================================================================\n\n/**\n * Per-section weight overrides that domain packs can apply.\n * Overrides merge with RANKING_WEIGHTS — only specified fields replace defaults.\n */\nexport type PackWeightOverride = {\n /** Which section to override weights for. */\n section: ContextPackSectionKey;\n /** Partial weight vector — only specified fields replace defaults. */\n weights: Partial<RankingWeightVector>;\n};\n\n// =============================================================================\n// INJECTION POLICY\n// =============================================================================\n\n/** Token-budgeted section selections for prompt injection. */\nexport type ContextPackInjectionPolicy = {\n /** Total token budget for the entire context pack. */\n tokenBudget: number;\n /** Estimated tokens consumed across all sections. */\n estimatedTokens: number;\n /** Per-section token budgets derived from SECTION_BUDGET_RATIOS. */\n sectionBudgets: Record<ContextPackSectionKey, number>;\n /** Actual token usage per section after greedy fill. */\n sectionUsage: Record<ContextPackSectionKey, number>;\n /** Node/question IDs selected for injection, per section. */\n selected: Record<ContextPackSectionKey, string[]>;\n /** Items that were scored but excluded from injection, with reason (RS-2). */\n excludedItems?: Array<{\n id: string;\n section: ContextPackSectionKey;\n reason: \"budget_exceeded\" | \"anti_repetition\" | \"below_threshold\";\n score: number;\n }>;\n};\n\n// =============================================================================\n// DIAGNOSTICS\n// =============================================================================\n\n/** Telemetry for context pack assembly. */\nexport type ContextPackDiagnostics = {\n /** Total candidates scored across all sections. */\n itemsScored: number;\n /** Ratio of estimatedTokens / tokenBudget. Range [0, 1+]. */\n tokenBudgetUtilization: number;\n};\n\n// =============================================================================\n// PUBLIC COMPILED CONTEXT TYPES\n// =============================================================================\n\n/**\n * Public context surface returned by the SDK-facing context client.\n *\n * This preserves the existing external shape while the canonical compiler\n * contract evolves in parallel as ContextPackV1.\n */\nexport type PublicContextBelief = {\n beliefId: string;\n text: string;\n confidence: number | null;\n beliefType?: string | null;\n status?: string;\n updatedAt?: number | null;\n score: number;\n justification?: string;\n};\n\nexport type PublicContextQuestion = {\n questionId: string;\n text: string;\n status: string;\n priority: string;\n updatedAt?: number | null;\n score: number;\n justification?: string;\n};\n\nexport type PublicContextEvidence = {\n evidenceId: string;\n text: string;\n sourceUrl?: string | null;\n kind: string;\n createdAt?: number | null;\n score: number;\n justification?: string;\n};\n\nexport type PublicContextContradiction = {\n contradictionId: string;\n severity: string;\n status: string;\n description: string;\n score: number;\n justification?: string;\n};\n\nexport type PublicContextEntity = {\n entityId: string;\n entityType: string;\n title: string;\n text?: string;\n connectedBeliefCount: number;\n connectedEvidenceCount: number;\n score: number;\n metadata?: Record<string, unknown>;\n};\n\nexport type PublicContextInjectionPolicy = {\n tokenBudget: number;\n estimatedTokens: number;\n sectionBudgets: Record<string, number>;\n sectionUsage: Record<string, number>;\n selected: Record<string, string[]>;\n excludedItems?: Array<{\n id: string;\n section: string;\n reason: \"budget_exceeded\" | \"anti_repetition\" | \"below_threshold\";\n score: number;\n }>;\n};\n\nexport type PublicCompiledContext = {\n schemaVersion: string;\n topicId: string;\n topicName: string;\n scopedTopicIds: string[];\n generatedAt: number;\n ranking: ContextRankingProfile;\n summary: Record<string, unknown>;\n invariants: PublicContextBelief[];\n activeBeliefs: PublicContextBelief[];\n openQuestions: PublicContextQuestion[];\n recentEvidence: PublicContextEvidence[];\n contradictions: PublicContextContradiction[];\n relatedEntities?: PublicContextEntity[];\n contextNarrative: string[];\n injectionPolicy: PublicContextInjectionPolicy;\n diagnostics: Record<string, unknown>;\n compilationMode?: string;\n failureContext?: {\n failures: Array<{\n attemptId: string;\n approach: string;\n outcome: string;\n recordedAt: number;\n score: number;\n }>;\n suppressedIds: string[];\n };\n deltaReport?: {\n changedItems: Array<{\n id: string;\n section: string;\n changeType: string;\n summary: string;\n }>;\n verificationObligations: Array<{\n description: string;\n source: string;\n severity: \"critical\" | \"high\" | \"medium\" | \"low\";\n }>;\n referencePoint: string;\n };\n appliedWeightOverrides?: unknown[];\n};\n\n// =============================================================================\n// CONTEXT PACK V1 (TOP-LEVEL OUTPUT)\n// =============================================================================\n\n/**\n * The canonical output schema for context compilation responses.\n *\n * This is the contract that consumers depend on. All fields are required\n * in the output. Adding optional fields is non-breaking; removing or\n * changing types is breaking (requires version bump).\n */\nexport type ContextPackV1 = {\n /** Schema version for compatibility checking. */\n schemaVersion: typeof CONTEXT_PACK_SCHEMA_VERSION;\n /** Resolved topic ID after scope resolution. */\n topicId: string;\n /** Human-readable topic name. */\n topicName: string;\n /** All topic IDs included in the neighborhood expansion. */\n scopedTopicIds: string[];\n /** Deterministic freshness watermark for this pack (ms since epoch). */\n generatedAt: number;\n /** Which ranking profile was used. */\n rankingProfile: ContextRankingProfile;\n /** Aggregate counts and health signals. */\n summary: ContextPackSummary;\n /** High-confidence invariant beliefs (beliefType = \"invariant\"). */\n invariants: ContextPackBelief[];\n /** Active beliefs ranked by query relevance. */\n activeBeliefs: ContextPackBelief[];\n /** Open questions ranked by relevance and priority. */\n openQuestions: ContextPackQuestion[];\n /** Recent evidence ranked by relevance and recency. */\n recentEvidence: ContextPackEvidence[];\n /** Active contradictions ranked by severity. */\n contradictions: ContextPackContradiction[];\n /**\n * Ontological entities connected to beliefs in scope, ranked by connectivity.\n * Optional — present when entity graph substrate is active for this topic.\n * NON-BREAKING addition per contract rules.\n */\n relatedEntities?: ContextPackEntity[];\n /** Concise instructions for agent context injection. */\n contextNarrative: string[];\n /** Token-budgeted injection selections. */\n injectionPolicy: ContextPackInjectionPolicy;\n /** Assembly telemetry. */\n diagnostics: ContextPackDiagnostics;\n /** Compilation mode used to generate this pack (RS-2). Default: \"standard\". */\n compilationMode?: ContextCompilationMode;\n /** Failure context for anti-repetition (RS-2). Present when failures are relevant. */\n failureContext?: ContextPackFailureContext;\n /** Delta report (RS-2). Present only when compilationMode = \"delta\". */\n deltaReport?: ContextPackDeltaReport;\n /** Pack weight overrides applied during ranking (RS-2). */\n appliedWeightOverrides?: PackWeightOverride[];\n};\n\n// =============================================================================\n// CONTEXT PACK REQUEST V1 (INPUT)\n// =============================================================================\n\n/**\n * The canonical input schema for `compile_context`.\n * `topicId` is the only scope identifier.\n */\nexport type ContextPackRequestV1 = {\n /** Topic scope ID (required). */\n topicId: string;\n /** Focus query for relevance ranking. */\n query?: string;\n /** Max items per section. Default: DEFAULT_SECTION_LIMIT. */\n limit?: number;\n /** Ranking profile. Default: DEFAULT_RANKING_PROFILE. */\n rankingProfile?: ContextRankingProfile;\n /** Total token budget. Default: DEFAULT_TOKEN_BUDGET. */\n tokenBudget?: number;\n /** Descendant topic depth for neighborhood expansion. */\n maxDepth?: number;\n /** Include ontological entities connected to beliefs in scope. Default: true. */\n includeEntities?: boolean;\n /** Compilation mode (RS-2). Default: \"standard\". */\n mode?: ContextCompilationMode;\n /** Include failure log context for anti-repetition (RS-2). Default: false. */\n includeFailures?: boolean;\n /** Active worktree ID for delta mode reference point (RS-2). */\n worktreeId?: string;\n /** Session ID for anti-repetition dedup (RS-2). */\n sessionId?: string;\n /** Pack weight overrides from domain pack binding (RS-2). */\n packWeightOverrides?: PackWeightOverride[];\n};\n\n// =============================================================================\n// RESOLVED QUESTION STATUSES\n// =============================================================================\n\n/**\n * Question statuses that are considered \"resolved\" (not open).\n * Used to filter which questions appear in the openQuestions section.\n */\nexport const RESOLVED_QUESTION_STATUSES: readonly string[] = [\n \"answered\",\n \"archived\",\n \"closed\",\n \"resolved\",\n \"resolved_support\",\n \"resolved_contra\",\n \"belief_forked\",\n] as const;\n\n// =============================================================================\n// TOKEN ESTIMATION\n// =============================================================================\n\n/**\n * Tokens-per-word multiplier for rough token estimation.\n * Conservative estimate: ~1.35 tokens per whitespace-delimited word.\n */\nexport const TOKENS_PER_WORD = 1.35;\n\n/** Minimum token estimate for any non-empty string. */\nexport const MIN_TOKEN_ESTIMATE = 8;\n","import {\n BELIEF_TYPE_BONUS,\n DEFAULT_ENTITY_LIMIT,\n DEFAULT_BELIEF_TYPE_BONUS,\n DEFAULT_PRIORITY_SCORE,\n DEFAULT_SEVERITY_SCORE,\n DEFAULT_TOKEN_BUDGET,\n ENTITY_RANKING_WEIGHTS,\n MAX_TOKEN_BUDGET,\n MAX_ENTITY_LIMIT,\n MIN_CONTRADICTION_BUDGET,\n MIN_TOKEN_BUDGET,\n MIN_TOKEN_ESTIMATE,\n type PackWeightOverride,\n PRIORITY_SCORES,\n type RankingWeightVector,\n RANKING_WEIGHTS,\n RECENCY_HALF_LIFE_DAYS,\n SECTION_BUDGET_RATIOS,\n SEVERITY_SCORES,\n TOKENS_PER_WORD,\n type ContextPackSectionKey,\n type ContextRankingProfile,\n} from \"./contracts/context-pack.contract\";\n\nexport type SectionKey = ContextPackSectionKey;\n\nexport type RankCandidate = {\n id: string;\n text: string;\n updatedAt?: number | null;\n createdAt?: number | null;\n confidence?: number | null;\n beliefType?: string | null;\n priority?: string | null;\n severity?: string | null;\n};\n\nexport type RankedCandidate<T extends RankCandidate> = T & {\n score: number;\n justification?: string;\n};\n\ntype LexicalExclusion = {\n id: string;\n section: SectionKey;\n reason: \"budget_exceeded\" | \"anti_repetition\" | \"below_threshold\";\n score: number;\n};\n\nexport type InjectionPlan = {\n tokenBudget: number;\n estimatedTokens: number;\n sectionBudgets: Record<SectionKey, number>;\n sectionUsage: Record<SectionKey, number>;\n selected: Record<SectionKey, string[]>;\n excludedItems?: LexicalExclusion[];\n};\n\ntype RankContextOptions = {\n effectiveWeights?: Readonly<Record<ContextPackSectionKey, RankingWeightVector>>;\n includeJustifications?: boolean;\n referenceTimeMs?: number;\n};\n\nfunction nowMs(): number {\n return Date.now();\n}\n\nfunction normalizeText(text: string): string {\n return text.trim().toLowerCase();\n}\n\nfunction tokenHits(text: string, tokens: string[]): number {\n if (tokens.length === 0) {\n return 1;\n }\n const haystack = normalizeText(text);\n let hits = 0;\n for (const token of tokens) {\n if (haystack.includes(token)) {\n hits += 1;\n }\n }\n return hits;\n}\n\nfunction clamp01(value: number): number {\n if (!Number.isFinite(value)) {\n return 0;\n }\n return Math.max(0, Math.min(1, value));\n}\n\nfunction recencyScore(\n updatedAt: number | null | undefined,\n referenceTimeMs = nowMs()\n): number {\n if (!updatedAt || !Number.isFinite(updatedAt)) {\n return 0.25;\n }\n const ageMs = Math.max(0, referenceTimeMs - updatedAt);\n const ageDays = ageMs / (1000 * 60 * 60 * 24);\n const decay = 0.5 ** (ageDays / RECENCY_HALF_LIFE_DAYS);\n return clamp01(decay);\n}\n\nfunction confidenceScore(confidence: number | null | undefined): number {\n if (typeof confidence !== \"number\" || !Number.isFinite(confidence)) {\n return 0.5;\n }\n return clamp01(confidence);\n}\n\nfunction priorityScore(priority: string | null | undefined): number {\n const value = normalizeText(priority || \"\");\n return PRIORITY_SCORES[value] ?? DEFAULT_PRIORITY_SCORE;\n}\n\nfunction severityScore(severity: string | null | undefined): number {\n const value = normalizeText(severity || \"\");\n return SEVERITY_SCORES[value] ?? DEFAULT_SEVERITY_SCORE;\n}\n\nfunction beliefTypeBonus(beliefType: string | null | undefined): number {\n const value = normalizeText(beliefType || \"\");\n return BELIEF_TYPE_BONUS[value] ?? DEFAULT_BELIEF_TYPE_BONUS;\n}\n\nexport function resolveEffectiveWeights(\n overrides?: PackWeightOverride[]\n): Readonly<Record<ContextPackSectionKey, RankingWeightVector>> {\n if (!overrides || overrides.length === 0) {\n return RANKING_WEIGHTS;\n }\n const result = { ...RANKING_WEIGHTS } as Record<\n ContextPackSectionKey,\n RankingWeightVector\n >;\n for (const override of overrides) {\n const base = RANKING_WEIGHTS[override.section];\n if (base) {\n result[override.section] = { ...base, ...override.weights };\n }\n }\n return result;\n}\n\nfunction generateJustification(\n _section: SectionKey,\n candidate: RankCandidate,\n queryTokens: string[],\n weights: RankingWeightVector\n): string {\n const parts: string[] = [];\n\n const hits = tokenHits(candidate.text, queryTokens);\n if (queryTokens.length > 0 && hits > 0) {\n parts.push(`${hits}/${queryTokens.length} query terms matched`);\n } else if (queryTokens.length === 0) {\n parts.push(\"no query filter\");\n }\n\n const ts = candidate.updatedAt || candidate.createdAt || null;\n if (ts && Number.isFinite(ts)) {\n const ageDays = Math.max(0, nowMs() - ts) / (1000 * 60 * 60 * 24);\n if (ageDays < 1) {\n parts.push(\"updated today\");\n } else if (ageDays < 7) {\n parts.push(`updated ${Math.floor(ageDays)}d ago`);\n } else if (ageDays < 30) {\n parts.push(`updated ${Math.floor(ageDays / 7)}w ago`);\n } else {\n parts.push(`updated ${Math.floor(ageDays)}d ago (decayed)`);\n }\n }\n\n if (\n weights.confidence !== undefined &&\n candidate.confidence !== null &&\n candidate.confidence !== undefined\n ) {\n parts.push(`confidence=${candidate.confidence.toFixed(2)}`);\n }\n if (weights.beliefType !== undefined && candidate.beliefType) {\n parts.push(`type=${candidate.beliefType}`);\n }\n if (weights.priority !== undefined && candidate.priority) {\n parts.push(`priority=${candidate.priority}`);\n }\n if (weights.severity !== undefined && candidate.severity) {\n parts.push(`severity=${candidate.severity}`);\n }\n\n return parts.join(\", \");\n}\n\nfunction computeBaselineScore(\n candidate: RankCandidate,\n queryTokens: string[]\n): number {\n const hits = tokenHits(candidate.text, queryTokens);\n return queryTokens.length === 0 ? 1 : hits;\n}\n\nfunction computeWeightedScore(\n section: SectionKey,\n candidate: RankCandidate,\n queryTokens: string[],\n effectiveWeights?: Readonly<Record<ContextPackSectionKey, RankingWeightVector>>,\n referenceTimeMs?: number\n): number {\n const weights = (effectiveWeights ?? RANKING_WEIGHTS)[section];\n const queryComponent =\n queryTokens.length === 0\n ? 0.4\n : clamp01(tokenHits(candidate.text, queryTokens) / queryTokens.length);\n const recencyComponent = recencyScore(\n candidate.updatedAt || candidate.createdAt || null,\n referenceTimeMs\n );\n\n let score =\n queryComponent * weights.query + recencyComponent * weights.recency;\n\n if (weights.confidence !== undefined) {\n score += confidenceScore(candidate.confidence) * weights.confidence;\n }\n if (weights.beliefType !== undefined) {\n score += beliefTypeBonus(candidate.beliefType) * weights.beliefType;\n }\n if (weights.priority !== undefined) {\n score += priorityScore(candidate.priority) * weights.priority;\n }\n if (weights.severity !== undefined) {\n score += severityScore(candidate.severity) * weights.severity;\n }\n\n return score;\n}\n\nexport function rankContextSection<T extends RankCandidate>(\n section: SectionKey,\n rows: T[],\n queryTokens: string[],\n limit: number,\n profile: ContextRankingProfile,\n options?: RankContextOptions\n): RankedCandidate<T>[] {\n const effectiveWeights = options?.effectiveWeights;\n const includeJustifications = options?.includeJustifications ?? false;\n const referenceTimeMs = options?.referenceTimeMs;\n\n const scored = rows.map((row) => {\n const score =\n profile === \"weighted_v1\"\n ? computeWeightedScore(\n section,\n row,\n queryTokens,\n effectiveWeights,\n referenceTimeMs\n )\n : computeBaselineScore(row, queryTokens);\n\n const result: RankedCandidate<T> = { ...row, score };\n\n if (includeJustifications && profile === \"weighted_v1\") {\n const weights = (effectiveWeights ?? RANKING_WEIGHTS)[section];\n result.justification = generateJustification(section, row, queryTokens, weights);\n }\n\n return result;\n });\n\n const filtered =\n queryTokens.length === 0 ? scored : scored.filter((row) => row.score > 0);\n\n filtered.sort((left, right) => {\n if (right.score !== left.score) {\n return right.score - left.score;\n }\n const rightTs = right.updatedAt || right.createdAt || 0;\n const leftTs = left.updatedAt || left.createdAt || 0;\n return rightTs - leftTs;\n });\n\n return filtered.slice(0, limit);\n}\n\nexport function parseTokenBudget(\n value: unknown,\n fallback = DEFAULT_TOKEN_BUDGET\n): number {\n const parsed =\n typeof value === \"number\" && Number.isFinite(value)\n ? Math.floor(value)\n : fallback;\n return Math.max(MIN_TOKEN_BUDGET, Math.min(MAX_TOKEN_BUDGET, parsed));\n}\n\nfunction estimateTokens(text: string): number {\n const words = text.trim().split(/\\s+/).filter(Boolean).length;\n return Math.max(MIN_TOKEN_ESTIMATE, Math.ceil(words * TOKENS_PER_WORD));\n}\n\nexport function buildInjectionPlan(args: {\n tokenBudget: number;\n invariants: Array<{ nodeId: string; canonicalText: string; score?: number }>;\n activeBeliefs: Array<{ nodeId: string; canonicalText: string; score?: number }>;\n openQuestions: Array<{ questionId: string; text: string; score?: number }>;\n recentEvidence: Array<{ nodeId: string; canonicalText: string; score?: number }>;\n contradictions: Array<{ contradictionId: string; description: string; score?: number }>;\n trackExclusions?: boolean;\n}): InjectionPlan {\n const tokenBudget = parseTokenBudget(args.tokenBudget);\n const trackExclusions = args.trackExclusions ?? false;\n\n const sectionBudgets: Record<SectionKey, number> = {\n invariants: Math.floor(tokenBudget * SECTION_BUDGET_RATIOS.invariants),\n activeBeliefs: Math.floor(\n tokenBudget * SECTION_BUDGET_RATIOS.activeBeliefs\n ),\n openQuestions: Math.floor(\n tokenBudget * SECTION_BUDGET_RATIOS.openQuestions\n ),\n recentEvidence: Math.floor(\n tokenBudget * SECTION_BUDGET_RATIOS.recentEvidence\n ),\n contradictions: Math.max(\n MIN_CONTRADICTION_BUDGET,\n Math.floor(tokenBudget * SECTION_BUDGET_RATIOS.contradictions)\n ),\n };\n\n const selected: Record<SectionKey, string[]> = {\n invariants: [],\n activeBeliefs: [],\n openQuestions: [],\n recentEvidence: [],\n contradictions: [],\n };\n\n const sectionUsage: Record<SectionKey, number> = {\n invariants: 0,\n activeBeliefs: 0,\n openQuestions: 0,\n recentEvidence: 0,\n contradictions: 0,\n };\n\n const excludedItems: LexicalExclusion[] = [];\n\n const pushItem = (section: SectionKey, id: string, text: string, score?: number) => {\n const itemTokens = estimateTokens(text);\n const nextUsage = sectionUsage[section] + itemTokens;\n if (nextUsage > sectionBudgets[section]) {\n if (trackExclusions) {\n excludedItems.push({\n id,\n section,\n reason: \"budget_exceeded\",\n score: score ?? 0,\n });\n }\n return;\n }\n selected[section].push(id);\n sectionUsage[section] = nextUsage;\n };\n\n for (const row of args.invariants) {\n pushItem(\"invariants\", row.nodeId, row.canonicalText, row.score);\n }\n for (const row of args.activeBeliefs) {\n pushItem(\"activeBeliefs\", row.nodeId, row.canonicalText, row.score);\n }\n for (const row of args.openQuestions) {\n pushItem(\"openQuestions\", row.questionId, row.text, row.score);\n }\n for (const row of args.recentEvidence) {\n pushItem(\"recentEvidence\", row.nodeId, row.canonicalText, row.score);\n }\n for (const row of args.contradictions) {\n pushItem(\"contradictions\", row.contradictionId, row.description, row.score);\n }\n\n const estimatedTokens =\n sectionUsage.invariants +\n sectionUsage.activeBeliefs +\n sectionUsage.openQuestions +\n sectionUsage.recentEvidence +\n sectionUsage.contradictions;\n\n return {\n tokenBudget,\n estimatedTokens,\n sectionBudgets,\n sectionUsage,\n selected,\n ...(trackExclusions ? { excludedItems } : {}),\n };\n}\n\nexport type EntityCandidate = {\n nodeId: string;\n entityType: string;\n title: string;\n canonicalText: string;\n connectedBeliefCount: number;\n connectedEvidenceCount: number;\n metadata: Record<string, unknown>;\n updatedAt?: number | null;\n};\n\nexport type RankedEntity = EntityCandidate & {\n score: number;\n};\n\nexport function rankEntities(\n candidates: EntityCandidate[],\n queryTokens: string[],\n limit?: number\n): RankedEntity[] {\n if (candidates.length === 0) {\n return [];\n }\n\n const effectiveLimit = Math.max(\n 1,\n Math.min(limit ?? DEFAULT_ENTITY_LIMIT, MAX_ENTITY_LIMIT)\n );\n\n const maxConnections = Math.max(\n 1,\n ...candidates.map(\n (candidate) =>\n candidate.connectedBeliefCount + candidate.connectedEvidenceCount\n )\n );\n\n const scored = candidates.map((candidate) => {\n const searchText = `${candidate.title} ${candidate.entityType} ${candidate.canonicalText}`;\n const queryScore =\n queryTokens.length === 0\n ? 0.4\n : clamp01(tokenHits(searchText, queryTokens) / queryTokens.length);\n\n const totalConnections =\n candidate.connectedBeliefCount + candidate.connectedEvidenceCount;\n const connectivityScore = clamp01(totalConnections / maxConnections);\n\n const score =\n queryScore * ENTITY_RANKING_WEIGHTS.query +\n connectivityScore * ENTITY_RANKING_WEIGHTS.connectivity;\n\n return { ...candidate, score };\n });\n\n scored.sort((left, right) => {\n if (right.score !== left.score) {\n return right.score - left.score;\n }\n const rightConn = right.connectedBeliefCount + right.connectedEvidenceCount;\n const leftConn = left.connectedBeliefCount + left.connectedEvidenceCount;\n return rightConn - leftConn;\n });\n\n return scored.slice(0, effectiveLimit);\n}\n"]}
|
|
1
|
+
{"version":3,"sources":["../src/contracts/context-pack.contract.ts","../src/contextPackPolicy.ts"],"names":[],"mappings":";AAgGO,IAAM,qBAAA,GAET;AAAA,EACF,UAAA,EAAY,IAAA;AAAA,EACZ,aAAA,EAAe,GAAA;AAAA,EACf,aAAA,EAAe,IAAA;AAAA,EACf,cAAA,EAAgB,IAAA;AAAA,EAChB,cAAA,EAAgB;AAClB,CAAA;AAOO,IAAM,gBAAA,GAAmB,GAAA;AAGzB,IAAM,gBAAA,GAAmB,GAAA;AAGzB,IAAM,oBAAA,GAAuB,IAAA;AAS7B,IAAM,wBAAA,GAA2B,EAAA;AA0BjC,IAAM,eAAA,GAET;AAAA,EACF,UAAA,EAAY;AAAA,IACV,KAAA,EAAO,IAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,UAAA,EAAY,GAAA;AAAA,IACZ,UAAA,EAAY;AAAA,GACd;AAAA,EACA,aAAA,EAAe;AAAA,IACb,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,UAAA,EAAY,GAAA;AAAA,IACZ,UAAA,EAAY;AAAA,GACd;AAAA,EACA,aAAA,EAAe;AAAA,IACb,KAAA,EAAO,IAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,QAAA,EAAU;AAAA,GACZ;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS;AAAA,GACX;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,QAAA,EAAU;AAAA;AAEd,CAAA;AAGO,IAAM,sBAAA,GAAyB,EAAA;AAQ/B,IAAM,sBAAA,GAAyB;AAAA,EACpC,KAAA,EAAO,GAAA;AAAA,EACP,YAAA,EAAc;AAChB,CAAA;AAGO,IAAM,oBAAA,GAAuB,EAAA;AAG7B,IAAM,gBAAA,GAAmB,EAAA;AAUzB,IAAM,iBAAA,GAAsD;AAAA,EACjE,SAAA,EAAW,CAAA;AAAA,EACX,KAAA,EAAO,GAAA;AAAA,EACP,SAAA,EAAW;AACb,CAAA;AAEO,IAAM,yBAAA,GAA4B,GAAA;AAMlC,IAAM,eAAA,GAAoD;AAAA,EAC/D,QAAA,EAAU,CAAA;AAAA,EACV,IAAA,EAAM,IAAA;AAAA,EACN,MAAA,EAAQ,IAAA;AAAA,EACR,GAAA,EAAK;AACP,CAAA;AAEO,IAAM,sBAAA,GAAyB,GAAA;AAE/B,IAAM,eAAA,GAAoD;AAAA,EAC/D,QAAA,EAAU,CAAA;AAAA,EACV,IAAA,EAAM,IAAA;AAAA,EACN,MAAA,EAAQ,GAAA;AAAA,EACR,GAAA,EAAK;AACP,CAAA;AAEO,IAAM,sBAAA,GAAyB,GAAA;AAyc/B,IAAM,eAAA,GAAkB,IAAA;AAGxB,IAAM,kBAAA,GAAqB,CAAA;;;AC1nBlC,SAAS,SAAA,CAAU,MAAc,MAAA,EAA0B;AACzD,EAAA,IAAI,MAAA,CAAO,WAAW,CAAA,EAAG;AACvB,IAAA,OAAO,CAAA;AAAA,EACT;AACA,EAAA,MAAM,QAAA,GAAW,IAAA,CAAK,IAAA,EAAK,CAAE,WAAA,EAAY;AACzC,EAAA,IAAI,IAAA,GAAO,CAAA;AACX,EAAA,KAAA,MAAW,SAAS,MAAA,EAAQ;AAC1B,IAAA,IAAI,QAAA,CAAS,QAAA,CAAS,KAAK,CAAA,EAAG;AAC5B,MAAA,IAAA,IAAQ,CAAA;AAAA,IACV;AAAA,EACF;AACA,EAAA,OAAO,IAAA;AACT;AAEA,SAAS,QAAQ,KAAA,EAAuB;AACtC,EAAA,IAAI,CAAC,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,EAAG;AAC3B,IAAA,OAAO,CAAA;AAAA,EACT;AACA,EAAA,OAAO,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,CAAC,CAAA;AACvC;AAEA,SAAS,YAAA,CACP,SAAA,EACA,eAAA,GAAkB,IAAA,CAAK,KAAI,EACnB;AACR,EAAA,IAAI,CAAC,SAAA,IAAa,CAAC,MAAA,CAAO,QAAA,CAAS,SAAS,CAAA,EAAG;AAC7C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,KAAA,GAAQ,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,kBAAkB,SAAS,CAAA;AACrD,EAAA,MAAM,OAAA,GAAU,KAAA,IAAS,GAAA,GAAO,EAAA,GAAK,EAAA,GAAK,EAAA,CAAA;AAC1C,EAAA,MAAM,KAAA,GAAQ,QAAQ,OAAA,GAAU,sBAAA,CAAA;AAChC,EAAA,OAAO,QAAQ,KAAK,CAAA;AACtB;AAEA,SAAS,gBAAgB,UAAA,EAA+C;AACtE,EAAA,IAAI,OAAO,UAAA,KAAe,QAAA,IAAY,CAAC,MAAA,CAAO,QAAA,CAAS,UAAU,CAAA,EAAG;AAClE,IAAA,OAAO,GAAA;AAAA,EACT;AACA,EAAA,OAAO,QAAQ,UAAU,CAAA;AAC3B;AAEA,SAAS,cAAc,QAAA,EAA6C;AAClE,EAAA,MAAM,KAAA,GAAA,CAAS,QAAA,IAAY,EAAA,EAAI,IAAA,GAAO,WAAA,EAAY;AAClD,EAAA,OAAO,eAAA,CAAgB,KAAK,CAAA,IAAK,sBAAA;AACnC;AAEA,SAAS,cAAc,QAAA,EAA6C;AAClE,EAAA,MAAM,KAAA,GAAA,CAAS,QAAA,IAAY,EAAA,EAAI,IAAA,GAAO,WAAA,EAAY;AAClD,EAAA,OAAO,eAAA,CAAgB,KAAK,CAAA,IAAK,sBAAA;AACnC;AAEA,SAAS,gBAAgB,UAAA,EAA+C;AACtE,EAAA,MAAM,KAAA,GAAA,CAAS,UAAA,IAAc,EAAA,EAAI,IAAA,GAAO,WAAA,EAAY;AACpD,EAAA,OAAO,iBAAA,CAAkB,KAAK,CAAA,IAAK,yBAAA;AACrC;AAEO,SAAS,wBACd,SAAA,EAC8D;AAC9D,EAAA,IAAI,CAAC,SAAA,IAAa,SAAA,CAAU,MAAA,KAAW,CAAA,EAAG;AACxC,IAAA,OAAO,eAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,EAAE,GAAG,eAAA,EAAgB;AAIpC,EAAA,KAAA,MAAW,YAAY,SAAA,EAAW;AAChC,IAAA,MAAM,IAAA,GAAO,eAAA,CAAgB,QAAA,CAAS,OAAO,CAAA;AAC7C,IAAA,IAAI,IAAA,EAAM;AACR,MAAA,MAAA,CAAO,QAAA,CAAS,OAAO,CAAA,GAAI,EAAE,GAAG,IAAA,EAAM,GAAG,SAAS,OAAA,EAAQ;AAAA,IAC5D;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,qBAAA,CACP,QAAA,EACA,SAAA,EACA,WAAA,EACA,OAAA,EACQ;AACR,EAAA,MAAM,QAAkB,EAAC;AAEzB,EAAA,MAAM,IAAA,GAAO,SAAA,CAAU,SAAA,CAAU,IAAA,EAAM,WAAW,CAAA;AAClD,EAAA,IAAI,WAAA,CAAY,MAAA,GAAS,CAAA,IAAK,IAAA,GAAO,CAAA,EAAG;AACtC,IAAA,KAAA,CAAM,KAAK,CAAA,EAAG,IAAI,CAAA,CAAA,EAAI,WAAA,CAAY,MAAM,CAAA,oBAAA,CAAsB,CAAA;AAAA,EAChE,CAAA,MAAA,IAAW,WAAA,CAAY,MAAA,KAAW,CAAA,EAAG;AACnC,IAAA,KAAA,CAAM,KAAK,iBAAiB,CAAA;AAAA,EAC9B;AAEA,EAAA,MAAM,EAAA,GAAK,SAAA,CAAU,SAAA,IAAa,SAAA,CAAU,SAAA,IAAa,IAAA;AACzD,EAAA,IAAI,EAAA,IAAM,MAAA,CAAO,QAAA,CAAS,EAAE,CAAA,EAAG;AAC7B,IAAA,MAAM,OAAA,GAAU,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,GAAA,EAAI,GAAI,EAAE,CAAA,IAAK,GAAA,GAAO,EAAA,GAAK,EAAA,GAAK,EAAA,CAAA;AACjE,IAAA,IAAI,UAAU,CAAA,EAAG;AACf,MAAA,KAAA,CAAM,KAAK,eAAe,CAAA;AAAA,IAC5B,CAAA,MAAA,IAAW,UAAU,CAAA,EAAG;AACtB,MAAA,KAAA,CAAM,KAAK,CAAA,QAAA,EAAW,IAAA,CAAK,KAAA,CAAM,OAAO,CAAC,CAAA,KAAA,CAAO,CAAA;AAAA,IAClD,CAAA,MAAA,IAAW,UAAU,EAAA,EAAI;AACvB,MAAA,KAAA,CAAM,KAAK,CAAA,QAAA,EAAW,IAAA,CAAK,MAAM,OAAA,GAAU,CAAC,CAAC,CAAA,KAAA,CAAO,CAAA;AAAA,IACtD,CAAA,MAAO;AACL,MAAA,KAAA,CAAM,KAAK,CAAA,QAAA,EAAW,IAAA,CAAK,KAAA,CAAM,OAAO,CAAC,CAAA,eAAA,CAAiB,CAAA;AAAA,IAC5D;AAAA,EACF;AAEA,EAAA,IACE,OAAA,CAAQ,eAAe,MAAA,IACvB,SAAA,CAAU,eAAe,IAAA,IACzB,SAAA,CAAU,eAAe,MAAA,EACzB;AACA,IAAA,KAAA,CAAM,KAAK,CAAA,WAAA,EAAc,SAAA,CAAU,WAAW,OAAA,CAAQ,CAAC,CAAC,CAAA,CAAE,CAAA;AAAA,EAC5D;AACA,EAAA,IAAI,OAAA,CAAQ,UAAA,KAAe,MAAA,IAAa,SAAA,CAAU,UAAA,EAAY;AAC5D,IAAA,KAAA,CAAM,IAAA,CAAK,CAAA,KAAA,EAAQ,SAAA,CAAU,UAAU,CAAA,CAAE,CAAA;AAAA,EAC3C;AACA,EAAA,IAAI,OAAA,CAAQ,QAAA,KAAa,MAAA,IAAa,SAAA,CAAU,QAAA,EAAU;AACxD,IAAA,KAAA,CAAM,IAAA,CAAK,CAAA,SAAA,EAAY,SAAA,CAAU,QAAQ,CAAA,CAAE,CAAA;AAAA,EAC7C;AACA,EAAA,IAAI,OAAA,CAAQ,QAAA,KAAa,MAAA,IAAa,SAAA,CAAU,QAAA,EAAU;AACxD,IAAA,KAAA,CAAM,IAAA,CAAK,CAAA,SAAA,EAAY,SAAA,CAAU,QAAQ,CAAA,CAAE,CAAA;AAAA,EAC7C;AAEA,EAAA,OAAO,KAAA,CAAM,KAAK,IAAI,CAAA;AACxB;AAEA,SAAS,oBAAA,CACP,OAAA,EACA,SAAA,EACA,WAAA,EACA,kBACA,eAAA,EACQ;AACR,EAAA,MAAM,OAAA,GAAA,CAAW,gBAAA,IAAoB,eAAA,EAAiB,OAAO,CAAA;AAC7D,EAAA,MAAM,cAAA,GACJ,WAAA,CAAY,MAAA,KAAW,CAAA,GACnB,GAAA,GACA,OAAA,CAAQ,SAAA,CAAU,SAAA,CAAU,IAAA,EAAM,WAAW,CAAA,GAAI,WAAA,CAAY,MAAM,CAAA;AACzE,EAAA,MAAM,gBAAA,GAAmB,YAAA;AAAA,IACvB,SAAA,CAAU,SAAA,IAAa,SAAA,CAAU,SAAA,IAAa,IAAA;AAAA,IAC9C;AAAA,GACF;AAEA,EAAA,IAAI,KAAA,GACF,cAAA,GAAiB,OAAA,CAAQ,KAAA,GAAQ,mBAAmB,OAAA,CAAQ,OAAA;AAE9D,EAAA,IAAI,OAAA,CAAQ,eAAe,MAAA,EAAW;AACpC,IAAA,KAAA,IAAS,eAAA,CAAgB,SAAA,CAAU,UAAU,CAAA,GAAI,OAAA,CAAQ,UAAA;AAAA,EAC3D;AACA,EAAA,IAAI,OAAA,CAAQ,eAAe,MAAA,EAAW;AACpC,IAAA,KAAA,IAAS,eAAA,CAAgB,SAAA,CAAU,UAAU,CAAA,GAAI,OAAA,CAAQ,UAAA;AAAA,EAC3D;AACA,EAAA,IAAI,OAAA,CAAQ,aAAa,MAAA,EAAW;AAClC,IAAA,KAAA,IAAS,aAAA,CAAc,SAAA,CAAU,QAAQ,CAAA,GAAI,OAAA,CAAQ,QAAA;AAAA,EACvD;AACA,EAAA,IAAI,OAAA,CAAQ,aAAa,MAAA,EAAW;AAClC,IAAA,KAAA,IAAS,aAAA,CAAc,SAAA,CAAU,QAAQ,CAAA,GAAI,OAAA,CAAQ,QAAA;AAAA,EACvD;AAEA,EAAA,OAAO,KAAA;AACT;AAEO,SAAS,mBACd,OAAA,EACA,IAAA,EACA,WAAA,EACA,KAAA,EACA,SACA,OAAA,EACsB;AACtB,EAAA,MAAM,mBAAmB,OAAA,EAAS,gBAAA;AAClC,EAAA,MAAM,qBAAA,GAAwB,SAAS,qBAAA,IAAyB,KAAA;AAChE,EAAA,MAAM,kBAAkB,OAAA,EAAS,eAAA;AAEjC,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,GAAA,CAAI,CAAC,GAAA,KAAQ;AAC/B,IAAA,MAAM,KAAA,GACJ,YAAY,aAAA,GACR,oBAAA;AAAA,MACE,OAAA;AAAA,MACA,GAAA;AAAA,MACA,WAAA;AAAA,MACA,gBAAA;AAAA,MACA;AAAA,KACF,GACA,YAAY,MAAA,KAAW,CAAA,GACrB,IACA,SAAA,CAAU,GAAA,CAAI,MAAM,WAAW,CAAA;AAEvC,IAAA,MAAM,MAAA,GAA6B,EAAE,GAAG,GAAA,EAAK,KAAA,EAAM;AAEnD,IAAA,IAAI,qBAAA,IAAyB,YAAY,aAAA,EAAe;AACtD,MAAA,MAAM,OAAA,GAAA,CAAW,gBAAA,IAAoB,eAAA,EAAiB,OAAO,CAAA;AAC7D,MAAA,MAAA,CAAO,aAAA,GAAgB,qBAAA,CAAsB,OAAA,EAAS,GAAA,EAAK,aAAa,OAAO,CAAA;AAAA,IACjF;AAEA,IAAA,OAAO,MAAA;AAAA,EACT,CAAC,CAAA;AAED,EAAA,MAAM,QAAA,GACJ,WAAA,CAAY,MAAA,KAAW,CAAA,GAAI,MAAA,GAAS,MAAA,CAAO,MAAA,CAAO,CAAC,GAAA,KAAQ,GAAA,CAAI,KAAA,GAAQ,CAAC,CAAA;AAE1E,EAAA,QAAA,CAAS,IAAA,CAAK,CAAC,IAAA,EAAM,KAAA,KAAU;AAC7B,IAAA,IAAI,KAAA,CAAM,KAAA,KAAU,IAAA,CAAK,KAAA,EAAO;AAC9B,MAAA,OAAO,KAAA,CAAM,QAAQ,IAAA,CAAK,KAAA;AAAA,IAC5B;AACA,IAAA,MAAM,OAAA,GAAU,KAAA,CAAM,SAAA,IAAa,KAAA,CAAM,SAAA,IAAa,CAAA;AACtD,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,SAAA,IAAa,IAAA,CAAK,SAAA,IAAa,CAAA;AACnD,IAAA,OAAO,OAAA,GAAU,MAAA;AAAA,EACnB,CAAC,CAAA;AAED,EAAA,OAAO,QAAA,CAAS,KAAA,CAAM,CAAA,EAAG,KAAK,CAAA;AAChC;AAEO,SAAS,gBAAA,CACd,KAAA,EACA,QAAA,GAAW,oBAAA,EACH;AACR,EAAA,MAAM,MAAA,GACJ,OAAO,KAAA,KAAU,QAAA,IAAY,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,GAC9C,IAAA,CAAK,KAAA,CAAM,KAAK,CAAA,GAChB,QAAA;AACN,EAAA,OAAO,KAAK,GAAA,CAAI,gBAAA,EAAkB,KAAK,GAAA,CAAI,gBAAA,EAAkB,MAAM,CAAC,CAAA;AACtE;AAEA,SAAS,eAAe,IAAA,EAAsB;AAC5C,EAAA,MAAM,KAAA,GAAQ,KAAK,IAAA,EAAK,CAAE,MAAM,KAAK,CAAA,CAAE,MAAA,CAAO,OAAO,CAAA,CAAE,MAAA;AACvD,EAAA,OAAO,KAAK,GAAA,CAAI,kBAAA,EAAoB,KAAK,IAAA,CAAK,KAAA,GAAQ,eAAe,CAAC,CAAA;AACxE;AAEO,SAAS,mBAAmB,IAAA,EAQjB;AAChB,EAAA,MAAM,WAAA,GAAc,gBAAA,CAAiB,IAAA,CAAK,WAAW,CAAA;AACrD,EAAA,MAAM,eAAA,GAAkB,KAAK,eAAA,IAAmB,KAAA;AAEhD,EAAA,MAAM,cAAA,GAA6C;AAAA,IACjD,UAAA,EAAY,IAAA,CAAK,KAAA,CAAM,WAAA,GAAc,sBAAsB,UAAU,CAAA;AAAA,IACrE,eAAe,IAAA,CAAK,KAAA;AAAA,MAClB,cAAc,qBAAA,CAAsB;AAAA,KACtC;AAAA,IACA,eAAe,IAAA,CAAK,KAAA;AAAA,MAClB,cAAc,qBAAA,CAAsB;AAAA,KACtC;AAAA,IACA,gBAAgB,IAAA,CAAK,KAAA;AAAA,MACnB,cAAc,qBAAA,CAAsB;AAAA,KACtC;AAAA,IACA,gBAAgB,IAAA,CAAK,GAAA;AAAA,MACnB,wBAAA;AAAA,MACA,IAAA,CAAK,KAAA,CAAM,WAAA,GAAc,qBAAA,CAAsB,cAAc;AAAA;AAC/D,GACF;AAEA,EAAA,MAAM,QAAA,GAAyC;AAAA,IAC7C,YAAY,EAAC;AAAA,IACb,eAAe,EAAC;AAAA,IAChB,eAAe,EAAC;AAAA,IAChB,gBAAgB,EAAC;AAAA,IACjB,gBAAgB;AAAC,GACnB;AAEA,EAAA,MAAM,YAAA,GAA2C;AAAA,IAC/C,UAAA,EAAY,CAAA;AAAA,IACZ,aAAA,EAAe,CAAA;AAAA,IACf,aAAA,EAAe,CAAA;AAAA,IACf,cAAA,EAAgB,CAAA;AAAA,IAChB,cAAA,EAAgB;AAAA,GAClB;AAEA,EAAA,MAAM,gBAAoC,EAAC;AAE3C,EAAA,MAAM,QAAA,GAAW,CAAC,OAAA,EAAqB,EAAA,EAAY,MAAc,KAAA,KAAmB;AAClF,IAAA,MAAM,UAAA,GAAa,eAAe,IAAI,CAAA;AACtC,IAAA,MAAM,SAAA,GAAY,YAAA,CAAa,OAAO,CAAA,GAAI,UAAA;AAC1C,IAAA,IAAI,SAAA,GAAY,cAAA,CAAe,OAAO,CAAA,EAAG;AACvC,MAAA,IAAI,eAAA,EAAiB;AACnB,QAAA,aAAA,CAAc,IAAA,CAAK;AAAA,UACjB,EAAA;AAAA,UACA,OAAA;AAAA,UACA,MAAA,EAAQ,iBAAA;AAAA,UACR,OAAO,KAAA,IAAS;AAAA,SACjB,CAAA;AAAA,MACH;AACA,MAAA;AAAA,IACF;AACA,IAAA,QAAA,CAAS,OAAO,CAAA,CAAE,IAAA,CAAK,EAAE,CAAA;AACzB,IAAA,YAAA,CAAa,OAAO,CAAA,GAAI,SAAA;AAAA,EAC1B,CAAA;AAEA,EAAA,KAAA,MAAW,GAAA,IAAO,KAAK,UAAA,EAAY;AACjC,IAAA,QAAA,CAAS,cAAc,GAAA,CAAI,MAAA,EAAQ,GAAA,CAAI,aAAA,EAAe,IAAI,KAAK,CAAA;AAAA,EACjE;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,KAAK,aAAA,EAAe;AACpC,IAAA,QAAA,CAAS,iBAAiB,GAAA,CAAI,MAAA,EAAQ,GAAA,CAAI,aAAA,EAAe,IAAI,KAAK,CAAA;AAAA,EACpE;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,KAAK,aAAA,EAAe;AACpC,IAAA,QAAA,CAAS,iBAAiB,GAAA,CAAI,UAAA,EAAY,GAAA,CAAI,IAAA,EAAM,IAAI,KAAK,CAAA;AAAA,EAC/D;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,KAAK,cAAA,EAAgB;AACrC,IAAA,QAAA,CAAS,kBAAkB,GAAA,CAAI,MAAA,EAAQ,GAAA,CAAI,aAAA,EAAe,IAAI,KAAK,CAAA;AAAA,EACrE;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,KAAK,cAAA,EAAgB;AACrC,IAAA,QAAA,CAAS,kBAAkB,GAAA,CAAI,eAAA,EAAiB,GAAA,CAAI,WAAA,EAAa,IAAI,KAAK,CAAA;AAAA,EAC5E;AAEA,EAAA,MAAM,eAAA,GACJ,aAAa,UAAA,GACb,YAAA,CAAa,gBACb,YAAA,CAAa,aAAA,GACb,YAAA,CAAa,cAAA,GACb,YAAA,CAAa,cAAA;AAEf,EAAA,OAAO;AAAA,IACL,WAAA;AAAA,IACA,eAAA;AAAA,IACA,cAAA;AAAA,IACA,YAAA;AAAA,IACA,QAAA;AAAA,IACA,GAAI,eAAA,GAAkB,EAAE,aAAA,KAAkB;AAAC,GAC7C;AACF;AAiBO,SAAS,YAAA,CACd,UAAA,EACA,WAAA,EACA,KAAA,EACgB;AAChB,EAAA,IAAI,UAAA,CAAW,WAAW,CAAA,EAAG;AAC3B,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,iBAAiB,IAAA,CAAK,GAAA;AAAA,IAC1B,CAAA;AAAA,IACA,IAAA,CAAK,GAAA,CAAI,KAAA,IAAS,oBAAA,EAAsB,gBAAgB;AAAA,GAC1D;AAEA,EAAA,MAAM,iBAAiB,IAAA,CAAK,GAAA;AAAA,IAC1B,CAAA;AAAA,IACA,GAAG,UAAA,CAAW,GAAA;AAAA,MACZ,CAAC,SAAA,KACC,SAAA,CAAU,oBAAA,GAAuB,SAAA,CAAU;AAAA;AAC/C,GACF;AAEA,EAAA,MAAM,MAAA,GAAS,UAAA,CAAW,GAAA,CAAI,CAAC,SAAA,KAAc;AAC3C,IAAA,MAAM,UAAA,GAAa,GAAG,SAAA,CAAU,KAAK,IAAI,SAAA,CAAU,UAAU,CAAA,CAAA,EAAI,SAAA,CAAU,aAAa,CAAA,CAAA;AACxF,IAAA,MAAM,UAAA,GACJ,WAAA,CAAY,MAAA,KAAW,CAAA,GACnB,GAAA,GACA,OAAA,CAAQ,SAAA,CAAU,UAAA,EAAY,WAAW,CAAA,GAAI,WAAA,CAAY,MAAM,CAAA;AAErE,IAAA,MAAM,gBAAA,GACJ,SAAA,CAAU,oBAAA,GAAuB,SAAA,CAAU,sBAAA;AAC7C,IAAA,MAAM,iBAAA,GAAoB,OAAA,CAAQ,gBAAA,GAAmB,cAAc,CAAA;AAEnE,IAAA,MAAM,KAAA,GACJ,UAAA,GAAa,sBAAA,CAAuB,KAAA,GACpC,oBAAoB,sBAAA,CAAuB,YAAA;AAE7C,IAAA,OAAO,EAAE,GAAG,SAAA,EAAW,KAAA,EAAM;AAAA,EAC/B,CAAC,CAAA;AAED,EAAA,MAAA,CAAO,IAAA,CAAK,CAAC,IAAA,EAAM,KAAA,KAAU;AAC3B,IAAA,IAAI,KAAA,CAAM,KAAA,KAAU,IAAA,CAAK,KAAA,EAAO;AAC9B,MAAA,OAAO,KAAA,CAAM,QAAQ,IAAA,CAAK,KAAA;AAAA,IAC5B;AACA,IAAA,MAAM,SAAA,GAAY,KAAA,CAAM,oBAAA,GAAuB,KAAA,CAAM,sBAAA;AACrD,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,oBAAA,GAAuB,IAAA,CAAK,sBAAA;AAClD,IAAA,OAAO,SAAA,GAAY,QAAA;AAAA,EACrB,CAAC,CAAA;AAED,EAAA,OAAO,MAAA,CAAO,KAAA,CAAM,CAAA,EAAG,cAAc,CAAA;AACvC","file":"contextPackPolicy.js","sourcesContent":["/**\n * Context-Pack Contract v1\n *\n * Canonical TypeScript types and constants for the context-pack output schema.\n * This is the external contract consumed by:\n * - MCP tool `compile_context` (canonical compiler read)\n * - SDK/HTTP consumers that read compiled context packs programmatically\n * - Benchmark harnesses (context-pack-ab)\n *\n * BREAKING CHANGE RULES:\n * - Adding optional fields to ContextPackV1 is NON-breaking\n * - Removing fields or changing types is BREAKING (bump CONTEXT_PACK_SCHEMA_VERSION)\n * - Changing section budget ratios or ranking weights is NON-breaking (tuning)\n * - Changing the version string is BREAKING (consumers check it)\n */\n\n// =============================================================================\n// SCHEMA VERSION\n// =============================================================================\n\n/** Canonical version string. Consumers MUST check this field for compatibility. */\nexport const CONTEXT_PACK_SCHEMA_VERSION = \"1.0.0\" as const;\n\n// =============================================================================\n// RANKING PROFILES\n// =============================================================================\n\n/**\n * Available ranking profiles for context-pack assembly.\n *\n * - `baseline_v1`: Simple token-hit counting. Items with zero query hits are excluded.\n * - `weighted_v1`: Multi-signal scoring combining query relevance, recency, confidence,\n * belief type, priority, and severity with section-specific weight vectors.\n */\nexport type ContextRankingProfile = \"baseline_v1\" | \"weighted_v1\";\n\nexport const CONTEXT_RANKING_PROFILES: readonly ContextRankingProfile[] = [\n \"baseline_v1\",\n \"weighted_v1\",\n] as const;\n\nexport const DEFAULT_RANKING_PROFILE: ContextRankingProfile = \"weighted_v1\";\n\n// =============================================================================\n// COMPILATION MODE (RS-2)\n// =============================================================================\n\n/**\n * Context compilation mode.\n *\n * - `standard`: Default — ranked beliefs, questions, evidence, contradictions.\n * - `delta`: Diff-aware — adds failure context, verification obligations,\n * and worktree ledger analysis to the standard context pack.\n */\nexport type ContextCompilationMode = \"standard\" | \"delta\";\n\nexport const DEFAULT_COMPILATION_MODE: ContextCompilationMode = \"standard\";\n\n// =============================================================================\n// SECTION KEYS\n// =============================================================================\n\n/**\n * The five canonical sections of a context pack.\n * Order matters: invariants are injected first, contradictions last.\n */\nexport type ContextPackSectionKey =\n | \"invariants\"\n | \"activeBeliefs\"\n | \"openQuestions\"\n | \"recentEvidence\"\n | \"contradictions\";\n\nexport const CONTEXT_PACK_SECTION_KEYS: readonly ContextPackSectionKey[] = [\n \"invariants\",\n \"activeBeliefs\",\n \"openQuestions\",\n \"recentEvidence\",\n \"contradictions\",\n] as const;\n\n// =============================================================================\n// SECTION BUDGET RATIOS\n// =============================================================================\n\n/**\n * Token budget allocation ratios per section.\n * These sum to 1.0 and determine how the total tokenBudget is divided.\n *\n * Rationale:\n * - invariants (0.28): Highest-priority constraints, injected first\n * - activeBeliefs (0.30): Largest section, carries domain knowledge\n * - openQuestions (0.17): Unresolved work items guide agent behavior\n * - recentEvidence (0.17): Implementation context for grounding\n * - contradictions (0.08): Tension signals, smallest section\n */\nexport const SECTION_BUDGET_RATIOS: Readonly<\n Record<ContextPackSectionKey, number>\n> = {\n invariants: 0.28,\n activeBeliefs: 0.3,\n openQuestions: 0.17,\n recentEvidence: 0.17,\n contradictions: 0.08,\n} as const;\n\n// =============================================================================\n// TOKEN BUDGET CONSTRAINTS\n// =============================================================================\n\n/** Minimum allowed token budget. Below this, context packs lose utility. */\nexport const MIN_TOKEN_BUDGET = 400;\n\n/** Maximum allowed token budget. Above this, context packs bloat prompts. */\nexport const MAX_TOKEN_BUDGET = 8000;\n\n/** Default token budget when caller does not specify. */\nexport const DEFAULT_TOKEN_BUDGET = 1800;\n\n/** Default max items per section. */\nexport const DEFAULT_SECTION_LIMIT = 8;\n\n/** Hard ceiling on items per section. */\nexport const MAX_SECTION_LIMIT = 25;\n\n/** Minimum contradiction section budget floor (tokens). */\nexport const MIN_CONTRADICTION_BUDGET = 40;\n\n// =============================================================================\n// RANKING WEIGHT VECTORS\n// =============================================================================\n\n/**\n * Weight vectors for the weighted_v1 ranking profile.\n * Each section has a different signal mix:\n *\n * - query: How many query tokens appear in the candidate text\n * - recency: Exponential decay from updatedAt (half-life = 30 days)\n * - confidence: Belief confidence score [0,1]\n * - beliefType: Bonus for invariant > tenet > principle > other\n * - priority: Question priority (critical > high > medium > low)\n * - severity: Contradiction severity (critical > high > medium > low)\n */\nexport type RankingWeightVector = {\n query: number;\n recency: number;\n confidence?: number;\n beliefType?: number;\n priority?: number;\n severity?: number;\n};\n\nexport const RANKING_WEIGHTS: Readonly<\n Record<ContextPackSectionKey, RankingWeightVector>\n> = {\n invariants: {\n query: 0.35,\n recency: 0.1,\n confidence: 0.4,\n beliefType: 0.15,\n },\n activeBeliefs: {\n query: 0.5,\n recency: 0.2,\n confidence: 0.2,\n beliefType: 0.1,\n },\n openQuestions: {\n query: 0.55,\n recency: 0.2,\n priority: 0.25,\n },\n recentEvidence: {\n query: 0.6,\n recency: 0.4,\n },\n contradictions: {\n query: 0.4,\n recency: 0.2,\n severity: 0.4,\n },\n} as const;\n\n/** Recency decay half-life in days. After 30 days, recency score = 0.5. */\nexport const RECENCY_HALF_LIFE_DAYS = 30;\n\n/**\n * Ranking weight vector for the relatedEntities section.\n * Entities are ranked by query relevance and connectivity (bridge edge count).\n * Separate from RANKING_WEIGHTS because entities are not part of the\n * token-budgeted injection plan.\n */\nexport const ENTITY_RANKING_WEIGHTS = {\n query: 0.4,\n connectivity: 0.6,\n} as const;\n\n/** Default max entities to include in the context pack. */\nexport const DEFAULT_ENTITY_LIMIT = 10;\n\n/** Hard ceiling on entities per context pack. */\nexport const MAX_ENTITY_LIMIT = 50;\n\n// =============================================================================\n// BELIEF TYPE BONUS MAP\n// =============================================================================\n\n/**\n * Bonus multiplier for belief types in ranking.\n * Invariants get 1.0, unknown types get 0.4.\n */\nexport const BELIEF_TYPE_BONUS: Readonly<Record<string, number>> = {\n invariant: 1.0,\n tenet: 0.8,\n principle: 0.6,\n} as const;\n\nexport const DEFAULT_BELIEF_TYPE_BONUS = 0.4;\n\n// =============================================================================\n// PRIORITY / SEVERITY SCORE MAPS\n// =============================================================================\n\nexport const PRIORITY_SCORES: Readonly<Record<string, number>> = {\n critical: 1.0,\n high: 0.85,\n medium: 0.55,\n low: 0.35,\n} as const;\n\nexport const DEFAULT_PRIORITY_SCORE = 0.5;\n\nexport const SEVERITY_SCORES: Readonly<Record<string, number>> = {\n critical: 1.0,\n high: 0.85,\n medium: 0.6,\n low: 0.35,\n} as const;\n\nexport const DEFAULT_SEVERITY_SCORE = 0.5;\n\n// =============================================================================\n// SECTION ITEM TYPES\n// =============================================================================\n\n/** A ranked belief in the invariants or activeBeliefs section. */\nexport type ContextPackBelief = {\n nodeId: string;\n canonicalText: string;\n confidence: number | null;\n beliefType: string | null;\n score: number;\n /** Present in activeBeliefs, absent in invariants */\n status?: string;\n updatedAt?: number | null;\n /** Human-readable explanation of why this item was ranked here (RS-2). */\n justification?: string;\n};\n\n/** A ranked question in the openQuestions section. */\nexport type ContextPackQuestion = {\n questionId: string;\n text: string;\n status: string;\n priority: string;\n updatedAt?: number | null;\n score: number;\n /** Human-readable explanation of why this item was ranked here (RS-2). */\n justification?: string;\n};\n\n/** A ranked evidence item in the recentEvidence section. */\nexport type ContextPackEvidence = {\n nodeId: string;\n canonicalText: string;\n sourceUrl: string | null;\n kind: string;\n createdAt: number | null;\n score: number;\n /** Human-readable explanation of why this item was ranked here (RS-2). */\n justification?: string;\n};\n\n/** A ranked contradiction in the contradictions section. */\nexport type ContextPackContradiction = {\n contradictionId: string;\n severity: string;\n status: string;\n description: string;\n score: number;\n /** Human-readable explanation of why this item was ranked here (RS-2). */\n justification?: string;\n};\n\n/**\n * An entity from the ontological layer surfaced in the context pack.\n * Entities are domain objects (companies, people, functions, etc.) connected\n * to beliefs via bridge edges. They provide the \"reality anchor\" that makes\n * the reasoning graph domain-aware.\n */\nexport type ContextPackEntity = {\n /** Convex document ID of the entity node. */\n nodeId: string;\n /** Entity type (e.g., \"company\", \"person\", \"function\"). */\n entityType: string;\n /** Human-readable title/name of the entity. */\n title: string;\n /** Number of beliefs connected to this entity via bridge edges. */\n connectedBeliefCount: number;\n /** Number of evidence items referencing this entity. */\n connectedEvidenceCount: number;\n /** Relevance score from ranking algorithm. */\n score: number;\n /** Entity metadata (structured per ontology schema). */\n metadata?: Record<string, unknown>;\n};\n\n/**\n * A lattice seed entry representing a belief that was auto-generated\n * to cover an ontology entity type within a topic scope.\n */\nexport type BeliefLatticeSeed = {\n /** The belief node ID that was created or already existed. */\n beliefNodeId: string;\n /** The entity type this seed belief covers. */\n entityType: string;\n /** Whether this seed was newly created or already existed. */\n created: boolean;\n /** The canonical text of the seed belief. */\n canonicalText: string;\n};\n\n// =============================================================================\n// SUMMARY\n// =============================================================================\n\n/** Counts and scoped health signals for the context pack. */\nexport type ContextPackSummary = {\n totalBeliefs: number;\n invariants: number;\n openQuestions: number;\n evidenceItems: number;\n contradictions: number;\n /** Number of ontological entities in scope (optional, present when entity graph is active). */\n relatedEntities?: number;\n scopedTopics: number;\n descendantDepth: number;\n query: string | null;\n};\n\n// =============================================================================\n// FAILURE CONTEXT (RS-2)\n// =============================================================================\n\n/** A failed approach surfaced from the failure log for anti-repetition. */\nexport type ContextPackFailure = {\n /** Lucern attempt/evidence node ID. */\n attemptId: string;\n /** What was tried. */\n approach: string;\n /** Why it failed. */\n outcome: string;\n /** When the attempt was recorded (ms since epoch). */\n recordedAt: number;\n /** Relevance score from ranking algorithm. */\n score: number;\n};\n\n/** Failure context section appended to context packs in delta mode. */\nexport type ContextPackFailureContext = {\n /** Ranked failed approaches relevant to the current query. */\n failures: ContextPackFailure[];\n /** IDs of items suppressed from other sections due to anti-repetition. */\n suppressedIds: string[];\n};\n\n// =============================================================================\n// DELTA REPORT (RS-2)\n// =============================================================================\n\n/** A verification obligation surfaced by delta compilation. */\nexport type VerificationObligation = {\n /** What must be verified. */\n description: string;\n /** Source of the obligation (e.g., \"belief:xyz confidence drop\"). */\n source: string;\n /** Severity: how important it is to verify. */\n severity: \"critical\" | \"high\" | \"medium\" | \"low\";\n};\n\n/** Delta report appended to context packs when mode = \"delta\". */\nexport type ContextPackDeltaReport = {\n /** Items that changed since the reference point (new, updated, removed). */\n changedItems: Array<{\n id: string;\n section: ContextPackSectionKey;\n changeType: \"added\" | \"updated\" | \"removed\" | \"confidence_changed\";\n summary: string;\n }>;\n /** Obligations the consuming session must verify. */\n verificationObligations: VerificationObligation[];\n /** Reference point for the delta (worktree ID, timestamp, or commit SHA). */\n referencePoint: string;\n};\n\n// =============================================================================\n// PACK WEIGHT OVERRIDES (RS-2)\n// =============================================================================\n\n/**\n * Per-section weight overrides that domain packs can apply.\n * Overrides merge with RANKING_WEIGHTS — only specified fields replace defaults.\n */\nexport type PackWeightOverride = {\n /** Which section to override weights for. */\n section: ContextPackSectionKey;\n /** Partial weight vector — only specified fields replace defaults. */\n weights: Partial<RankingWeightVector>;\n};\n\n// =============================================================================\n// INJECTION POLICY\n// =============================================================================\n\n/** Token-budgeted section selections for prompt injection. */\nexport type ContextPackInjectionPolicy = {\n /** Total token budget for the entire context pack. */\n tokenBudget: number;\n /** Estimated tokens consumed across all sections. */\n estimatedTokens: number;\n /** Per-section token budgets derived from SECTION_BUDGET_RATIOS. */\n sectionBudgets: Record<ContextPackSectionKey, number>;\n /** Actual token usage per section after greedy fill. */\n sectionUsage: Record<ContextPackSectionKey, number>;\n /** Node/question IDs selected for injection, per section. */\n selected: Record<ContextPackSectionKey, string[]>;\n /** Items that were scored but excluded from injection, with reason (RS-2). */\n excludedItems?: Array<{\n id: string;\n section: ContextPackSectionKey;\n reason: \"budget_exceeded\" | \"anti_repetition\" | \"below_threshold\";\n score: number;\n }>;\n};\n\n// =============================================================================\n// DIAGNOSTICS\n// =============================================================================\n\n/** Telemetry for context pack assembly. */\nexport type ContextPackDiagnostics = {\n /** Total candidates scored across all sections. */\n itemsScored: number;\n /** Ratio of estimatedTokens / tokenBudget. Range [0, 1+]. */\n tokenBudgetUtilization: number;\n};\n\n// =============================================================================\n// PUBLIC COMPILED CONTEXT TYPES\n// =============================================================================\n\n/**\n * Public context surface returned by the SDK-facing context client.\n *\n * This preserves the existing external shape while the canonical compiler\n * contract evolves in parallel as ContextPackV1.\n */\nexport type PublicContextBelief = {\n beliefId: string;\n text: string;\n confidence: number | null;\n beliefType?: string | null;\n status?: string;\n updatedAt?: number | null;\n score: number;\n justification?: string;\n};\n\nexport type PublicContextQuestion = {\n questionId: string;\n text: string;\n status: string;\n priority: string;\n updatedAt?: number | null;\n score: number;\n justification?: string;\n};\n\nexport type PublicContextEvidence = {\n evidenceId: string;\n text: string;\n sourceUrl?: string | null;\n kind: string;\n createdAt?: number | null;\n score: number;\n justification?: string;\n};\n\nexport type PublicContextContradiction = {\n contradictionId: string;\n severity: string;\n status: string;\n description: string;\n score: number;\n justification?: string;\n};\n\nexport type PublicContextEntity = {\n entityId: string;\n entityType: string;\n title: string;\n text?: string;\n connectedBeliefCount: number;\n connectedEvidenceCount: number;\n score: number;\n metadata?: Record<string, unknown>;\n};\n\nexport type PublicContextInjectionPolicy = {\n tokenBudget: number;\n estimatedTokens: number;\n sectionBudgets: Record<string, number>;\n sectionUsage: Record<string, number>;\n selected: Record<string, string[]>;\n excludedItems?: Array<{\n id: string;\n section: string;\n reason: \"budget_exceeded\" | \"anti_repetition\" | \"below_threshold\";\n score: number;\n }>;\n};\n\nexport type PublicCompiledContext = {\n schemaVersion: string;\n topicId: string;\n topicName: string;\n scopedTopicIds: string[];\n generatedAt: number;\n ranking: ContextRankingProfile;\n summary: Record<string, unknown>;\n invariants: PublicContextBelief[];\n activeBeliefs: PublicContextBelief[];\n openQuestions: PublicContextQuestion[];\n recentEvidence: PublicContextEvidence[];\n contradictions: PublicContextContradiction[];\n relatedEntities?: PublicContextEntity[];\n contextNarrative: string[];\n injectionPolicy: PublicContextInjectionPolicy;\n diagnostics: Record<string, unknown>;\n compilationMode?: string;\n failureContext?: {\n failures: Array<{\n attemptId: string;\n approach: string;\n outcome: string;\n recordedAt: number;\n score: number;\n }>;\n suppressedIds: string[];\n };\n deltaReport?: {\n changedItems: Array<{\n id: string;\n section: string;\n changeType: string;\n summary: string;\n }>;\n verificationObligations: Array<{\n description: string;\n source: string;\n severity: \"critical\" | \"high\" | \"medium\" | \"low\";\n }>;\n referencePoint: string;\n };\n appliedWeightOverrides?: unknown[];\n};\n\n// =============================================================================\n// CONTEXT PACK V1 (TOP-LEVEL OUTPUT)\n// =============================================================================\n\n/**\n * The canonical output schema for context compilation responses.\n *\n * This is the contract that consumers depend on. All fields are required\n * in the output. Adding optional fields is non-breaking; removing or\n * changing types is breaking (requires version bump).\n */\nexport type ContextPackV1 = {\n /** Schema version for compatibility checking. */\n schemaVersion: typeof CONTEXT_PACK_SCHEMA_VERSION;\n /** Resolved topic ID after scope resolution. */\n topicId: string;\n /** Human-readable topic name. */\n topicName: string;\n /** All topic IDs included in the neighborhood expansion. */\n scopedTopicIds: string[];\n /** Deterministic freshness watermark for this pack (ms since epoch). */\n generatedAt: number;\n /** Which ranking profile was used. */\n rankingProfile: ContextRankingProfile;\n /** Aggregate counts and health signals. */\n summary: ContextPackSummary;\n /** High-confidence invariant beliefs (beliefType = \"invariant\"). */\n invariants: ContextPackBelief[];\n /** Active beliefs ranked by query relevance. */\n activeBeliefs: ContextPackBelief[];\n /** Open questions ranked by relevance and priority. */\n openQuestions: ContextPackQuestion[];\n /** Recent evidence ranked by relevance and recency. */\n recentEvidence: ContextPackEvidence[];\n /** Active contradictions ranked by severity. */\n contradictions: ContextPackContradiction[];\n /**\n * Ontological entities connected to beliefs in scope, ranked by connectivity.\n * Optional — present when entity graph substrate is active for this topic.\n * NON-BREAKING addition per contract rules.\n */\n relatedEntities?: ContextPackEntity[];\n /** Concise instructions for agent context injection. */\n contextNarrative: string[];\n /** Token-budgeted injection selections. */\n injectionPolicy: ContextPackInjectionPolicy;\n /** Assembly telemetry. */\n diagnostics: ContextPackDiagnostics;\n /** Compilation mode used to generate this pack (RS-2). Default: \"standard\". */\n compilationMode?: ContextCompilationMode;\n /** Failure context for anti-repetition (RS-2). Present when failures are relevant. */\n failureContext?: ContextPackFailureContext;\n /** Delta report (RS-2). Present only when compilationMode = \"delta\". */\n deltaReport?: ContextPackDeltaReport;\n /** Pack weight overrides applied during ranking (RS-2). */\n appliedWeightOverrides?: PackWeightOverride[];\n};\n\n// =============================================================================\n// CONTEXT PACK REQUEST V1 (INPUT)\n// =============================================================================\n\n/**\n * The canonical input schema for `compile_context`.\n * `topicId` is the only scope identifier.\n */\nexport type ContextPackRequestV1 = {\n /** Topic scope ID (required). */\n topicId: string;\n /** Focus query for relevance ranking. */\n query?: string;\n /** Max items per section. Default: DEFAULT_SECTION_LIMIT. */\n limit?: number;\n /** Ranking profile. Default: DEFAULT_RANKING_PROFILE. */\n rankingProfile?: ContextRankingProfile;\n /** Total token budget. Default: DEFAULT_TOKEN_BUDGET. */\n tokenBudget?: number;\n /** Descendant topic depth for neighborhood expansion. */\n maxDepth?: number;\n /** Include ontological entities connected to beliefs in scope. Default: true. */\n includeEntities?: boolean;\n /** Compilation mode (RS-2). Default: \"standard\". */\n mode?: ContextCompilationMode;\n /** Include failure log context for anti-repetition (RS-2). Default: false. */\n includeFailures?: boolean;\n /** Active worktree ID for delta mode reference point (RS-2). */\n worktreeId?: string;\n /** Session ID for anti-repetition dedup (RS-2). */\n sessionId?: string;\n /** Pack weight overrides from domain pack binding (RS-2). */\n packWeightOverrides?: PackWeightOverride[];\n};\n\n// =============================================================================\n// RESOLVED QUESTION STATUSES\n// =============================================================================\n\n/**\n * Question statuses that are considered \"resolved\" (not open).\n * Used to filter which questions appear in the openQuestions section.\n */\nexport const RESOLVED_QUESTION_STATUSES: readonly string[] = [\n \"answered\",\n \"archived\",\n \"closed\",\n \"resolved\",\n \"resolved_support\",\n \"resolved_contra\",\n \"belief_forked\",\n] as const;\n\n// =============================================================================\n// TOKEN ESTIMATION\n// =============================================================================\n\n/**\n * Tokens-per-word multiplier for rough token estimation.\n * Conservative estimate: ~1.35 tokens per whitespace-delimited word.\n */\nexport const TOKENS_PER_WORD = 1.35;\n\n/** Minimum token estimate for any non-empty string. */\nexport const MIN_TOKEN_ESTIMATE = 8;\n","import {\n BELIEF_TYPE_BONUS,\n DEFAULT_ENTITY_LIMIT,\n DEFAULT_BELIEF_TYPE_BONUS,\n DEFAULT_PRIORITY_SCORE,\n DEFAULT_SEVERITY_SCORE,\n DEFAULT_TOKEN_BUDGET,\n ENTITY_RANKING_WEIGHTS,\n MAX_TOKEN_BUDGET,\n MAX_ENTITY_LIMIT,\n MIN_CONTRADICTION_BUDGET,\n MIN_TOKEN_BUDGET,\n MIN_TOKEN_ESTIMATE,\n type PackWeightOverride,\n PRIORITY_SCORES,\n type RankingWeightVector,\n RANKING_WEIGHTS,\n RECENCY_HALF_LIFE_DAYS,\n SECTION_BUDGET_RATIOS,\n SEVERITY_SCORES,\n TOKENS_PER_WORD,\n type ContextPackSectionKey,\n type ContextRankingProfile,\n} from \"./contracts/context-pack.contract\";\n\nexport type SectionKey = ContextPackSectionKey;\n\nexport type RankCandidate = {\n id: string;\n text: string;\n updatedAt?: number | null;\n createdAt?: number | null;\n confidence?: number | null;\n beliefType?: string | null;\n priority?: string | null;\n severity?: string | null;\n};\n\nexport type RankedCandidate<T extends RankCandidate> = T & {\n score: number;\n justification?: string;\n};\n\ntype LexicalExclusion = {\n id: string;\n section: SectionKey;\n reason: \"budget_exceeded\" | \"anti_repetition\" | \"below_threshold\";\n score: number;\n};\n\nexport type InjectionPlan = {\n tokenBudget: number;\n estimatedTokens: number;\n sectionBudgets: Record<SectionKey, number>;\n sectionUsage: Record<SectionKey, number>;\n selected: Record<SectionKey, string[]>;\n excludedItems?: LexicalExclusion[];\n};\n\ntype RankContextOptions = {\n effectiveWeights?: Readonly<Record<ContextPackSectionKey, RankingWeightVector>>;\n includeJustifications?: boolean;\n referenceTimeMs?: number;\n};\n\nfunction tokenHits(text: string, tokens: string[]): number {\n if (tokens.length === 0) {\n return 1;\n }\n const haystack = text.trim().toLowerCase();\n let hits = 0;\n for (const token of tokens) {\n if (haystack.includes(token)) {\n hits += 1;\n }\n }\n return hits;\n}\n\nfunction clamp01(value: number): number {\n if (!Number.isFinite(value)) {\n return 0;\n }\n return Math.max(0, Math.min(1, value));\n}\n\nfunction recencyScore(\n updatedAt: number | null | undefined,\n referenceTimeMs = Date.now()\n): number {\n if (!updatedAt || !Number.isFinite(updatedAt)) {\n return 0.25;\n }\n const ageMs = Math.max(0, referenceTimeMs - updatedAt);\n const ageDays = ageMs / (1000 * 60 * 60 * 24);\n const decay = 0.5 ** (ageDays / RECENCY_HALF_LIFE_DAYS);\n return clamp01(decay);\n}\n\nfunction confidenceScore(confidence: number | null | undefined): number {\n if (typeof confidence !== \"number\" || !Number.isFinite(confidence)) {\n return 0.5;\n }\n return clamp01(confidence);\n}\n\nfunction priorityScore(priority: string | null | undefined): number {\n const value = (priority || \"\").trim().toLowerCase();\n return PRIORITY_SCORES[value] ?? DEFAULT_PRIORITY_SCORE;\n}\n\nfunction severityScore(severity: string | null | undefined): number {\n const value = (severity || \"\").trim().toLowerCase();\n return SEVERITY_SCORES[value] ?? DEFAULT_SEVERITY_SCORE;\n}\n\nfunction beliefTypeBonus(beliefType: string | null | undefined): number {\n const value = (beliefType || \"\").trim().toLowerCase();\n return BELIEF_TYPE_BONUS[value] ?? DEFAULT_BELIEF_TYPE_BONUS;\n}\n\nexport function resolveEffectiveWeights(\n overrides?: PackWeightOverride[]\n): Readonly<Record<ContextPackSectionKey, RankingWeightVector>> {\n if (!overrides || overrides.length === 0) {\n return RANKING_WEIGHTS;\n }\n const result = { ...RANKING_WEIGHTS } as Record<\n ContextPackSectionKey,\n RankingWeightVector\n >;\n for (const override of overrides) {\n const base = RANKING_WEIGHTS[override.section];\n if (base) {\n result[override.section] = { ...base, ...override.weights };\n }\n }\n return result;\n}\n\nfunction generateJustification(\n _section: SectionKey,\n candidate: RankCandidate,\n queryTokens: string[],\n weights: RankingWeightVector\n): string {\n const parts: string[] = [];\n\n const hits = tokenHits(candidate.text, queryTokens);\n if (queryTokens.length > 0 && hits > 0) {\n parts.push(`${hits}/${queryTokens.length} query terms matched`);\n } else if (queryTokens.length === 0) {\n parts.push(\"no query filter\");\n }\n\n const ts = candidate.updatedAt || candidate.createdAt || null;\n if (ts && Number.isFinite(ts)) {\n const ageDays = Math.max(0, Date.now() - ts) / (1000 * 60 * 60 * 24);\n if (ageDays < 1) {\n parts.push(\"updated today\");\n } else if (ageDays < 7) {\n parts.push(`updated ${Math.floor(ageDays)}d ago`);\n } else if (ageDays < 30) {\n parts.push(`updated ${Math.floor(ageDays / 7)}w ago`);\n } else {\n parts.push(`updated ${Math.floor(ageDays)}d ago (decayed)`);\n }\n }\n\n if (\n weights.confidence !== undefined &&\n candidate.confidence !== null &&\n candidate.confidence !== undefined\n ) {\n parts.push(`confidence=${candidate.confidence.toFixed(2)}`);\n }\n if (weights.beliefType !== undefined && candidate.beliefType) {\n parts.push(`type=${candidate.beliefType}`);\n }\n if (weights.priority !== undefined && candidate.priority) {\n parts.push(`priority=${candidate.priority}`);\n }\n if (weights.severity !== undefined && candidate.severity) {\n parts.push(`severity=${candidate.severity}`);\n }\n\n return parts.join(\", \");\n}\n\nfunction computeWeightedScore(\n section: SectionKey,\n candidate: RankCandidate,\n queryTokens: string[],\n effectiveWeights?: Readonly<Record<ContextPackSectionKey, RankingWeightVector>>,\n referenceTimeMs?: number\n): number {\n const weights = (effectiveWeights ?? RANKING_WEIGHTS)[section];\n const queryComponent =\n queryTokens.length === 0\n ? 0.4\n : clamp01(tokenHits(candidate.text, queryTokens) / queryTokens.length);\n const recencyComponent = recencyScore(\n candidate.updatedAt || candidate.createdAt || null,\n referenceTimeMs\n );\n\n let score =\n queryComponent * weights.query + recencyComponent * weights.recency;\n\n if (weights.confidence !== undefined) {\n score += confidenceScore(candidate.confidence) * weights.confidence;\n }\n if (weights.beliefType !== undefined) {\n score += beliefTypeBonus(candidate.beliefType) * weights.beliefType;\n }\n if (weights.priority !== undefined) {\n score += priorityScore(candidate.priority) * weights.priority;\n }\n if (weights.severity !== undefined) {\n score += severityScore(candidate.severity) * weights.severity;\n }\n\n return score;\n}\n\nexport function rankContextSection<T extends RankCandidate>(\n section: SectionKey,\n rows: T[],\n queryTokens: string[],\n limit: number,\n profile: ContextRankingProfile,\n options?: RankContextOptions\n): RankedCandidate<T>[] {\n const effectiveWeights = options?.effectiveWeights;\n const includeJustifications = options?.includeJustifications ?? false;\n const referenceTimeMs = options?.referenceTimeMs;\n\n const scored = rows.map((row) => {\n const score =\n profile === \"weighted_v1\"\n ? computeWeightedScore(\n section,\n row,\n queryTokens,\n effectiveWeights,\n referenceTimeMs\n )\n : queryTokens.length === 0\n ? 1\n : tokenHits(row.text, queryTokens);\n\n const result: RankedCandidate<T> = { ...row, score };\n\n if (includeJustifications && profile === \"weighted_v1\") {\n const weights = (effectiveWeights ?? RANKING_WEIGHTS)[section];\n result.justification = generateJustification(section, row, queryTokens, weights);\n }\n\n return result;\n });\n\n const filtered =\n queryTokens.length === 0 ? scored : scored.filter((row) => row.score > 0);\n\n filtered.sort((left, right) => {\n if (right.score !== left.score) {\n return right.score - left.score;\n }\n const rightTs = right.updatedAt || right.createdAt || 0;\n const leftTs = left.updatedAt || left.createdAt || 0;\n return rightTs - leftTs;\n });\n\n return filtered.slice(0, limit);\n}\n\nexport function parseTokenBudget(\n value: unknown,\n fallback = DEFAULT_TOKEN_BUDGET\n): number {\n const parsed =\n typeof value === \"number\" && Number.isFinite(value)\n ? Math.floor(value)\n : fallback;\n return Math.max(MIN_TOKEN_BUDGET, Math.min(MAX_TOKEN_BUDGET, parsed));\n}\n\nfunction estimateTokens(text: string): number {\n const words = text.trim().split(/\\s+/).filter(Boolean).length;\n return Math.max(MIN_TOKEN_ESTIMATE, Math.ceil(words * TOKENS_PER_WORD));\n}\n\nexport function buildInjectionPlan(args: {\n tokenBudget: number;\n invariants: Array<{ nodeId: string; canonicalText: string; score?: number }>;\n activeBeliefs: Array<{ nodeId: string; canonicalText: string; score?: number }>;\n openQuestions: Array<{ questionId: string; text: string; score?: number }>;\n recentEvidence: Array<{ nodeId: string; canonicalText: string; score?: number }>;\n contradictions: Array<{ contradictionId: string; description: string; score?: number }>;\n trackExclusions?: boolean;\n}): InjectionPlan {\n const tokenBudget = parseTokenBudget(args.tokenBudget);\n const trackExclusions = args.trackExclusions ?? false;\n\n const sectionBudgets: Record<SectionKey, number> = {\n invariants: Math.floor(tokenBudget * SECTION_BUDGET_RATIOS.invariants),\n activeBeliefs: Math.floor(\n tokenBudget * SECTION_BUDGET_RATIOS.activeBeliefs\n ),\n openQuestions: Math.floor(\n tokenBudget * SECTION_BUDGET_RATIOS.openQuestions\n ),\n recentEvidence: Math.floor(\n tokenBudget * SECTION_BUDGET_RATIOS.recentEvidence\n ),\n contradictions: Math.max(\n MIN_CONTRADICTION_BUDGET,\n Math.floor(tokenBudget * SECTION_BUDGET_RATIOS.contradictions)\n ),\n };\n\n const selected: Record<SectionKey, string[]> = {\n invariants: [],\n activeBeliefs: [],\n openQuestions: [],\n recentEvidence: [],\n contradictions: [],\n };\n\n const sectionUsage: Record<SectionKey, number> = {\n invariants: 0,\n activeBeliefs: 0,\n openQuestions: 0,\n recentEvidence: 0,\n contradictions: 0,\n };\n\n const excludedItems: LexicalExclusion[] = [];\n\n const pushItem = (section: SectionKey, id: string, text: string, score?: number) => {\n const itemTokens = estimateTokens(text);\n const nextUsage = sectionUsage[section] + itemTokens;\n if (nextUsage > sectionBudgets[section]) {\n if (trackExclusions) {\n excludedItems.push({\n id,\n section,\n reason: \"budget_exceeded\",\n score: score ?? 0,\n });\n }\n return;\n }\n selected[section].push(id);\n sectionUsage[section] = nextUsage;\n };\n\n for (const row of args.invariants) {\n pushItem(\"invariants\", row.nodeId, row.canonicalText, row.score);\n }\n for (const row of args.activeBeliefs) {\n pushItem(\"activeBeliefs\", row.nodeId, row.canonicalText, row.score);\n }\n for (const row of args.openQuestions) {\n pushItem(\"openQuestions\", row.questionId, row.text, row.score);\n }\n for (const row of args.recentEvidence) {\n pushItem(\"recentEvidence\", row.nodeId, row.canonicalText, row.score);\n }\n for (const row of args.contradictions) {\n pushItem(\"contradictions\", row.contradictionId, row.description, row.score);\n }\n\n const estimatedTokens =\n sectionUsage.invariants +\n sectionUsage.activeBeliefs +\n sectionUsage.openQuestions +\n sectionUsage.recentEvidence +\n sectionUsage.contradictions;\n\n return {\n tokenBudget,\n estimatedTokens,\n sectionBudgets,\n sectionUsage,\n selected,\n ...(trackExclusions ? { excludedItems } : {}),\n };\n}\n\nexport type EntityCandidate = {\n nodeId: string;\n entityType: string;\n title: string;\n canonicalText: string;\n connectedBeliefCount: number;\n connectedEvidenceCount: number;\n metadata: Record<string, unknown>;\n updatedAt?: number | null;\n};\n\nexport type RankedEntity = EntityCandidate & {\n score: number;\n};\n\nexport function rankEntities(\n candidates: EntityCandidate[],\n queryTokens: string[],\n limit?: number\n): RankedEntity[] {\n if (candidates.length === 0) {\n return [];\n }\n\n const effectiveLimit = Math.max(\n 1,\n Math.min(limit ?? DEFAULT_ENTITY_LIMIT, MAX_ENTITY_LIMIT)\n );\n\n const maxConnections = Math.max(\n 1,\n ...candidates.map(\n (candidate) =>\n candidate.connectedBeliefCount + candidate.connectedEvidenceCount\n )\n );\n\n const scored = candidates.map((candidate) => {\n const searchText = `${candidate.title} ${candidate.entityType} ${candidate.canonicalText}`;\n const queryScore =\n queryTokens.length === 0\n ? 0.4\n : clamp01(tokenHits(searchText, queryTokens) / queryTokens.length);\n\n const totalConnections =\n candidate.connectedBeliefCount + candidate.connectedEvidenceCount;\n const connectivityScore = clamp01(totalConnections / maxConnections);\n\n const score =\n queryScore * ENTITY_RANKING_WEIGHTS.query +\n connectivityScore * ENTITY_RANKING_WEIGHTS.connectivity;\n\n return { ...candidate, score };\n });\n\n scored.sort((left, right) => {\n if (right.score !== left.score) {\n return right.score - left.score;\n }\n const rightConn = right.connectedBeliefCount + right.connectedEvidenceCount;\n const leftConn = left.connectedBeliefCount + left.connectedEvidenceCount;\n return rightConn - leftConn;\n });\n\n return scored.slice(0, effectiveLimit);\n}\n"]}
|
package/dist/contextTypes.d.ts
CHANGED
|
@@ -14,6 +14,8 @@ type PackWeightOverride = {
|
|
|
14
14
|
weights: Partial<RankingWeightVector>;
|
|
15
15
|
};
|
|
16
16
|
type CompileContextInput = {
|
|
17
|
+
/** Optional explicit topic. Omit to resolve by query. */
|
|
18
|
+
topicId?: string;
|
|
17
19
|
query?: string;
|
|
18
20
|
budget?: number;
|
|
19
21
|
ranking?: ContextRankingProfile;
|
|
@@ -4,7 +4,7 @@
|
|
|
4
4
|
* Canonical enum values for all API-facing enumerations.
|
|
5
5
|
* These MUST match the kernel schema validators exactly.
|
|
6
6
|
*
|
|
7
|
-
* Source of truth:
|
|
7
|
+
* Source of truth: packages/reasoning-kernel/src/adapters/schema/spine/
|
|
8
8
|
*/
|
|
9
9
|
/**
|
|
10
10
|
* Belief epistemic lifecycle — tracks maturity from raw claim to verified fact.
|
|
@@ -41,7 +41,7 @@ type StructuralEdgeType = (typeof STRUCTURAL_EDGE_TYPES)[number];
|
|
|
41
41
|
declare const EDGE_TYPES: readonly ["supports", "informs", "depends_on", "derived_from", "contains", "tests", "supersedes", "responds_to", "belongs_to", "relates_to_thesis"];
|
|
42
42
|
type EdgeType = EpistemicEdgeType | StructuralEdgeType;
|
|
43
43
|
/** How an edge relationship was determined */
|
|
44
|
-
declare const REASONING_METHODS: readonly ["deductive", "inductive", "abductive", "analogical", "
|
|
44
|
+
declare const REASONING_METHODS: readonly ["deductive", "inductive", "abductive", "analogical", "causal", "correlational", "testimonial", "statistical", "implicit", "pattern_match"];
|
|
45
45
|
type ReasoningMethod = (typeof REASONING_METHODS)[number];
|
|
46
46
|
/** Defeat types (Pollock taxonomy) — how a contradiction operates */
|
|
47
47
|
declare const DEFEAT_TYPES: readonly ["rebuts", "undercuts", "undermines"];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../src/contracts/api-enums.contract.ts"],"names":[],"mappings":";AAqBO,IAAM,eAAA,GAAkB;AAAA,EAC7B,YAAA;AAAA,EACA,YAAA;AAAA,EACA,QAAA;AAAA,EACA;AACF;AAQO,IAAM,YAAA,GAAe;AAAA,EAC1B,YAAA;AAAA,EACA,wBAAA;AAAA,EACA,cAAA;AAAA,EACA,qBAAA;AAAA,EACA;AACF;AAQO,IAAM,mBAAA,GAAsB;AAAA,EACjC,gBAAA;AAAA,EACA,kBAAA;AAAA,EACA,wBAAA;AAAA,EACA,wBAAA;AAAA,EACA,kBAAA;AAAA,EACA,kBAAA;AAAA,EACA,oBAAA;AAAA,EACA,QAAA;AAAA,EACA,OAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF;AAiBO,IAAM,oBAAA,GAAuB;AAAA,EAClC,UAAA;AAAA,EACA,SAAA;AAAA,EACA,YAAA;AAAA,EACA,cAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF;AAIO,IAAM,qBAAA,GAAwB;AAAA,EACnC,YAAA;AAAA,EACA,aAAA;AAAA,EACA,YAAA;AAAA,EACA;AACF;AAIO,IAAM,UAAA,GAAa;AAAA,EACxB,GAAG,oBAAA;AAAA,EACH,GAAG;AACL;AAQO,IAAM,iBAAA,GAAoB;AAAA,EAC/B,WAAA;AAAA,EACA,WAAA;AAAA,EACA,WAAA;AAAA,EACA,YAAA;AAAA,EACA;AACF;AAQO,IAAM,YAAA,GAAe;AAAA,EAC1B,QAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF;AAIO,IAAM,wBAAA,GAA2B;AAAA,EACtC,KAAA;AAAA,EACA,QAAA;AAAA,EACA,MAAA;AAAA,EACA;AACF;AAIO,IAAM,sBAAA,GAAyB;AAAA,EACpC,YAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF;AAQO,IAAM,cAAA,GAAiB;AAAA,EAC5B,WAAA;AAAA,EACA,aAAA;AAAA,EACA,QAAA;AAAA,EACA;AACF;AAIO,IAAM,eAAA,GAAkB;AAAA,EAC7B,YAAA;AAAA,EACA,eAAA;AAAA,EACA,YAAA;AAAA,EACA;AACF;AAeO,IAAM,gBAAA,GAAmB;AAAA,EAC9B,IAAA;AAAA,EACA,IAAA;AAAA,EACA,IAAA;AAAA,EACA;AACF;AAcO,IAAM,cAAA,GAAiB;AAAA,EAC5B,QAAA;AAAA,EACA,iBAAA;AAAA,EACA,sBAAA;AAAA,EACA,qBAAA;AAAA,EACA;AACF","file":"api-enums.contract.js","sourcesContent":["/**\n * API Enum Contract Definitions\n *\n * Canonical enum values for all API-facing enumerations.\n * These MUST match the kernel schema validators exactly.\n *\n * Source of truth:
|
|
1
|
+
{"version":3,"sources":["../../src/contracts/api-enums.contract.ts"],"names":[],"mappings":";AAqBO,IAAM,eAAA,GAAkB;AAAA,EAC7B,YAAA;AAAA,EACA,YAAA;AAAA,EACA,QAAA;AAAA,EACA;AACF;AAQO,IAAM,YAAA,GAAe;AAAA,EAC1B,YAAA;AAAA,EACA,wBAAA;AAAA,EACA,cAAA;AAAA,EACA,qBAAA;AAAA,EACA;AACF;AAQO,IAAM,mBAAA,GAAsB;AAAA,EACjC,gBAAA;AAAA,EACA,kBAAA;AAAA,EACA,wBAAA;AAAA,EACA,wBAAA;AAAA,EACA,kBAAA;AAAA,EACA,kBAAA;AAAA,EACA,oBAAA;AAAA,EACA,QAAA;AAAA,EACA,OAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF;AAiBO,IAAM,oBAAA,GAAuB;AAAA,EAClC,UAAA;AAAA,EACA,SAAA;AAAA,EACA,YAAA;AAAA,EACA,cAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF;AAIO,IAAM,qBAAA,GAAwB;AAAA,EACnC,YAAA;AAAA,EACA,aAAA;AAAA,EACA,YAAA;AAAA,EACA;AACF;AAIO,IAAM,UAAA,GAAa;AAAA,EACxB,GAAG,oBAAA;AAAA,EACH,GAAG;AACL;AAQO,IAAM,iBAAA,GAAoB;AAAA,EAC/B,WAAA;AAAA,EACA,WAAA;AAAA,EACA,WAAA;AAAA,EACA,YAAA;AAAA,EACA,QAAA;AAAA,EACA,eAAA;AAAA,EACA,aAAA;AAAA,EACA,aAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF;AAQO,IAAM,YAAA,GAAe;AAAA,EAC1B,QAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF;AAIO,IAAM,wBAAA,GAA2B;AAAA,EACtC,KAAA;AAAA,EACA,QAAA;AAAA,EACA,MAAA;AAAA,EACA;AACF;AAIO,IAAM,sBAAA,GAAyB;AAAA,EACpC,YAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF;AAQO,IAAM,cAAA,GAAiB;AAAA,EAC5B,WAAA;AAAA,EACA,aAAA;AAAA,EACA,QAAA;AAAA,EACA;AACF;AAIO,IAAM,eAAA,GAAkB;AAAA,EAC7B,YAAA;AAAA,EACA,eAAA;AAAA,EACA,YAAA;AAAA,EACA;AACF;AAeO,IAAM,gBAAA,GAAmB;AAAA,EAC9B,IAAA;AAAA,EACA,IAAA;AAAA,EACA,IAAA;AAAA,EACA;AACF;AAcO,IAAM,cAAA,GAAiB;AAAA,EAC5B,QAAA;AAAA,EACA,iBAAA;AAAA,EACA,sBAAA;AAAA,EACA,qBAAA;AAAA,EACA;AACF","file":"api-enums.contract.js","sourcesContent":["/**\n * API Enum Contract Definitions\n *\n * Canonical enum values for all API-facing enumerations.\n * These MUST match the kernel schema validators exactly.\n *\n * Source of truth: packages/reasoning-kernel/src/adapters/schema/spine/\n */\n\n// =============================================================================\n// BELIEF STATUS\n// =============================================================================\n\n/**\n * Belief epistemic lifecycle — tracks maturity from raw claim to verified fact.\n *\n * - assumption: Untested raw claim, lowest epistemic standing\n * - hypothesis: Under active investigation, being tested against evidence\n * - belief: Validated through investigation, carries confidence score\n * - fact: Resolved outcome anchored by strong evidence\n */\nexport const BELIEF_STATUSES = [\n \"assumption\",\n \"hypothesis\",\n \"belief\",\n \"fact\",\n] as const;\nexport type BeliefStatus = (typeof BELIEF_STATUSES)[number];\n\n// =============================================================================\n// FORK REASONS\n// =============================================================================\n\n/** Why a scored belief was branched into a new version */\nexport const FORK_REASONS = [\n \"refinement\",\n \"contradiction_response\",\n \"scope_change\",\n \"confidence_collapse\",\n \"manual\",\n] as const;\nexport type ForkReason = (typeof FORK_REASONS)[number];\n\n// =============================================================================\n// CONFIDENCE TRIGGERS\n// =============================================================================\n\n/** What caused a confidence change — every modulation must declare its trigger */\nexport const CONFIDENCE_TRIGGERS = [\n \"evidence_added\",\n \"evidence_removed\",\n \"contradiction_detected\",\n \"contradiction_resolved\",\n \"agent_assessment\",\n \"worktree_outcome\",\n \"worktree_completed\",\n \"manual\",\n \"decay\",\n \"fusion\",\n \"discount\",\n \"deduction\",\n] as const;\nexport type ConfidenceTrigger = (typeof CONFIDENCE_TRIGGERS)[number];\n\n// =============================================================================\n// EDGE TYPES — The 6 canonical epistemic edge types\n// =============================================================================\n\n/**\n * Core epistemic edge types — the grammar of reasoning relationships.\n *\n * - supports: Evidence or belief reinforces another belief (weight = strength)\n * - informs: Evidence bears on a belief (directional, weighted)\n * - depends_on: Belief B requires belief A to hold\n * - derived_from: Belief was derived from another (lineage)\n * - contains: Structural containment (topic contains beliefs)\n * - tests: Question tests a belief (falsification link)\n */\nexport const EPISTEMIC_EDGE_TYPES = [\n \"supports\",\n \"informs\",\n \"depends_on\",\n \"derived_from\",\n \"contains\",\n \"tests\",\n] as const;\nexport type EpistemicEdgeType = (typeof EPISTEMIC_EDGE_TYPES)[number];\n\n/** Structural and lifecycle edges — required for graph integrity */\nexport const STRUCTURAL_EDGE_TYPES = [\n \"supersedes\",\n \"responds_to\",\n \"belongs_to\",\n \"relates_to_thesis\",\n] as const;\nexport type StructuralEdgeType = (typeof STRUCTURAL_EDGE_TYPES)[number];\n\n/** All valid edge types (epistemic + structural) */\nexport const EDGE_TYPES = [\n ...EPISTEMIC_EDGE_TYPES,\n ...STRUCTURAL_EDGE_TYPES,\n] as const;\nexport type EdgeType = EpistemicEdgeType | StructuralEdgeType;\n\n// =============================================================================\n// REASONING METHODS\n// =============================================================================\n\n/** How an edge relationship was determined */\nexport const REASONING_METHODS = [\n \"deductive\",\n \"inductive\",\n \"abductive\",\n \"analogical\",\n \"causal\",\n \"correlational\",\n \"testimonial\",\n \"statistical\",\n \"implicit\",\n \"pattern_match\",\n] as const;\nexport type ReasoningMethod = (typeof REASONING_METHODS)[number];\n\n// =============================================================================\n// CONTRADICTION ENUMS\n// =============================================================================\n\n/** Defeat types (Pollock taxonomy) — how a contradiction operates */\nexport const DEFEAT_TYPES = [\n \"rebuts\",\n \"undercuts\",\n \"undermines\",\n] as const;\nexport type DefeatType = (typeof DEFEAT_TYPES)[number];\n\n/** Contradiction severity */\nexport const CONTRADICTION_SEVERITIES = [\n \"low\",\n \"medium\",\n \"high\",\n \"critical\",\n] as const;\nexport type ContradictionSeverity = (typeof CONTRADICTION_SEVERITIES)[number];\n\n/** Contradiction resolution status */\nexport const CONTRADICTION_STATUSES = [\n \"unresolved\",\n \"resolved\",\n \"accepted\",\n] as const;\nexport type ContradictionStatus = (typeof CONTRADICTION_STATUSES)[number];\n\n// =============================================================================\n// WORKTREE ENUMS\n// =============================================================================\n\n/** How a worktree investigation concluded */\nexport const MERGE_OUTCOMES = [\n \"validated\",\n \"invalidated\",\n \"forked\",\n \"inconclusive\",\n] as const;\nexport type MergeOutcome = (typeof MERGE_OUTCOMES)[number];\n\n/** Investigation phases within a worktree */\nexport const WORKTREE_PHASES = [\n \"hypothesis\",\n \"investigation\",\n \"evaluation\",\n \"resolution\",\n] as const;\nexport type WorktreePhase = (typeof WORKTREE_PHASES)[number];\n\n// =============================================================================\n// EPISTEMIC LAYERS\n// =============================================================================\n\n/**\n * The knowledge hierarchy — each layer builds on the one below it.\n *\n * - L1: Sources — raw inputs (documents, APIs, observations)\n * - L2: Evidence — interpreted facts with context and weight\n * - L3: Beliefs — structural claims that carry confidence\n * - L4: Judgments — irreversible commitments based on the epistemic state\n */\nexport const EPISTEMIC_LAYERS = [\n \"L1\",\n \"L2\",\n \"L3\",\n \"L4\",\n] as const;\nexport type EpistemicLayer = (typeof EPISTEMIC_LAYERS)[number];\n\n// =============================================================================\n// JUDGMENT TYPES\n// =============================================================================\n\n/**\n * Classification of L4 judgments — irreversible determinations.\n *\n * Judgments are evaluated against the knowledge horizon that existed\n * when they were made. They cannot be retroactively invalidated —\n * only new judgments can supersede old ones.\n */\nexport const JUDGMENT_TYPES = [\n \"thesis\",\n \"thesis_maturity\",\n \"contradiction_ruling\",\n \"scope_determination\",\n \"confidence_ruling\",\n] as const;\nexport type JudgmentType = (typeof JUDGMENT_TYPES)[number];\n"]}
|
|
@@ -3,6 +3,7 @@ export { SESSION_AUTH_MODES, SESSION_LIFECYCLE_STATUSES, SESSION_PRINCIPAL_TYPES
|
|
|
3
3
|
export { BELIEF_TYPE_BONUS, BeliefLatticeSeed, CONTEXT_PACK_SCHEMA_VERSION, CONTEXT_PACK_SECTION_KEYS, CONTEXT_RANKING_PROFILES, ContextCompilationMode, ContextPackBelief, ContextPackContradiction, ContextPackDeltaReport, ContextPackDiagnostics, ContextPackEntity, ContextPackEvidence, ContextPackFailure, ContextPackFailureContext, ContextPackInjectionPolicy, ContextPackQuestion, ContextPackRequestV1, ContextPackSectionKey, ContextPackSummary, ContextPackV1, ContextRankingProfile, DEFAULT_BELIEF_TYPE_BONUS, DEFAULT_COMPILATION_MODE, DEFAULT_ENTITY_LIMIT, DEFAULT_PRIORITY_SCORE, DEFAULT_RANKING_PROFILE, DEFAULT_SECTION_LIMIT, DEFAULT_SEVERITY_SCORE, DEFAULT_TOKEN_BUDGET, ENTITY_RANKING_WEIGHTS, MAX_ENTITY_LIMIT, MAX_SECTION_LIMIT, MAX_TOKEN_BUDGET, MIN_CONTRADICTION_BUDGET, MIN_TOKEN_BUDGET, MIN_TOKEN_ESTIMATE, PRIORITY_SCORES, PackWeightOverride, PublicCompiledContext, PublicContextBelief, PublicContextContradiction, PublicContextEntity, PublicContextEvidence, PublicContextInjectionPolicy, PublicContextQuestion, RANKING_WEIGHTS, RECENCY_HALF_LIFE_DAYS, RESOLVED_QUESTION_STATUSES, RankingWeightVector, SECTION_BUDGET_RATIOS, SEVERITY_SCORES, TOKENS_PER_WORD, VerificationObligation } from './context-pack.contract.js';
|
|
4
4
|
export { EntityTypeFilterV1, FilterValidationResult, LensFilterCriteria, OntologyScope, TaxonomyFilterCriteriaV1, isLensFilterCriteria, isTaxonomyFilterCriteriaV1, validateFilterCriteria } from './lens-filter.contract.js';
|
|
5
5
|
export { BRANCH_DEPRECATION_MESSAGE, DeprecatedBranchMetadata, LENS_PERSPECTIVE_TYPES, LENS_STATUSES, LENS_TASK_TEMPLATE_PRIORITIES, LensBranchMigrationSuggestion, LensLooseMetadata, LensPerspectiveType, LensPromptTemplateReference, LensQuestionTemplate, LensStatus, LensTaskTemplate, LensTaskTemplatePriority, LensWorkflowStepTemplate, LensWorkflowTemplate, buildDeprecatedBranchMetadata, inferLensPerspectiveTypeFromBranchSchema, migrateBranchToLens } from './lens-workflow.contract.js';
|
|
6
|
+
export { BuildMcpToolContractsOptions, MCP_ALWAYS_ALLOWED_TOOL_NAMES, McpPermittedTool, McpToolContractMap, McpToolInputSchema, McpToolManifestEntry, McpToolVisibilityOptions, buildMcpToolContracts, buildMcpToolManifest, getMcpToolExposure, isMcpToolAllowed, mcpContractToInputSchema, mcpContractToManifestEntry } from './mcpTools.js';
|
|
6
7
|
export { t as mcpToolsContract } from '../tool-contracts-BUiL9P6z.js';
|
|
7
8
|
export { LucernPrompt, LucernPromptModelHint, isLucernPrompt } from './prompt.contract.js';
|
|
8
9
|
export { s as sdkToolsContract } from '../sdk-tools.contract-B4c1Zr1o.js';
|
package/dist/contracts/index.js
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import * as tool_contracts_star from '@lucern/contracts/tool-contracts';
|
|
2
|
+
import { LUCERN_OPERATION_MANIFEST } from '@lucern/contracts/function-registry/manifest';
|
|
2
3
|
import * as sdk_tools_star from '@lucern/contracts/sdk-tools.contract';
|
|
3
4
|
|
|
4
5
|
var __defProp = Object.defineProperty;
|
|
@@ -55,6 +56,7 @@ __export(contracts_exports, {
|
|
|
55
56
|
MAX_ENTITY_LIMIT: () => MAX_ENTITY_LIMIT,
|
|
56
57
|
MAX_SECTION_LIMIT: () => MAX_SECTION_LIMIT,
|
|
57
58
|
MAX_TOKEN_BUDGET: () => MAX_TOKEN_BUDGET,
|
|
59
|
+
MCP_ALWAYS_ALLOWED_TOOL_NAMES: () => MCP_ALWAYS_ALLOWED_TOOL_NAMES,
|
|
58
60
|
MERGE_OUTCOMES: () => MERGE_OUTCOMES,
|
|
59
61
|
MIN_CONTRADICTION_BUDGET: () => MIN_CONTRADICTION_BUDGET,
|
|
60
62
|
MIN_TOKEN_BUDGET: () => MIN_TOKEN_BUDGET,
|
|
@@ -87,12 +89,18 @@ __export(contracts_exports, {
|
|
|
87
89
|
WORKFLOW_TRIGGER_KINDS: () => WORKFLOW_TRIGGER_KINDS,
|
|
88
90
|
WORKTREE_PHASES: () => WORKTREE_PHASES,
|
|
89
91
|
buildDeprecatedBranchMetadata: () => buildDeprecatedBranchMetadata,
|
|
92
|
+
buildMcpToolContracts: () => buildMcpToolContracts,
|
|
93
|
+
buildMcpToolManifest: () => buildMcpToolManifest,
|
|
94
|
+
getMcpToolExposure: () => getMcpToolExposure,
|
|
90
95
|
inferLensPerspectiveTypeFromBranchSchema: () => inferLensPerspectiveTypeFromBranchSchema,
|
|
91
96
|
inferSessionPrincipalType: () => inferSessionPrincipalType,
|
|
92
97
|
isLensFilterCriteria: () => isLensFilterCriteria,
|
|
93
98
|
isLucernPrompt: () => isLucernPrompt,
|
|
99
|
+
isMcpToolAllowed: () => isMcpToolAllowed,
|
|
94
100
|
isTaxonomyFilterCriteriaV1: () => isTaxonomyFilterCriteriaV1,
|
|
95
101
|
lastDelegator: () => lastDelegator,
|
|
102
|
+
mcpContractToInputSchema: () => mcpContractToInputSchema,
|
|
103
|
+
mcpContractToManifestEntry: () => mcpContractToManifestEntry,
|
|
96
104
|
mcpToolsContract: () => tool_contracts_exports,
|
|
97
105
|
migrateBranchToLens: () => migrateBranchToLens,
|
|
98
106
|
normalizeDelegationChain: () => normalizeDelegationChain,
|
|
@@ -151,7 +159,12 @@ var REASONING_METHODS = [
|
|
|
151
159
|
"inductive",
|
|
152
160
|
"abductive",
|
|
153
161
|
"analogical",
|
|
154
|
-
"
|
|
162
|
+
"causal",
|
|
163
|
+
"correlational",
|
|
164
|
+
"testimonial",
|
|
165
|
+
"statistical",
|
|
166
|
+
"implicit",
|
|
167
|
+
"pattern_match"
|
|
155
168
|
];
|
|
156
169
|
var DEFEAT_TYPES = [
|
|
157
170
|
"rebuts",
|
|
@@ -337,9 +350,7 @@ var MIN_TOKEN_ESTIMATE = 8;
|
|
|
337
350
|
|
|
338
351
|
// src/contracts/lens-filter.contract.ts
|
|
339
352
|
function isLensFilterCriteria(value) {
|
|
340
|
-
|
|
341
|
-
const obj = value;
|
|
342
|
-
return typeof obj.version === "number" && typeof obj.kind === "string";
|
|
353
|
+
return isRecord(value) && typeof value.version === "number" && typeof value.kind === "string";
|
|
343
354
|
}
|
|
344
355
|
function isTaxonomyFilterCriteriaV1(value) {
|
|
345
356
|
if (!isLensFilterCriteria(value)) return false;
|
|
@@ -368,6 +379,9 @@ function validateFilterCriteria(value) {
|
|
|
368
379
|
]
|
|
369
380
|
};
|
|
370
381
|
}
|
|
382
|
+
function isRecord(value) {
|
|
383
|
+
return value !== null && typeof value === "object" && !Array.isArray(value);
|
|
384
|
+
}
|
|
371
385
|
function validateTaxonomyFilterV1(criteria) {
|
|
372
386
|
const errors = [];
|
|
373
387
|
if (!Array.isArray(criteria.entityTypeFilters)) {
|
|
@@ -457,6 +471,15 @@ function buildDeprecatedBranchMetadata(args) {
|
|
|
457
471
|
|
|
458
472
|
// src/contracts/mcpTools.ts
|
|
459
473
|
var mcpTools_exports = {};
|
|
474
|
+
__export(mcpTools_exports, {
|
|
475
|
+
MCP_ALWAYS_ALLOWED_TOOL_NAMES: () => MCP_ALWAYS_ALLOWED_TOOL_NAMES,
|
|
476
|
+
buildMcpToolContracts: () => buildMcpToolContracts,
|
|
477
|
+
buildMcpToolManifest: () => buildMcpToolManifest,
|
|
478
|
+
getMcpToolExposure: () => getMcpToolExposure,
|
|
479
|
+
isMcpToolAllowed: () => isMcpToolAllowed,
|
|
480
|
+
mcpContractToInputSchema: () => mcpContractToInputSchema,
|
|
481
|
+
mcpContractToManifestEntry: () => mcpContractToManifestEntry
|
|
482
|
+
});
|
|
460
483
|
|
|
461
484
|
// src/contracts/tool-contracts.ts
|
|
462
485
|
var tool_contracts_exports = {};
|
|
@@ -464,6 +487,98 @@ __reExport(tool_contracts_exports, tool_contracts_star);
|
|
|
464
487
|
|
|
465
488
|
// src/contracts/mcpTools.ts
|
|
466
489
|
__reExport(mcpTools_exports, tool_contracts_exports);
|
|
490
|
+
var OPERATION_MANIFEST = LUCERN_OPERATION_MANIFEST;
|
|
491
|
+
var MCP_ALWAYS_ALLOWED_TOOL_NAMES = ["identity_whoami"];
|
|
492
|
+
function getMcpToolExposure(toolName) {
|
|
493
|
+
return OPERATION_MANIFEST[toolName]?.surfaces.mcp ?? "none";
|
|
494
|
+
}
|
|
495
|
+
function decorateMcpToolContract(toolName, contract) {
|
|
496
|
+
const exposure = getMcpToolExposure(toolName);
|
|
497
|
+
if (exposure === "none") {
|
|
498
|
+
return null;
|
|
499
|
+
}
|
|
500
|
+
return exposure === "internal" || contract.internal ? { ...contract, internal: true } : contract;
|
|
501
|
+
}
|
|
502
|
+
function buildMcpToolContracts(options = {}) {
|
|
503
|
+
const merged = {
|
|
504
|
+
...tool_contracts_exports.MCP_TOOL_CONTRACTS,
|
|
505
|
+
...options.extensions ?? {}
|
|
506
|
+
};
|
|
507
|
+
return Object.fromEntries(
|
|
508
|
+
Object.entries(merged).flatMap(([toolName, contract]) => {
|
|
509
|
+
const decorated = decorateMcpToolContract(toolName, contract);
|
|
510
|
+
return decorated ? [[toolName, decorated]] : [];
|
|
511
|
+
})
|
|
512
|
+
);
|
|
513
|
+
}
|
|
514
|
+
function mcpContractToInputSchema(contract) {
|
|
515
|
+
const properties = {};
|
|
516
|
+
for (const [paramName, paramDef] of Object.entries(contract.parameters)) {
|
|
517
|
+
const prop = {
|
|
518
|
+
type: paramDef.type,
|
|
519
|
+
description: paramDef.description
|
|
520
|
+
};
|
|
521
|
+
if (paramDef.enum) {
|
|
522
|
+
prop.enum = paramDef.enum;
|
|
523
|
+
}
|
|
524
|
+
properties[paramName] = prop;
|
|
525
|
+
}
|
|
526
|
+
return {
|
|
527
|
+
type: "object",
|
|
528
|
+
properties,
|
|
529
|
+
required: contract.required
|
|
530
|
+
};
|
|
531
|
+
}
|
|
532
|
+
function mcpContractToManifestEntry(name, contract) {
|
|
533
|
+
return {
|
|
534
|
+
name,
|
|
535
|
+
description: contract.description,
|
|
536
|
+
inputSchema: mcpContractToInputSchema(contract),
|
|
537
|
+
internal: Boolean(contract.internal),
|
|
538
|
+
ownerModule: contract.ownerModule,
|
|
539
|
+
ontologyPrimitive: contract.ontologyPrimitive,
|
|
540
|
+
tier: contract.tier
|
|
541
|
+
};
|
|
542
|
+
}
|
|
543
|
+
function isMcpToolAllowed(toolName, options = {}) {
|
|
544
|
+
const contracts = options.contracts ?? buildMcpToolContracts();
|
|
545
|
+
const contract = contracts[toolName];
|
|
546
|
+
const alwaysAllowed = /* @__PURE__ */ new Set([
|
|
547
|
+
...MCP_ALWAYS_ALLOWED_TOOL_NAMES,
|
|
548
|
+
...options.alwaysAllowedTools ?? []
|
|
549
|
+
]);
|
|
550
|
+
if (alwaysAllowed.has(toolName)) {
|
|
551
|
+
return true;
|
|
552
|
+
}
|
|
553
|
+
if (options.sessionType === "user" && contract?.internal) {
|
|
554
|
+
return false;
|
|
555
|
+
}
|
|
556
|
+
if (options.permittedTools !== void 0 && options.permittedTools !== null) {
|
|
557
|
+
return options.permittedTools.some((tool) => tool.toolName === toolName);
|
|
558
|
+
}
|
|
559
|
+
if (options.sessionType === "agent") {
|
|
560
|
+
if (options.allowedTools === null || options.allowedTools === void 0) {
|
|
561
|
+
return false;
|
|
562
|
+
}
|
|
563
|
+
return options.allowedTools.includes(toolName);
|
|
564
|
+
}
|
|
565
|
+
if (options.allowedTools === null || options.allowedTools === void 0) {
|
|
566
|
+
return true;
|
|
567
|
+
}
|
|
568
|
+
return options.allowedTools.includes(toolName);
|
|
569
|
+
}
|
|
570
|
+
function buildMcpToolManifest(args = {}) {
|
|
571
|
+
const contracts = args.contracts ?? buildMcpToolContracts();
|
|
572
|
+
return Object.entries(contracts).filter(([name, contract]) => {
|
|
573
|
+
if (args.visibility?.sessionType === "user" && contract.internal) {
|
|
574
|
+
return false;
|
|
575
|
+
}
|
|
576
|
+
return isMcpToolAllowed(name, {
|
|
577
|
+
...args.visibility,
|
|
578
|
+
contracts
|
|
579
|
+
});
|
|
580
|
+
}).map(([name, contract]) => mcpContractToManifestEntry(name, contract));
|
|
581
|
+
}
|
|
467
582
|
|
|
468
583
|
// src/contracts/index.ts
|
|
469
584
|
__reExport(contracts_exports, mcpTools_exports);
|
|
@@ -723,6 +838,6 @@ var CANONICAL_WORKFLOW_DEFINITIONS = [
|
|
|
723
838
|
}
|
|
724
839
|
];
|
|
725
840
|
|
|
726
|
-
export { BELIEF_STATUSES, BELIEF_TYPE_BONUS, BRANCH_DEPRECATION_MESSAGE, CANONICAL_WORKFLOW_DEFINITIONS, CONFIDENCE_TRIGGERS, CONTEXT_PACK_SCHEMA_VERSION, CONTEXT_PACK_SECTION_KEYS, CONTEXT_RANKING_PROFILES, CONTRADICTION_SEVERITIES, CONTRADICTION_STATUSES, DEFAULT_BELIEF_TYPE_BONUS, DEFAULT_COMPILATION_MODE, DEFAULT_ENTITY_LIMIT, DEFAULT_PRIORITY_SCORE, DEFAULT_RANKING_PROFILE, DEFAULT_SECTION_LIMIT, DEFAULT_SEVERITY_SCORE, DEFAULT_TIER_APPROVAL_MODE, DEFAULT_TOKEN_BUDGET, DEFAULT_WORKFLOW_AUTO_FIX_POLICY, DEFEAT_TYPES, EDGE_TYPES, ENTITY_RANKING_WEIGHTS, EPISTEMIC_EDGE_TYPES, EPISTEMIC_LAYERS, FORK_REASONS, JUDGMENT_TYPES, LENS_PERSPECTIVE_TYPES, LENS_STATUSES, LENS_TASK_TEMPLATE_PRIORITIES, MAX_ENTITY_LIMIT, MAX_SECTION_LIMIT, MAX_TOKEN_BUDGET, MERGE_OUTCOMES, MIN_CONTRADICTION_BUDGET, MIN_TOKEN_BUDGET, MIN_TOKEN_ESTIMATE, MORNING_BRIEF_WORKFLOW_ID, NIGHTLY_RECONCILIATION_WORKFLOW_ID, PRIORITY_SCORES, RANKING_WEIGHTS, REASONING_METHODS, RECENCY_HALF_LIFE_DAYS, RESOLVED_QUESTION_STATUSES, SECTION_BUDGET_RATIOS, SESSION_AUTH_MODES, SESSION_LIFECYCLE_STATUSES, SESSION_PRINCIPAL_TYPES, SEVERITY_SCORES, STRUCTURAL_EDGE_TYPES, TOKENS_PER_WORD, WORKFLOW_ACTION_KINDS, WORKFLOW_APPROVAL_MODES, WORKFLOW_AUTO_FIX_MODES, WORKFLOW_HOOK_EVENTS, WORKFLOW_INTEGRITY_CHECKS, WORKFLOW_MUTATION_TIERS, WORKFLOW_OUTPUT_KINDS, WORKFLOW_PROOF_ARTIFACT_KINDS, WORKFLOW_RUNTIME_SCHEMA_VERSION, WORKFLOW_RUN_STATUSES, WORKFLOW_STAFFING_HINTS, WORKFLOW_TRIGGER_KINDS, WORKTREE_PHASES, buildDeprecatedBranchMetadata, inferLensPerspectiveTypeFromBranchSchema, inferSessionPrincipalType, isLensFilterCriteria, isLucernPrompt, isTaxonomyFilterCriteriaV1, lastDelegator, tool_contracts_exports as mcpToolsContract, migrateBranchToLens, normalizeDelegationChain, sdk_tools_contract_exports as sdkToolsContract, validateFilterCriteria };
|
|
841
|
+
export { BELIEF_STATUSES, BELIEF_TYPE_BONUS, BRANCH_DEPRECATION_MESSAGE, CANONICAL_WORKFLOW_DEFINITIONS, CONFIDENCE_TRIGGERS, CONTEXT_PACK_SCHEMA_VERSION, CONTEXT_PACK_SECTION_KEYS, CONTEXT_RANKING_PROFILES, CONTRADICTION_SEVERITIES, CONTRADICTION_STATUSES, DEFAULT_BELIEF_TYPE_BONUS, DEFAULT_COMPILATION_MODE, DEFAULT_ENTITY_LIMIT, DEFAULT_PRIORITY_SCORE, DEFAULT_RANKING_PROFILE, DEFAULT_SECTION_LIMIT, DEFAULT_SEVERITY_SCORE, DEFAULT_TIER_APPROVAL_MODE, DEFAULT_TOKEN_BUDGET, DEFAULT_WORKFLOW_AUTO_FIX_POLICY, DEFEAT_TYPES, EDGE_TYPES, ENTITY_RANKING_WEIGHTS, EPISTEMIC_EDGE_TYPES, EPISTEMIC_LAYERS, FORK_REASONS, JUDGMENT_TYPES, LENS_PERSPECTIVE_TYPES, LENS_STATUSES, LENS_TASK_TEMPLATE_PRIORITIES, MAX_ENTITY_LIMIT, MAX_SECTION_LIMIT, MAX_TOKEN_BUDGET, MCP_ALWAYS_ALLOWED_TOOL_NAMES, MERGE_OUTCOMES, MIN_CONTRADICTION_BUDGET, MIN_TOKEN_BUDGET, MIN_TOKEN_ESTIMATE, MORNING_BRIEF_WORKFLOW_ID, NIGHTLY_RECONCILIATION_WORKFLOW_ID, PRIORITY_SCORES, RANKING_WEIGHTS, REASONING_METHODS, RECENCY_HALF_LIFE_DAYS, RESOLVED_QUESTION_STATUSES, SECTION_BUDGET_RATIOS, SESSION_AUTH_MODES, SESSION_LIFECYCLE_STATUSES, SESSION_PRINCIPAL_TYPES, SEVERITY_SCORES, STRUCTURAL_EDGE_TYPES, TOKENS_PER_WORD, WORKFLOW_ACTION_KINDS, WORKFLOW_APPROVAL_MODES, WORKFLOW_AUTO_FIX_MODES, WORKFLOW_HOOK_EVENTS, WORKFLOW_INTEGRITY_CHECKS, WORKFLOW_MUTATION_TIERS, WORKFLOW_OUTPUT_KINDS, WORKFLOW_PROOF_ARTIFACT_KINDS, WORKFLOW_RUNTIME_SCHEMA_VERSION, WORKFLOW_RUN_STATUSES, WORKFLOW_STAFFING_HINTS, WORKFLOW_TRIGGER_KINDS, WORKTREE_PHASES, buildDeprecatedBranchMetadata, buildMcpToolContracts, buildMcpToolManifest, getMcpToolExposure, inferLensPerspectiveTypeFromBranchSchema, inferSessionPrincipalType, isLensFilterCriteria, isLucernPrompt, isMcpToolAllowed, isTaxonomyFilterCriteriaV1, lastDelegator, mcpContractToInputSchema, mcpContractToManifestEntry, tool_contracts_exports as mcpToolsContract, migrateBranchToLens, normalizeDelegationChain, sdk_tools_contract_exports as sdkToolsContract, validateFilterCriteria };
|
|
727
842
|
//# sourceMappingURL=index.js.map
|
|
728
843
|
//# sourceMappingURL=index.js.map
|