@agent-ix/semantic-core 0.0.0-stage → 0.4.1

package/generated/json-schema/ClauseLanguage.json

@@ -0,0 +1,8 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/ClauseLanguage.json",
+	"type": "string",
+	"pattern": "^(quire|ocl|sysml|fretish|[a-z0-9][a-z0-9.-]*:[A-Za-z0-9][A-Za-z0-9._-]*)$",
+	"description": "`quire` (checked by Quire), `ocl`, `sysml`, `fretish`, or a namespaced `<ns>:<name>` language (FR-028).",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/ClauseLanguage"
+}

package/generated/json-schema/ClauseRef.json

@@ -0,0 +1,22 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/ClauseRef.json",
+	"type": "object",
+	"properties": {
+		"language": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/ClauseLanguage.json"
+		},
+		"clauseId": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/Identifier.json"
+		},
+		"sourceSpan": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/SourceLocus.json"
+		}
+	},
+	"required": ["language", "clauseId"],
+	"unevaluatedProperties": {
+		"not": {}
+	},
+	"description": "A clause reference: language, id, and where the clause text lives. Text itself is never parsed here.",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/ClauseRef"
+}

package/generated/json-schema/ConstraintDecl.json

@@ -0,0 +1,184 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/ConstraintDecl.json",
+	"oneOf": [
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "MinConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/MinConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "MaxConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/MaxConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "ExclusiveMinConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/ExclusiveMinConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "ExclusiveMaxConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/ExclusiveMaxConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "PatternConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/PatternConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "MinLengthConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/MinLengthConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "MaxLengthConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/MaxLengthConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "EnumValuesConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/EnumValuesConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "NonEmptyConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/NonEmptyConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "UniqueConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/UniqueConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "FormatConstraint"
+				},
+				"value": {
+					"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/FormatConstraint.json"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		}
+	],
+	"description": "FR-029 constraint declaration, tagged by `kind` with its record in `value`.",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/ConstraintDecl"
+}

package/generated/json-schema/ConstraintKeyword.json

@@ -0,0 +1,20 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/ConstraintKeyword.json",
+	"type": "string",
+	"enum": [
+		"min",
+		"max",
+		"exclusiveMin",
+		"exclusiveMax",
+		"pattern",
+		"minLength",
+		"maxLength",
+		"enumValues",
+		"nonEmpty",
+		"unique",
+		"format"
+	],
+	"description": "FR-029 closed keyword set; equal to the IR `constraint.keyword` set.",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/ConstraintKeyword"
+}

package/generated/json-schema/DecimalPolicy.json

@@ -0,0 +1,23 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/DecimalPolicy.json",
+	"type": "object",
+	"properties": {
+		"precision": {
+			"type": "integer",
+			"minimum": 1,
+			"maximum": 38
+		},
+		"scale": {
+			"type": "integer",
+			"minimum": 0,
+			"maximum": 38
+		}
+	},
+	"required": ["precision", "scale"],
+	"unevaluatedProperties": {
+		"not": {}
+	},
+	"description": "Precision and scale for a `Decimal` target (FR-032).",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/DecimalPolicy"
+}

package/generated/json-schema/DefaultDecl.json

@@ -0,0 +1,17 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/DefaultDecl.json",
+	"type": "object",
+	"properties": {
+		"kind": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/DefaultKind.json"
+		},
+		"value": {}
+	},
+	"required": ["kind"],
+	"unevaluatedProperties": {
+		"not": {}
+	},
+	"description": "A declared default; `value` shape is decided by the target scalar (FR-031-CON-2 exception).",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/DefaultDecl"
+}

package/generated/json-schema/DefaultKind.json

@@ -0,0 +1,8 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/DefaultKind.json",
+	"type": "string",
+	"enum": ["semantic", "representation", "migration"],
+	"description": "IR `defaultKind` minus `none` (an absent default lowers to `none`).",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/DefaultKind"
+}

package/generated/json-schema/EdgeCategory.json

@@ -0,0 +1,16 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/EdgeCategory.json",
+	"type": "string",
+	"enum": [
+		"structural",
+		"behavioral",
+		"dataflow",
+		"dependency",
+		"realization",
+		"governance",
+		"traceability"
+	],
+	"description": "FR-040 edge categories; equal to the IR `relationship.category` set.",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/EdgeCategory"
+}

package/generated/json-schema/EnumValue.json

@@ -0,0 +1,19 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/EnumValue.json",
+	"type": "object",
+	"properties": {
+		"value": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/EnumValueName.json"
+		},
+		"doc": {
+			"type": "string"
+		}
+	},
+	"required": ["value"],
+	"unevaluatedProperties": {
+		"not": {}
+	},
+	"description": "An enum member declaration; lowers to an IR variant.",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/EnumValue"
+}

package/generated/json-schema/EnumValueName.json

@@ -0,0 +1,8 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/EnumValueName.json",
+	"type": "string",
+	"pattern": "^[A-Za-z_][A-Za-z0-9_]*(?:-[A-Za-z0-9_]+)*$",
+	"description": "An enum member name may use single, internal hyphens for exact external spellings.",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/EnumValueName"
+}

package/generated/json-schema/EnumValuesConstraint.json

@@ -0,0 +1,23 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/EnumValuesConstraint.json",
+	"type": "object",
+	"properties": {
+		"keyword": {
+			"type": "string",
+			"const": "enumValues"
+		},
+		"values": {
+			"type": "array",
+			"items": {
+				"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/EnumValuesConstraintValues.json"
+			},
+			"minItems": 1
+		}
+	},
+	"required": ["keyword", "values"],
+	"unevaluatedProperties": {
+		"not": {}
+	},
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/EnumValuesConstraint"
+}

