project-tiny-context-harness 0.8.11 → 0.8.12

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

@@ -8,7 +8,6 @@
         "schema_version",
         "semantic_fact_manifest",
         "task",
-        "source_claims",
         "stages",
         "risk",
         "global"
@@ -54,6 +53,9 @@
             "minItems": 1,
             "items": { "$ref": "#/$defs/sourceClaim" }
         },
+        "compact_semantic_carrier": {
+            "$ref": "#/$defs/longTaskCompactCarrier"
+        },
         "stages": {
             "type": "array",
             "minItems": 1,
@@ -68,9 +70,30 @@
         },
         "outcome_files": { "$ref": "#/$defs/nonEmptyStrings" }
     },
-    "oneOf": [
-        { "required": ["outcomes"], "not": { "required": ["outcome_files"] } },
-        { "required": ["outcome_files"], "not": { "required": ["outcomes"] } }
+    "allOf": [
+        {
+            "oneOf": [
+                {
+                    "required": ["source_claims"],
+                    "not": { "required": ["compact_semantic_carrier"] }
+                },
+                {
+                    "required": ["compact_semantic_carrier", "outcomes"],
+                    "not": {
+                        "anyOf": [
+                            { "required": ["source_claims"] },
+                            { "required": ["outcome_files"] }
+                        ]
+                    }
+                }
+            ]
+        },
+        {
+            "oneOf": [
+                { "required": ["outcomes"], "not": { "required": ["outcome_files"] } },
+                { "required": ["outcome_files"], "not": { "required": ["outcomes"] } }
+            ]
+        }
     ],
     "$defs": {
         "key": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" },
@@ -94,6 +117,163 @@
                 "sha256": { "$ref": "#/$defs/sha256" }
             }
         },
