@lucern/sdk 0.3.0-alpha.0 → 0.3.0-alpha.10

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.
Files changed (221) hide show
  1. package/CHANGELOG.md +3 -0
  2. package/README.md +84 -25
  3. package/dist/adminClient.d.ts +10 -8
  4. package/dist/adminClient.js +242 -39
  5. package/dist/adminClient.js.map +1 -1
  6. package/dist/answersClient.d.ts +2 -0
  7. package/dist/answersClient.js +221 -11
  8. package/dist/answersClient.js.map +1 -1
  9. package/dist/audience/index.d.ts +2 -1
  10. package/dist/audience/index.js +1 -3
  11. package/dist/audience/index.js.map +1 -1
  12. package/dist/audiencesClient.d.ts +18 -16
  13. package/dist/audiencesClient.js +297 -90
  14. package/dist/audiencesClient.js.map +1 -1
  15. package/dist/auditClient.d.ts +2 -0
  16. package/dist/auditClient.js +227 -15
  17. package/dist/auditClient.js.map +1 -1
  18. package/dist/authContext.d.ts +56 -0
  19. package/dist/authContext.js +170 -0
  20. package/dist/authContext.js.map +1 -0
  21. package/dist/authDeviceClient.d.ts +49 -0
  22. package/dist/authDeviceClient.js +121 -0
  23. package/dist/authDeviceClient.js.map +1 -0
  24. package/dist/beliefs/index.d.ts +31 -11
  25. package/dist/beliefs/index.js +3347 -1109
  26. package/dist/beliefs/index.js.map +1 -1
  27. package/dist/beliefsClient.d.ts +18 -31
  28. package/dist/beliefsClient.js +264 -97
  29. package/dist/beliefsClient.js.map +1 -1
  30. package/dist/boundaryClientSurface.d.ts +20 -0
  31. package/dist/boundaryClientSurface.js +73 -0
  32. package/dist/boundaryClientSurface.js.map +1 -0
  33. package/dist/client.d.ts +2969 -27
  34. package/dist/client.js +3347 -1109
  35. package/dist/client.js.map +1 -1
  36. package/dist/clientHelpers.d.ts +48 -0
  37. package/dist/clientHelpers.js +137 -0
  38. package/dist/clientHelpers.js.map +1 -0
  39. package/dist/contextClient.d.ts +6 -3
  40. package/dist/contextClient.js +252 -30
  41. package/dist/contextClient.js.map +1 -1
  42. package/dist/contextFacade.js +25 -16
  43. package/dist/contextFacade.js.map +1 -1
  44. package/dist/contextPackCompiler.js +19 -30
  45. package/dist/contextPackCompiler.js.map +1 -1
  46. package/dist/contextPackPolicy.js +7 -17
  47. package/dist/contextPackPolicy.js.map +1 -1
  48. package/dist/contextTypes.d.ts +2 -0
  49. package/dist/contracts/api-enums.contract.d.ts +1 -1
  50. package/dist/contracts/api-enums.contract.js.map +1 -1
  51. package/dist/contracts/index.d.ts +1 -0
  52. package/dist/contracts/index.js +109 -5
  53. package/dist/contracts/index.js.map +1 -1
  54. package/dist/contracts/lens-filter.contract.js +4 -3
  55. package/dist/contracts/lens-filter.contract.js.map +1 -1
  56. package/dist/contracts/lens-workflow.contract.js +4 -3
  57. package/dist/contracts/lens-workflow.contract.js.map +1 -1
  58. package/dist/contracts/lensFilter.js +4 -3
  59. package/dist/contracts/lensFilter.js.map +1 -1
  60. package/dist/contracts/lensWorkflow.js +4 -3
  61. package/dist/contracts/lensWorkflow.js.map +1 -1
  62. package/dist/contracts/mcpTools.d.ts +46 -1
  63. package/dist/contracts/mcpTools.js +102 -0
  64. package/dist/contracts/mcpTools.js.map +1 -1
  65. package/dist/contracts/workflow-runtime.contract.js +1 -1
  66. package/dist/contracts/workflow-runtime.contract.js.map +1 -1
  67. package/dist/contracts/workflowRuntime.js +1 -1
  68. package/dist/contracts/workflowRuntime.js.map +1 -1
  69. package/dist/contradictions/index.d.ts +24 -4
  70. package/dist/contradictions/index.js +3347 -1109
  71. package/dist/contradictions/index.js.map +1 -1
  72. package/dist/coreClient.d.ts +11 -1
  73. package/dist/coreClient.js +222 -14
  74. package/dist/coreClient.js.map +1 -1
  75. package/dist/decisions/index.d.ts +34 -14
  76. package/dist/decisions/index.js +3347 -1109
  77. package/dist/decisions/index.js.map +1 -1
  78. package/dist/decisionsClient.d.ts +6 -12
  79. package/dist/decisionsClient.js +235 -37
  80. package/dist/decisionsClient.js.map +1 -1
  81. package/dist/edges/index.d.ts +47 -87
  82. package/dist/edges/index.js +3347 -1109
  83. package/dist/edges/index.js.map +1 -1
  84. package/dist/embeddingsClient.d.ts +106 -0
  85. package/dist/embeddingsClient.js +731 -0
  86. package/dist/embeddingsClient.js.map +1 -0
  87. package/dist/eventingClient.d.ts +96 -0
  88. package/dist/eventingClient.js +728 -0
  89. package/dist/eventingClient.js.map +1 -0
  90. package/dist/events.js +6 -3
  91. package/dist/events.js.map +1 -1
  92. package/dist/eventsCore.d.ts +3 -1
  93. package/dist/eventsCore.js +222 -14
  94. package/dist/eventsCore.js.map +1 -1
  95. package/dist/evidence/index.d.ts +25 -4
  96. package/dist/evidence/index.js +3347 -1109
  97. package/dist/evidence/index.js.map +1 -1
  98. package/dist/evidenceClient.d.ts +2 -0
  99. package/dist/evidenceClient.js +222 -14
  100. package/dist/evidenceClient.js.map +1 -1
  101. package/dist/facade/context.d.ts +2 -1
  102. package/dist/facade/context.js +25 -16
  103. package/dist/facade/context.js.map +1 -1
  104. package/dist/functionSurface.d.ts +143 -0
  105. package/dist/functionSurface.js +1204 -0
  106. package/dist/functionSurface.js.map +1 -0
  107. package/dist/functionSurfaceClient.d.ts +8 -0
  108. package/dist/functionSurfaceClient.js +1204 -0
  109. package/dist/functionSurfaceClient.js.map +1 -0
  110. package/dist/gatewayFacades.d.ts +81 -52
  111. package/dist/gatewayFacades.js +483 -169
  112. package/dist/gatewayFacades.js.map +1 -1
  113. package/dist/graphAnalysisClient.d.ts +192 -0
  114. package/dist/graphAnalysisClient.js +799 -0
  115. package/dist/graphAnalysisClient.js.map +1 -0
  116. package/dist/graphClient.d.ts +7 -13
  117. package/dist/graphClient.js +244 -45
  118. package/dist/graphClient.js.map +1 -1
  119. package/dist/graphIntel.d.ts +3 -0
  120. package/dist/graphIntel.js +3 -0
  121. package/dist/graphIntel.js.map +1 -0
  122. package/dist/graphIntelligence.d.ts +2 -0
  123. package/dist/graphIntelligence.js +47 -0
  124. package/dist/graphIntelligence.js.map +1 -0
  125. package/dist/graphRecommendationsClient.d.ts +56 -0
  126. package/dist/graphRecommendationsClient.js +664 -0
  127. package/dist/graphRecommendationsClient.js.map +1 -0
  128. package/dist/graphStateClassifierClient.d.ts +73 -0
  129. package/dist/graphStateClassifierClient.js +716 -0
  130. package/dist/graphStateClassifierClient.js.map +1 -0
  131. package/dist/harnessClient.d.ts +15 -24
  132. package/dist/harnessClient.js +235 -42
  133. package/dist/harnessClient.js.map +1 -1
  134. package/dist/identityClient.d.ts +97 -11
  135. package/dist/identityClient.js +409 -33
  136. package/dist/identityClient.js.map +1 -1
  137. package/dist/index.d.ts +29 -6
  138. package/dist/index.js +3936 -1155
  139. package/dist/index.js.map +1 -1
  140. package/dist/infisicalRuntime.d.ts +42 -0
  141. package/dist/infisicalRuntime.js +314 -0
  142. package/dist/infisicalRuntime.js.map +1 -0
  143. package/dist/jobsClient.d.ts +98 -0
  144. package/dist/jobsClient.js +726 -0
  145. package/dist/jobsClient.js.map +1 -0
  146. package/dist/learningClient.d.ts +8 -6
  147. package/dist/learningClient.js +252 -44
  148. package/dist/learningClient.js.map +1 -1
  149. package/dist/lenses/index.d.ts +82 -42
  150. package/dist/lenses/index.js +3347 -1109
  151. package/dist/lenses/index.js.map +1 -1
  152. package/dist/mcpClient.d.ts +28 -0
  153. package/dist/mcpClient.js +668 -0
  154. package/dist/mcpClient.js.map +1 -0
  155. package/dist/modelRuntimeClient.d.ts +72 -0
  156. package/dist/modelRuntimeClient.js +704 -0
  157. package/dist/modelRuntimeClient.js.map +1 -0
  158. package/dist/nodes/index.d.ts +63 -21
  159. package/dist/nodes/index.js +3347 -1109
  160. package/dist/nodes/index.js.map +1 -1
  161. package/dist/ontologies/index.d.ts +53 -32
  162. package/dist/ontologies/index.js +3347 -1109
  163. package/dist/ontologies/index.js.map +1 -1
  164. package/dist/ontologyClient.d.ts +19 -25
  165. package/dist/ontologyClient.js +258 -40
  166. package/dist/ontologyClient.js.map +1 -1
  167. package/dist/ontologyLinksClient.d.ts +71 -0
  168. package/dist/ontologyLinksClient.js +697 -0
  169. package/dist/ontologyLinksClient.js.map +1 -0
  170. package/dist/opinion.d.ts +2 -2
  171. package/dist/opinion.js +4 -4
  172. package/dist/opinion.js.map +1 -1
  173. package/dist/orgGraphSearchClient.d.ts +85 -0
  174. package/dist/orgGraphSearchClient.js +672 -0
  175. package/dist/orgGraphSearchClient.js.map +1 -0
  176. package/dist/packsClient.d.ts +11 -23
  177. package/dist/packsClient.js +234 -46
  178. package/dist/packsClient.js.map +1 -1
  179. package/dist/policyClient.d.ts +13 -10
  180. package/dist/policyClient.js +243 -25
  181. package/dist/policyClient.js.map +1 -1
  182. package/dist/questions/index.d.ts +24 -4
  183. package/dist/questions/index.js +3347 -1109
  184. package/dist/questions/index.js.map +1 -1
  185. package/dist/realtime/index.d.ts +1 -1
  186. package/dist/reportsClient.d.ts +9 -7
  187. package/dist/reportsClient.js +281 -53
  188. package/dist/reportsClient.js.map +1 -1
  189. package/dist/schemaClient.d.ts +5 -3
  190. package/dist/schemaClient.js +235 -29
  191. package/dist/schemaClient.js.map +1 -1
  192. package/dist/sdkSurface.d.ts +8 -3
  193. package/dist/sdkSurface.js +10 -6
  194. package/dist/sdkSurface.js.map +1 -1
  195. package/dist/sourcesClient.d.ts +2 -0
  196. package/dist/sourcesClient.js +222 -14
  197. package/dist/sourcesClient.js.map +1 -1
  198. package/dist/telemetryClient.d.ts +94 -0
  199. package/dist/telemetryClient.js +741 -0
  200. package/dist/telemetryClient.js.map +1 -0
  201. package/dist/toolRegistryClient.d.ts +115 -0
  202. package/dist/toolRegistryClient.js +767 -0
  203. package/dist/toolRegistryClient.js.map +1 -0
  204. package/dist/topics/index.d.ts +35 -9
  205. package/dist/topics/index.js +3349 -1109
  206. package/dist/topics/index.js.map +1 -1
  207. package/dist/topicsClient.d.ts +4 -0
  208. package/dist/topicsClient.js +237 -24
  209. package/dist/topicsClient.js.map +1 -1
  210. package/dist/types.d.ts +12 -7
  211. package/dist/version.d.ts +1 -1
  212. package/dist/version.js +1 -1
  213. package/dist/version.js.map +1 -1
  214. package/dist/workflowClient.d.ts +76 -45
  215. package/dist/workflowClient.js +262 -65
  216. package/dist/workflowClient.js.map +1 -1
  217. package/dist/worktrees/index.d.ts +78 -39
  218. package/dist/worktrees/index.js +3347 -1109
  219. package/dist/worktrees/index.js.map +1 -1
  220. package/package.json +13 -3
  221. package/dist/client-DAuKnDlx.d.ts +0 -2547
