project-tiny-context-harness 0.11.0 → 0.12.0

package/dist/schemas/design-authority-delta-assessment-v1.schema.json

@@ -1,191 +0,0 @@
-{
-    "$schema": "https://json-schema.org/draft/2020-12/schema",
-    "$id": "https://tiny-context.dev/schemas/design-authority-delta-assessment-v1.schema.json",
-    "title": "Design Authority Delta Assessment V1",
-    "oneOf": [
-        { "$ref": "#/$defs/consistent" },
-        { "$ref": "#/$defs/taskOnly" },
-        { "$ref": "#/$defs/crossTask" },
-        { "$ref": "#/$defs/candidate" }
-    ],
-    "$defs": {
-        "identity": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["format_version", "entry_path", "manifest_path", "closure_digest", "revision"],
-            "properties": {
-                "format_version": { "const": 1 },
-                "entry_path": { "const": "DESIGN.md" },
-                "manifest_path": {
-                    "oneOf": [
-                        { "type": "null" },
-                        { "const": "design_system/authority.manifest.json" }
-                    ]
-                },
-                "closure_digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
-                "revision": {
-                    "oneOf": [
-                        { "type": "null" },
-                        { "type": "string", "minLength": 1 }
-                    ]
-                }
-            }
-        },
-        "base": {
-            "type": "object",
-            "required": ["schema_version", "assessment", "based_on"],
-            "properties": {
-                "schema_version": { "const": "design-authority-delta-assessment-v1" },
-                "assessment": {
-                    "enum": [
-                        "consistent_with_current_authority",
-                        "task_local_variance",
-                        "authority_delta_candidate"
-                    ]
-                },
-                "based_on": { "$ref": "#/$defs/identity" }
-            }
-        },
-        "stringSet": {
-            "type": "array",
-            "items": { "type": "string", "minLength": 1 },
-            "uniqueItems": true
-        },
-        "sourceRefSet": {
-            "type": "array",
-            "items": {
-                "type": "string",
-                "minLength": 1,
-                "pattern": "^[^\\\\#]+(?:#[^#]+)?$"
-            },
-            "uniqueItems": true
-        },
-        "change": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["key", "proposal", "rationale"],
-            "properties": {
-                "key": { "type": "string", "minLength": 1 },
-                "proposal": { "type": "string", "minLength": 1 },
-                "rationale": { "type": "string", "minLength": 1 }
-            }
-        },
-        "changes": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["tokens", "components", "patterns", "motion", "platforms"],
-            "properties": {
-                "tokens": { "type": "array", "items": { "$ref": "#/$defs/change" } },
-                "components": { "type": "array", "items": { "$ref": "#/$defs/change" } },
-                "patterns": { "type": "array", "items": { "$ref": "#/$defs/change" } },
-                "motion": { "type": "array", "items": { "$ref": "#/$defs/change" } },
-                "platforms": { "type": "array", "items": { "$ref": "#/$defs/change" } }
-            }
-        },
-        "consistent": {
-            "allOf": [
-                { "$ref": "#/$defs/base" },
-                {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": ["schema_version", "assessment", "based_on", "evidence", "observed_variances"],
-                    "properties": {
-                        "schema_version": { "const": "design-authority-delta-assessment-v1" },
-                        "assessment": { "const": "consistent_with_current_authority" },
-                        "based_on": { "$ref": "#/$defs/identity" },
-                        "evidence": {
-                            "type": "object",
-                            "additionalProperties": false,
-                            "required": ["tokens", "components", "rules"],
-                            "properties": {
-                                "tokens": { "$ref": "#/$defs/stringSet" },
-                                "components": { "$ref": "#/$defs/stringSet" },
-                                "rules": { "$ref": "#/$defs/sourceRefSet" }
-                            }
-                        },
-                        "observed_variances": { "type": "array", "maxItems": 0 }
-                    }
-                }
-            ]
-        },
-        "varianceBase": {
-            "type": "object",
-            "required": ["schema_version", "assessment", "based_on", "scope", "reason", "affected_rules", "durability"],
-            "properties": {
-                "schema_version": { "const": "design-authority-delta-assessment-v1" },
-                "assessment": { "const": "task_local_variance" },
-                "based_on": { "$ref": "#/$defs/identity" },
-                "scope": { "allOf": [{ "$ref": "#/$defs/stringSet" }, { "minItems": 1 }] },
-                "reason": { "type": "string", "minLength": 1 },
-                "affected_rules": { "allOf": [{ "$ref": "#/$defs/sourceRefSet" }, { "minItems": 1 }] },
-                "durability": { "enum": ["task_only", "cross_task_candidate"] }
-            }
-        },
-        "taskOnly": {
-            "allOf": [
-                { "$ref": "#/$defs/varianceBase" },
-                {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": ["schema_version", "assessment", "based_on", "scope", "reason", "affected_rules", "durability", "precedent"],
-                    "properties": {
-                        "schema_version": { "const": "design-authority-delta-assessment-v1" },
-                        "assessment": { "const": "task_local_variance" },
-                        "based_on": { "$ref": "#/$defs/identity" },
-                        "scope": { "$ref": "#/$defs/stringSet" },
-                        "reason": { "type": "string", "minLength": 1 },
-                        "affected_rules": { "$ref": "#/$defs/sourceRefSet" },
-                        "durability": { "const": "task_only" },
-                        "precedent": { "const": "forbidden" }
-                    }
-                }
-            ]
-        },
-        "crossTask": {
-            "allOf": [
-                { "$ref": "#/$defs/varianceBase" },
-                {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": ["schema_version", "assessment", "based_on", "scope", "reason", "affected_rules", "durability", "required_owner"],
-                    "properties": {
-                        "schema_version": { "const": "design-authority-delta-assessment-v1" },
-                        "assessment": { "const": "task_local_variance" },
-                        "based_on": { "$ref": "#/$defs/identity" },
-                        "scope": { "$ref": "#/$defs/stringSet" },
-                        "reason": { "type": "string", "minLength": 1 },
-                        "affected_rules": { "$ref": "#/$defs/sourceRefSet" },
-                        "durability": { "const": "cross_task_candidate" },
-                        "required_owner": {
-                            "type": "object",
-                            "additionalProperties": false,
-                            "required": ["type", "path"],
-                            "properties": {
-                                "type": { "const": "screen_contract" },
-                                "path": { "type": "string", "pattern": "^project_context/.+\\.md$" }
-                            }
-                        }
-                    }
-                }
-            ]
-        },
-        "candidate": {
-            "allOf": [
-                { "$ref": "#/$defs/base" },
-                {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": ["schema_version", "assessment", "based_on", "proposed_changes", "supporting_resources", "representative_scenarios"],
-                    "properties": {
-                        "schema_version": { "const": "design-authority-delta-assessment-v1" },
-                        "assessment": { "const": "authority_delta_candidate" },
-                        "based_on": { "$ref": "#/$defs/identity" },
-                        "proposed_changes": { "$ref": "#/$defs/changes" },
-                        "supporting_resources": { "$ref": "#/$defs/sourceRefSet" },
-                        "representative_scenarios": { "allOf": [{ "$ref": "#/$defs/stringSet" }, { "minItems": 1 }] }
-                    }
-                }
-            ]
-        }
-    }
-}

