@hviana/sema 0.1.3 → 0.1.5

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 (123) hide show
  1. package/dist/example/demo.js +25 -25
  2. package/dist/example/train_base.d.ts +21 -19
  3. package/dist/example/train_base.js +1952 -1684
  4. package/dist/src/alphabet.d.ts +3 -3
  5. package/dist/src/alphabet.js +27 -24
  6. package/dist/src/alu/src/alu.d.ts +194 -169
  7. package/dist/src/alu/src/alu.js +414 -374
  8. package/dist/src/alu/src/expr.d.ts +43 -36
  9. package/dist/src/alu/src/expr.js +278 -252
  10. package/dist/src/alu/src/index.d.ts +98 -9
  11. package/dist/src/alu/src/index.js +63 -9
  12. package/dist/src/alu/src/kernel-arith.d.ts +5 -1
  13. package/dist/src/alu/src/kernel-arith.js +285 -195
  14. package/dist/src/alu/src/kernel-bits.d.ts +5 -1
  15. package/dist/src/alu/src/kernel-bits.js +115 -81
  16. package/dist/src/alu/src/kernel-logic.js +63 -33
  17. package/dist/src/alu/src/kernel-nd.js +195 -155
  18. package/dist/src/alu/src/kernel-numeric.d.ts +80 -16
  19. package/dist/src/alu/src/kernel-numeric.js +331 -259
  20. package/dist/src/alu/src/operation.d.ts +132 -112
  21. package/dist/src/alu/src/operation.js +163 -149
  22. package/dist/src/alu/src/parser.d.ts +175 -168
  23. package/dist/src/alu/src/parser.js +421 -382
  24. package/dist/src/alu/src/resonance.d.ts +25 -16
  25. package/dist/src/alu/src/resonance.js +56 -49
  26. package/dist/src/alu/src/text.d.ts +7 -3
  27. package/dist/src/alu/src/text.js +37 -31
  28. package/dist/src/alu/src/value.d.ts +14 -14
  29. package/dist/src/alu/src/value.js +160 -150
  30. package/dist/src/alu/test/alu.test.js +656 -543
  31. package/dist/src/bytes.d.ts +5 -1
  32. package/dist/src/bytes.js +40 -33
  33. package/dist/src/config.d.ts +102 -102
  34. package/dist/src/config.js +83 -83
  35. package/dist/src/derive/src/deduction.d.ts +62 -60
  36. package/dist/src/derive/src/deduction.js +109 -103
  37. package/dist/src/derive/src/index.d.ts +7 -1
  38. package/dist/src/derive/src/priority-queue.d.ts +8 -8
  39. package/dist/src/derive/src/priority-queue.js +61 -57
  40. package/dist/src/derive/src/rewrite.d.ts +18 -15
  41. package/dist/src/derive/src/rewrite.js +67 -59
  42. package/dist/src/derive/src/trie.d.ts +56 -56
  43. package/dist/src/derive/src/trie.js +179 -175
  44. package/dist/src/derive/test/derive.test.js +100 -96
  45. package/dist/src/extension.d.ts +16 -13
  46. package/dist/src/geometry.d.ts +42 -17
  47. package/dist/src/geometry.js +266 -235
  48. package/dist/src/index.d.ts +17 -2
  49. package/dist/src/index.js +7 -1
  50. package/dist/src/ingest-cache.d.ts +30 -25
  51. package/dist/src/ingest-cache.js +127 -108
  52. package/dist/src/mind/articulation.d.ts +5 -1
  53. package/dist/src/mind/articulation.js +112 -77
  54. package/dist/src/mind/attention.d.ts +108 -40
  55. package/dist/src/mind/attention.js +871 -749
  56. package/dist/src/mind/canonical.d.ts +19 -4
  57. package/dist/src/mind/canonical.js +31 -27
  58. package/dist/src/mind/graph-search.d.ts +225 -201
  59. package/dist/src/mind/graph-search.js +821 -742
  60. package/dist/src/mind/index.d.ts +10 -2
  61. package/dist/src/mind/junction.d.ts +58 -31
  62. package/dist/src/mind/junction.js +237 -172
  63. package/dist/src/mind/learning.d.ts +52 -16
  64. package/dist/src/mind/learning.js +165 -143
  65. package/dist/src/mind/match.d.ts +69 -20
  66. package/dist/src/mind/match.js +318 -259
  67. package/dist/src/mind/mechanisms/alu.js +16 -16
  68. package/dist/src/mind/mechanisms/cast.d.ts +13 -9
  69. package/dist/src/mind/mechanisms/cast.js +456 -363
  70. package/dist/src/mind/mechanisms/confluence.d.ts +12 -8
  71. package/dist/src/mind/mechanisms/confluence.js +183 -152
  72. package/dist/src/mind/mechanisms/cover.d.ts +8 -2
  73. package/dist/src/mind/mechanisms/cover.js +210 -148
  74. package/dist/src/mind/mechanisms/extraction.d.ts +34 -8
  75. package/dist/src/mind/mechanisms/extraction.js +288 -234
  76. package/dist/src/mind/mechanisms/recall.d.ts +10 -6
  77. package/dist/src/mind/mechanisms/recall.js +185 -126
  78. package/dist/src/mind/mind.d.ts +154 -129
  79. package/dist/src/mind/mind.js +288 -258
  80. package/dist/src/mind/pipeline-mechanism.d.ts +124 -112
  81. package/dist/src/mind/pipeline-mechanism.js +172 -161
  82. package/dist/src/mind/pipeline.d.ts +14 -4
  83. package/dist/src/mind/pipeline.js +189 -125
  84. package/dist/src/mind/primitives.d.ts +32 -8
  85. package/dist/src/mind/primitives.js +117 -99
  86. package/dist/src/mind/rationale.d.ts +98 -86
  87. package/dist/src/mind/rationale.js +121 -113
  88. package/dist/src/mind/reasoning.d.ts +13 -2
  89. package/dist/src/mind/reasoning.js +166 -129
  90. package/dist/src/mind/recognition.d.ts +4 -1
  91. package/dist/src/mind/recognition.js +208 -183
  92. package/dist/src/mind/resonance.d.ts +22 -5
  93. package/dist/src/mind/resonance.js +0 -0
  94. package/dist/src/mind/trace.d.ts +25 -6
  95. package/dist/src/mind/trace.js +58 -50
  96. package/dist/src/mind/traverse.d.ts +58 -16
  97. package/dist/src/mind/traverse.js +357 -304
  98. package/dist/src/mind/types.d.ts +127 -120
  99. package/dist/src/mind/types.js +69 -60
  100. package/dist/src/rabitq-hnsw/src/database.d.ts +179 -177
  101. package/dist/src/rabitq-hnsw/src/database.js +359 -342
  102. package/dist/src/rabitq-hnsw/src/heap.d.ts +12 -12
  103. package/dist/src/rabitq-hnsw/src/heap.js +80 -75
  104. package/dist/src/rabitq-hnsw/src/hnsw.d.ts +103 -103
  105. package/dist/src/rabitq-hnsw/src/hnsw.js +454 -428
  106. package/dist/src/rabitq-hnsw/src/index.d.ts +6 -1
  107. package/dist/src/rabitq-hnsw/src/prng.d.ts +10 -10
  108. package/dist/src/rabitq-hnsw/src/prng.js +27 -25
  109. package/dist/src/rabitq-hnsw/src/rabitq.d.ts +69 -69
  110. package/dist/src/rabitq-hnsw/src/rabitq.js +262 -246
  111. package/dist/src/rabitq-hnsw/src/store.d.ts +132 -132
  112. package/dist/src/rabitq-hnsw/src/store.js +843 -752
  113. package/dist/src/rabitq-hnsw/test/hnsw.test.js +1054 -805
  114. package/dist/src/sema.d.ts +35 -0
  115. package/dist/src/sema.js +77 -0
  116. package/dist/src/store-sqlite.d.ts +166 -144
  117. package/dist/src/store-sqlite.js +660 -578
  118. package/dist/src/store.d.ts +630 -593
  119. package/dist/src/store.js +1581 -1440
  120. package/dist/src/vec.d.ts +9 -5
  121. package/dist/src/vec.js +73 -61
  122. package/package.json +2 -2
  123. package/src/sema.ts +102 -0
