@kernlang/core 3.5.9-canary.220.1.c398cd95 → 4.0.0

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 (104) hide show
  1. package/dist/capability-matrix.js +8 -6
  2. package/dist/capability-matrix.js.map +1 -1
  3. package/dist/closure-eligibility.d.ts +104 -0
  4. package/dist/closure-eligibility.js +443 -0
  5. package/dist/closure-eligibility.js.map +1 -0
  6. package/dist/closure-python-lowering.d.ts +26 -0
  7. package/dist/closure-python-lowering.js +132 -22
  8. package/dist/closure-python-lowering.js.map +1 -1
  9. package/dist/codegen/body-ts.js +13 -0
  10. package/dist/codegen/body-ts.js.map +1 -1
  11. package/dist/codegen/type-system.js +50 -3
  12. package/dist/codegen/type-system.js.map +1 -1
  13. package/dist/codegen-core.js +29 -0
  14. package/dist/codegen-core.js.map +1 -1
  15. package/dist/codegen-expression.js +7 -0
  16. package/dist/codegen-expression.js.map +1 -1
  17. package/dist/constructor-super.d.ts +34 -0
  18. package/dist/constructor-super.js +122 -0
  19. package/dist/constructor-super.js.map +1 -0
  20. package/dist/core-contracts/boolean.d.ts +147 -0
  21. package/dist/core-contracts/boolean.js +110 -0
  22. package/dist/core-contracts/boolean.js.map +1 -0
  23. package/dist/core-contracts/function.d.ts +6 -0
  24. package/dist/core-contracts/function.js +7 -0
  25. package/dist/core-contracts/function.js.map +1 -0
  26. package/dist/core-contracts/index.d.ts +1032 -0
  27. package/dist/core-contracts/index.js +30 -0
  28. package/dist/core-contracts/index.js.map +1 -0
  29. package/dist/core-contracts/list.d.ts +87 -0
  30. package/dist/core-contracts/list.js +54 -0
  31. package/dist/core-contracts/list.js.map +1 -0
  32. package/dist/core-contracts/nullish.d.ts +12 -0
  33. package/dist/core-contracts/nullish.js +13 -0
  34. package/dist/core-contracts/nullish.js.map +1 -0
  35. package/dist/core-contracts/number.d.ts +291 -0
  36. package/dist/core-contracts/number.js +214 -0
  37. package/dist/core-contracts/number.js.map +1 -0
  38. package/dist/core-contracts/record.d.ts +60 -0
  39. package/dist/core-contracts/record.js +32 -0
  40. package/dist/core-contracts/record.js.map +1 -0
  41. package/dist/core-contracts/schema.d.ts +71 -0
  42. package/dist/core-contracts/schema.js +98 -0
  43. package/dist/core-contracts/schema.js.map +1 -0
  44. package/dist/core-contracts/semantics.d.ts +7 -0
  45. package/dist/core-contracts/semantics.js +221 -0
  46. package/dist/core-contracts/semantics.js.map +1 -0
  47. package/dist/core-contracts/string.d.ts +414 -0
  48. package/dist/core-contracts/string.js +335 -0
  49. package/dist/core-contracts/string.js.map +1 -0
  50. package/dist/core-runtime/contract-adapter.d.ts +8 -0
  51. package/dist/core-runtime/contract-adapter.js +73 -0
  52. package/dist/core-runtime/contract-adapter.js.map +1 -0
  53. package/dist/core-runtime/index.d.ts +109 -0
  54. package/dist/core-runtime/index.js +1946 -0
  55. package/dist/core-runtime/index.js.map +1 -0
  56. package/dist/core-runtime/shape-validator.d.ts +61 -0
  57. package/dist/core-runtime/shape-validator.js +564 -0
  58. package/dist/core-runtime/shape-validator.js.map +1 -0
  59. package/dist/core-runtime/value-brand.d.ts +2 -0
  60. package/dist/core-runtime/value-brand.js +6 -0
  61. package/dist/core-runtime/value-brand.js.map +1 -0
  62. package/dist/decompiler.js +46 -0
  63. package/dist/decompiler.js.map +1 -1
  64. package/dist/eligibility-taxonomy.d.ts +58 -0
  65. package/dist/eligibility-taxonomy.generated.d.ts +472 -0
  66. package/dist/eligibility-taxonomy.generated.js +566 -0
  67. package/dist/eligibility-taxonomy.generated.js.map +1 -0
  68. package/dist/eligibility-taxonomy.js +55 -0
  69. package/dist/eligibility-taxonomy.js.map +1 -0
  70. package/dist/index.d.ts +19 -2
  71. package/dist/index.js +17 -1
  72. package/dist/index.js.map +1 -1
  73. package/dist/instanceof-rhs.d.ts +53 -0
  74. package/dist/instanceof-rhs.js +74 -0
  75. package/dist/instanceof-rhs.js.map +1 -0
  76. package/dist/ir/semantics/lambda.js +9 -1
  77. package/dist/ir/semantics/lambda.js.map +1 -1
  78. package/dist/native-eligibility-ast.d.ts +5 -0
  79. package/dist/native-eligibility-ast.js +242 -63
  80. package/dist/native-eligibility-ast.js.map +1 -1
  81. package/dist/parser-expression.d.ts +1 -1
  82. package/dist/parser-expression.js +90 -1
  83. package/dist/parser-expression.js.map +1 -1
  84. package/dist/rag-assertions.d.ts +3 -0
  85. package/dist/rag-assertions.js +15 -0
  86. package/dist/rag-assertions.js.map +1 -0
  87. package/dist/rag-runtime.d.ts +169 -0
  88. package/dist/rag-runtime.js +823 -0
  89. package/dist/rag-runtime.js.map +1 -0
  90. package/dist/schema.d.ts +1 -0
  91. package/dist/schema.js +197 -2
  92. package/dist/schema.js.map +1 -1
  93. package/dist/semantic-substrate.d.ts +108 -0
  94. package/dist/semantic-substrate.js +263 -0
  95. package/dist/semantic-substrate.js.map +1 -0
  96. package/dist/semantic-validator.d.ts +332 -0
  97. package/dist/semantic-validator.js +3387 -0
  98. package/dist/semantic-validator.js.map +1 -1
  99. package/dist/spec.d.ts +2 -2
  100. package/dist/spec.js +15 -1
  101. package/dist/spec.js.map +1 -1
  102. package/dist/value-ir.d.ts +11 -1
  103. package/dist/value-ir.js.map +1 -1
  104. package/package.json +5 -1