package/dist/schemas/design-resource-symbolic-noninterference-artifact-v2.schema.json

@@ -1,289 +0,0 @@
-{
-    "$schema": "https://json-schema.org/draft/2020-12/schema",
-    "$id": "https://github.com/Seven128/project-tiny-context-harness/schemas/design-resource-symbolic-noninterference-artifact-v2.schema.json",
-    "title": "Project Tiny Context Symbolic Non-Interference Artifact v2",
-    "type": "object",
-    "additionalProperties": false,
-    "required": [
-        "schema_version",
-        "side",
-        "method",
-        "oracle_identity",
-        "oracle_version",
-        "oracle_implementation_sha256",
-        "oracle_capability",
-        "environment_sha256",
-        "input_resources",
-        "input_snapshot_sha256",
-        "source_manifest_snapshot_sha256",
-        "target_snapshot_sha256",
-        "certificate_scope_sha256",
-        "rule_scope_sha256",
-        "omitted_axis_refs",
-        "derived_result",
-        "method_result_sha256",
-        "verdict",
-        "failure_witness"
-    ],
-    "properties": {
-        "schema_version": {
-            "const": "design-resource-symbolic-noninterference-artifact-v2"
-        },
-        "side": { "enum": ["source", "production"] },
-        "method": { "$ref": "#/$defs/method" },
-        "oracle_identity": { "$ref": "#/$defs/nonemptyString" },
-        "oracle_version": { "$ref": "#/$defs/nonemptyString" },
-        "oracle_implementation_sha256": { "$ref": "#/$defs/sha256" },
-        "oracle_capability": { "$ref": "#/$defs/nonemptyString" },
-        "environment_sha256": { "$ref": "#/$defs/sha256" },
-        "input_resources": {
-            "type": "array",
-            "minItems": 1,
-            "items": { "$ref": "#/$defs/inputBinding" }
-        },
-        "input_snapshot_sha256": { "$ref": "#/$defs/sha256" },
-        "source_manifest_snapshot_sha256": {
-            "oneOf": [{ "$ref": "#/$defs/sha256" }, { "type": "null" }]
-        },
-        "target_snapshot_sha256": { "$ref": "#/$defs/sha256" },
-        "certificate_scope_sha256": { "$ref": "#/$defs/sha256" },
-        "rule_scope_sha256": { "$ref": "#/$defs/sha256" },
-        "omitted_axis_refs": {
-            "type": "array",
-            "uniqueItems": true,
-            "items": { "$ref": "#/$defs/stableKey" }
-        },
-        "derived_result": { "$ref": "#/$defs/derivedResult" },
-        "method_result_sha256": { "$ref": "#/$defs/sha256" },
-        "verdict": { "enum": ["passed", "failed"] },
-        "failure_witness": {
-            "oneOf": [{ "$ref": "#/$defs/failureWitness" }, { "type": "null" }]
-        }
-    },
-    "allOf": [
-        {
-            "if": {
-                "properties": { "side": { "const": "source" } },
-                "required": ["side"]
-            },
-            "then": {
-                "properties": {
-                    "source_manifest_snapshot_sha256": { "$ref": "#/$defs/sha256" }
-                }
-            },
-            "else": {
-                "properties": {
-                    "source_manifest_snapshot_sha256": { "type": "null" }
-                }
-            }
-        },
-        {
-            "if": {
-                "properties": { "verdict": { "const": "passed" } },
-                "required": ["verdict"]
-            },
-            "then": { "properties": { "failure_witness": { "type": "null" } } },
-            "else": {
-                "properties": {
-                    "failure_witness": { "$ref": "#/$defs/failureWitness" }
-                }
-            }
-        }
-    ],
-    "$defs": {
-        "nonemptyString": { "type": "string", "minLength": 1 },
-        "stableKey": {
-            "type": "string",
-            "minLength": 1,
-            "pattern": "^[a-z0-9][a-z0-9._-]*$"
-        },
-        "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-        "method": {
-            "enum": [
-                "closed_world_static_dependency_closure",
-                "restricted_ir_symbolic_equivalence",
-                "finite_complete_domain_exhaustive_equivalence"
-            ]
-        },
-        "scalar": {
-            "oneOf": [{ "type": "string" }, { "type": "number" }]
-        },
-        "inputBinding": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["resource_ref", "path", "declared_sha256", "current_sha256"],
-            "properties": {
-                "resource_ref": { "$ref": "#/$defs/stableKey" },
-                "path": { "$ref": "#/$defs/nonemptyString" },
-                "declared_sha256": { "$ref": "#/$defs/sha256" },
-                "current_sha256": { "$ref": "#/$defs/sha256" }
-            }
-        },
-        "dependencyNode": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": [
-                "key",
-                "axis_refs",
-                "dependency_refs",
-                "input_resource_refs"
-            ],
-            "properties": {
-                "key": { "$ref": "#/$defs/stableKey" },
-                "axis_refs": {
-                    "type": "array",
-                    "uniqueItems": true,
-                    "items": { "$ref": "#/$defs/stableKey" }
-                },
-                "dependency_refs": {
-                    "type": "array",
-                    "uniqueItems": true,
-                    "items": { "$ref": "#/$defs/stableKey" }
-                },
-                "input_resource_refs": {
-                    "type": "array",
-                    "uniqueItems": true,
-                    "items": { "$ref": "#/$defs/stableKey" }
-                }
-            }
-        },
-        "dependencyRoot": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["fact_rule_refs", "node_ref"],
-            "properties": {
-                "fact_rule_refs": {
-                    "oneOf": [
-                        {
-                            "type": "array",
-                            "minItems": 1,
-                            "uniqueItems": true,
-                            "items": { "$ref": "#/$defs/stableKey" }
-                        },
-                        { "type": "null" }
-                    ]
-                },
-                "node_ref": { "$ref": "#/$defs/stableKey" }
-            }
-        },
-        "equivalenceCase": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": ["fact_rule_refs", "side_predicate", "axis_erased_predicate"],
-            "properties": {
-                "fact_rule_refs": {
-                    "type": "array",
-                    "minItems": 1,
-                    "uniqueItems": true,
-                    "items": { "$ref": "#/$defs/stableKey" }
-                },
-                "side_predicate": {
-                    "$ref": "design-resource-symbolic-source-ir-v1.schema.json#/$defs/predicate"
-                },
-                "axis_erased_predicate": {
-                    "$ref": "design-resource-symbolic-source-ir-v1.schema.json#/$defs/predicate"
-                }
-            }
-        },
-        "derivedResult": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": [
-                "source_ir_resource_ref",
-                "static_dependency_nodes",
-                "static_rule_roots",
-                "equivalence_cases",
-                "complete_domain_cardinality",
-                "exhaustive_evaluation_sha256"
-            ],
-            "properties": {
-                "source_ir_resource_ref": {
-                    "oneOf": [{ "$ref": "#/$defs/stableKey" }, { "type": "null" }]
-                },
-                "static_dependency_nodes": {
-                    "type": "array",
-                    "items": { "$ref": "#/$defs/dependencyNode" }
-                },
-                "static_rule_roots": {
-                    "type": "array",
-                    "items": { "$ref": "#/$defs/dependencyRoot" }
-                },
-                "equivalence_cases": {
-                    "type": "array",
-                    "items": { "$ref": "#/$defs/equivalenceCase" }
-                },
-                "complete_domain_cardinality": {
-                    "oneOf": [
-                        { "type": "string", "pattern": "^(?:0|[1-9][0-9]*)$" },
-                        { "type": "null" }
-                    ]
-                },
-                "exhaustive_evaluation_sha256": {
-                    "oneOf": [{ "$ref": "#/$defs/sha256" }, { "type": "null" }]
-                }
-            }
-        },
-        "failureWitness": {
-            "type": "object",
-            "additionalProperties": false,
-            "required": [
-                "kind",
-                "side",
-                "certificate_scope_sha256",
-                "axis_ref",
-                "fact_rule_ref",
-                "resource_ref",
-                "path",
-                "locator",
-                "node_ref",
-                "byte_offset",
-                "assignment",
-                "detail"
-            ],
-            "properties": {
-                "kind": {
-                    "enum": [
-                        "omitted_axis_dependency",
-                        "unsupported_dependency",
-                        "source_rule_denotation_mismatch",
-                        "complete_domain_counterexample"
-                    ]
-                },
-                "side": { "enum": ["source", "production"] },
-                "certificate_scope_sha256": { "$ref": "#/$defs/sha256" },
-                "axis_ref": {
-                    "oneOf": [{ "$ref": "#/$defs/stableKey" }, { "type": "null" }]
-                },
-                "fact_rule_ref": {
-                    "oneOf": [{ "$ref": "#/$defs/stableKey" }, { "type": "null" }]
-                },
-                "resource_ref": {
-                    "oneOf": [{ "$ref": "#/$defs/stableKey" }, { "type": "null" }]
-                },
-                "path": {
-                    "oneOf": [{ "$ref": "#/$defs/nonemptyString" }, { "type": "null" }]
-                },
-                "locator": {
-                    "oneOf": [{ "$ref": "#/$defs/nonemptyString" }, { "type": "null" }]
-                },
-                "node_ref": {
-                    "oneOf": [{ "$ref": "#/$defs/stableKey" }, { "type": "null" }]
-                },
-                "byte_offset": {
-                    "oneOf": [{ "type": "integer", "minimum": 0 }, { "type": "null" }]
-                },
-                "assignment": {
-                    "oneOf": [
-                        {
-                            "type": "object",
-                            "propertyNames": { "$ref": "#/$defs/stableKey" },
-                            "additionalProperties": { "$ref": "#/$defs/scalar" }
-                        },
-                        { "type": "null" }
-                    ]
-                },
-                "detail": { "$ref": "#/$defs/nonemptyString" }
-            }
-        }
-    }
-}