+        "compactTable": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["defaults", "columns", "rows"],
+            "properties": {
+                "defaults": { "type": "object" },
+                "columns": {
+                    "type": "array",
+                    "uniqueItems": true,
+                    "items": { "type": "string", "pattern": "^[a-z][a-z0-9_]*$" }
+                },
+                "rows": {
+                    "type": "array",
+                    "items": { "type": "array" }
+                }
+            }
+        },
+        "compactFactSet": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["key", "defaults", "columns", "rows"],
+            "properties": {
+                "key": { "$ref": "#/$defs/semanticRef" },
+                "defaults": { "type": "object" },
+                "columns": {
+                    "type": "array",
+                    "uniqueItems": true,
+                    "items": { "type": "string", "pattern": "^[a-z][a-z0-9_]*$" }
+                },
+                "rows": {
+                    "type": "array",
+                    "items": { "type": "array" }
+                }
+            }
+        },
+        "longTaskCompactCapacityCounts": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "claims",
+                "claim_projections",
+                "selector_members",
+                "structure_families",
+                "structure_references",
+                "structure_arguments",
+                "facts",
+                "obligations",
+                "assertions",
+                "canonical_bytes"
+            ],
+            "properties": {
+                "claims": { "type": "integer", "minimum": 0, "maximum": 1000000 },
+                "claim_projections": { "type": "integer", "minimum": 0, "maximum": 2000000 },
+                "selector_members": { "type": "integer", "minimum": 0, "maximum": 5000000 },
+                "structure_families": { "type": "integer", "minimum": 0, "maximum": 1000000 },
+                "structure_references": { "type": "integer", "minimum": 0, "maximum": 10000000 },
+                "structure_arguments": { "type": "integer", "minimum": 0, "maximum": 50000000 },
+                "facts": { "type": "integer", "minimum": 0, "maximum": 1000000 },
+                "obligations": { "type": "integer", "minimum": 0, "maximum": 2000000 },
+                "assertions": { "type": "integer", "minimum": 0, "maximum": 5000000 },
+                "canonical_bytes": { "type": "integer", "minimum": 0, "maximum": 268435456 }
+            }
+        },
+        "longTaskCompactCarrier": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "schema_version",
+                "capacity",
+                "selectors",
+                "shared_structures",
+                "claim_catalog",
+                "claim_projections",
+                "fact_sets",
+                "proof_templates",
+                "obligations",
+                "assertion_projections",
+                "exceptions"
+            ],
+            "properties": {
+                "schema_version": { "const": "long-task-compact-carrier-v1" },
+                "capacity": {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["theoretical_ground_universe", "measured", "maximum"],
+                    "properties": {
+                        "theoretical_ground_universe": { "const": "not_materialized" },
+                        "measured": { "$ref": "#/$defs/longTaskCompactCapacityCounts" },
+                        "maximum": { "$ref": "#/$defs/longTaskCompactCapacityCounts" }
+                    }
+                },
+                "selectors": {
+                    "type": "array",
+                    "items": {
+                        "type": "object",
+                        "additionalProperties": false,
+                        "required": ["key", "members"],
+                        "properties": {
+                            "key": { "$ref": "#/$defs/semanticRef" },
+                            "members": {
+                                "type": "array",
+                                "uniqueItems": true,
+                                "items": { "$ref": "#/$defs/semanticRef" }
+                            }
+                        }
+                    }
+                },
+                "shared_structures": {
+                    "type": "array",
+                    "items": {
+                        "type": "object",
+                        "additionalProperties": false,
+                        "required": ["key", "digest", "boundary", "parameter_count", "template"],
+                        "properties": {
+                            "key": { "type": "string", "pattern": "^structure\\.[a-f0-9]{24}$" },
+                            "digest": { "$ref": "#/$defs/sha256" },
+                            "boundary": { "$ref": "#/$defs/semanticRef" },
+                            "parameter_count": { "type": "integer", "minimum": 0 },
+                            "template": {}
+                        }
+                    }
+                },
+                "claim_catalog": { "$ref": "#/$defs/compactTable" },
+                "claim_projections": { "$ref": "#/$defs/compactTable" },
+                "fact_sets": {
+                    "type": "array",
+                    "items": { "$ref": "#/$defs/compactFactSet" }
+                },
+                "proof_templates": {
+                    "type": "array",
+                    "items": {
+                        "type": "object",
+                        "additionalProperties": false,
+                        "required": ["key", "binding"],
+                        "properties": {
+                            "key": { "$ref": "#/$defs/semanticRef" },
+                            "binding": { "type": "object" }
+                        }
+                    }
+                },
+                "obligations": { "$ref": "#/$defs/compactTable" },
+                "assertion_projections": { "$ref": "#/$defs/compactTable" },
+                "exceptions": {
+                    "type": "array",
+                    "items": {
+                        "type": "object",
+                        "additionalProperties": false,
+                        "required": ["key", "target_ref", "rationale"],
+                        "properties": {
+                            "key": { "$ref": "#/$defs/semanticRef" },
+                            "target_ref": { "$ref": "#/$defs/semanticRef" },
+                            "rationale": { "$ref": "#/$defs/nonEmpty" }
+                        }
+                    }
+                }
+            }
+        },
         "semanticFactBindings": {
             "type": "object",
             "additionalProperties": false,
@@ -109,6 +289,7 @@
                         "required": ["fact_ref", "claim_ref", "applicability_ref"],
                         "properties": {
                             "fact_ref": { "$ref": "#/$defs/semanticRef" },
+                            "fact_revision_digest": { "$ref": "#/$defs/sha256" },
                             "claim_ref": { "$ref": "#/$defs/semanticRef" },
                             "applicability_ref": { "$ref": "#/$defs/semanticRef" }
                         }
@@ -134,6 +315,7 @@
                                 ],
                                 "properties": {
                                     "proof_ref": { "$ref": "#/$defs/semanticRef" },
+                                    "obligation_revision_digest": { "$ref": "#/$defs/sha256" },
                                     "fact_ref": { "$ref": "#/$defs/semanticRef" },
                                     "method": { "$ref": "#/$defs/semanticRef" },
                                     "proof_surface": { "$ref": "#/$defs/proofSurface" },
@@ -162,6 +344,7 @@
                                 ],
                                 "properties": {
                                     "proof_ref": { "$ref": "#/$defs/semanticRef" },
+                                    "obligation_revision_digest": { "$ref": "#/$defs/sha256" },
                                     "fact_ref": { "$ref": "#/$defs/semanticRef" },
                                     "method": { "$ref": "#/$defs/semanticRef" },
                                     "proof_surface": { "$ref": "#/$defs/proofSurface" },
@@ -973,8 +1156,35 @@
                 "actual_artifact_path",
                 "comparison_artifact_path"
             ],
