project-tiny-context-harness 0.8.17 → 0.11.0

package/dist/schemas/long-task-delivery-v2/long-task-delivery-v2.schema.json

@@ -396,6 +396,42 @@
                 }
             }
         },
+        "semanticFactGlobalBindings": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["manifest_ref", "obligations"],
+            "properties": {
+                "manifest_ref": { "$ref": "#/$defs/semanticRef" },
+                "obligations": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": {
+                        "type": "object",
+                        "additionalProperties": false,
+                        "required": [
+                            "claim_ref",
+                            "applicability_ref",
+                            "target_ref",
+                            "outcome_ref",
+                            "fact_ref",
+                            "proof_ref",
+                            "method",
+                            "required_polarity"
+                        ],
+                        "properties": {
+                            "claim_ref": { "$ref": "#/$defs/semanticRef" },
+                            "applicability_ref": { "$ref": "#/$defs/semanticRef" },
+                            "target_ref": { "$ref": "#/$defs/semanticRef" },
+                            "outcome_ref": { "$ref": "#/$defs/semanticRef" },
+                            "fact_ref": { "$ref": "#/$defs/semanticRef" },
+                            "proof_ref": { "$ref": "#/$defs/semanticRef" },
+                            "method": { "$ref": "#/$defs/semanticRef" },
+                            "required_polarity": { "enum": ["positive", "negative"] }
+                        }
+                    }
+                }
+            }
+        },
         "sha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
         "nonEmpty": { "type": "string", "minLength": 1 },
         "nonEmptyStrings": {
@@ -468,7 +504,11 @@
                         "production_release_ready"
                     ]
                 },
-                "required_target_refs": { "$ref": "#/$defs/keys" }
+                "required_target_refs": { "$ref": "#/$defs/keys" },
+                "completion_authority": {
+                    "enum": ["machine_only", "declared_authorities"],
+                    "default": "machine_only"
+                }
             }
         },
         "executionTarget": {
@@ -611,6 +651,22 @@
                 "key": { "$ref": "#/$defs/key" },
                 "source_ref": { "type": "string", "pattern": "^[^#]+(?:#[^#]+)?$" },
                 "statement": { "$ref": "#/$defs/nonEmpty" },
+                "judgment_basis": {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["kind", "claim_ref", "applicability_refs"],
+                    "properties": {
+                        "kind": {
+                            "enum": [
+                                "subjective_preference",
+                                "expert_assessment",
+                                "authorization"
+                            ]
+                        },
+                        "claim_ref": { "$ref": "#/$defs/nonEmpty" },
+                        "applicability_refs": { "$ref": "#/$defs/nonEmptyStrings" }
+                    }
+                },
                 "disposition": {
                     "oneOf": [
                         {
@@ -724,6 +780,9 @@
                     "items": { "$ref": "#/$defs/claimApplicability" },
                     "default": []
                 },
+                "semantic_fact_bindings": {
+                    "$ref": "#/$defs/semanticFactGlobalBindings"
+                },
                 "product": {
                     "type": "object",
                     "additionalProperties": false,
@@ -804,7 +863,55 @@
                                         "uniqueItems": true,
                                         "items": { "$ref": "#/$defs/nonEmpty" }
                                     },
-                                    "blocks_target": { "type": "boolean" }
+                                    "blocks_target": { "type": "boolean" },
+                                    "actor": {
+                                        "type": "object",
+                                        "additionalProperties": false,
+                                        "required": ["id", "role", "authority_kind"],
+                                        "properties": {
+                                            "id": { "$ref": "#/$defs/nonEmpty" },
+                                            "role": { "$ref": "#/$defs/nonEmpty" },
+                                            "authority_kind": {
+                                                "enum": ["human", "expert", "external_system"]
+                                            },
+                                            "identity_assurance": {
+                                                "oneOf": [
+                                                    {
+                                                        "type": "object",
+                                                        "additionalProperties": false,
+                                                        "required": ["scheme", "key_id", "public_key_ref"],
+                                                        "properties": {
+                                                            "scheme": { "const": "ed25519" },
+                                                            "key_id": { "$ref": "#/$defs/key" },
+                                                            "public_key_ref": { "$ref": "#/$defs/nonEmpty" }
+                                                        }
+                                                    },
+                                                    {
+                                                        "type": "object",
+                                                        "additionalProperties": false,
+                                                        "required": ["scheme"],
+                                                        "properties": {
+                                                            "scheme": { "const": "declared_only" }
+                                                        }
+                                                    }
+                                                ]
+                                            }
+                                        }
+                                    },
+                                    "target_ref": { "$ref": "#/$defs/key" },
+                                    "environment_identity": { "$ref": "#/$defs/nonEmpty" },
+                                    "scenario": { "$ref": "#/$defs/scenario" },
+                                    "evidence_requirements": {
+                                        "type": "array",
+                                        "minItems": 1,
+                                        "uniqueItems": true,
+                                        "items": { "$ref": "#/$defs/keyedStatement" }
+                                    },
+                                    "obligations": {
+                                        "type": "array",
+                                        "minItems": 1,
+                                        "items": { "$ref": "#/$defs/externalObligation" }
+                                    }
                                 }
                             },
                             "default": []
@@ -814,6 +921,57 @@
                 }
             }
         },