@@ -0,0 +1,169 @@
1
+ import type { RagSemanticAnswerContractFact, RagSemanticEvalFact, RagSemanticMcpRetrievalFact } from './semantic-validator.js';
2
+ export interface RagCitation {
3
+ readonly uri?: string;
4
+ readonly locator?: string;
5
+ }
6
+ export interface RagChunkInput {
7
+ readonly id: string;
8
+ readonly text: string;
9
+ readonly source: string;
10
+ readonly citation?: RagCitation;
11
+ readonly metadata?: Record<string, unknown>;
12
+ }
13
+ export interface RetrievedChunk {
14
+ readonly id: string;
15
+ readonly text: string;
16
+ readonly score: number;
17
+ readonly source: string;
18
+ readonly citation: RagCitation;
19
+ readonly metadata?: Record<string, unknown>;
20
+ }
21
+ export interface RetrieveOptions {
22
+ readonly topK?: number;
23
+ readonly minScore?: number;
24
+ }
25
+ export interface RetrieveResult {
26
+ readonly query: string;
27
+ readonly chunks: readonly RetrievedChunk[];
28
+ }
29
+ export type InMemoryRagRetriever = (query: string, options?: RetrieveOptions) => RetrieveResult;
30
+ export type RagContractRetriever = (query: string, options?: RetrieveOptions) => RetrieveResult;
31
+ export declare const MAX_IN_MEMORY_RAG_TOP_K = 1000;
32
+ export type RagRuntimeProvenanceStatus = 'success' | 'retriever_error' | 'eval_failed';
33
+ export interface RagRuntimeProvenance {
34
+ readonly runId: string;
35
+ readonly retrieverName?: string;
36
+ readonly targetKind?: 'retriever' | 'rag';
37
+ readonly targetName?: string;
38
+ readonly query: string;
39
+ readonly retrieveOptions: RetrieveOptions;
40
+ readonly citationsRequired: boolean;
41
+ readonly startedAtMs: number;
42
+ readonly durationMs: number;
43
+ readonly chunkCount: number;
44
+ readonly chunkHashes: readonly string[];
45
+ readonly sources: readonly string[];
46
+ readonly contractStatus: RagRuntimeProvenanceStatus;
47
+ }
48
+ export interface RagRuntimeProvenanceOptions {
49
+ readonly runId?: string;
50
+ readonly retrieverName?: string;
51
+ readonly targetKind?: 'retriever' | 'rag';
52
+ readonly targetName?: string;
53
+ readonly retrieveOptions?: RetrieveOptions;
54
+ readonly citationsRequired?: boolean;
55
+ readonly startedAtMs?: number;
56
+ readonly durationMs?: number;
57
+ readonly contractStatus?: RagRuntimeProvenanceStatus;
58
+ }
59
+ export interface ProvenancedRetrieveResult extends RetrieveResult {
60
+ readonly provenance: RagRuntimeProvenance;
61
+ }
62
+ export interface RagMcpRetrieveProvenanceMapping {
63
+ readonly outputShape?: string;
64
+ readonly outputItemShape?: string;
65
+ readonly citationField?: string;
66
+ readonly sourceField?: string;
67
+ readonly scoreField?: string;
68
+ readonly provenance?: string;
69
+ readonly citationsRequired: boolean;
70
+ readonly contractStatus: RagSemanticMcpRetrievalFact['contractStatus'];
71
+ readonly compatible: boolean;
72
+ }
73
+ export type RagAnswerContractStatus = 'grounded' | 'partially_grounded' | 'ungrounded' | 'invalid';
74
+ export type RagAnswerContractDiagnosticCode = 'ANSWER_EMPTY' | 'QUERY_MISMATCH' | 'RETRIEVER_ERROR' | 'PROVENANCE_MISMATCH' | 'SPAN_INVALID' | 'SPAN_UNGROUNDED' | 'CHUNK_REF_UNKNOWN' | 'CITATION_REQUIRED' | 'GROUNDING_BELOW_THRESHOLD';
75
+ export interface RagAnswerGroundingSpan {
76
+ readonly start: number;
77
+ readonly end: number;
78
+ readonly chunkIds: readonly string[];
79
+ readonly required?: boolean;
80
+ }
81
+ export interface RagAnswerContract {
82
+ readonly id?: string;
83
+ readonly ragName?: string;
84
+ readonly prompt?: string;
85
+ readonly query: string;
86
+ readonly answer: string;
87
+ readonly retrieval: RetrieveResult | ProvenancedRetrieveResult;
88
+ readonly provenance?: RagRuntimeProvenance;
89
+ readonly groundingSpans?: readonly RagAnswerGroundingSpan[];
90
+ readonly requireCitations?: boolean;
91
+ readonly minGroundingCoverage?: number;
92
+ }
93
+ export interface RagAnswerContractDiagnostic {
94
+ readonly code: RagAnswerContractDiagnosticCode;
95
+ readonly message: string;
96
+ readonly spanIndex?: number;
97
+ readonly chunkId?: string;
98
+ }
99
+ export interface RagAnswerContractResult {
100
+ readonly id?: string;
101
+ readonly ragName?: string;
102
+ readonly query: string;
103
+ readonly passed: boolean;
104
+ readonly status: RagAnswerContractStatus;
105
+ readonly groundingCoverage: number;
106
+ readonly groundedChars: number;
107
+ readonly answerChars: number;
108
+ readonly citedChunkIds: readonly string[];
109
+ readonly sources: readonly string[];
110
+ readonly provenance?: RagRuntimeProvenance;
111
+ readonly diagnostics: readonly RagAnswerContractDiagnostic[];
112
+ }
113
+ export type RagEvalAssertionCode = 'PASS' | 'ASSERTION_FAIL' | 'INVALID_ASSERTION' | 'RETRIEVER_ERROR' | 'UNSUPPORTED_ASSERTION';
114
+ export interface RagEvalContractOptions {
115
+ readonly sourceGlobCaseSensitive?: boolean;
116
+ readonly now?: () => number;
117
+ }
118
+ export interface RagEvalAssertionResult {
119
+ readonly kind: string;
120
+ readonly required?: boolean;
121
+ readonly passed: boolean;
122
+ readonly code: RagEvalAssertionCode;
123
+ readonly message: string;
124
+ readonly expected?: unknown;
125
+ readonly actual?: unknown;
126
+ }
127
+ export interface RagEvalCaseResult {
128
+ readonly name: string;
129
+ readonly query: string;
130
+ readonly passed: boolean;
131
+ readonly durationMs: number;
132
+ readonly retrieveOptions: RetrieveOptions;
133
+ readonly chunks: readonly RetrievedChunk[];
134
+ readonly assertions: readonly RagEvalAssertionResult[];
135
+ }
136
+ export interface RagEvalContractResult {
137
+ readonly passed: boolean;
138
+ readonly ragName?: string;
139
+ readonly evalName?: string;
140
+ readonly caseCount: number;
141
+ readonly passedCaseCount: number;
142
+ readonly assertionCount: number;
143
+ readonly passedAssertionCount: number;
144
+ readonly durationMs: number;
145
+ readonly cases: readonly RagEvalCaseResult[];
146
+ }
147
+ export interface RagSemanticAnswerContractOptions {
148
+ readonly provenance?: RagRuntimeProvenance;
149
+ }
150
+ export declare class InMemoryRagCorpus {
151
+ private readonly chunks;
152
+ constructor(chunks?: Iterable<RagChunkInput>);
153
+ get size(): number;
154
+ add(chunk: RagChunkInput): void;
155
+ get(id: string): RagChunkInput | undefined;
156
+ all(): RagChunkInput[];
157
+ retrieve(query: string, options?: RetrieveOptions): RetrieveResult;
158
+ }
159
+ export declare function createInMemoryRetriever(corpus: InMemoryRagCorpus): InMemoryRagRetriever;
160
+ export declare function retrieveFromInMemoryCorpus(corpus: InMemoryRagCorpus, query: string, options?: RetrieveOptions): RetrieveResult;
161
+ export declare function createRagRuntimeProvenance(result: RetrieveResult, options?: RagRuntimeProvenanceOptions): RagRuntimeProvenance;
162
+ export declare function withRagRuntimeProvenance(result: RetrieveResult, options?: RagRuntimeProvenanceOptions): ProvenancedRetrieveResult;
163
+ export declare function ragMcpRetrieveProvenanceMapping(retrieval: RagSemanticMcpRetrievalFact | null | undefined): RagMcpRetrieveProvenanceMapping;
164
+ export declare function evaluateRagAnswerContract(contract: RagAnswerContract): RagAnswerContractResult;
165
+ export declare function ragAnswerContractFromSemanticFact(fact: RagSemanticAnswerContractFact, retrieval: RetrieveResult | ProvenancedRetrieveResult, options?: RagSemanticAnswerContractOptions): RagAnswerContract;
166
+ export declare function evaluateRagSemanticAnswerContract(fact: RagSemanticAnswerContractFact, retrieval: RetrieveResult | ProvenancedRetrieveResult, options?: RagSemanticAnswerContractOptions): RagAnswerContractResult;
167
+ export declare function evaluateRagEvalContract(evaluation: RagSemanticEvalFact, retriever: RagContractRetriever, options?: RagEvalContractOptions): RagEvalContractResult;
168
+ export declare function hashRetrievedChunkText(text: string): string;
169
+ export declare function tokenizeForRetrieval(value: string): ReadonlySet<string>;