@@ -1,11 +1,100 @@
1
- export { asBit, asInt, asReal, bit, coerce, decimalCodec, type Domain, formatReal, int, isNd, isNumeric, joinDomain, nd, parseValue, real, symbol, symbolSpans, tagOf, type Value, type ValueCodec, } from "./value.js";
2
- export { type Arity, type EvalExpr, type InfixSyntax, NO_RESONANCE, type OpContext, type Operation, OperationRegistry, type OpFn, type OpRuntime, type OpTraits, type ResonanceSync, } from "./operation.js";
3
- export { type AluResonance, type ConceptAnchor, NO_ALU_RESONANCE, prefetchOpposites, prefetchRecognisedOps, prefetchResonance, } from "./resonance.js";
4
- export { type ApplyScalar, ExprGrammar, freeVariables, type IsUnaryFn, type Token, tokenize, } from "./expr.js";
5
- export { type AluHost, type ComputedSpan, QueryParser, type Span, STRUCTURAL_HOST, } from "./parser.js";
1
+ export {
2
+ asBit,
3
+ asInt,
4
+ asReal,
5
+ bit,
6
+ coerce,
7
+ decimalCodec,
8
+ type Domain,
9
+ formatReal,
10
+ int,
11
+ isNd,
12
+ isNumeric,
13
+ joinDomain,
14
+ nd,
15
+ parseValue,
16
+ real,
17
+ symbol,
18
+ symbolSpans,
19
+ tagOf,
20
+ type Value,
21
+ type ValueCodec,
22
+ } from "./value.js";
23
+ export {
24
+ type Arity,
25
+ type EvalExpr,
26
+ type InfixSyntax,
27
+ NO_RESONANCE,
28
+ type OpContext,
29
+ type Operation,
30
+ OperationRegistry,
31
+ type OpFn,
32
+ type OpRuntime,
33
+ type OpTraits,
34
+ type ResonanceSync,
35
+ } from "./operation.js";
36
+ export {
37
+ type AluResonance,
38
+ type ConceptAnchor,
39
+ NO_ALU_RESONANCE,
40
+ prefetchOpposites,
41
+ prefetchRecognisedOps,
42
+ prefetchResonance,
43
+ } from "./resonance.js";
44
+ export {
45
+ type ApplyScalar,
46
+ ExprGrammar,
47
+ freeVariables,
48
+ type IsUnaryFn,
49
+ type Token,
50
+ tokenize,
51
+ } from "./expr.js";
52
+ export {
53
+ type AluHost,
54
+ type ComputedSpan,
55
+ QueryParser,
56
+ type Span,
57
+ STRUCTURAL_HOST,
58
+ } from "./parser.js";
6
59
  export { registerNd } from "./kernel-nd.js";