+        "externalObligation": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "key",
+                "claim_ref",
+                "applicability_ref",
+                "fact_ref",
+                "proof_ref",
+                "method",
+                "proof_surface",
+                "evidence_capabilities",
+                "expected_authority_ref",
+                "result_kind"
+            ],
+            "properties": {
+                "key": { "$ref": "#/$defs/key" },
+                "claim_ref": { "$ref": "#/$defs/nonEmpty" },
+                "applicability_ref": { "$ref": "#/$defs/key" },
+                "fact_ref": {
+                    "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/nonEmpty" }]
+                },
+                "proof_ref": {
+                    "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/nonEmpty" }]
+                },
+                "method": { "$ref": "#/$defs/nonEmpty" },
+                "proof_surface": { "$ref": "#/$defs/proofSurface" },
+                "evidence_capabilities": {
+                    "type": "array",
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/evidenceCapability" }
+                },
+                "expected_authority_ref": { "$ref": "#/$defs/nonEmpty" },
+                "result_kind": { "enum": ["actual", "judgment"] },
+                "judgment_basis": {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["kind", "source_ref"],
+                    "properties": {
+                        "kind": {
+                            "enum": [
+                                "subjective_preference",
+                                "expert_assessment",
+                                "authorization"
+                            ]
+                        },
+                        "source_ref": { "$ref": "#/$defs/key" }
+                    }
+                }
+            }
+        },
         "outcome": {
             "type": "object",
             "additionalProperties": false,
@@ -1830,6 +1988,7 @@
                 "criterion": { "$ref": "#/$defs/nonEmpty" },
                 "claims": { "$ref": "#/$defs/nonEmptyStrings" },
                 "applicability_ref": { "$ref": "#/$defs/key" },
+                "expected_authority_ref": { "$ref": "#/$defs/nonEmpty" },
                 "observation": { "$ref": "#/$defs/nonEmpty" },
                 "evidence_capabilities": {
                     "type": "array",
@@ -1957,8 +2116,13 @@
                 "cross_surface_consistency",
                 "durable_readback",
                 "boundary_invocation",
+                "actual_provenance",
                 "external_side_effect",
+                "distinct_identity",
+                "data_state",
+                "population_coverage",
                 "failure_injection",
+                "recovery",
                 "visual_render",
                 "design_conformance",
                 "design_method",

package/dist/schemas/long-task-external-confirmation-record-v1.schema.json

@@ -0,0 +1,155 @@
+{
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "$id": "https://github.com/Seven128/project-tiny-context-harness/schemas/long-task-external-confirmation-record-v1.schema.json",
+    "title": "Tiny Context Long-Task External Confirmation Record v1",
+    "type": "object",
+    "additionalProperties": false,
+    "required": [
+        "schema_version",
+        "confirmation_ref",
+        "compiled_identity",
+        "authority_revision",
+        "candidate",
+        "actor",
+        "session",
+        "results",
+        "artifact_hashes",
+        "relevant_input_identity",
+        "record_sha256"
+    ],
+    "properties": {
+        "schema_version": {
+            "const": "long-task-external-confirmation-record-v1"
+        },
+        "confirmation_ref": {
+            "$ref": "#/$defs/key"
+        },
+        "compiled_identity": {
+            "$ref": "#/$defs/sha256"
+        },
+        "authority_revision": {
+            "type": "integer",
+            "minimum": 0
+        },
+        "candidate": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["git_head", "git_tree", "snapshot_sha256"],
+            "properties": {
+                "git_head": { "$ref": "#/$defs/gitObject" },
+                "git_tree": { "$ref": "#/$defs/gitObject" },
+                "snapshot_sha256": { "$ref": "#/$defs/sha256" }
+            }
+        },
+        "actor": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["id", "role", "authority_kind"],
+            "properties": {
+                "id": { "$ref": "#/$defs/nonempty" },
+                "role": { "$ref": "#/$defs/nonempty" },
+                "authority_kind": {
+                    "enum": ["human", "expert", "external_system"]
+                }
+            }
+        },
+        "session": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "id",
+                "target_ref",
+                "environment_identity",
+                "started_at",
+                "completed_at"
+            ],
+            "properties": {
+                "id": { "$ref": "#/$defs/nonempty" },
+                "target_ref": { "$ref": "#/$defs/semanticRef" },
+                "environment_identity": { "$ref": "#/$defs/nonempty" },
+                "started_at": { "type": "string", "format": "date-time" },
+                "completed_at": { "type": "string", "format": "date-time" }
+            }
+        },
+        "results": {
+            "type": "array",
+            "minItems": 1,
+            "items": { "$ref": "#/$defs/result" }
+        },
+        "artifact_hashes": {
+            "type": "object",
+            "minProperties": 1,
+            "propertyNames": {
+                "type": "string",
+                "minLength": 1,
+                "pattern": "^(?![A-Za-z]:)(?!/)(?!.*(?:^|/)\\.\\.(?:/|$)).+$"
+            },
+            "additionalProperties": { "$ref": "#/$defs/sha256" }
+        },
+        "relevant_input_identity": {
+            "type": "string",
+            "pattern": "^(?:bounded|whole):[a-f0-9]{64}$"
+        },
+        "record_sha256": {
+            "$ref": "#/$defs/sha256"
+        }
+    },
+    "$defs": {
+        "nonempty": {
+            "type": "string",
+            "minLength": 1
+        },
+        "key": {
+            "type": "string",
+            "pattern": "^[a-z0-9][a-z0-9-]*$"
+        },
+        "semanticRef": {
+            "type": "string",
+            "pattern": "^[a-z0-9][a-z0-9._:-]*$"
+        },
+        "sha256": {
+            "type": "string",
+            "pattern": "^[a-f0-9]{64}$"
+        },
+        "gitObject": {
+            "type": "string",
+            "pattern": "^(?:[a-f0-9]{40}|[a-f0-9]{64})$"
+        },
+        "result": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "obligation_ref",
+                "fact_ref",
+                "claim_ref",
+                "applicability_ref",
+                "verdict",
+                "evidence_refs"
+            ],
+            "properties": {
+                "obligation_ref": { "$ref": "#/$defs/semanticRef" },
+                "fact_ref": {
+                    "oneOf": [
+                        { "type": "null" },
+                        { "$ref": "#/$defs/semanticRef" }
+                    ]
+                },
+                "claim_ref": { "$ref": "#/$defs/semanticRef" },
+                "applicability_ref": { "$ref": "#/$defs/semanticRef" },
+                "actual": true,
+                "verdict": { "enum": ["passed", "failed", "unable"] },
+                "evidence_refs": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": {
+                        "type": "string",
+                        "minLength": 1,
+                        "pattern": "^(?![A-Za-z]:)(?!/)(?!.*(?:^|/)\\.\\.(?:/|$)).+$"
+                    }
+                },
+                "rationale": { "type": "string" }
+            }
+        }
+    }
+}

