@agent-ix/semantic-core 0.4.1 → 0.4.2
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/README.md +41 -0
- package/generated/json-schema/ClauseLanguage.json +1 -1
- package/generated/json-schema/ClauseRef.json +4 -4
- package/generated/json-schema/ConstraintDecl.json +12 -12
- package/generated/json-schema/ConstraintKeyword.json +1 -1
- package/generated/json-schema/DecimalPolicy.json +1 -1
- package/generated/json-schema/DefaultDecl.json +2 -2
- package/generated/json-schema/DefaultKind.json +1 -1
- package/generated/json-schema/EdgeCategory.json +1 -1
- package/generated/json-schema/EnumValue.json +2 -2
- package/generated/json-schema/EnumValueName.json +1 -1
- package/generated/json-schema/EnumValuesConstraint.json +2 -2
- package/generated/json-schema/EnumValuesConstraintValues.json +1 -1
- package/generated/json-schema/ExclusiveMaxConstraint.json +2 -2
- package/generated/json-schema/ExclusiveMaxConstraintValue.json +1 -1
- package/generated/json-schema/ExclusiveMinConstraint.json +2 -2
- package/generated/json-schema/ExclusiveMinConstraintValue.json +1 -1
- package/generated/json-schema/FieldDecl.json +5 -5
- package/generated/json-schema/FormatConstraint.json +1 -1
- package/generated/json-schema/Identifier.json +1 -1
- package/generated/json-schema/KernelScalar.json +1 -1
- package/generated/json-schema/MaxConstraint.json +2 -2
- package/generated/json-schema/MaxConstraintValue.json +1 -1
- package/generated/json-schema/MaxLengthConstraint.json +1 -1
- package/generated/json-schema/MinConstraint.json +2 -2
- package/generated/json-schema/MinConstraintValue.json +1 -1
- package/generated/json-schema/MinLengthConstraint.json +1 -1
- package/generated/json-schema/Multiplicity.json +1 -1
- package/generated/json-schema/NonEmptyConstraint.json +1 -1
- package/generated/json-schema/OperationDecl.json +6 -6
- package/generated/json-schema/PatternConstraint.json +1 -1
- package/generated/json-schema/RelationDecl.json +5 -5
- package/generated/json-schema/SemanticId.json +1 -1
- package/generated/json-schema/SourceLocus.json +2 -2
- package/generated/json-schema/TypeRef.json +5 -5
- package/generated/json-schema/TypeRefTarget.json +3 -3
- package/generated/json-schema/UniqueConstraint.json +1 -1
- package/generated/json-schema/UnitSymbol.json +1 -1
- package/main.tsp +1 -1
- package/package.json +2 -2
package/README.md
ADDED
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
# @agent-ix/semantic-core
|
|
2
|
+
|
|
3
|
+
The semantic-core L3 declaration grammar and kernel scalar library, published as
|
|
4
|
+
TypeSpec source plus the JSON Schema documents generated from it.
|
|
5
|
+
|
|
6
|
+
## Contents
|
|
7
|
+
|
|
8
|
+
- `main.tsp`: the TypeSpec source (namespace `AgentIx.Semantic.Core`) defining
|
|
9
|
+
the declaration grammar: multiplicities, type references, field, relation and
|
|
10
|
+
operation declarations, constraints, defaults, and the kernel scalar set.
|
|
11
|
+
- `generated/json-schema/`: one JSON Schema (draft 2020-12) document per
|
|
12
|
+
declaration, emitted from `main.tsp` with `@typespec/json-schema`. Do not edit
|
|
13
|
+
these by hand; they are regenerated from the TypeSpec source.
|
|
14
|
+
- `kernel-scalars.json`: the kernel scalar representation table.
|
|
15
|
+
- `inventory.json`: the declaration inventory of the namespace.
|
|
16
|
+
- `lowering.json`: the table mapping each grammar property to its IR property.
|
|
17
|
+
|
|
18
|
+
## Install
|
|
19
|
+
|
|
20
|
+
```sh
|
|
21
|
+
npm install @agent-ix/semantic-core
|
|
22
|
+
```
|
|
23
|
+
|
|
24
|
+
`@typespec/compiler` and `@typespec/json-schema` (1.15.0) are peer dependencies,
|
|
25
|
+
needed only if you compile `main.tsp` yourself. The generated JSON Schema files
|
|
26
|
+
need no build step.
|
|
27
|
+
|
|
28
|
+
## Versions and `$id` paths
|
|
29
|
+
|
|
30
|
+
Every generated schema `$id` and `$ref` is rooted at
|
|
31
|
+
`https://schemas.agent-ix.org/semantic-core/<version>/`, where `<version>` is
|
|
32
|
+
the version of this package. A release therefore changes the schema identifiers
|
|
33
|
+
together with the package version.
|
|
34
|
+
|
|
35
|
+
## License
|
|
36
|
+
|
|
37
|
+
AGPL-3.0-or-later.
|
|
38
|
+
|
|
39
|
+
## Repository
|
|
40
|
+
|
|
41
|
+
https://github.com/agent-ix/filament-core-data (directory `packages/semantic-core`)
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/ClauseLanguage.json",
|
|
4
4
|
"type": "string",
|
|
5
5
|
"pattern": "^(quire|ocl|sysml|fretish|[a-z0-9][a-z0-9.-]*:[A-Za-z0-9][A-Za-z0-9._-]*)$",
|
|
6
6
|
"description": "`quire` (checked by Quire), `ocl`, `sysml`, `fretish`, or a namespaced `<ns>:<name>` language (FR-028).",
|
|
@@ -1,16 +1,16 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/ClauseRef.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"language": {
|
|
7
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
7
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/ClauseLanguage.json"
|
|
8
8
|
},
|
|
9
9
|
"clauseId": {
|
|
10
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
10
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/Identifier.json"
|
|
11
11
|
},
|
|
12
12
|
"sourceSpan": {
|
|
13
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
13
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/SourceLocus.json"
|
|
14
14
|
}
|
|
15
15
|
},
|
|
16
16
|
"required": ["language", "clauseId"],
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/ConstraintDecl.json",
|
|
4
4
|
"oneOf": [
|
|
5
5
|
{
|
|
6
6
|
"type": "object",
|
|
@@ -10,7 +10,7 @@
|
|
|
10
10
|
"const": "MinConstraint"
|
|
11
11
|
},
|
|
12
12
|
"value": {
|
|
13
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
13
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/MinConstraint.json"
|
|
14
14
|
}
|
|
15
15
|
},
|
|
16
16
|
"required": ["kind", "value"],
|
|
@@ -26,7 +26,7 @@
|
|
|
26
26
|
"const": "MaxConstraint"
|
|
27
27
|
},
|
|
28
28
|
"value": {
|
|
29
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
29
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/MaxConstraint.json"
|
|
30
30
|
}
|
|
31
31
|
},
|
|
32
32
|
"required": ["kind", "value"],
|
|
@@ -42,7 +42,7 @@
|
|
|
42
42
|
"const": "ExclusiveMinConstraint"
|
|
43
43
|
},
|
|
44
44
|
"value": {
|
|
45
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
45
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/ExclusiveMinConstraint.json"
|
|
46
46
|
}
|
|
47
47
|
},
|
|
48
48
|
"required": ["kind", "value"],
|
|
@@ -58,7 +58,7 @@
|
|
|
58
58
|
"const": "ExclusiveMaxConstraint"
|
|
59
59
|
},
|
|
60
60
|
"value": {
|
|
61
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
61
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/ExclusiveMaxConstraint.json"
|
|
62
62
|
}
|
|
63
63
|
},
|
|
64
64
|
"required": ["kind", "value"],
|
|
@@ -74,7 +74,7 @@
|
|
|
74
74
|
"const": "PatternConstraint"
|
|
75
75
|
},
|
|
76
76
|
"value": {
|
|
77
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
77
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/PatternConstraint.json"
|
|
78
78
|
}
|
|
79
79
|
},
|
|
80
80
|
"required": ["kind", "value"],
|
|
@@ -90,7 +90,7 @@
|
|
|
90
90
|
"const": "MinLengthConstraint"
|
|
91
91
|
},
|
|
92
92
|
"value": {
|
|
93
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
93
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/MinLengthConstraint.json"
|
|
94
94
|
}
|
|
95
95
|
},
|
|
96
96
|
"required": ["kind", "value"],
|
|
@@ -106,7 +106,7 @@
|
|
|
106
106
|
"const": "MaxLengthConstraint"
|
|
107
107
|
},
|
|
108
108
|
"value": {
|
|
109
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
109
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/MaxLengthConstraint.json"
|
|
110
110
|
}
|
|
111
111
|
},
|
|
112
112
|
"required": ["kind", "value"],
|
|
@@ -122,7 +122,7 @@
|
|
|
122
122
|
"const": "EnumValuesConstraint"
|
|
123
123
|
},
|
|
124
124
|
"value": {
|
|
125
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
125
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/EnumValuesConstraint.json"
|
|
126
126
|
}
|
|
127
127
|
},
|
|
128
128
|
"required": ["kind", "value"],
|
|
@@ -138,7 +138,7 @@
|
|
|
138
138
|
"const": "NonEmptyConstraint"
|
|
139
139
|
},
|
|
140
140
|
"value": {
|
|
141
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
141
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/NonEmptyConstraint.json"
|
|
142
142
|
}
|
|
143
143
|
},
|
|
144
144
|
"required": ["kind", "value"],
|
|
@@ -154,7 +154,7 @@
|
|
|
154
154
|
"const": "UniqueConstraint"
|
|
155
155
|
},
|
|
156
156
|
"value": {
|
|
157
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
157
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/UniqueConstraint.json"
|
|
158
158
|
}
|
|
159
159
|
},
|
|
160
160
|
"required": ["kind", "value"],
|
|
@@ -170,7 +170,7 @@
|
|
|
170
170
|
"const": "FormatConstraint"
|
|
171
171
|
},
|
|
172
172
|
"value": {
|
|
173
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
173
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/FormatConstraint.json"
|
|
174
174
|
}
|
|
175
175
|
},
|
|
176
176
|
"required": ["kind", "value"],
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/ConstraintKeyword.json",
|
|
4
4
|
"type": "string",
|
|
5
5
|
"enum": [
|
|
6
6
|
"min",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/DecimalPolicy.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"precision": {
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/DefaultDecl.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"kind": {
|
|
7
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
7
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/DefaultKind.json"
|
|
8
8
|
},
|
|
9
9
|
"value": {}
|
|
10
10
|
},
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/DefaultKind.json",
|
|
4
4
|
"type": "string",
|
|
5
5
|
"enum": ["semantic", "representation", "migration"],
|
|
6
6
|
"description": "IR `defaultKind` minus `none` (an absent default lowers to `none`).",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/EdgeCategory.json",
|
|
4
4
|
"type": "string",
|
|
5
5
|
"enum": [
|
|
6
6
|
"structural",
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/EnumValue.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"value": {
|
|
7
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
7
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/EnumValueName.json"
|
|
8
8
|
},
|
|
9
9
|
"doc": {
|
|
10
10
|
"type": "string"
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/EnumValueName.json",
|
|
4
4
|
"type": "string",
|
|
5
5
|
"pattern": "^[A-Za-z_][A-Za-z0-9_]*(?:-[A-Za-z0-9_]+)*$",
|
|
6
6
|
"description": "An enum member name may use single, internal hyphens for exact external spellings.",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/EnumValuesConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -10,7 +10,7 @@
|
|
|
10
10
|
"values": {
|
|
11
11
|
"type": "array",
|
|
12
12
|
"items": {
|
|
13
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
13
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/EnumValuesConstraintValues.json"
|
|
14
14
|
},
|
|
15
15
|
"minItems": 1
|
|
16
16
|
}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/EnumValuesConstraintValues.json",
|
|
4
4
|
"oneOf": [
|
|
5
5
|
{
|
|
6
6
|
"type": "object",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/ExclusiveMaxConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -8,7 +8,7 @@
|
|
|
8
8
|
"const": "exclusiveMax"
|
|
9
9
|
},
|
|
10
10
|
"value": {
|
|
11
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
11
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/ExclusiveMaxConstraintValue.json"
|
|
12
12
|
}
|
|
13
13
|
},
|
|
14
14
|
"required": ["keyword", "value"],
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/ExclusiveMaxConstraintValue.json",
|
|
4
4
|
"oneOf": [
|
|
5
5
|
{
|
|
6
6
|
"type": "object",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/ExclusiveMinConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -8,7 +8,7 @@
|
|
|
8
8
|
"const": "exclusiveMin"
|
|
9
9
|
},
|
|
10
10
|
"value": {
|
|
11
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
11
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/ExclusiveMinConstraintValue.json"
|
|
12
12
|
}
|
|
13
13
|
},
|
|
14
14
|
"required": ["keyword", "value"],
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/ExclusiveMinConstraintValue.json",
|
|
4
4
|
"oneOf": [
|
|
5
5
|
{
|
|
6
6
|
"type": "object",
|
|
@@ -1,13 +1,13 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/FieldDecl.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"name": {
|
|
7
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
7
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/Identifier.json"
|
|
8
8
|
},
|
|
9
9
|
"type": {
|
|
10
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
10
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/TypeRef.json"
|
|
11
11
|
},
|
|
12
12
|
"identity": {
|
|
13
13
|
"type": "boolean"
|
|
@@ -16,7 +16,7 @@
|
|
|
16
16
|
"type": "boolean"
|
|
17
17
|
},
|
|
18
18
|
"default": {
|
|
19
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
19
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/DefaultDecl.json"
|
|
20
20
|
},
|
|
21
21
|
"doc": {
|
|
22
22
|
"type": "string"
|
|
@@ -24,7 +24,7 @@
|
|
|
24
24
|
"constraints": {
|
|
25
25
|
"type": "array",
|
|
26
26
|
"items": {
|
|
27
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
27
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/ConstraintDecl.json"
|
|
28
28
|
}
|
|
29
29
|
}
|
|
30
30
|
},
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/FormatConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/Identifier.json",
|
|
4
4
|
"type": "string",
|
|
5
5
|
"pattern": "^[A-Za-z_][A-Za-z0-9_]*$",
|
|
6
6
|
"description": "A declaration name: letters, digits, underscore; no leading digit.",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/MaxConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -8,7 +8,7 @@
|
|
|
8
8
|
"const": "max"
|
|
9
9
|
},
|
|
10
10
|
"value": {
|
|
11
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
11
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/MaxConstraintValue.json"
|
|
12
12
|
}
|
|
13
13
|
},
|
|
14
14
|
"required": ["keyword", "value"],
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/MaxConstraintValue.json",
|
|
4
4
|
"oneOf": [
|
|
5
5
|
{
|
|
6
6
|
"type": "object",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/MaxLengthConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/MinConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -8,7 +8,7 @@
|
|
|
8
8
|
"const": "min"
|
|
9
9
|
},
|
|
10
10
|
"value": {
|
|
11
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
11
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/MinConstraintValue.json"
|
|
12
12
|
}
|
|
13
13
|
},
|
|
14
14
|
"required": ["keyword", "value"],
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/MinConstraintValue.json",
|
|
4
4
|
"oneOf": [
|
|
5
5
|
{
|
|
6
6
|
"type": "object",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/MinLengthConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/Multiplicity.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"lower": {
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/NonEmptyConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -1,30 +1,30 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/OperationDecl.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"name": {
|
|
7
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
7
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/Identifier.json"
|
|
8
8
|
},
|
|
9
9
|
"params": {
|
|
10
10
|
"type": "array",
|
|
11
11
|
"items": {
|
|
12
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
12
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/FieldDecl.json"
|
|
13
13
|
}
|
|
14
14
|
},
|
|
15
15
|
"returns": {
|
|
16
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
16
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/TypeRef.json"
|
|
17
17
|
},
|
|
18
18
|
"pre": {
|
|
19
19
|
"type": "array",
|
|
20
20
|
"items": {
|
|
21
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
21
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/ClauseRef.json"
|
|
22
22
|
}
|
|
23
23
|
},
|
|
24
24
|
"post": {
|
|
25
25
|
"type": "array",
|
|
26
26
|
"items": {
|
|
27
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
27
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/ClauseRef.json"
|
|
28
28
|
}
|
|
29
29
|
}
|
|
30
30
|
},
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/PatternConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -1,22 +1,22 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/RelationDecl.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"verb": {
|
|
7
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
7
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/Identifier.json"
|
|
8
8
|
},
|
|
9
9
|
"category": {
|
|
10
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
10
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/EdgeCategory.json"
|
|
11
11
|
},
|
|
12
12
|
"composite": {
|
|
13
13
|
"type": "boolean"
|
|
14
14
|
},
|
|
15
15
|
"target": {
|
|
16
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
16
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/SemanticId.json"
|
|
17
17
|
},
|
|
18
18
|
"multiplicity": {
|
|
19
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
19
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/Multiplicity.json"
|
|
20
20
|
}
|
|
21
21
|
},
|
|
22
22
|
"required": ["verb", "category", "target"],
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/SemanticId.json",
|
|
4
4
|
"type": "string",
|
|
5
5
|
"pattern": "^ix://[a-z0-9][a-z0-9._-]*/[A-Za-z0-9][A-Za-z0-9._~:/-]*$",
|
|
6
6
|
"description": "A stable semantic identity, same pattern as the IR `semanticIdentity`.",
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/SourceLocus.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"sourceIdentity": {
|
|
7
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
7
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/SemanticId.json"
|
|
8
8
|
},
|
|
9
9
|
"path": {
|
|
10
10
|
"type": "string",
|
|
@@ -1,19 +1,19 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/TypeRef.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"target": {
|
|
7
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
7
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/TypeRefTarget.json"
|
|
8
8
|
},
|
|
9
9
|
"multiplicity": {
|
|
10
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
10
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/Multiplicity.json"
|
|
11
11
|
},
|
|
12
12
|
"unit": {
|
|
13
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
13
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/UnitSymbol.json"
|
|
14
14
|
},
|
|
15
15
|
"decimal": {
|
|
16
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
16
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/DecimalPolicy.json"
|
|
17
17
|
}
|
|
18
18
|
},
|
|
19
19
|
"required": ["target"],
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/TypeRefTarget.json",
|
|
4
4
|
"oneOf": [
|
|
5
5
|
{
|
|
6
6
|
"type": "object",
|
|
@@ -10,7 +10,7 @@
|
|
|
10
10
|
"const": "SemanticId"
|
|
11
11
|
},
|
|
12
12
|
"value": {
|
|
13
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
13
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/SemanticId.json"
|
|
14
14
|
}
|
|
15
15
|
},
|
|
16
16
|
"required": ["kind", "value"],
|
|
@@ -26,7 +26,7 @@
|
|
|
26
26
|
"const": "KernelScalar"
|
|
27
27
|
},
|
|
28
28
|
"value": {
|
|
29
|
-
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
29
|
+
"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.2/KernelScalar.json"
|
|
30
30
|
}
|
|
31
31
|
},
|
|
32
32
|
"required": ["kind", "value"],
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/UniqueConstraint.json",
|
|
4
4
|
"type": "object",
|
|
5
5
|
"properties": {
|
|
6
6
|
"keyword": {
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
-
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.
|
|
3
|
+
"$id": "https://schemas.agent-ix.org/semantic-core/0.4.2/UnitSymbol.json",
|
|
4
4
|
"type": "string",
|
|
5
5
|
"pattern": "^[!-~]+$",
|
|
6
6
|
"description": "UCUM case-sensitive symbol charset: printable ASCII, no whitespace. Membership is a consumer concern (FR-034-AC-4).",
|
package/main.tsp
CHANGED
|
@@ -13,7 +13,7 @@ using TypeSpec.JsonSchema;
|
|
|
13
13
|
* are enforced by the semantic-core reader (FR-031, "Grammar rules the reader
|
|
14
14
|
* enforces").
|
|
15
15
|
*/
|
|
16
|
-
@jsonSchema("https://schemas.agent-ix.org/semantic-core/0.4.
|
|
16
|
+
@jsonSchema("https://schemas.agent-ix.org/semantic-core/0.4.2/")
|
|
17
17
|
namespace AgentIx.Semantic.Core;
|
|
18
18
|
|
|
19
19
|
// ---------------------------------------------------------------------------
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@agent-ix/semantic-core",
|
|
3
|
-
"version": "0.4.
|
|
4
|
-
"description": "Semantic-core L3 declaration grammar and kernel scalar library (TypeSpec source, AgentIx.Semantic.Core).
|
|
3
|
+
"version": "0.4.2",
|
|
4
|
+
"description": "Semantic-core L3 declaration grammar and kernel scalar library (TypeSpec source, AgentIx.Semantic.Core).",
|
|
5
5
|
"license": "AGPL-3.0-or-later",
|
|
6
6
|
"tspMain": "main.tsp",
|
|
7
7
|
"repository": {
|