7
60
  export { registerLogic } from "./kernel-logic.js";
8
- export { addBits, compareBits, mulBits, negateBits, registerBits, signBits, } from "./kernel-bits.js";
9
- export { dot, linsolve, matMul, matVec, polyEval, registerArith, } from "./kernel-arith.js";
10
- export { converge, cosSeries, diff, expSeries, integrate, interpolate, logNewton, odeSolve, optimize, powerEig, registerNumeric, regress, sinSeries, solve, sqrtNewton, topSingular, } from "./kernel-numeric.js";
11
- export { Alu, type AluOptions, type OperandSpan, type OperatorSpan, } from "./alu.js";
61
+ export {
62
+ addBits,
63
+ compareBits,
64
+ mulBits,
65
+ negateBits,
66
+ registerBits,
67
+ signBits,
68
+ } from "./kernel-bits.js";
69
+ export {
70
+ dot,
71
+ linsolve,
72
+ matMul,
73
+ matVec,
74
+ polyEval,
75
+ registerArith,
76
+ } from "./kernel-arith.js";
77
+ export {
78
+ converge,
79
+ cosSeries,
80
+ diff,
81
+ expSeries,
82
+ integrate,
83
+ interpolate,
84
+ logNewton,
85
+ odeSolve,
86
+ optimize,
87
+ powerEig,
88
+ registerNumeric,
89
+ regress,
90
+ sinSeries,
91
+ solve,
92
+ sqrtNewton,
93
+ topSingular,
94
+ } from "./kernel-numeric.js";
95
+ export {
96
+ Alu,
97
+ type AluOptions,
98
+ type OperandSpan,
99
+ type OperatorSpan,
100
+ } from "./alu.js";
@@ -6,14 +6,68 @@
6
6
  // reaches meaning (operator synonymy, the symbolic inverse) through the injected