package/dist/schemas/long-task-external-confirmation-record-v2.schema.json

@@ -0,0 +1,209 @@
+{
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "$id": "https://github.com/Seven128/project-tiny-context-harness/schemas/long-task-external-confirmation-record-v2.schema.json",
+    "title": "Tiny Context Long-Task External Confirmation Record v2",
+    "type": "object",
+    "additionalProperties": false,
+    "required": [
+        "schema_version",
+        "confirmation_ref",
+        "compiled_identity",
+        "authority_revision",
+        "candidate",
+        "challenge",
+        "actor",
+        "session",
+        "results",
+        "artifact_snapshots",
+        "relevant_input_identity",
+        "attestation",
+        "record_sha256"
+    ],
+    "properties": {
+        "schema_version": {
+            "const": "long-task-external-confirmation-record-v2"
+        },
+        "confirmation_ref": { "$ref": "#/$defs/key" },
+        "compiled_identity": { "$ref": "#/$defs/sha256" },
+        "authority_revision": { "type": "integer", "minimum": 0 },
+        "candidate": { "$ref": "#/$defs/candidate" },
+        "challenge": {
+            "type": "string",
+            "pattern": "^[A-Za-z0-9_-]{43}$"
+        },
+        "actor": { "$ref": "#/$defs/actor" },
+        "session": { "$ref": "#/$defs/session" },
+        "results": {
+            "type": "array",
+            "minItems": 1,
+            "items": { "$ref": "#/$defs/result" }
+        },
+        "artifact_snapshots": {
+            "type": "object",
+            "minProperties": 1,
+            "propertyNames": { "$ref": "#/$defs/repoPath" },
+            "additionalProperties": { "$ref": "#/$defs/artifactSnapshot" }
+        },
+        "relevant_input_identity": {
+            "type": "string",
+            "pattern": "^(?:bounded|whole):[a-f0-9]{64}$"
+        },
+        "attestation": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["scheme", "key_id", "signature_base64"],
+            "properties": {
+                "scheme": { "const": "ed25519" },
+                "key_id": { "$ref": "#/$defs/key" },
+                "signature_base64": {
+                    "type": "string",
+                    "pattern": "^[A-Za-z0-9+/]{86}==$"
+                }
+            }
+        },
+        "record_sha256": { "$ref": "#/$defs/sha256" }
+    },
+    "$defs": {
+        "nonempty": { "type": "string", "minLength": 1 },
+        "key": {
+            "type": "string",
+            "pattern": "^[a-z0-9][a-z0-9-]*$"
+        },
+        "semanticRef": {
+            "type": "string",
+            "pattern": "^[a-z0-9][a-z0-9._:-]*$"
+        },
+        "sha256": {
+            "type": "string",
+            "pattern": "^[a-f0-9]{64}$"
+        },
+        "gitObject": {
+            "type": "string",
+            "pattern": "^(?:[a-f0-9]{40}|[a-f0-9]{64})$"
+        },
+        "repoPath": {
+            "type": "string",
+            "minLength": 1,
+            "pattern": "^(?![A-Za-z]:)(?!/)(?!.*(?:^|/)\\.\\.(?:/|$)).+$"
+        },
+        "candidate": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["git_head", "git_tree", "snapshot_sha256"],
+            "properties": {
+                "git_head": { "$ref": "#/$defs/gitObject" },
+                "git_tree": { "$ref": "#/$defs/gitObject" },
+                "snapshot_sha256": { "$ref": "#/$defs/sha256" }
+            }
+        },
+        "actor": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["id", "role", "authority_kind"],
+            "properties": {
+                "id": { "$ref": "#/$defs/nonempty" },
+                "role": { "$ref": "#/$defs/nonempty" },
+                "authority_kind": {
+                    "enum": ["human", "expert", "external_system"]
+                }
+            }
+        },
+        "session": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "id",
+                "target_ref",
+                "environment_identity",
+                "started_at",
+                "completed_at"
+            ],
+            "properties": {
+                "id": { "$ref": "#/$defs/nonempty" },
+                "target_ref": { "$ref": "#/$defs/semanticRef" },
+                "environment_identity": { "$ref": "#/$defs/nonempty" },
+                "started_at": { "type": "string", "format": "date-time" },
+                "completed_at": { "type": "string", "format": "date-time" }
+            }
+        },
+        "artifactSnapshot": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["sha256", "size_bytes", "media_type", "store_ref"],
+            "properties": {
+                "sha256": { "$ref": "#/$defs/sha256" },
+                "size_bytes": { "type": "integer", "minimum": 0 },
+                "media_type": {
+                    "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/nonempty" }]
+                },
+                "store_ref": { "$ref": "#/$defs/repoPath" }
+            }
+        },
+        "result": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "obligation_ref",
+                "fact_ref",
+                "claim_ref",
+                "applicability_ref",
+                "result_kind",
+                "verdict",
+                "evidence_refs"
+            ],
+            "properties": {
+                "obligation_ref": { "$ref": "#/$defs/semanticRef" },
+                "fact_ref": {
+                    "oneOf": [
+                        { "type": "null" },
+                        { "$ref": "#/$defs/semanticRef" }
+                    ]
+                },
+                "claim_ref": { "$ref": "#/$defs/semanticRef" },
+                "applicability_ref": { "$ref": "#/$defs/semanticRef" },
+                "result_kind": { "enum": ["actual", "judgment"] },
+                "actual": true,
+                "verdict": { "enum": ["passed", "failed", "unable"] },
+                "evidence_refs": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/repoPath" }
+                },
+                "rationale": { "$ref": "#/$defs/nonempty" }
+            },
+            "allOf": [
+                {
+                    "if": {
+                        "properties": { "result_kind": { "const": "judgment" } },
+                        "required": ["result_kind"]
+                    },
+                    "then": {
+                        "required": ["rationale"],
+                        "not": { "required": ["actual"] }
+                    }
+                },
+                {
+                    "if": {
+                        "properties": {
+                            "result_kind": { "const": "actual" },
+                            "verdict": { "enum": ["passed", "failed"] }
+                        },
+                        "required": ["result_kind", "verdict"]
+                    },
+                    "then": { "required": ["actual"] }
+                },
+                {
+                    "if": {
+                        "properties": {
+                            "result_kind": { "const": "actual" },
+                            "verdict": { "const": "unable" }
+                        },
+                        "required": ["result_kind", "verdict"]
+                    },
+                    "then": { "required": ["rationale"] }
+                }
+            ]
+        }
+    }
+}