+            "oneOf": [
+                {
+                    "not": {
+                        "anyOf": [
+                            { "required": ["fact_model"] },
+                            { "required": ["symbolic_method_bindings"] },
+                            { "required": ["symbolic_certificate_binding"] }
+                        ]
+                    },
+                    "properties": {
+                        "verification_method_bindings": { "minItems": 1 }
+                    }
+                },
+                {
+                    "required": [
+                        "fact_model",
+                        "symbolic_method_bindings",
+                        "symbolic_certificate_binding"
+                    ],
+                    "properties": {
+                        "fact_model": { "const": "symbolic_rules_v2" },
+                        "verification_method_bindings": { "maxItems": 0 },
+                        "symbolic_method_bindings": { "minItems": 1 }
+                    }
+                }
+            ],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
+                "fact_model": { "const": "symbolic_rules_v2" },
                 "interpretation": { "enum": ["exact_target", "constraint"] },
                 "source_paths": { "$ref": "#/$defs/nonEmptyStrings" },
                 "condition_keys": { "$ref": "#/$defs/keys" },
@@ -983,7 +1193,6 @@
                 "conformance_assertion_ref": { "$ref": "#/$defs/key" },
                 "verification_method_bindings": {
                     "type": "array",
-                    "minItems": 1,
                     "uniqueItems": true,
                     "items": {
                         "type": "object",
@@ -1021,6 +1230,14 @@
                         }
                     }
                 },
+                "symbolic_method_bindings": {
+                    "type": "array",
+                    "uniqueItems": true,
+                    "items": { "$ref": "#/$defs/designSymbolicVerificationBinding" }
+                },
+                "symbolic_certificate_binding": {
+                    "$ref": "#/$defs/designSymbolicCertificateBinding"
+                },
                 "actual_artifact_path": { "$ref": "#/$defs/nonEmpty" },
                 "comparison_artifact_path": { "$ref": "#/$defs/nonEmpty" }
             }
@@ -1132,6 +1349,173 @@
                 }
             }
         },
