@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.
- package/dist/example/demo.js +25 -25
- package/dist/example/train_base.d.ts +21 -19
- package/dist/example/train_base.js +1952 -1684
- package/dist/src/alphabet.d.ts +3 -3
- package/dist/src/alphabet.js +27 -24
- package/dist/src/alu/src/alu.d.ts +194 -169
- package/dist/src/alu/src/alu.js +414 -374
- package/dist/src/alu/src/expr.d.ts +43 -36
- package/dist/src/alu/src/expr.js +278 -252
- package/dist/src/alu/src/index.d.ts +98 -9
- package/dist/src/alu/src/index.js +63 -9
- package/dist/src/alu/src/kernel-arith.d.ts +5 -1
- package/dist/src/alu/src/kernel-arith.js +285 -195
- package/dist/src/alu/src/kernel-bits.d.ts +5 -1
- package/dist/src/alu/src/kernel-bits.js +115 -81
- package/dist/src/alu/src/kernel-logic.js +63 -33
- package/dist/src/alu/src/kernel-nd.js +195 -155
- package/dist/src/alu/src/kernel-numeric.d.ts +80 -16
- package/dist/src/alu/src/kernel-numeric.js +331 -259
- package/dist/src/alu/src/operation.d.ts +132 -112
- package/dist/src/alu/src/operation.js +163 -149
- package/dist/src/alu/src/parser.d.ts +175 -168
- package/dist/src/alu/src/parser.js +421 -382
- package/dist/src/alu/src/resonance.d.ts +25 -16
- package/dist/src/alu/src/resonance.js +56 -49
- package/dist/src/alu/src/text.d.ts +7 -3
- package/dist/src/alu/src/text.js +37 -31
- package/dist/src/alu/src/value.d.ts +14 -14
- package/dist/src/alu/src/value.js +160 -150
- package/dist/src/alu/test/alu.test.js +656 -543
- package/dist/src/bytes.d.ts +5 -1
- package/dist/src/bytes.js +40 -33
- package/dist/src/config.d.ts +102 -102
- package/dist/src/config.js +83 -83
- package/dist/src/derive/src/deduction.d.ts +62 -60
- package/dist/src/derive/src/deduction.js +109 -103
- package/dist/src/derive/src/index.d.ts +7 -1
- package/dist/src/derive/src/priority-queue.d.ts +8 -8
- package/dist/src/derive/src/priority-queue.js +61 -57
- package/dist/src/derive/src/rewrite.d.ts +18 -15
- package/dist/src/derive/src/rewrite.js +67 -59
- package/dist/src/derive/src/trie.d.ts +56 -56
- package/dist/src/derive/src/trie.js +179 -175
- package/dist/src/derive/test/derive.test.js +100 -96
- package/dist/src/extension.d.ts +16 -13
- package/dist/src/geometry.d.ts +42 -17
- package/dist/src/geometry.js +266 -235
- package/dist/src/index.d.ts +17 -2
- package/dist/src/index.js +7 -1
- package/dist/src/ingest-cache.d.ts +30 -25
- package/dist/src/ingest-cache.js +127 -108
- package/dist/src/mind/articulation.d.ts +5 -1
- package/dist/src/mind/articulation.js +112 -77
- package/dist/src/mind/attention.d.ts +108 -40
- package/dist/src/mind/attention.js +871 -749
- package/dist/src/mind/canonical.d.ts +19 -4
- package/dist/src/mind/canonical.js +31 -27
- package/dist/src/mind/graph-search.d.ts +225 -201
- package/dist/src/mind/graph-search.js +821 -742
- package/dist/src/mind/index.d.ts +10 -2
- package/dist/src/mind/junction.d.ts +58 -31
- package/dist/src/mind/junction.js +237 -172
- package/dist/src/mind/learning.d.ts +52 -16
- package/dist/src/mind/learning.js +165 -143
- package/dist/src/mind/match.d.ts +69 -20
- package/dist/src/mind/match.js +318 -259
- package/dist/src/mind/mechanisms/alu.js +16 -16
- package/dist/src/mind/mechanisms/cast.d.ts +13 -9
- package/dist/src/mind/mechanisms/cast.js +456 -363
- package/dist/src/mind/mechanisms/confluence.d.ts +12 -8
- package/dist/src/mind/mechanisms/confluence.js +183 -152
- package/dist/src/mind/mechanisms/cover.d.ts +8 -2
- package/dist/src/mind/mechanisms/cover.js +210 -148
- package/dist/src/mind/mechanisms/extraction.d.ts +34 -8
- package/dist/src/mind/mechanisms/extraction.js +288 -234
- package/dist/src/mind/mechanisms/recall.d.ts +10 -6
- package/dist/src/mind/mechanisms/recall.js +185 -126
- package/dist/src/mind/mind.d.ts +154 -129
- package/dist/src/mind/mind.js +288 -258
- package/dist/src/mind/pipeline-mechanism.d.ts +124 -112
- package/dist/src/mind/pipeline-mechanism.js +172 -161
- package/dist/src/mind/pipeline.d.ts +14 -4
- package/dist/src/mind/pipeline.js +189 -125
- package/dist/src/mind/primitives.d.ts +32 -8
- package/dist/src/mind/primitives.js +117 -99
- package/dist/src/mind/rationale.d.ts +98 -86
- package/dist/src/mind/rationale.js +121 -113
- package/dist/src/mind/reasoning.d.ts +13 -2
- package/dist/src/mind/reasoning.js +166 -129
- package/dist/src/mind/recognition.d.ts +4 -1
- package/dist/src/mind/recognition.js +208 -183
- package/dist/src/mind/resonance.d.ts +22 -5
- package/dist/src/mind/resonance.js +0 -0
- package/dist/src/mind/trace.d.ts +25 -6
- package/dist/src/mind/trace.js +58 -50
- package/dist/src/mind/traverse.d.ts +58 -16
- package/dist/src/mind/traverse.js +357 -304
- package/dist/src/mind/types.d.ts +127 -120
- package/dist/src/mind/types.js +69 -60
- package/dist/src/rabitq-hnsw/src/database.d.ts +179 -177
- package/dist/src/rabitq-hnsw/src/database.js +359 -342
- package/dist/src/rabitq-hnsw/src/heap.d.ts +12 -12
- package/dist/src/rabitq-hnsw/src/heap.js +80 -75
- package/dist/src/rabitq-hnsw/src/hnsw.d.ts +103 -103
- package/dist/src/rabitq-hnsw/src/hnsw.js +454 -428
- package/dist/src/rabitq-hnsw/src/index.d.ts +6 -1
- package/dist/src/rabitq-hnsw/src/prng.d.ts +10 -10
- package/dist/src/rabitq-hnsw/src/prng.js +27 -25
- package/dist/src/rabitq-hnsw/src/rabitq.d.ts +69 -69
- package/dist/src/rabitq-hnsw/src/rabitq.js +262 -246
- package/dist/src/rabitq-hnsw/src/store.d.ts +132 -132
- package/dist/src/rabitq-hnsw/src/store.js +843 -752
- package/dist/src/rabitq-hnsw/test/hnsw.test.js +1054 -805
- package/dist/src/sema.d.ts +35 -0
- package/dist/src/sema.js +77 -0
- package/dist/src/store-sqlite.d.ts +166 -144
- package/dist/src/store-sqlite.js +660 -578
- package/dist/src/store.d.ts +630 -593
- package/dist/src/store.js +1581 -1440
- package/dist/src/vec.d.ts +9 -5
- package/dist/src/vec.js +73 -61
- package/package.json +2 -2
- package/src/sema.ts +102 -0
|
@@ -1,11 +1,100 @@
|
|
|
1
|
-
export {
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
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 {
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
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 {
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
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 {
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
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(
|
|
16
|
+
export declare function linsolve(
|
|
17
|
+
A: number[][],
|
|
18
|
+
b: number[],
|
|
19
|
+
tol?: number,
|
|
20
|
+
): number[] | null;
|