@@ -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 = normalizeText(text);
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 = nowMs()) {
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 = normalizeText(priority || "");
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 = normalizeText(severity || "");
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 = normalizeText(beliefType || "");
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, nowMs() - ts) / (1e3 * 60 * 60 * 24);
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
- ) : computeBaselineScore(row, queryTokens);
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"]}
@@ -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: lucern/packages/reasoning-kernel/src/adapters/schema/spine/
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.
@@ -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: lucern/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 \"empirical\",\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"]}
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: 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 \"empirical\",\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';
@@ -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,
@@ -337,9 +345,7 @@ var MIN_TOKEN_ESTIMATE = 8;
337
345
 
338
346
  // src/contracts/lens-filter.contract.ts
339
347
  function isLensFilterCriteria(value) {
340
- if (!value || typeof value !== "object") return false;
341
- const obj = value;
342
- return typeof obj.version === "number" && typeof obj.kind === "string";
348
+ return isRecord(value) && typeof value.version === "number" && typeof value.kind === "string";
343
349
  }
344
350
  function isTaxonomyFilterCriteriaV1(value) {
345
351
  if (!isLensFilterCriteria(value)) return false;
@@ -368,6 +374,9 @@ function validateFilterCriteria(value) {
368
374
  ]
369
375
  };