+        "designQuantifier": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["kind", "minimum", "maximum"],
+            "properties": {
+                "kind": {
+                    "enum": [
+                        "one",
+                        "all",
+                        "any",
+                        "none",
+                        "exactly",
+                        "at_least",
+                        "at_most",
+                        "range"
+                    ]
+                },
+                "minimum": {
+                    "oneOf": [{ "type": "null" }, { "type": "integer", "minimum": 0 }]
+                },
+                "maximum": {
+                    "oneOf": [{ "type": "null" }, { "type": "integer", "minimum": 0 }]
+                }
+            }
+        },
+        "designSymbolicRuleExpectation": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "obligation_ref",
+                "fact_rule_ref",
+                "region_sha256",
+                "subject_or_relation_ref",
+                "property_ref",
+                "population_ref",
+                "quantifier",
+                "observation_sensitivity",
+                "expected",
+                "proof_surface",
+                "observation_boundary",
+                "comparison",
+                "oracle",
+                "environment",
+                "protected_value_policy",
+                "completion_effect"
+            ],
+            "properties": {
+                "obligation_ref": { "$ref": "#/$defs/designFactKey" },
+                "fact_rule_ref": { "$ref": "#/$defs/designFactKey" },
+                "region_sha256": { "$ref": "#/$defs/sha256" },
+                "subject_or_relation_ref": { "$ref": "#/$defs/designFactKey" },
+                "property_ref": { "$ref": "#/$defs/designFactKey" },
+                "population_ref": {
+                    "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/designFactKey" }]
+                },
+                "quantifier": { "$ref": "#/$defs/designQuantifier" },
+                "observation_sensitivity": { "enum": ["plain", "protected"] },
+                "expected": { "$ref": "#/$defs/designLocatedDigest" },
+                "proof_surface": { "$ref": "#/$defs/nonEmpty" },
+                "observation_boundary": { "$ref": "#/$defs/nonEmpty" },
+                "comparison": {
+                    "$ref": "#/$defs/designFactExpectation/properties/comparison"
+                },
+                "oracle": {
+                    "$ref": "#/$defs/designFactExpectation/properties/oracle"
+                },
+                "environment": {
+                    "$ref": "#/$defs/designFactExpectation/properties/environment"
+                },
+                "protected_value_policy": { "$ref": "#/$defs/nonEmpty" },
+                "completion_effect": { "$ref": "#/$defs/nonEmpty" }
+            }
+        },
+        "designSymbolicVerificationBinding": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "method",
+                "assertion_ref",
+                "artifact_path",
+                "observation_path",
+                "rule_expectations"
+            ],
+            "properties": {
+                "method": { "$ref": "#/$defs/designVerificationMethod" },
+                "assertion_ref": { "$ref": "#/$defs/key" },
+                "artifact_path": { "$ref": "#/$defs/nonEmpty" },
+                "observation_path": { "$ref": "#/$defs/nonEmpty" },
+                "rule_expectations": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": { "$ref": "#/$defs/designSymbolicRuleExpectation" }
+                }
+            }
+        },
+        "designSymbolicCertificateExpectation": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+                "certificate_ref",
+                "fact_rule_refs",
+                "omitted_axis_refs",
+                "dependency_edge_refs",
+                "canonical_rule_dag_sha256"
+            ],
+            "properties": {
+                "certificate_ref": { "$ref": "#/$defs/designFactKey" },
+                "fact_rule_refs": { "$ref": "#/$defs/designFactRefs" },
+                "omitted_axis_refs": { "$ref": "#/$defs/designFactRefs" },
+                "dependency_edge_refs": { "$ref": "#/$defs/designFactRefs" },
+                "canonical_rule_dag_sha256": { "$ref": "#/$defs/sha256" },
+                "source_noninterference_proof_sha256": { "$ref": "#/$defs/sha256" },
+                "production_noninterference_proof_sha256": { "$ref": "#/$defs/sha256" }
+            }
+        },
+        "designSymbolicCertificateBinding": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["assertion_ref", "artifact_path", "expectations", "metrics"],
+            "properties": {
+                "assertion_ref": { "$ref": "#/$defs/key" },
+                "artifact_path": { "$ref": "#/$defs/nonEmpty" },
+                "expectations": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": {
+                        "$ref": "#/$defs/designSymbolicCertificateExpectation"
+                    }
+                },
+                "metrics": {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": [
+                        "semantic_obligations",
+                        "certificate_obligations",
+                        "certificate_covered_omitted_axes",
+                        "certificate_covered_dependency_edges",
+                        "canonical_dag_nodes",
+                        "canonical_partition_edges",
+                        "canonical_bytes",
+                        "theoretical_ground_cardinality"
+                    ],
+                    "properties": {
+                        "semantic_obligations": { "type": "integer", "minimum": 0 },
+                        "certificate_obligations": { "type": "integer", "minimum": 0 },
+                        "certificate_covered_omitted_axes": {
+                            "type": "integer",
+                            "minimum": 0
+                        },
+                        "certificate_covered_dependency_edges": {
+                            "type": "integer",
+                            "minimum": 0
+                        },
+                        "canonical_dag_nodes": { "type": "integer", "minimum": 0 },
+                        "canonical_partition_edges": {
+                            "type": "integer",
+                            "minimum": 0
+                        },
+                        "canonical_bytes": { "type": "integer", "minimum": 0 },
+                        "theoretical_ground_cardinality": {
+                            "type": "string",
+                            "pattern": "^[1-9][0-9]*$"
+                        }
+                    }
+                }
+            }
+        },
         "designAcceptanceBlocker": {
             "type": "object",
             "additionalProperties": false,
@@ -1541,6 +1925,7 @@
                 "visual_render",
                 "design_conformance",
                 "design_method",
+                "design_symbolic_certificate",
                 "semantic_fact",
                 "target_runtime",
                 "input_variation"

package/migrations/README.md

@@ -1,15 +1,15 @@
-# Migrations
-
-Schema migrations for Harness config and managed file layout belong here.
-
-Version 0.6.0 includes `long-task-v1-retirement`. It safely removes the
-retired repo-local Hook, reports a legacy active projection as
-`manual_required`, and deliberately does not import V1 progress or receipts
-into the V2 Claim/Evidence authority.
-
-Version 0.7.2 includes `long-task-v2-semantic-drift-authority`. It reports a
-conventional `.long-task/delivery-contract.yaml` as `manual_required` when the
-V2 file predates explicit Stage, target-profile/root-runtime, journey-scenario,
-success/degradation, evidence-capability or external-impact authority. Those
-meanings must be re-authored from Source; migration never infers them from old
-Progress or Receipts.
+# Migrations
+
+Schema migrations for Harness config and managed file layout belong here.
+
+Version 0.6.0 includes `long-task-v1-retirement`. It safely removes the
+retired repo-local Hook, reports a legacy active projection as
+`manual_required`, and deliberately does not import V1 progress or receipts
+into the V2 Claim/Evidence authority.
+
+Version 0.7.2 includes `long-task-v2-semantic-drift-authority`. It reports a
+conventional `.long-task/delivery-contract.yaml` as `manual_required` when the
+V2 file predates explicit Stage, target-profile/root-runtime, journey-scenario,
+success/degradation, evidence-capability or external-impact authority. Those
+meanings must be re-authored from Source; migration never infers them from old
+Progress or Receipts.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "project-tiny-context-harness",
-  "version": "0.8.11",
+  "version": "0.8.12",
   "description": "Minimal project memory and validation harness for AI coding agents.",
   "license": "MIT",
   "author": "Seven128",
@@ -58,7 +58,7 @@
     "pretest": "npm run build",
     "test": "npm run test:built",
     "test:workflow-default:built": "node --test --test-concurrency=1 ../../tests/ty-context/workflow-contract-routing.test.mjs",
-    "test:delivery-contract:built": "node --test --test-concurrency=1 ../../tests/ty-context/long-task-compact-authoring.test.mjs ../../tests/ty-context/long-task-authoring-claims.test.mjs ../../tests/ty-context/long-task-authoring-preflight.test.mjs ../../tests/ty-context/long-task-authority-authoring-fields.test.mjs ../../tests/ty-context/long-task-playwright-ac-evidence.test.mjs ../../tests/ty-context/long-task-delivery-parser.test.mjs ../../tests/ty-context/long-task-delivery-compiler.test.mjs ../../tests/ty-context/long-task-delivery-risk.test.mjs ../../tests/ty-context/long-task-claim-coverage.test.mjs ../../tests/ty-context/long-task-closure-invariants.test.mjs ../../tests/ty-context/long-task-source-authority-closure.test.mjs ../../tests/ty-context/long-task-evidence-sensitivity-policy.test.mjs ../../tests/ty-context/long-task-global-evidence-sensitivity.test.mjs ../../tests/ty-context/long-task-source-risk-binding.test.mjs ../../tests/ty-context/long-task-non-completing-source.test.mjs ../../tests/ty-context/long-task-playwright-trust-boundary.test.mjs ../../tests/ty-context/long-task-planned-counterfactual.test.mjs ../../tests/ty-context/long-task-public-contract-example.test.mjs ../../tests/ty-context/long-task-release-tarball-contract.test.mjs ../../tests/ty-context/long-task-semantic-assurance-closure.test.mjs ../../tests/ty-context/long-task-semantic-drift-closure.test.mjs ../../tests/ty-context/long-task-semantic-drift-lifecycle.test.mjs ../../tests/ty-context/long-task-workspace-scope.test.mjs",
+    "test:delivery-contract:built": "node --test --test-concurrency=1 ../../tests/ty-context/long-task-compact-authoring.test.mjs ../../tests/ty-context/long-task-compact-semantic-carrier.test.mjs ../../tests/ty-context/long-task-authoring-claims.test.mjs ../../tests/ty-context/long-task-authoring-preflight.test.mjs ../../tests/ty-context/long-task-authority-authoring-fields.test.mjs ../../tests/ty-context/long-task-playwright-ac-evidence.test.mjs ../../tests/ty-context/long-task-delivery-parser.test.mjs ../../tests/ty-context/long-task-delivery-compiler.test.mjs ../../tests/ty-context/long-task-delivery-risk.test.mjs ../../tests/ty-context/long-task-claim-coverage.test.mjs ../../tests/ty-context/long-task-closure-invariants.test.mjs ../../tests/ty-context/long-task-source-authority-closure.test.mjs ../../tests/ty-context/long-task-evidence-sensitivity-policy.test.mjs ../../tests/ty-context/long-task-global-evidence-sensitivity.test.mjs ../../tests/ty-context/long-task-source-risk-binding.test.mjs ../../tests/ty-context/long-task-non-completing-source.test.mjs ../../tests/ty-context/long-task-playwright-trust-boundary.test.mjs ../../tests/ty-context/long-task-planned-counterfactual.test.mjs ../../tests/ty-context/long-task-public-contract-example.test.mjs ../../tests/ty-context/long-task-release-tarball-contract.test.mjs ../../tests/ty-context/long-task-semantic-assurance-closure.test.mjs ../../tests/ty-context/long-task-semantic-drift-closure.test.mjs ../../tests/ty-context/long-task-semantic-drift-lifecycle.test.mjs ../../tests/ty-context/long-task-workspace-scope.test.mjs",
     "test:delivery-contract": "npm run build && npm run test:delivery-contract:built",
     "test:long-task-workflow:built": "node ../../tests/ty-context/run-package-suite.mjs long-task",
     "test:long-task-workflow": "npm run build && npm run test:long-task-workflow:built",

package/source-mappings.yaml

@@ -1,25 +1,28 @@
-source_mappings:
-  - source: ".codex/ty-context-managed/agents/AGENTS_CORE.md"
-    target: "packages/ty-context/assets/agents/AGENTS_CORE.md"
-    mode: "copy-file"
-  - source: "README.md"
-    target: "packages/ty-context/assets/README.md"
-    mode: "copy-file"
-  - source: "README.zh-CN.md"
-    target: "packages/ty-context/assets/README.zh-CN.md"
-    mode: "copy-file"
-  - source: ".codex/ty-context-managed/context_templates"
-    target: "packages/ty-context/assets/context_templates"
-    mode: "copy-tree"
-  - source: ".codex/ty-context-managed/skills"
-    target: "packages/ty-context/assets/skills"
-    mode: "copy-tree"
-  - source: ".codex/ty-context-managed/make/ty-context.mk"
-    target: "packages/ty-context/assets/make/ty-context.mk"
-    mode: "copy-file"
-  - source: ".codex/ty-context-managed/minimal_tools"
-    target: "packages/ty-context/assets/tools"
-    mode: "copy-tree"
-  - source: ".github/workflows/harness.yml"
-    target: "packages/ty-context/assets/github/harness.yml"
-    mode: "copy-file"
+source_mappings:
+  - source: ".codex/ty-context-managed/agents/AGENTS_CORE.md"
+    target: "packages/ty-context/assets/agents/AGENTS_CORE.md"
+    mode: "copy-file"
+  - source: ".codex/ty-context-managed/agents/long-task-implementation.toml"
+    target: "packages/ty-context/assets/agents/long-task-implementation.toml"
+    mode: "copy-file"
+  - source: "README.md"
+    target: "packages/ty-context/assets/README.md"
+    mode: "copy-file"
+  - source: "README.zh-CN.md"
+    target: "packages/ty-context/assets/README.zh-CN.md"
+    mode: "copy-file"
+  - source: ".codex/ty-context-managed/context_templates"
+    target: "packages/ty-context/assets/context_templates"
+    mode: "copy-tree"
+  - source: ".codex/ty-context-managed/skills"
+    target: "packages/ty-context/assets/skills"
+    mode: "copy-tree"
+  - source: ".codex/ty-context-managed/make/ty-context.mk"
+    target: "packages/ty-context/assets/make/ty-context.mk"
+    mode: "copy-file"
+  - source: ".codex/ty-context-managed/minimal_tools"
+    target: "packages/ty-context/assets/tools"
+    mode: "copy-tree"
+  - source: ".github/workflows/harness.yml"
+    target: "packages/ty-context/assets/github/harness.yml"
+    mode: "copy-file"

package/assets/skills/source-plan-authoring/SKILL.md

@@ -1,14 +0,0 @@
----
-name: source-plan-authoring
-description: Retired compatibility pointer for users who explicitly select source-plan-authoring or request the former standalone Source Plan stage. Direct long deliveries to long-task-workflow, where raw or revised proposals, selected design resources and mixed attachments enter one Source-bound Contract Draft loop immediately. Do not create a legacy standalone Source Plan or internal Source-authoring stage, gate, schema, state or second plan.
----
-
-# Retired: Source Plan Authoring
-
-`source-plan-authoring` no longer defines a separate handoff between the initial proposal and Long-Task execution.
-
-For an explicit long delivery, select `$long-task-workflow` in Codex (or use the host's Skill selector) with the initial/revised proposal, selected immutable design resources and other attachments. They enter the same `delivery-contract.yaml` Draft immediately; input inventory, Source-quality synthesis/refinement, stable semantic keys, Product Control-level UI meaning, acceptance scenarios, research/delegation traceability, real Source marking, repository binding and Contract mapping converge in one Goal before Preflight/Compile. Product Control projection does not cap selected design-resource granularity: the active workflow separately preserves every supported complete observable design fact through the handoff and Contract. Likewise, a paragraph/Requirement/current-code shape does not cap non-UI granularity: the active workflow inventories all material inputs, expands the standard plus custom product/business/backend/architecture domain families into exact subjects/relations/populations, conditions, atomic properties, semantic Facts and Fact×method obligations, persists one Source `semantic-fact-manifest-v1`, and requires exact Contract/current-Final-Gate closure without aggregate or sampled substitution.
-
-For non-long work, give the proposal and selected resources directly to the current native Goal under the default Workflow Contract. If the user only wants an initial product or technical proposal, use the applicable proposal-authoring capability rather than recreating this retired intermediary.
-
-A pre-existing Source Plan remains valid ordinary Source. Do not rewrite it merely for compatibility, create a new Source Plan artifact, invoke Long-Task automatically, or create a second plan, Contract Draft, Preflight, Compile, Receipt, Authority or state surface from this pointer.