7
7
  // AluResonance, pre-resolved into a synchronous snapshot before the search runs.
8
8
  // See ./../README.md for the kernel and its derivation DAG.
9
- export { asBit, asInt, asReal, bit, coerce, decimalCodec, formatReal, int, isNd, isNumeric, joinDomain, nd, parseValue, real, symbol, symbolSpans, tagOf, } from "./value.js";
10
- export { NO_RESONANCE, OperationRegistry, } from "./operation.js";
11
- export { NO_ALU_RESONANCE, prefetchOpposites, prefetchRecognisedOps, prefetchResonance, } from "./resonance.js";
12
- export { ExprGrammar, freeVariables, tokenize, } from "./expr.js";
13
- export { QueryParser, STRUCTURAL_HOST, } from "./parser.js";
9
+ export {
10
+ asBit,
11
+ asInt,
12
+ asReal,
13
+ bit,
14
+ coerce,
15
+ decimalCodec,
16
+ formatReal,
17
+ int,
18
+ isNd,
19
+ isNumeric,
20
+ joinDomain,
21
+ nd,
22
+ parseValue,
23
+ real,
24
+ symbol,
25
+ symbolSpans,
26
+ tagOf,
27
+ } from "./value.js";
28
+ export { NO_RESONANCE, OperationRegistry } from "./operation.js";
29
+ export {
30
+ NO_ALU_RESONANCE,
31
+ prefetchOpposites,
32
+ prefetchRecognisedOps,
33
+ prefetchResonance,
34
+ } from "./resonance.js";
35
+ export { ExprGrammar, freeVariables, tokenize } from "./expr.js";
36
+ export { QueryParser, STRUCTURAL_HOST } from "./parser.js";
14
37
  export { registerNd } from "./kernel-nd.js";
15
38
  export { registerLogic } from "./kernel-logic.js";
16
- export { addBits, compareBits, mulBits, negateBits, registerBits, signBits, } from "./kernel-bits.js";
17
- export { dot, linsolve, matMul, matVec, polyEval, registerArith, } from "./kernel-arith.js";
18
- export { converge, cosSeries, diff, expSeries, integrate, interpolate, logNewton, odeSolve, optimize, powerEig, registerNumeric, regress, sinSeries, solve, sqrtNewton, topSingular, } from "./kernel-numeric.js";
19
- export { Alu, } from "./alu.js";
39
+ export {
40
+ addBits,
41
+ compareBits,
42
+ mulBits,
43
+ negateBits,
44
+ registerBits,
45
+ signBits,
46
+ } from "./kernel-bits.js";
47
+ export {
48
+ dot,
49
+ linsolve,
50
+ matMul,
51
+ matVec,
52
+ polyEval,
53
+ registerArith,
54
+ } from "./kernel-arith.js";
55
+ export {
56
+ converge,
57
+ cosSeries,
58
+ diff,
59
+ expSeries,
60
+ integrate,
61
+ interpolate,
62
+ logNewton,
63
+ odeSolve,
64
+ optimize,
65
+ powerEig,
66
+ registerNumeric,
67
+ regress,
68
+ sinSeries,
69
+ solve,
70
+ sqrtNewton,
71
+ topSingular,
72
+ } from "./kernel-numeric.js";
73
+ export { Alu } from "./alu.js";
@@ -13,4 +13,8 @@ export declare function matMul(a: number[][], b: number[][]): number[][];
13
13
  /** Solve A·x = b by Gaussian elimination with partial pivoting — structured
14
14
  * arithmetic (add / multiply / divide / compare for the pivot), not a new
15
15
  * primitive. Returns x, or null if A is singular to tolerance `tol`. */
16
- export declare function linsolve(A: number[][], b: number[], tol?: number): number[] | null;
16
+ export declare function linsolve(
17
+ A: number[][],
18
+ b: number[],
19
+ tol?: number,
20
+ ): number[] | null;