package/dist/schemas/design-resource-symbolic-source-ir-v1.schema.json

@@ -1,130 +0,0 @@
-{
-    "$schema": "https://json-schema.org/draft/2020-12/schema",
-    "$id": "https://github.com/Seven128/project-tiny-context-harness/schemas/design-resource-symbolic-source-ir-v1.schema.json",
-    "title": "Project Tiny Context Symbolic Source IR v1",
-    "type": "object",
-    "additionalProperties": false,
-    "required": ["schema_version", "target_ref", "certificate_scopes"],
-    "properties": {
-        "schema_version": {
-            "const": "design-resource-symbolic-source-ir-v1"
-        },
-        "target_ref": {
-            "$ref": "#/$defs/stableKey"
-        },
-        "certificate_scopes": {
-            "type": "array",
-            "minItems": 1,
-            "items": {
-                "type": "object",
-                "additionalProperties": false,
-                "required": [
-                    "certificate_scope_sha256",
-                    "rule_scope_sha256",
-                    "regions"
-                ],
-                "properties": {
-                    "certificate_scope_sha256": { "$ref": "#/$defs/sha256" },
-                    "rule_scope_sha256": { "$ref": "#/$defs/sha256" },
-                    "regions": {
-                        "type": "array",
-                        "minItems": 1,
-                        "items": {
-                            "type": "object",
-                            "additionalProperties": false,
-                            "required": ["rule_region_sha256", "predicate"],
-                            "properties": {
-                                "rule_region_sha256": { "$ref": "#/$defs/sha256" },
-                                "predicate": { "$ref": "#/$defs/predicate" }
-                            }
-                        }
-                    }
-                }
-            }
-        }
-    },
-    "$defs": {
-        "stableKey": {
-            "type": "string",
-            "minLength": 1,
-            "pattern": "^[a-z0-9][a-z0-9._-]*$"
-        },
-        "sha256": {
-            "type": "string",
-            "pattern": "^[a-f0-9]{64}$"
-        },
-        "scalar": {
-            "oneOf": [{ "type": "string" }, { "type": "number" }]
-        },
-        "predicate": {
-            "oneOf": [
-                {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": ["op", "axis_ref", "value"],
-                    "properties": {
-                        "op": { "const": "eq" },
-                        "axis_ref": { "$ref": "#/$defs/stableKey" },
-                        "value": { "$ref": "#/$defs/scalar" }
-                    }
-                },
-                {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": ["op", "axis_ref", "values"],
-                    "properties": {
-                        "op": { "const": "in" },
-                        "axis_ref": { "$ref": "#/$defs/stableKey" },
-                        "values": {
-                            "type": "array",
-                            "minItems": 1,
-                            "items": { "$ref": "#/$defs/scalar" }
-                        }
-                    }
-                },
-                {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": [
-                        "op",
-                        "axis_ref",
-                        "minimum",
-                        "maximum",
-                        "minimum_inclusive",
-                        "maximum_inclusive"
-                    ],
-                    "properties": {
-                        "op": { "const": "range" },
-                        "axis_ref": { "$ref": "#/$defs/stableKey" },
-                        "minimum": { "type": "number" },
-                        "maximum": { "type": "number" },
-                        "minimum_inclusive": { "type": "boolean" },
-                        "maximum_inclusive": { "type": "boolean" }
-                    }
-                },
-                {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": ["op", "predicates"],
-                    "properties": {
-                        "op": { "enum": ["all", "any"] },
-                        "predicates": {
-                            "type": "array",
-                            "minItems": 1,
-                            "items": { "$ref": "#/$defs/predicate" }
-                        }
-                    }
-                },
-                {
-                    "type": "object",
-                    "additionalProperties": false,
-                    "required": ["op", "predicate"],
-                    "properties": {
-                        "op": { "const": "not" },
-                        "predicate": { "$ref": "#/$defs/predicate" }
-                    }
-                }
-            ]
-        }
-    }
-}