package/generated/json-schema/EnumValuesConstraintValues.json

@@ -0,0 +1,55 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/EnumValuesConstraintValues.json",
+	"oneOf": [
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "string"
+				},
+				"value": {
+					"type": "string"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "number"
+				},
+				"value": {
+					"type": "number"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "boolean"
+				},
+				"value": {
+					"type": "boolean"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		}
+	],
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/EnumValuesConstraintValues"
+}

package/generated/json-schema/ExclusiveMaxConstraint.json

@@ -0,0 +1,19 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/ExclusiveMaxConstraint.json",
+	"type": "object",
+	"properties": {
+		"keyword": {
+			"type": "string",
+			"const": "exclusiveMax"
+		},
+		"value": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/ExclusiveMaxConstraintValue.json"
+		}
+	},
+	"required": ["keyword", "value"],
+	"unevaluatedProperties": {
+		"not": {}
+	},
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/ExclusiveMaxConstraint"
+}

package/generated/json-schema/ExclusiveMaxConstraintValue.json

@@ -0,0 +1,39 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/ExclusiveMaxConstraintValue.json",
+	"oneOf": [
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "number"
+				},
+				"value": {
+					"type": "number"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "string"
+				},
+				"value": {
+					"type": "string"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		}
+	],
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/ExclusiveMaxConstraintValue"
+}

package/generated/json-schema/ExclusiveMinConstraint.json

@@ -0,0 +1,19 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/ExclusiveMinConstraint.json",
+	"type": "object",
+	"properties": {
+		"keyword": {
+			"type": "string",
+			"const": "exclusiveMin"
+		},
+		"value": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/ExclusiveMinConstraintValue.json"
+		}
+	},
+	"required": ["keyword", "value"],
+	"unevaluatedProperties": {
+		"not": {}
+	},
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/ExclusiveMinConstraint"
+}

package/generated/json-schema/ExclusiveMinConstraintValue.json

@@ -0,0 +1,39 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/ExclusiveMinConstraintValue.json",
+	"oneOf": [
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "number"
+				},
+				"value": {
+					"type": "number"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		},
+		{
+			"type": "object",
+			"properties": {
+				"kind": {
+					"type": "string",
+					"const": "string"
+				},
+				"value": {
+					"type": "string"
+				}
+			},
+			"required": ["kind", "value"],
+			"unevaluatedProperties": {
+				"not": {}
+			}
+		}
+	],
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/ExclusiveMinConstraintValue"
+}

package/generated/json-schema/FieldDecl.json

@@ -0,0 +1,37 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/FieldDecl.json",
+	"type": "object",
+	"properties": {
+		"name": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/Identifier.json"
+		},
+		"type": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/TypeRef.json"
+		},
+		"identity": {
+			"type": "boolean"
+		},
+		"nullable": {
+			"type": "boolean"
+		},
+		"default": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/DefaultDecl.json"
+		},
+		"doc": {
+			"type": "string"
+		},
+		"constraints": {
+			"type": "array",
+			"items": {
+				"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/ConstraintDecl.json"
+			}
+		}
+	},
+	"required": ["name", "type"],
+	"unevaluatedProperties": {
+		"not": {}
+	},
+	"description": "A field declaration (one typed Properties row). Reader: unique by name; identity only on 1..1 non-JsonObject.",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/FieldDecl"
+}

package/generated/json-schema/FormatConstraint.json

@@ -0,0 +1,20 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/FormatConstraint.json",
+	"type": "object",
+	"properties": {
+		"keyword": {
+			"type": "string",
+			"const": "format"
+		},
+		"name": {
+			"type": "string",
+			"pattern": "^[a-z0-9][a-z0-9.-]*:[A-Za-z0-9][A-Za-z0-9._-]*$"
+		}
+	},
+	"required": ["keyword", "name"],
+	"unevaluatedProperties": {
+		"not": {}
+	},
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/FormatConstraint"
+}

package/generated/json-schema/Identifier.json

@@ -0,0 +1,8 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/Identifier.json",
+	"type": "string",
+	"pattern": "^[A-Za-z_][A-Za-z0-9_]*$",
+	"description": "A declaration name: letters, digits, underscore; no leading digit.",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/Identifier"
+}

package/generated/json-schema/KernelScalar.json

@@ -0,0 +1,20 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/KernelScalar.json",
+	"type": "string",
+	"enum": [
+		"UUID",
+		"Boolean",
+		"Integer",
+		"Decimal",
+		"Float32",
+		"Float64",
+		"String",
+		"Timestamp",
+		"Duration",
+		"Bytes",
+		"JsonObject"
+	],
+	"description": "Kernel scalar library (FR-032); representations in kernel-scalars.json.",
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/KernelScalar"
+}

package/generated/json-schema/MaxConstraint.json

@@ -0,0 +1,19 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://schemas.agent-ix.org/semantic-core/0.4.1/MaxConstraint.json",
+	"type": "object",
+	"properties": {
+		"keyword": {
+			"type": "string",
+			"const": "max"
+		},
+		"value": {
+			"$ref": "https://schemas.agent-ix.org/semantic-core/0.4.1/MaxConstraintValue.json"
+		}
+	},
+	"required": ["keyword", "value"],
+	"unevaluatedProperties": {
+		"not": {}
+	},
+	"x-agent-ix-semantic-id": "ix://agent-ix/semantic-core/MaxConstraint"
+}