370
376
  }
377
+ function isRecord(value) {
378
+ return value !== null && typeof value === "object" && !Array.isArray(value);
379
+ }
371
380
  function validateTaxonomyFilterV1(criteria) {
372
381
  const errors = [];
373
382
  if (!Array.isArray(criteria.entityTypeFilters)) {
@@ -457,6 +466,15 @@ function buildDeprecatedBranchMetadata(args) {
457
466
 
458
467
  // src/contracts/mcpTools.ts
459
468
  var mcpTools_exports = {};
469
+ __export(mcpTools_exports, {
470
+ MCP_ALWAYS_ALLOWED_TOOL_NAMES: () => MCP_ALWAYS_ALLOWED_TOOL_NAMES,
471
+ buildMcpToolContracts: () => buildMcpToolContracts,
472
+ buildMcpToolManifest: () => buildMcpToolManifest,
473
+ getMcpToolExposure: () => getMcpToolExposure,
474
+ isMcpToolAllowed: () => isMcpToolAllowed,
475
+ mcpContractToInputSchema: () => mcpContractToInputSchema,
476
+ mcpContractToManifestEntry: () => mcpContractToManifestEntry
477
+ });
460
478
 
461
479
  // src/contracts/tool-contracts.ts
462
480
  var tool_contracts_exports = {};
@@ -464,6 +482,92 @@ __reExport(tool_contracts_exports, tool_contracts_star);
464
482
 
465
483
  // src/contracts/mcpTools.ts
466
484
  __reExport(mcpTools_exports, tool_contracts_exports);
485
+ var OPERATION_MANIFEST = LUCERN_OPERATION_MANIFEST;
486
+ var MCP_ALWAYS_ALLOWED_TOOL_NAMES = ["identity_whoami"];
487
+ function getMcpToolExposure(toolName) {
488
+ return OPERATION_MANIFEST[toolName]?.surfaces.mcp ?? "none";
489
+ }
490
+ function decorateMcpToolContract(toolName, contract) {
491
+ const exposure = getMcpToolExposure(toolName);
492
+ if (exposure === "none") {
493
+ return null;
494
+ }
495
+ return exposure === "internal" || contract.internal ? { ...contract, internal: true } : contract;
496
+ }
497
+ function buildMcpToolContracts(options = {}) {
498
+ const merged = {
499
+ ...tool_contracts_exports.MCP_TOOL_CONTRACTS,
500
+ ...options.extensions ?? {}
501
+ };
502
+ return Object.fromEntries(
503
+ Object.entries(merged).flatMap(([toolName, contract]) => {
504
+ const decorated = decorateMcpToolContract(toolName, contract);
505
+ return decorated ? [[toolName, decorated]] : [];
506
+ })
507
+ );
508
+ }
509
+ function mcpContractToInputSchema(contract) {
510
+ const properties = {};
511
+ for (const [paramName, paramDef] of Object.entries(contract.parameters)) {
512
+ const prop = {
513
+ type: paramDef.type,
514
+ description: paramDef.description
515
+ };
516
+ if (paramDef.enum) {
517
+ prop.enum = paramDef.enum;
518
+ }
519
+ properties[paramName] = prop;
520
+ }
521
+ return {
522
+ type: "object",
523
+ properties,
524
+ required: contract.required
525
+ };
526
+ }
527
+ function mcpContractToManifestEntry(name, contract) {
528
+ return {
529
+ name,
530
+ description: contract.description,
531
+ inputSchema: mcpContractToInputSchema(contract),
532
+ internal: Boolean(contract.internal),
533
+ ownerModule: contract.ownerModule,
534
+ ontologyPrimitive: contract.ontologyPrimitive,
535
+ tier: contract.tier
536
+ };
537
+ }
538
+ function isMcpToolAllowed(toolName, options = {}) {
539
+ const contracts = options.contracts ?? buildMcpToolContracts();
540
+ const contract = contracts[toolName];
541
+ const alwaysAllowed = /* @__PURE__ */ new Set([
542
+ ...MCP_ALWAYS_ALLOWED_TOOL_NAMES,
543
+ ...options.alwaysAllowedTools ?? []
544
+ ]);
545
+ if (alwaysAllowed.has(toolName)) {
546
+ return true;
547
+ }
548
+ if (options.sessionType === "user" && contract?.internal) {
549
+ return false;
550
+ }
551
+ if (options.permittedTools !== void 0 && options.permittedTools !== null) {
552
+ return options.permittedTools.some((tool) => tool.toolName === toolName);
553
+ }
554
+ if (options.allowedTools === null || options.allowedTools === void 0) {
555
+ return true;
556
+ }
557
+ return options.allowedTools.includes(toolName);
558
+ }
559
+ function buildMcpToolManifest(args = {}) {
560
+ const contracts = args.contracts ?? buildMcpToolContracts();
561
+ return Object.entries(contracts).filter(([name, contract]) => {
562
+ if (args.visibility?.sessionType === "user" && contract.internal) {
563
+ return false;
564
+ }
565
+ return isMcpToolAllowed(name, {
566
+ ...args.visibility,
567
+ contracts
568
+ });
569
+ }).map(([name, contract]) => mcpContractToManifestEntry(name, contract));
570
+ }
467
571
 
468
572
  // src/contracts/index.ts
469
573
  __reExport(contracts_exports, mcpTools_exports);
@@ -617,7 +721,7 @@ var CANONICAL_WORKFLOW_DEFINITIONS = [
617
721
  actionId: "run_integrity_checks",
618
722
  kind: "integrity_check",
619
723
  title: "Run integrity checks",
620
- description: "Evaluate dependency references, blockers, execution bands, shaping coverage, and completed gates.",
724
+ description: "Evaluate dependency references, blockers, campaign/lane placement, shaping coverage, and completed gates.",
621
725
  mutationTier: "read_only",
622
726
  produces: ["structured_payload"],
623
727
  idempotent: true,
@@ -723,6 +827,6 @@ var CANONICAL_WORKFLOW_DEFINITIONS = [
723
827
  }
724
828
  ];
725
829
 
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 };
830
+ 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
831
  //# sourceMappingURL=index.js.map
728
832
  //# sourceMappingURL=index.js.map