project-tiny-context-harness 0.8.17 → 0.11.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +93 -30
- package/assets/README.md +158 -44
- package/assets/README.zh-CN.md +88 -29
- package/assets/agents/AGENTS_CORE.md +2 -2
- package/assets/context_templates/context.toml +6 -1
- package/assets/runtime/windows-job-supervisor/formal_process_supervisor_native_helpers.cs +301 -0
- package/assets/runtime/windows-job-supervisor/formal_process_supervisor_native_run.cs +197 -0
- package/assets/runtime/windows-job-supervisor/formal_process_supervisor_native_types.cs +215 -0
- package/assets/runtime/windows-job-supervisor/windows_job_process_supervisor.ps1 +117 -0
- package/assets/skills/design-resource-authoring/SKILL.md +6 -3
- package/assets/skills/design-resource-authoring/references/authority-delta-assessment.md +52 -0
- package/assets/skills/design-resource-authoring/references/downstream-handoff.md +5 -1
- package/assets/skills/design-system-authoring/SKILL.md +23 -17
- package/assets/skills/design-system-authoring/references/authority-adoption.md +19 -9
- package/assets/skills/design-system-authoring/references/open-design-design-system-provider.md +4 -0
- package/assets/skills/long-task-workflow/SKILL.md +6 -6
- package/assets/skills/long-task-workflow/references/authority-lifecycle.md +10 -4
- package/assets/skills/long-task-workflow/references/contract-authoring.md +5 -5
- package/assets/skills/long-task-workflow/references/evidence-design.md +14 -3
- package/assets/skills/long-task-workflow/references/source-authoring.md +11 -8
- package/assets/tools/context_rules.json +53 -0
- package/assets/tools/validate_context.py +302 -77
- package/dist/cli.js +2 -1
- package/dist/commands/context-create.d.ts +1 -0
- package/dist/commands/context-create.js +90 -0
- package/dist/commands/context-inspect.d.ts +1 -0
- package/dist/commands/context-inspect.js +98 -0
- package/dist/commands/context-move.d.ts +1 -0
- package/dist/commands/context-move.js +78 -0
- package/dist/commands/context-register.d.ts +1 -0
- package/dist/commands/context-register.js +110 -0
- package/dist/commands/context-transaction.d.ts +1 -0
- package/dist/commands/context-transaction.js +84 -0
- package/dist/commands/context.d.ts +1 -0
- package/dist/commands/context.js +36 -0
- package/dist/commands/design-authority-delta.d.ts +1 -0
- package/dist/commands/design-authority-delta.js +53 -0
- package/dist/commands/design-authority.d.ts +1 -0
- package/dist/commands/design-authority.js +104 -0
- package/dist/commands/design-resource.js +8 -1
- package/dist/commands/doctor.d.ts +1 -1
- package/dist/commands/doctor.js +61 -3
- package/dist/commands/index.js +19 -2
- package/dist/commands/long-task-authoring.js +20 -2
- package/dist/commands/long-task-workdir.d.ts +2 -0
- package/dist/commands/long-task-workdir.js +23 -0
- package/dist/commands/long-task.js +75 -6
- package/dist/commands/route.d.ts +15 -0
- package/dist/commands/route.js +142 -0
- package/dist/index.d.ts +3 -13
- package/dist/index.js +3 -12
- package/dist/lib/cli-exit.d.ts +14 -0
- package/dist/lib/cli-exit.js +19 -0
- package/dist/lib/context-catalog/catalog-default-footprint.d.ts +3 -0
- package/dist/lib/context-catalog/catalog-default-footprint.js +53 -0
- package/dist/lib/context-catalog/catalog-diagnostics.d.ts +9 -0
- package/dist/lib/context-catalog/catalog-diagnostics.js +34 -0
- package/dist/lib/context-catalog/catalog-discovery.d.ts +7 -0
- package/dist/lib/context-catalog/catalog-discovery.js +81 -0
- package/dist/lib/context-catalog/catalog-load.d.ts +8 -0
- package/dist/lib/context-catalog/catalog-load.js +187 -0
- package/dist/lib/context-catalog/catalog-path-validation.d.ts +7 -0
- package/dist/lib/context-catalog/catalog-path-validation.js +62 -0
- package/dist/lib/context-catalog/catalog-paths.d.ts +11 -0
- package/dist/lib/context-catalog/catalog-paths.js +41 -0
- package/dist/lib/context-catalog/catalog-portable-contract.d.ts +15 -0
- package/dist/lib/context-catalog/catalog-portable-contract.js +68 -0
- package/dist/lib/context-catalog/catalog-staged-path-safety.d.ts +1 -0
- package/dist/lib/context-catalog/catalog-staged-path-safety.js +36 -0
- package/dist/lib/context-catalog/catalog-types.d.ts +40 -0
- package/dist/lib/context-catalog/catalog-types.js +1 -0
- package/dist/lib/context-catalog/catalog-validation.d.ts +9 -0
- package/dist/lib/context-catalog/catalog-validation.js +148 -0
- package/dist/lib/context-create/context-create-path.d.ts +2 -0
- package/dist/lib/context-create/context-create-path.js +30 -0
- package/dist/lib/context-create/context-create-template.d.ts +2 -0
- package/dist/lib/context-create/context-create-template.js +95 -0
- package/dist/lib/context-create/context-create-types.d.ts +28 -0
- package/dist/lib/context-create/context-create-types.js +1 -0
- package/dist/lib/context-create/context-create-write.d.ts +1 -0
- package/dist/lib/context-create/context-create-write.js +85 -0
- package/dist/lib/context-create/context-create.d.ts +2 -0
- package/dist/lib/context-create/context-create.js +84 -0
- package/dist/lib/context-default-footprint.d.ts +2 -3
- package/dist/lib/context-default-footprint.js +49 -57
- package/dist/lib/context-doctor/context-doctor-types.d.ts +16 -0
- package/dist/lib/context-doctor/context-doctor-types.js +15 -0
- package/dist/lib/context-doctor/context-doctor.d.ts +2 -0
- package/dist/lib/context-doctor/context-doctor.js +130 -0
- package/dist/lib/context-graph-snapshot.d.ts +5 -0
- package/dist/lib/context-graph-snapshot.js +46 -25
- package/dist/lib/context-inspect/context-inspect-projection.d.ts +9 -0
- package/dist/lib/context-inspect/context-inspect-projection.js +49 -0
- package/dist/lib/context-inspect/context-inspect-render.d.ts +2 -0
- package/dist/lib/context-inspect/context-inspect-render.js +29 -0
- package/dist/lib/context-inspect/context-inspect-types.d.ts +43 -0
- package/dist/lib/context-inspect/context-inspect-types.js +1 -0
- package/dist/lib/context-inspect/context-inspect.d.ts +2 -0
- package/dist/lib/context-inspect/context-inspect.js +104 -0
- package/dist/lib/context-manifest-schema.d.ts +1 -1
- package/dist/lib/context-manifest-schema.js +4 -20
- package/dist/lib/context-markdown/context-markdown-analysis.d.ts +15 -0
- package/dist/lib/context-markdown/context-markdown-analysis.js +245 -0
- package/dist/lib/context-markdown/context-markdown-extract.d.ts +7 -0
- package/dist/lib/context-markdown/context-markdown-extract.js +114 -0
- package/dist/lib/context-markdown/context-markdown-types.d.ts +57 -0
- package/dist/lib/context-markdown/context-markdown-types.js +1 -0
- package/dist/lib/context-move/context-move-input.d.ts +8 -0
- package/dist/lib/context-move/context-move-input.js +17 -0
- package/dist/lib/context-move/context-move-literal-scan.d.ts +20 -0
- package/dist/lib/context-move/context-move-literal-scan.js +213 -0
- package/dist/lib/context-move/context-move-live-validation.d.ts +3 -0
- package/dist/lib/context-move/context-move-live-validation.js +56 -0
- package/dist/lib/context-move/context-move-markdown-plan.d.ts +22 -0
- package/dist/lib/context-move/context-move-markdown-plan.js +39 -0
- package/dist/lib/context-move/context-move-projection.d.ts +3 -0
- package/dist/lib/context-move/context-move-projection.js +11 -0
- package/dist/lib/context-move/context-move-reference-validation.d.ts +11 -0
- package/dist/lib/context-move/context-move-reference-validation.js +64 -0
- package/dist/lib/context-move/context-move-render.d.ts +2 -0
- package/dist/lib/context-move/context-move-render.js +24 -0
- package/dist/lib/context-move/context-move-support.d.ts +10 -0
- package/dist/lib/context-move/context-move-support.js +88 -0
- package/dist/lib/context-move/context-move-transaction-plan.d.ts +24 -0
- package/dist/lib/context-move/context-move-transaction-plan.js +108 -0
- package/dist/lib/context-move/context-move-types.d.ts +74 -0
- package/dist/lib/context-move/context-move-types.js +1 -0
- package/dist/lib/context-move/context-move.d.ts +8 -0
- package/dist/lib/context-move/context-move.js +180 -0
- package/dist/lib/context-mutation/manifest-lossless-patch.d.ts +28 -0
- package/dist/lib/context-mutation/manifest-lossless-patch.js +208 -0
- package/dist/lib/context-mutation/markdown-link-patch.d.ts +34 -0
- package/dist/lib/context-mutation/markdown-link-patch.js +143 -0
- package/dist/lib/context-mutation/markdown-link-spans.d.ts +10 -0
- package/dist/lib/context-mutation/markdown-link-spans.js +179 -0
- package/dist/lib/context-mutation/mutation-cas.d.ts +13 -0
- package/dist/lib/context-mutation/mutation-cas.js +365 -0
- package/dist/lib/context-mutation/mutation-command-support.d.ts +12 -0
- package/dist/lib/context-mutation/mutation-command-support.js +57 -0
- package/dist/lib/context-mutation/mutation-commit.d.ts +12 -0
- package/dist/lib/context-mutation/mutation-commit.js +89 -0
- package/dist/lib/context-mutation/mutation-directories.d.ts +5 -0
- package/dist/lib/context-mutation/mutation-directories.js +56 -0
- package/dist/lib/context-mutation/mutation-file-state.d.ts +14 -0
- package/dist/lib/context-mutation/mutation-file-state.js +137 -0
- package/dist/lib/context-mutation/mutation-journal-file-validation.d.ts +1 -0
- package/dist/lib/context-mutation/mutation-journal-file-validation.js +106 -0
- package/dist/lib/context-mutation/mutation-journal-io.d.ts +5 -0
- package/dist/lib/context-mutation/mutation-journal-io.js +55 -0
- package/dist/lib/context-mutation/mutation-journal-storage.d.ts +18 -0
- package/dist/lib/context-mutation/mutation-journal-storage.js +283 -0
- package/dist/lib/context-mutation/mutation-journal-validation-support.d.ts +16 -0
- package/dist/lib/context-mutation/mutation-journal-validation-support.js +140 -0
- package/dist/lib/context-mutation/mutation-journal-validation.d.ts +3 -0
- package/dist/lib/context-mutation/mutation-journal-validation.js +177 -0
- package/dist/lib/context-mutation/mutation-journal.d.ts +8 -0
- package/dist/lib/context-mutation/mutation-journal.js +111 -0
- package/dist/lib/context-mutation/mutation-live-validation.d.ts +3 -0
- package/dist/lib/context-mutation/mutation-live-validation.js +51 -0
- package/dist/lib/context-mutation/mutation-long-task-guard.d.ts +6 -0
- package/dist/lib/context-mutation/mutation-long-task-guard.js +57 -0
- package/dist/lib/context-mutation/mutation-recovery.d.ts +4 -0
- package/dist/lib/context-mutation/mutation-recovery.js +189 -0
- package/dist/lib/context-mutation/mutation-staged-fs.d.ts +5 -0
- package/dist/lib/context-mutation/mutation-staged-fs.js +56 -0
- package/dist/lib/context-mutation/mutation-types.d.ts +103 -0
- package/dist/lib/context-mutation/mutation-types.js +1 -0
- package/dist/lib/context-register/context-register-input.d.ts +11 -0
- package/dist/lib/context-register/context-register-input.js +43 -0
- package/dist/lib/context-register/context-register-render.d.ts +2 -0
- package/dist/lib/context-register/context-register-render.js +21 -0
- package/dist/lib/context-register/context-register-support.d.ts +6 -0
- package/dist/lib/context-register/context-register-support.js +46 -0
- package/dist/lib/context-register/context-register-types.d.ts +46 -0
- package/dist/lib/context-register/context-register-types.js +1 -0
- package/dist/lib/context-register/context-register.d.ts +8 -0
- package/dist/lib/context-register/context-register.js +155 -0
- package/dist/lib/context-router/context-route-budget.d.ts +15 -0
- package/dist/lib/context-router/context-route-budget.js +14 -0
- package/dist/lib/context-router/context-route-candidates.d.ts +15 -0
- package/dist/lib/context-router/context-route-candidates.js +112 -0
- package/dist/lib/context-router/context-route-order.d.ts +6 -0
- package/dist/lib/context-router/context-route-order.js +53 -0
- package/dist/lib/context-router/context-route-paths.d.ts +16 -0
- package/dist/lib/context-router/context-route-paths.js +109 -0
- package/dist/lib/context-router/context-route-render.d.ts +2 -0
- package/dist/lib/context-router/context-route-render.js +32 -0
- package/dist/lib/context-router/context-route-scan.d.ts +18 -0
- package/dist/lib/context-router/context-route-scan.js +156 -0
- package/dist/lib/context-router/context-route-selection.d.ts +16 -0
- package/dist/lib/context-router/context-route-selection.js +72 -0
- package/dist/lib/context-router/context-route-terms.d.ts +13 -0
- package/dist/lib/context-router/context-route-terms.js +202 -0
- package/dist/lib/context-router/context-route-types.d.ts +101 -0
- package/dist/lib/context-router/context-route-types.js +1 -0
- package/dist/lib/context-router/context-route.d.ts +2 -0
- package/dist/lib/context-router/context-route.js +127 -0
- package/dist/lib/context-units-migration.d.ts +13 -0
- package/dist/lib/context-units-migration.js +217 -0
- package/dist/lib/design-authority-binding.d.ts +7 -0
- package/dist/lib/design-authority-binding.js +96 -0
- package/dist/lib/design-authority-closure.d.ts +3 -0
- package/dist/lib/design-authority-closure.js +201 -0
- package/dist/lib/design-authority-delta-codec-primitives.d.ts +10 -0
- package/dist/lib/design-authority-delta-codec-primitives.js +58 -0
- package/dist/lib/design-authority-delta-codec.d.ts +2 -0
- package/dist/lib/design-authority-delta-codec.js +193 -0
- package/dist/lib/design-authority-delta-types.d.ts +65 -0
- package/dist/lib/design-authority-delta-types.js +6 -0
- package/dist/lib/design-authority-delta-validation.d.ts +2 -0
- package/dist/lib/design-authority-delta-validation.js +16 -0
- package/dist/lib/design-authority-digest.d.ts +8 -0
- package/dist/lib/design-authority-digest.js +36 -0
- package/dist/lib/design-authority-files.d.ts +9 -0
- package/dist/lib/design-authority-files.js +62 -0
- package/dist/lib/design-authority-format.d.ts +2 -0
- package/dist/lib/design-authority-format.js +93 -0
- package/dist/lib/design-authority-links.d.ts +10 -0
- package/dist/lib/design-authority-links.js +137 -0
- package/dist/lib/design-authority-manifest.d.ts +4 -0
- package/dist/lib/design-authority-manifest.js +144 -0
- package/dist/lib/design-authority-tokens.d.ts +9 -0
- package/dist/lib/design-authority-tokens.js +45 -0
- package/dist/lib/design-authority-types.d.ts +80 -0
- package/dist/lib/design-authority-types.js +23 -0
- package/dist/lib/design-md-tool-adapter.d.ts +9 -0
- package/dist/lib/design-md-tool-adapter.js +152 -0
- package/dist/lib/design-md-tool-normalization.d.ts +7 -0
- package/dist/lib/design-md-tool-normalization.js +78 -0
- package/dist/lib/design-md-tool-types.d.ts +99 -0
- package/dist/lib/design-md-tool-types.js +8 -0
- package/dist/lib/design-resource-handoff-input-types.d.ts +1 -1
- package/dist/lib/design-resource-handoff-manifest-projection.js +3 -0
- package/dist/lib/design-resource-handoff-shape.js +14 -2
- package/dist/lib/design-resource-handoff-types.d.ts +3 -0
- package/dist/lib/design-resource-handoff-validation.js +16 -4
- package/dist/lib/design-resource-implementation-feasibility-validation-support.js +1 -1
- package/dist/lib/design-resource-recovery-current.js +22 -0
- package/dist/lib/design-resource-recovery-shape.js +64 -7
- package/dist/lib/design-resource-recovery-types.d.ts +4 -1
- package/dist/lib/design-resource-symbolic-fact-shape.js +7 -1
- package/dist/lib/design-resource-symbolic-fact-types.d.ts +3 -0
- package/dist/lib/design-resource-symbolic-fact-validation.js +15 -3
- package/dist/lib/doctor.d.ts +2 -1
- package/dist/lib/doctor.js +29 -1
- package/dist/lib/fs.js +1 -1
- package/dist/lib/long-task-acceptance-reachability-claims.d.ts +2 -0
- package/dist/lib/long-task-acceptance-reachability-claims.js +279 -0
- package/dist/lib/long-task-acceptance-reachability-design.d.ts +2 -0
- package/dist/lib/long-task-acceptance-reachability-design.js +96 -0
- package/dist/lib/long-task-acceptance-reachability-external.d.ts +9 -0
- package/dist/lib/long-task-acceptance-reachability-external.js +123 -0
- package/dist/lib/long-task-acceptance-reachability-helpers.d.ts +64 -0
- package/dist/lib/long-task-acceptance-reachability-helpers.js +473 -0
- package/dist/lib/long-task-acceptance-reachability-semantic.d.ts +2 -0
- package/dist/lib/long-task-acceptance-reachability-semantic.js +122 -0
- package/dist/lib/long-task-acceptance-reachability-types.d.ts +91 -0
- package/dist/lib/long-task-acceptance-reachability-types.js +1 -0
- package/dist/lib/long-task-acceptance-reachability.d.ts +4 -0
- package/dist/lib/long-task-acceptance-reachability.js +115 -0
- package/dist/lib/long-task-activation-validation.d.ts +6 -0
- package/dist/lib/long-task-activation-validation.js +72 -69
- package/dist/lib/long-task-active-authority-lock-context.d.ts +4 -0
- package/dist/lib/long-task-active-authority-lock-context.js +29 -0
- package/dist/lib/long-task-applicability-identity.d.ts +25 -0
- package/dist/lib/long-task-applicability-identity.js +60 -0
- package/dist/lib/long-task-authoring-preflight-diagnostics.js +8 -0
- package/dist/lib/long-task-authoring-preflight-types.d.ts +2 -0
- package/dist/lib/long-task-authoring-preflight-types.js +9 -0
- package/dist/lib/long-task-authoring-preflight.js +18 -2
- package/dist/lib/long-task-authority-material-diff.js +4 -0
- package/dist/lib/long-task-authority-materials.js +19 -0
- package/dist/lib/long-task-authority-policy.d.ts +3 -0
- package/dist/lib/long-task-authority-policy.js +3 -0
- package/dist/lib/long-task-authority-revision-details.js +2 -1
- package/dist/lib/long-task-authority-types.d.ts +2 -0
- package/dist/lib/long-task-authority.js +2 -0
- package/dist/lib/long-task-check-shape.js +6 -1
- package/dist/lib/long-task-claim-definitions.js +1 -3
- package/dist/lib/long-task-claim-semantic-proof-floor.d.ts +3 -0
- package/dist/lib/long-task-claim-semantic-proof-floor.js +78 -0
- package/dist/lib/long-task-claims.d.ts +0 -18
- package/dist/lib/long-task-claims.js +15 -14
- package/dist/lib/long-task-command-process.js +3 -0
- package/dist/lib/long-task-compact-authoring.js +3 -0
- package/dist/lib/long-task-compact-projections.js +10 -0
- package/dist/lib/long-task-complete-delivery-evidence-types.d.ts +38 -0
- package/dist/lib/long-task-complete-delivery-evidence-types.js +1 -0
- package/dist/lib/long-task-completion-types.d.ts +109 -0
- package/dist/lib/long-task-completion-types.js +1 -0
- package/dist/lib/long-task-conformance-policy.d.ts +2 -1
- package/dist/lib/long-task-conformance-policy.js +11 -4
- package/dist/lib/long-task-context-authority-topology.js +6 -4
- package/dist/lib/long-task-contract-types.d.ts +52 -1
- package/dist/lib/long-task-counterfactual-sandbox.d.ts +7 -1
- package/dist/lib/long-task-counterfactual-sandbox.js +86 -6
- package/dist/lib/long-task-delivery-compiler-preflight.d.ts +24 -0
- package/dist/lib/long-task-delivery-compiler-preflight.js +32 -0
- package/dist/lib/long-task-delivery-compiler.d.ts +1 -0
- package/dist/lib/long-task-delivery-compiler.js +59 -44
- package/dist/lib/long-task-delivery-parser.d.ts +3 -0
- package/dist/lib/long-task-delivery-parser.js +26 -8
- package/dist/lib/long-task-delivery-types.d.ts +2 -0
- package/dist/lib/long-task-delivery-types.js +2 -0
- package/dist/lib/long-task-delivery-validation.d.ts +6 -1
- package/dist/lib/long-task-delivery-validation.js +19 -4
- package/dist/lib/long-task-design-feasibility-binding.d.ts +1 -0
- package/dist/lib/long-task-design-feasibility-binding.js +3 -3
- package/dist/lib/long-task-design-feasibility-source-closure.js +11 -2
- package/dist/lib/long-task-design-obligation.d.ts +50 -0
- package/dist/lib/long-task-design-obligation.js +99 -0
- package/dist/lib/long-task-design-resource-handoff.d.ts +3 -1
- package/dist/lib/long-task-design-resource-handoff.js +36 -12
- package/dist/lib/long-task-design-resource-method-binding.js +12 -0
- package/dist/lib/long-task-effective-external-takeover.d.ts +15 -0
- package/dist/lib/long-task-effective-external-takeover.js +109 -0
- package/dist/lib/long-task-effective-external-ui-takeover.d.ts +5 -0
- package/dist/lib/long-task-effective-external-ui-takeover.js +117 -0
- package/dist/lib/long-task-evidence-capability-codec.js +91 -0
- package/dist/lib/long-task-evidence-capability-runtime.js +62 -14
- package/dist/lib/long-task-evidence-capability-types.d.ts +3 -2
- package/dist/lib/long-task-evidence-v2.d.ts +6 -1
- package/dist/lib/long-task-evidence-v2.js +253 -170
- package/dist/lib/long-task-execution-observation.d.ts +7 -0
- package/dist/lib/long-task-execution-observation.js +21 -4
- package/dist/lib/long-task-expected-authority.d.ts +4 -0
- package/dist/lib/long-task-expected-authority.js +126 -0
- package/dist/lib/long-task-external-confirmation-artifacts.d.ts +9 -0
- package/dist/lib/long-task-external-confirmation-artifacts.js +138 -0
- package/dist/lib/long-task-external-confirmation-attestation.d.ts +20 -0
- package/dist/lib/long-task-external-confirmation-attestation.js +115 -0
- package/dist/lib/long-task-external-confirmation-challenge.d.ts +23 -0
- package/dist/lib/long-task-external-confirmation-challenge.js +164 -0
- package/dist/lib/long-task-external-confirmation-context.d.ts +14 -0
- package/dist/lib/long-task-external-confirmation-context.js +53 -0
- package/dist/lib/long-task-external-confirmation-evaluation.d.ts +11 -0
- package/dist/lib/long-task-external-confirmation-evaluation.js +454 -0
- package/dist/lib/long-task-external-confirmation-expected.d.ts +8 -0
- package/dist/lib/long-task-external-confirmation-expected.js +200 -0
- package/dist/lib/long-task-external-confirmation-identity.d.ts +10 -0
- package/dist/lib/long-task-external-confirmation-identity.js +77 -0
- package/dist/lib/long-task-external-confirmation-plan.d.ts +25 -0
- package/dist/lib/long-task-external-confirmation-plan.js +148 -0
- package/dist/lib/long-task-external-confirmation-preparation.d.ts +4 -0
- package/dist/lib/long-task-external-confirmation-preparation.js +100 -0
- package/dist/lib/long-task-external-confirmation-shape.d.ts +8 -0
- package/dist/lib/long-task-external-confirmation-shape.js +387 -0
- package/dist/lib/long-task-external-confirmation-state.d.ts +10 -0
- package/dist/lib/long-task-external-confirmation-state.js +109 -0
- package/dist/lib/long-task-external-confirmation-types.d.ts +195 -0
- package/dist/lib/long-task-external-confirmation-types.js +1 -0
- package/dist/lib/long-task-final-integrity.d.ts +2 -0
- package/dist/lib/long-task-final-integrity.js +21 -10
- package/dist/lib/long-task-final-v2.d.ts +7 -2
- package/dist/lib/long-task-final-v2.js +179 -55
- package/dist/lib/long-task-finalization-identity.d.ts +27 -0
- package/dist/lib/long-task-finalization-identity.js +58 -0
- package/dist/lib/long-task-finding-context.d.ts +1 -1
- package/dist/lib/long-task-finding-context.js +139 -13
- package/dist/lib/long-task-freshness.d.ts +27 -0
- package/dist/lib/long-task-freshness.js +128 -5
- package/dist/lib/long-task-git.js +3 -3
- package/dist/lib/long-task-material-input-closure.d.ts +3 -0
- package/dist/lib/long-task-material-input-closure.js +92 -0
- package/dist/lib/long-task-obligation-authority-resolution.d.ts +12 -0
- package/dist/lib/long-task-obligation-authority-resolution.js +57 -0
- package/dist/lib/long-task-obligation-semantic-identity.d.ts +16 -0
- package/dist/lib/long-task-obligation-semantic-identity.js +116 -0
- package/dist/lib/long-task-observation-authority.d.ts +11 -0
- package/dist/lib/long-task-observation-authority.js +137 -6
- package/dist/lib/long-task-process-table.d.ts +2 -5
- package/dist/lib/long-task-process-table.js +21 -53
- package/dist/lib/long-task-process-tree.d.ts +0 -1
- package/dist/lib/long-task-process-tree.js +24 -54
- package/dist/lib/long-task-proof-adequacy.d.ts +12 -0
- package/dist/lib/long-task-proof-adequacy.js +57 -0
- package/dist/lib/long-task-proof-capability-floor.d.ts +6 -0
- package/dist/lib/long-task-proof-capability-floor.js +137 -0
- package/dist/lib/long-task-repair-frontier-checks.d.ts +8 -0
- package/dist/lib/long-task-repair-frontier-checks.js +93 -0
- package/dist/lib/long-task-repair-frontier-groups.d.ts +2 -0
- package/dist/lib/long-task-repair-frontier-groups.js +64 -0
- package/dist/lib/long-task-repair-frontier-utils.d.ts +6 -0
- package/dist/lib/long-task-repair-frontier-utils.js +27 -0
- package/dist/lib/long-task-repair-frontier.d.ts +14 -0
- package/dist/lib/long-task-repair-frontier.js +132 -0
- package/dist/lib/long-task-risk.d.ts +3 -2
- package/dist/lib/long-task-risk.js +73 -24
- package/dist/lib/long-task-root-shape.js +148 -8
- package/dist/lib/long-task-runner-freeze.d.ts +2 -1
- package/dist/lib/long-task-runner-freeze.js +23 -8
- package/dist/lib/long-task-runtime-types.d.ts +34 -40
- package/dist/lib/long-task-semantic-assurance-policy.js +2 -11
- package/dist/lib/long-task-semantic-contract-types.d.ts +2 -1
- package/dist/lib/long-task-semantic-drift-migration.js +48 -2
- package/dist/lib/long-task-semantic-fact-binding-types.d.ts +20 -0
- package/dist/lib/long-task-semantic-fact-closure.d.ts +5 -1
- package/dist/lib/long-task-semantic-fact-closure.js +33 -5
- package/dist/lib/long-task-semantic-fact-contract-closure.js +176 -1
- package/dist/lib/long-task-semantic-fact-contract-proofs.js +18 -1
- package/dist/lib/long-task-semantic-fact-input-closure.d.ts +16 -2
- package/dist/lib/long-task-semantic-fact-input-closure.js +138 -15
- package/dist/lib/long-task-semantic-fact-provenance-closure.js +1 -1
- package/dist/lib/long-task-semantic-fact-shape.d.ts +2 -1
- package/dist/lib/long-task-semantic-fact-shape.js +35 -1
- package/dist/lib/long-task-semantic-proof-adequacy.d.ts +2 -0
- package/dist/lib/long-task-semantic-proof-adequacy.js +19 -0
- package/dist/lib/long-task-semantic-proof-profile.d.ts +5 -0
- package/dist/lib/long-task-semantic-proof-profile.js +187 -0
- package/dist/lib/long-task-shape-primitives.d.ts +1 -1
- package/dist/lib/long-task-shape-primitives.js +5 -0
- package/dist/lib/long-task-source-anchors.d.ts +10 -0
- package/dist/lib/long-task-source-anchors.js +102 -0
- package/dist/lib/long-task-source-authority-types.d.ts +46 -0
- package/dist/lib/long-task-source-claim-validation.js +36 -0
- package/dist/lib/long-task-source-conservation-facts.d.ts +8 -0
- package/dist/lib/long-task-source-conservation-facts.js +57 -0
- package/dist/lib/long-task-source-conservation-types.d.ts +34 -0
- package/dist/lib/long-task-source-conservation-types.js +1 -0
- package/dist/lib/long-task-source-conservation.d.ts +7 -0
- package/dist/lib/long-task-source-conservation.js +110 -0
- package/dist/lib/long-task-source-fragments.d.ts +6 -0
- package/dist/lib/long-task-source-fragments.js +219 -0
- package/dist/lib/long-task-source-projection-resolution.d.ts +5 -0
- package/dist/lib/long-task-source-projection-resolution.js +57 -0
- package/dist/lib/long-task-source-projection-validation.d.ts +17 -0
- package/dist/lib/long-task-source-projection-validation.js +154 -0
- package/dist/lib/long-task-source-shape.js +14 -6
- package/dist/lib/long-task-source-supersession.d.ts +5 -0
- package/dist/lib/long-task-source-supersession.js +138 -0
- package/dist/lib/long-task-stage-policy.d.ts +7 -2
- package/dist/lib/long-task-stage-policy.js +67 -23
- package/dist/lib/long-task-state.d.ts +18 -4
- package/dist/lib/long-task-state.js +319 -33
- package/dist/lib/long-task-static-observation-freeze.js +4 -3
- package/dist/lib/long-task-status-projection.d.ts +3 -1
- package/dist/lib/long-task-status-projection.js +44 -13
- package/dist/lib/long-task-status-v2.d.ts +10 -6
- package/dist/lib/long-task-status-v2.js +70 -58
- package/dist/lib/long-task-target-policy.d.ts +8 -3
- package/dist/lib/long-task-target-policy.js +40 -9
- package/dist/lib/long-task-terminal-finalization.d.ts +12 -0
- package/dist/lib/long-task-terminal-finalization.js +190 -0
- package/dist/lib/long-task-ui-design-policy.js +15 -4
- package/dist/lib/long-task-verifier-counterfactuals.d.ts +11 -0
- package/dist/lib/long-task-verifier-counterfactuals.js +96 -0
- package/dist/lib/long-task-verifier-execution.d.ts +9 -0
- package/dist/lib/long-task-verifier-execution.js +67 -0
- package/dist/lib/long-task-verifier-identity.js +16 -5
- package/dist/lib/long-task-verifier-v2.js +52 -65
- package/dist/lib/long-task-windows-job-supervisor-helper.d.ts +1 -0
- package/dist/lib/long-task-windows-job-supervisor-helper.js +104 -0
- package/dist/lib/long-task-windows-job-supervisor-protocol.d.ts +28 -0
- package/dist/lib/long-task-windows-job-supervisor-protocol.js +124 -0
- package/dist/lib/long-task-windows-job-supervisor-result.d.ts +11 -0
- package/dist/lib/long-task-windows-job-supervisor-result.js +152 -0
- package/dist/lib/long-task-windows-job-supervisor.d.ts +2 -0
- package/dist/lib/long-task-windows-job-supervisor.js +126 -0
- package/dist/lib/long-task-workspace-scope.d.ts +1 -0
- package/dist/lib/long-task-workspace-scope.js +4 -1
- package/dist/lib/long-task-workspace.d.ts +1 -0
- package/dist/lib/long-task-workspace.js +10 -0
- package/dist/lib/migrations.js +43 -2
- package/dist/lib/repository-path-safety.d.ts +1 -0
- package/dist/lib/repository-path-safety.js +3 -3
- package/dist/lib/semantic-fact-input-shape.d.ts +7 -2
- package/dist/lib/semantic-fact-input-shape.js +25 -1
- package/dist/lib/semantic-fact-inventory-types.d.ts +8 -2
- package/dist/lib/semantic-fact-policy-census.d.ts +1 -1
- package/dist/lib/semantic-fact-policy-census.js +5 -2
- package/dist/lib/semantic-fact-policy.d.ts +1 -1
- package/dist/lib/semantic-fact-policy.js +2 -2
- package/dist/lib/semantic-fact-proof-shape.d.ts +1 -1
- package/dist/lib/semantic-fact-property-shape.d.ts +1 -1
- package/dist/lib/validators.d.ts +3 -0
- package/dist/lib/validators.js +45 -157
- package/dist/public-api-core.d.ts +12 -0
- package/dist/public-api-core.js +12 -0
- package/dist/public-api-long-task.d.ts +10 -0
- package/dist/public-api-long-task.js +10 -0
- package/dist/public-types.d.ts +5 -1
- package/dist/schemas/design-authority-delta-assessment-v1.schema.json +191 -0
- package/dist/schemas/long-task-delivery-v2/long-task-delivery-v2.schema.json +166 -2
- package/dist/schemas/long-task-external-confirmation-record-v1.schema.json +155 -0
- package/dist/schemas/long-task-external-confirmation-record-v2.schema.json +209 -0
- package/migrations/README.md +99 -0
- package/package.json +7 -5
- package/source-mappings.yaml +18 -0
|
@@ -0,0 +1,58 @@
|
|
|
1
|
+
import { normalizeRepositoryFile } from "./long-task-paths.js";
|
|
2
|
+
export function deltaRow(value, label, required, optional = []) {
|
|
3
|
+
if (!value || typeof value !== "object" || Array.isArray(value))
|
|
4
|
+
deltaInvalid(label, "object_required");
|
|
5
|
+
const result = value;
|
|
6
|
+
const allowed = new Set([...required, ...optional]);
|
|
7
|
+
for (const key of Object.keys(result))
|
|
8
|
+
if (!allowed.has(key))
|
|
9
|
+
deltaInvalid(label, `unknown_field:${key}`);
|
|
10
|
+
for (const key of required)
|
|
11
|
+
if (!Object.hasOwn(result, key))
|
|
12
|
+
deltaInvalid(label, `missing_field:${key}`);
|
|
13
|
+
return result;
|
|
14
|
+
}
|
|
15
|
+
export function deltaArray(value, label) {
|
|
16
|
+
if (!Array.isArray(value))
|
|
17
|
+
deltaInvalid(label, "array_required");
|
|
18
|
+
return value;
|
|
19
|
+
}
|
|
20
|
+
export function deltaText(value, label) {
|
|
21
|
+
if (typeof value !== "string" || !value.trim() || /[\0\r\n\t]/u.test(value))
|
|
22
|
+
deltaInvalid(label, "non_empty_single_line_string_required");
|
|
23
|
+
return value;
|
|
24
|
+
}
|
|
25
|
+
export function deltaOneOf(value, allowed, label) {
|
|
26
|
+
const result = deltaText(value, label);
|
|
27
|
+
if (!allowed.includes(result))
|
|
28
|
+
deltaInvalid(label, `unsupported:${result}`);
|
|
29
|
+
return result;
|
|
30
|
+
}
|
|
31
|
+
export function deltaExact(value, expected, label) {
|
|
32
|
+
if (value !== expected)
|
|
33
|
+
deltaInvalid(label, `expected:${String(expected)}`);
|
|
34
|
+
return expected;
|
|
35
|
+
}
|
|
36
|
+
export function deltaStringSet(value, label, allowEmpty = false) {
|
|
37
|
+
const values = deltaArray(value, label).map((item, index) => deltaText(item, `${label}[${index}]`));
|
|
38
|
+
if (!allowEmpty && !values.length)
|
|
39
|
+
deltaInvalid(label, "non_empty_array_required");
|
|
40
|
+
if (new Set(values).size !== values.length)
|
|
41
|
+
deltaInvalid(label, "duplicate_value");
|
|
42
|
+
return values.sort(deltaCompare);
|
|
43
|
+
}
|
|
44
|
+
export function deltaSourceRefSet(value, label, allowEmpty = false) {
|
|
45
|
+
return deltaStringSet(value, label, allowEmpty).map((item) => {
|
|
46
|
+
const [file, anchor, ...extra] = item.split("#");
|
|
47
|
+
if (!file || extra.length || (anchor !== undefined && !anchor))
|
|
48
|
+
deltaInvalid(label, `invalid_source_ref:${item}`);
|
|
49
|
+
const normalized = normalizeRepositoryFile(file, label);
|
|
50
|
+
return anchor === undefined ? normalized : `${normalized}#${anchor}`;
|
|
51
|
+
});
|
|
52
|
+
}
|
|
53
|
+
export function deltaCompare(left, right) {
|
|
54
|
+
return Buffer.from(left).compare(Buffer.from(right));
|
|
55
|
+
}
|
|
56
|
+
export function deltaInvalid(label, reason) {
|
|
57
|
+
throw new Error(`design_authority_delta_invalid:${label}:${reason}`);
|
|
58
|
+
}
|
|
@@ -0,0 +1,193 @@
|
|
|
1
|
+
import { DESIGN_AUTHORITY_DELTA_ASSESSMENTS, DESIGN_AUTHORITY_DELTA_ASSESSMENT_SCHEMA, } from "./design-authority-delta-types.js";
|
|
2
|
+
import { DESIGN_AUTHORITY_ENTRY_PATH, DESIGN_AUTHORITY_IDENTITY_FORMAT_VERSION, DESIGN_AUTHORITY_MANIFEST_PATH, isDesignAuthorityDigest, } from "./design-authority-types.js";
|
|
3
|
+
import { normalizeRepositoryFile } from "./long-task-paths.js";
|
|
4
|
+
import { parseStrictYaml } from "./strict-codec.js";
|
|
5
|
+
import { deltaArray as array, deltaCompare as compare, deltaExact as exact, deltaInvalid as invalid, deltaOneOf as oneOf, deltaRow as row, deltaSourceRefSet as sourceRefSet, deltaStringSet as stringSet, deltaText as text, } from "./design-authority-delta-codec-primitives.js";
|
|
6
|
+
export function parseDesignAuthorityDeltaAssessment(content) {
|
|
7
|
+
let decoded;
|
|
8
|
+
try {
|
|
9
|
+
JSON.parse(content);
|
|
10
|
+
decoded = parseStrictYaml(content);
|
|
11
|
+
}
|
|
12
|
+
catch (error) {
|
|
13
|
+
invalid("assessment", `json:${message(error)}`);
|
|
14
|
+
}
|
|
15
|
+
const common = row(decoded, "assessment", ["schema_version", "assessment", "based_on"], [
|
|
16
|
+
"evidence",
|
|
17
|
+
"observed_variances",
|
|
18
|
+
"scope",
|
|
19
|
+
"reason",
|
|
20
|
+
"affected_rules",
|
|
21
|
+
"durability",
|
|
22
|
+
"precedent",
|
|
23
|
+
"required_owner",
|
|
24
|
+
"proposed_changes",
|
|
25
|
+
"supporting_resources",
|
|
26
|
+
"representative_scenarios",
|
|
27
|
+
]);
|
|
28
|
+
exact(common.schema_version, DESIGN_AUTHORITY_DELTA_ASSESSMENT_SCHEMA, "assessment.schema_version");
|
|
29
|
+
const assessment = oneOf(common.assessment, DESIGN_AUTHORITY_DELTA_ASSESSMENTS, "assessment.assessment");
|
|
30
|
+
if (assessment === "consistent_with_current_authority")
|
|
31
|
+
return parseConsistent(decoded);
|
|
32
|
+
if (assessment === "task_local_variance")
|
|
33
|
+
return parseVariance(decoded);
|
|
34
|
+
return parseCandidate(decoded);
|
|
35
|
+
}
|
|
36
|
+
function parseConsistent(value) {
|
|
37
|
+
const input = row(value, "assessment", [
|
|
38
|
+
"schema_version",
|
|
39
|
+
"assessment",
|
|
40
|
+
"based_on",
|
|
41
|
+
"evidence",
|
|
42
|
+
"observed_variances",
|
|
43
|
+
]);
|
|
44
|
+
const evidence = parseEvidence(input.evidence);
|
|
45
|
+
if (evidence.tokens.length +
|
|
46
|
+
evidence.components.length +
|
|
47
|
+
evidence.rules.length ===
|
|
48
|
+
0)
|
|
49
|
+
invalid("assessment.evidence", "at_least_one_reference_required");
|
|
50
|
+
const variances = array(input.observed_variances, "assessment.observed_variances");
|
|
51
|
+
if (variances.length)
|
|
52
|
+
invalid("assessment.observed_variances", "must_be_empty_for_consistent");
|
|
53
|
+
return {
|
|
54
|
+
schema_version: DESIGN_AUTHORITY_DELTA_ASSESSMENT_SCHEMA,
|
|
55
|
+
assessment: "consistent_with_current_authority",
|
|
56
|
+
based_on: parseIdentity(input.based_on, "assessment.based_on"),
|
|
57
|
+
evidence,
|
|
58
|
+
observed_variances: [],
|
|
59
|
+
};
|
|
60
|
+
}
|
|
61
|
+
function parseVariance(value) {
|
|
62
|
+
const base = row(value, "assessment", [
|
|
63
|
+
"schema_version",
|
|
64
|
+
"assessment",
|
|
65
|
+
"based_on",
|
|
66
|
+
"scope",
|
|
67
|
+
"reason",
|
|
68
|
+
"affected_rules",
|
|
69
|
+
"durability",
|
|
70
|
+
], ["precedent", "required_owner"]);
|
|
71
|
+
const durability = oneOf(base.durability, ["task_only", "cross_task_candidate"], "assessment.durability");
|
|
72
|
+
const common = {
|
|
73
|
+
schema_version: DESIGN_AUTHORITY_DELTA_ASSESSMENT_SCHEMA,
|
|
74
|
+
assessment: "task_local_variance",
|
|
75
|
+
based_on: parseIdentity(base.based_on, "assessment.based_on"),
|
|
76
|
+
scope: stringSet(base.scope, "assessment.scope"),
|
|
77
|
+
reason: text(base.reason, "assessment.reason"),
|
|
78
|
+
affected_rules: sourceRefSet(base.affected_rules, "assessment.affected_rules"),
|
|
79
|
+
};
|
|
80
|
+
if (durability === "task_only") {
|
|
81
|
+
exact(base.precedent, "forbidden", "assessment.precedent");
|
|
82
|
+
if (base.required_owner !== undefined)
|
|
83
|
+
invalid("assessment.required_owner", "forbidden_for_task_only");
|
|
84
|
+
return {
|
|
85
|
+
...common,
|
|
86
|
+
durability,
|
|
87
|
+
precedent: "forbidden",
|
|
88
|
+
};
|
|
89
|
+
}
|
|
90
|
+
if (base.precedent !== undefined)
|
|
91
|
+
invalid("assessment.precedent", "forbidden_for_cross_task_candidate");
|
|
92
|
+
return {
|
|
93
|
+
...common,
|
|
94
|
+
durability,
|
|
95
|
+
required_owner: parseScreenContractOwner(base.required_owner),
|
|
96
|
+
};
|
|
97
|
+
}
|
|
98
|
+
function parseCandidate(value) {
|
|
99
|
+
const input = row(value, "assessment", [
|
|
100
|
+
"schema_version",
|
|
101
|
+
"assessment",
|
|
102
|
+
"based_on",
|
|
103
|
+
"proposed_changes",
|
|
104
|
+
"supporting_resources",
|
|
105
|
+
"representative_scenarios",
|
|
106
|
+
]);
|
|
107
|
+
const proposedChanges = parseChanges(input.proposed_changes);
|
|
108
|
+
if (Object.values(proposedChanges).reduce((total, changes) => total + changes.length, 0) === 0)
|
|
109
|
+
invalid("assessment.proposed_changes", "at_least_one_change_required");
|
|
110
|
+
return {
|
|
111
|
+
schema_version: DESIGN_AUTHORITY_DELTA_ASSESSMENT_SCHEMA,
|
|
112
|
+
assessment: "authority_delta_candidate",
|
|
113
|
+
based_on: parseIdentity(input.based_on, "assessment.based_on"),
|
|
114
|
+
proposed_changes: proposedChanges,
|
|
115
|
+
supporting_resources: sourceRefSet(input.supporting_resources, "assessment.supporting_resources", true),
|
|
116
|
+
representative_scenarios: stringSet(input.representative_scenarios, "assessment.representative_scenarios"),
|
|
117
|
+
};
|
|
118
|
+
}
|
|
119
|
+
function parseEvidence(value) {
|
|
120
|
+
const input = row(value, "assessment.evidence", [
|
|
121
|
+
"tokens",
|
|
122
|
+
"components",
|
|
123
|
+
"rules",
|
|
124
|
+
]);
|
|
125
|
+
return {
|
|
126
|
+
tokens: stringSet(input.tokens, "assessment.evidence.tokens", true),
|
|
127
|
+
components: stringSet(input.components, "assessment.evidence.components", true),
|
|
128
|
+
rules: sourceRefSet(input.rules, "assessment.evidence.rules", true),
|
|
129
|
+
};
|
|
130
|
+
}
|
|
131
|
+
function parseChanges(value) {
|
|
132
|
+
const input = row(value, "assessment.proposed_changes", [
|
|
133
|
+
"tokens",
|
|
134
|
+
"components",
|
|
135
|
+
"patterns",
|
|
136
|
+
"motion",
|
|
137
|
+
"platforms",
|
|
138
|
+
]);
|
|
139
|
+
return Object.fromEntries(Object.entries(input).map(([kind, changes]) => [
|
|
140
|
+
kind,
|
|
141
|
+
changeSet(changes, `assessment.proposed_changes.${kind}`),
|
|
142
|
+
]));
|
|
143
|
+
}
|
|
144
|
+
function changeSet(value, label) {
|
|
145
|
+
const changes = array(value, label).map((item, index) => {
|
|
146
|
+
const local = `${label}[${index}]`;
|
|
147
|
+
const input = row(item, local, ["key", "proposal", "rationale"]);
|
|
148
|
+
return {
|
|
149
|
+
key: text(input.key, `${local}.key`),
|
|
150
|
+
proposal: text(input.proposal, `${local}.proposal`),
|
|
151
|
+
rationale: text(input.rationale, `${local}.rationale`),
|
|
152
|
+
};
|
|
153
|
+
});
|
|
154
|
+
if (new Set(changes.map((change) => change.key)).size !== changes.length)
|
|
155
|
+
invalid(label, "duplicate_key");
|
|
156
|
+
return changes.sort((left, right) => compare(left.key, right.key));
|
|
157
|
+
}
|
|
158
|
+
function parseIdentity(value, label) {
|
|
159
|
+
const input = row(value, label, [
|
|
160
|
+
"format_version",
|
|
161
|
+
"entry_path",
|
|
162
|
+
"manifest_path",
|
|
163
|
+
"closure_digest",
|
|
164
|
+
"revision",
|
|
165
|
+
]);
|
|
166
|
+
exact(input.format_version, DESIGN_AUTHORITY_IDENTITY_FORMAT_VERSION, `${label}.format_version`);
|
|
167
|
+
exact(input.entry_path, DESIGN_AUTHORITY_ENTRY_PATH, `${label}.entry_path`);
|
|
168
|
+
if (input.manifest_path !== null &&
|
|
169
|
+
input.manifest_path !== DESIGN_AUTHORITY_MANIFEST_PATH)
|
|
170
|
+
invalid(`${label}.manifest_path`, "unsupported_manifest_path");
|
|
171
|
+
if (!isDesignAuthorityDigest(input.closure_digest))
|
|
172
|
+
invalid(`${label}.closure_digest`, "sha256_identity_required");
|
|
173
|
+
if (input.revision !== null)
|
|
174
|
+
text(input.revision, `${label}.revision`);
|
|
175
|
+
return {
|
|
176
|
+
format_version: DESIGN_AUTHORITY_IDENTITY_FORMAT_VERSION,
|
|
177
|
+
entry_path: DESIGN_AUTHORITY_ENTRY_PATH,
|
|
178
|
+
manifest_path: input.manifest_path,
|
|
179
|
+
closure_digest: input.closure_digest,
|
|
180
|
+
revision: input.revision,
|
|
181
|
+
};
|
|
182
|
+
}
|
|
183
|
+
function parseScreenContractOwner(value) {
|
|
184
|
+
const input = row(value, "assessment.required_owner", ["type", "path"]);
|
|
185
|
+
exact(input.type, "screen_contract", "assessment.required_owner.type");
|
|
186
|
+
const ownerPath = normalizeRepositoryFile(text(input.path, "assessment.required_owner.path"), "assessment.required_owner.path");
|
|
187
|
+
if (!ownerPath.startsWith("project_context/") || !ownerPath.endsWith(".md"))
|
|
188
|
+
invalid("assessment.required_owner.path", "screen_contract_must_be_project_context_markdown");
|
|
189
|
+
return { type: "screen_contract", path: ownerPath };
|
|
190
|
+
}
|
|
191
|
+
function message(error) {
|
|
192
|
+
return error instanceof Error ? error.message : String(error);
|
|
193
|
+
}
|
|
@@ -0,0 +1,65 @@
|
|
|
1
|
+
import type { DesignAuthorityIdentityV1 } from "./design-authority-types.js";
|
|
2
|
+
export declare const DESIGN_AUTHORITY_DELTA_ASSESSMENT_SCHEMA: "design-authority-delta-assessment-v1";
|
|
3
|
+
export declare const DESIGN_AUTHORITY_DELTA_ASSESSMENTS: readonly ["consistent_with_current_authority", "task_local_variance", "authority_delta_candidate"];
|
|
4
|
+
export type DesignAuthorityDeltaAssessmentKind = (typeof DESIGN_AUTHORITY_DELTA_ASSESSMENTS)[number];
|
|
5
|
+
export interface DesignAuthorityDeltaEvidenceV1 {
|
|
6
|
+
tokens: string[];
|
|
7
|
+
components: string[];
|
|
8
|
+
rules: string[];
|
|
9
|
+
}
|
|
10
|
+
export interface DesignAuthorityDeltaChangeV1 {
|
|
11
|
+
key: string;
|
|
12
|
+
proposal: string;
|
|
13
|
+
rationale: string;
|
|
14
|
+
}
|
|
15
|
+
export interface DesignAuthorityDeltaChangesV1 {
|
|
16
|
+
tokens: DesignAuthorityDeltaChangeV1[];
|
|
17
|
+
components: DesignAuthorityDeltaChangeV1[];
|
|
18
|
+
patterns: DesignAuthorityDeltaChangeV1[];
|
|
19
|
+
motion: DesignAuthorityDeltaChangeV1[];
|
|
20
|
+
platforms: DesignAuthorityDeltaChangeV1[];
|
|
21
|
+
}
|
|
22
|
+
interface DesignAuthorityDeltaAssessmentBaseV1 {
|
|
23
|
+
schema_version: typeof DESIGN_AUTHORITY_DELTA_ASSESSMENT_SCHEMA;
|
|
24
|
+
assessment: DesignAuthorityDeltaAssessmentKind;
|
|
25
|
+
based_on: DesignAuthorityIdentityV1;
|
|
26
|
+
}
|
|
27
|
+
export interface DesignAuthorityConsistentAssessmentV1 extends DesignAuthorityDeltaAssessmentBaseV1 {
|
|
28
|
+
assessment: "consistent_with_current_authority";
|
|
29
|
+
evidence: DesignAuthorityDeltaEvidenceV1;
|
|
30
|
+
observed_variances: [];
|
|
31
|
+
}
|
|
32
|
+
export interface DesignAuthorityTaskOnlyVarianceV1 extends DesignAuthorityDeltaAssessmentBaseV1 {
|
|
33
|
+
assessment: "task_local_variance";
|
|
34
|
+
scope: string[];
|
|
35
|
+
reason: string;
|
|
36
|
+
affected_rules: string[];
|
|
37
|
+
durability: "task_only";
|
|
38
|
+
precedent: "forbidden";
|
|
39
|
+
}
|
|
40
|
+
export interface DesignAuthorityCrossTaskVarianceV1 extends DesignAuthorityDeltaAssessmentBaseV1 {
|
|
41
|
+
assessment: "task_local_variance";
|
|
42
|
+
scope: string[];
|
|
43
|
+
reason: string;
|
|
44
|
+
affected_rules: string[];
|
|
45
|
+
durability: "cross_task_candidate";
|
|
46
|
+
required_owner: {
|
|
47
|
+
type: "screen_contract";
|
|
48
|
+
path: string;
|
|
49
|
+
};
|
|
50
|
+
}
|
|
51
|
+
export interface DesignAuthorityDeltaCandidateV1 extends DesignAuthorityDeltaAssessmentBaseV1 {
|
|
52
|
+
assessment: "authority_delta_candidate";
|
|
53
|
+
proposed_changes: DesignAuthorityDeltaChangesV1;
|
|
54
|
+
supporting_resources: string[];
|
|
55
|
+
representative_scenarios: string[];
|
|
56
|
+
}
|
|
57
|
+
export type DesignAuthorityDeltaAssessmentV1 = DesignAuthorityConsistentAssessmentV1 | DesignAuthorityTaskOnlyVarianceV1 | DesignAuthorityCrossTaskVarianceV1 | DesignAuthorityDeltaCandidateV1;
|
|
58
|
+
export interface DesignAuthorityDeltaValidationV1 {
|
|
59
|
+
schema_version: typeof DESIGN_AUTHORITY_DELTA_ASSESSMENT_SCHEMA;
|
|
60
|
+
assessment: DesignAuthorityDeltaAssessmentKind;
|
|
61
|
+
authority_identity: DesignAuthorityIdentityV1;
|
|
62
|
+
authority_current: true;
|
|
63
|
+
write_performed: false;
|
|
64
|
+
}
|
|
65
|
+
export {};
|
|
@@ -0,0 +1,2 @@
|
|
|
1
|
+
import { type DesignAuthorityDeltaAssessmentV1, type DesignAuthorityDeltaValidationV1 } from "./design-authority-delta-types.js";
|
|
2
|
+
export declare function validateDesignAuthorityDeltaAssessmentCurrent(repository: string, assessment: DesignAuthorityDeltaAssessmentV1): Promise<DesignAuthorityDeltaValidationV1>;
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
import { loadCurrentDesignAuthorityClosure } from "./design-authority-closure.js";
|
|
2
|
+
import { DESIGN_AUTHORITY_DELTA_ASSESSMENT_SCHEMA, } from "./design-authority-delta-types.js";
|
|
3
|
+
import { canonicalValueJson } from "./strict-codec.js";
|
|
4
|
+
export async function validateDesignAuthorityDeltaAssessmentCurrent(repository, assessment) {
|
|
5
|
+
const current = await loadCurrentDesignAuthorityClosure(repository);
|
|
6
|
+
if (canonicalValueJson(assessment.based_on) !==
|
|
7
|
+
canonicalValueJson(current.identity))
|
|
8
|
+
throw new Error(`design_authority_delta_invalid:assessment.based_on:identity_mismatch:${assessment.based_on.closure_digest}:${current.identity.closure_digest}`);
|
|
9
|
+
return {
|
|
10
|
+
schema_version: DESIGN_AUTHORITY_DELTA_ASSESSMENT_SCHEMA,
|
|
11
|
+
assessment: assessment.assessment,
|
|
12
|
+
authority_identity: current.identity,
|
|
13
|
+
authority_current: true,
|
|
14
|
+
write_performed: false,
|
|
15
|
+
};
|
|
16
|
+
}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import type { AcquiredDesignAuthorityText } from "./design-authority-files.js";
|
|
2
|
+
import { type DesignAuthorityClosureMember } from "./design-authority-types.js";
|
|
3
|
+
export interface DesignAuthorityDigestMember extends AcquiredDesignAuthorityText {
|
|
4
|
+
kind: DesignAuthorityClosureMember["kind"];
|
|
5
|
+
}
|
|
6
|
+
export declare function digestDesignAuthorityMembers(members: DesignAuthorityDigestMember[]): string;
|
|
7
|
+
export declare function projectDesignAuthorityMembers(members: DesignAuthorityDigestMember[]): DesignAuthorityClosureMember[];
|
|
8
|
+
export declare function enforceDesignAuthorityTotalLimit(members: DesignAuthorityDigestMember[]): void;
|
|
@@ -0,0 +1,36 @@
|
|
|
1
|
+
import { createHash } from "node:crypto";
|
|
2
|
+
import { DESIGN_AUTHORITY_LIMITS, } from "./design-authority-types.js";
|
|
3
|
+
export function digestDesignAuthorityMembers(members) {
|
|
4
|
+
const hash = createHash("sha256");
|
|
5
|
+
for (const member of sortDesignAuthorityMembers(members)) {
|
|
6
|
+
const pathBytes = Buffer.from(member.path, "utf8");
|
|
7
|
+
hash.update(uint64(pathBytes.length));
|
|
8
|
+
hash.update(pathBytes);
|
|
9
|
+
hash.update(uint64(member.normalized.length));
|
|
10
|
+
hash.update(member.normalized);
|
|
11
|
+
}
|
|
12
|
+
return `sha256:${hash.digest("hex")}`;
|
|
13
|
+
}
|
|
14
|
+
export function projectDesignAuthorityMembers(members) {
|
|
15
|
+
return sortDesignAuthorityMembers(members).map((member) => ({
|
|
16
|
+
path: member.path,
|
|
17
|
+
kind: member.kind,
|
|
18
|
+
content_sha256: `sha256:${createHash("sha256")
|
|
19
|
+
.update(member.normalized)
|
|
20
|
+
.digest("hex")}`,
|
|
21
|
+
normalized_bytes: member.normalized.length,
|
|
22
|
+
}));
|
|
23
|
+
}
|
|
24
|
+
export function enforceDesignAuthorityTotalLimit(members) {
|
|
25
|
+
const total = members.reduce((sum, member) => sum + member.normalized.length, 0);
|
|
26
|
+
if (total > DESIGN_AUTHORITY_LIMITS.max_total_bytes)
|
|
27
|
+
throw new Error(`design_authority_invalid:total_limit_exceeded:${total}`);
|
|
28
|
+
}
|
|
29
|
+
function sortDesignAuthorityMembers(members) {
|
|
30
|
+
return [...members].sort((left, right) => Buffer.from(left.path).compare(Buffer.from(right.path)));
|
|
31
|
+
}
|
|
32
|
+
function uint64(value) {
|
|
33
|
+
const result = Buffer.alloc(8);
|
|
34
|
+
result.writeBigUInt64BE(BigInt(value));
|
|
35
|
+
return result;
|
|
36
|
+
}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
export interface AcquiredDesignAuthorityText {
|
|
2
|
+
path: string;
|
|
3
|
+
content: string;
|
|
4
|
+
normalized: Buffer;
|
|
5
|
+
raw: Buffer;
|
|
6
|
+
}
|
|
7
|
+
export declare function acquireDesignAuthorityManifest(repository: string): Promise<AcquiredDesignAuthorityText | null>;
|
|
8
|
+
export declare function acquireDesignAuthorityText(repository: string, relative: string, label: string): Promise<AcquiredDesignAuthorityText>;
|
|
9
|
+
export declare function designAuthorityPathExists(target: string): Promise<boolean>;
|
|
@@ -0,0 +1,62 @@
|
|
|
1
|
+
import { lstat, readFile, readdir } from "node:fs/promises";
|
|
2
|
+
import path from "node:path";
|
|
3
|
+
import { assertProtectedRepositoryDirectory, assertProtectedRepositoryFile, } from "./repository-path-safety.js";
|
|
4
|
+
import { DESIGN_AUTHORITY_LIMITS, DESIGN_AUTHORITY_MANIFEST_PATH, } from "./design-authority-types.js";
|
|
5
|
+
export async function acquireDesignAuthorityManifest(repository) {
|
|
6
|
+
const directory = path.join(repository, "design_system");
|
|
7
|
+
if (!(await designAuthorityPathExists(directory)))
|
|
8
|
+
return null;
|
|
9
|
+
await assertProtectedRepositoryDirectory(repository, directory, "design_authority_directory");
|
|
10
|
+
const manifest = path.join(repository, DESIGN_AUTHORITY_MANIFEST_PATH);
|
|
11
|
+
if (!(await designAuthorityPathExists(manifest)))
|
|
12
|
+
return null;
|
|
13
|
+
return acquireDesignAuthorityText(repository, DESIGN_AUTHORITY_MANIFEST_PATH, "design_authority_manifest");
|
|
14
|
+
}
|
|
15
|
+
export async function acquireDesignAuthorityText(repository, relative, label) {
|
|
16
|
+
const absolute = await assertProtectedRepositoryFile(repository, path.resolve(repository, ...relative.split("/")), label);
|
|
17
|
+
await assertExactDesignAuthorityPath(repository, relative, label);
|
|
18
|
+
const bytes = await readFile(absolute);
|
|
19
|
+
if (bytes.length > DESIGN_AUTHORITY_LIMITS.max_file_bytes)
|
|
20
|
+
invalid(`file_limit_exceeded:${relative}:${bytes.length}`);
|
|
21
|
+
if (bytes.subarray(0, 3).equals(Buffer.from([0xef, 0xbb, 0xbf])))
|
|
22
|
+
invalid(`utf8_bom_not_allowed:${relative}`);
|
|
23
|
+
let content;
|
|
24
|
+
try {
|
|
25
|
+
content = new TextDecoder("utf-8", { fatal: true }).decode(bytes);
|
|
26
|
+
}
|
|
27
|
+
catch {
|
|
28
|
+
invalid(`invalid_utf8:${relative}`);
|
|
29
|
+
}
|
|
30
|
+
return {
|
|
31
|
+
path: relative,
|
|
32
|
+
content,
|
|
33
|
+
normalized: Buffer.from(content.replace(/\r\n?/gu, "\n"), "utf8"),
|
|
34
|
+
raw: bytes,
|
|
35
|
+
};
|
|
36
|
+
}
|
|
37
|
+
async function assertExactDesignAuthorityPath(repository, relative, label) {
|
|
38
|
+
let parent = path.resolve(repository);
|
|
39
|
+
for (const segment of relative.split("/")) {
|
|
40
|
+
const entries = await readdir(parent);
|
|
41
|
+
if (!entries.includes(segment))
|
|
42
|
+
invalid(`${label}_path_case_mismatch:${relative}`);
|
|
43
|
+
parent = path.join(parent, segment);
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
export async function designAuthorityPathExists(target) {
|
|
47
|
+
try {
|
|
48
|
+
await lstat(target);
|
|
49
|
+
return true;
|
|
50
|
+
}
|
|
51
|
+
catch (error) {
|
|
52
|
+
if (typeof error === "object" &&
|
|
53
|
+
error !== null &&
|
|
54
|
+
"code" in error &&
|
|
55
|
+
error.code === "ENOENT")
|
|
56
|
+
return false;
|
|
57
|
+
throw error;
|
|
58
|
+
}
|
|
59
|
+
}
|
|
60
|
+
function invalid(reason) {
|
|
61
|
+
throw new Error(`design_authority_invalid:${reason}`);
|
|
62
|
+
}
|
|
@@ -0,0 +1,93 @@
|
|
|
1
|
+
import { DESIGN_AUTHORITY_BUNDLE_MARKER } from "./design-authority-types.js";
|
|
2
|
+
import { parseStrictYaml } from "./strict-codec.js";
|
|
3
|
+
const DESIGN_AUTHORITY_FORMAT_NAMESPACE = "ty-context-design-authority-format";
|
|
4
|
+
const WHOLE_LINE_HTML_COMMENT = /^\s*<!--([\s\S]*?)-->\s*$/u;
|
|
5
|
+
export function declaredDesignAuthorityFormat(content) {
|
|
6
|
+
const lines = content.replace(/\r\n?/gu, "\n").split("\n");
|
|
7
|
+
const frontmatter = markdownFrontmatter(lines);
|
|
8
|
+
const markers = machineMarkerLines(lines, frontmatter.body_start, frontmatter.unclosed);
|
|
9
|
+
const noncanonical = markers.find((entry) => entry.line !== DESIGN_AUTHORITY_BUNDLE_MARKER);
|
|
10
|
+
if (noncanonical)
|
|
11
|
+
invalidNoncanonicalMarker(noncanonical);
|
|
12
|
+
if (markers.length === 0)
|
|
13
|
+
return null;
|
|
14
|
+
const bodyStart = frontmatter.body_start;
|
|
15
|
+
if (frontmatter.unclosed)
|
|
16
|
+
invalid(`bundle_marker_noncanonical:line=${markers[0].index + 1}:frontmatter_unclosed`);
|
|
17
|
+
if (frontmatter.source !== null)
|
|
18
|
+
try {
|
|
19
|
+
parseStrictYaml(frontmatter.source);
|
|
20
|
+
}
|
|
21
|
+
catch (error) {
|
|
22
|
+
invalid(`bundle_marker_noncanonical:line=${markers[0].index + 1}:frontmatter_invalid:${message(error)}`);
|
|
23
|
+
}
|
|
24
|
+
if (markers.length > 1)
|
|
25
|
+
invalid("bundle_marker_duplicate");
|
|
26
|
+
const firstBodyLine = lines.findIndex((line, index) => index >= bodyStart && line.trim().length > 0);
|
|
27
|
+
if (firstBodyLine !== markers[0].index)
|
|
28
|
+
invalid(`bundle_marker_misplaced:line=${markers[0].index + 1}`);
|
|
29
|
+
return "bundle-v1";
|
|
30
|
+
}
|
|
31
|
+
function markdownFrontmatter(lines) {
|
|
32
|
+
if (lines[0] !== "---")
|
|
33
|
+
return { body_start: 0, source: null, unclosed: false };
|
|
34
|
+
for (let index = 1; index < lines.length; index += 1)
|
|
35
|
+
if (lines[index] === "---")
|
|
36
|
+
return {
|
|
37
|
+
body_start: index + 1,
|
|
38
|
+
source: lines.slice(1, index).join("\n"),
|
|
39
|
+
unclosed: false,
|
|
40
|
+
};
|
|
41
|
+
return { body_start: 1, source: null, unclosed: true };
|
|
42
|
+
}
|
|
43
|
+
function machineMarkerLines(lines, bodyStart, frontmatterUnclosed) {
|
|
44
|
+
const result = [];
|
|
45
|
+
let fence = null;
|
|
46
|
+
for (let index = 0; index < lines.length; index += 1) {
|
|
47
|
+
const line = lines[index];
|
|
48
|
+
if (frontmatterUnclosed || index < bodyStart) {
|
|
49
|
+
if (isReservedFormatComment(line))
|
|
50
|
+
result.push({ index, line });
|
|
51
|
+
continue;
|
|
52
|
+
}
|
|
53
|
+
const fenceLine = /^\s*(`{3,}|~{3,})(.*)$/u.exec(line);
|
|
54
|
+
if (fence) {
|
|
55
|
+
if (fenceLine &&
|
|
56
|
+
fence.marker === fenceLine[1][0] &&
|
|
57
|
+
fenceLine[1].length >= fence.width &&
|
|
58
|
+
fenceLine[2].trim().length === 0)
|
|
59
|
+
fence = null;
|
|
60
|
+
continue;
|
|
61
|
+
}
|
|
62
|
+
if (fenceLine) {
|
|
63
|
+
fence = {
|
|
64
|
+
marker: fenceLine[1][0],
|
|
65
|
+
width: fenceLine[1].length,
|
|
66
|
+
};
|
|
67
|
+
continue;
|
|
68
|
+
}
|
|
69
|
+
if (isReservedFormatComment(line))
|
|
70
|
+
result.push({ index, line });
|
|
71
|
+
}
|
|
72
|
+
return result;
|
|
73
|
+
}
|
|
74
|
+
function isReservedFormatComment(line) {
|
|
75
|
+
const comment = WHOLE_LINE_HTML_COMMENT.exec(line);
|
|
76
|
+
return Boolean(comment &&
|
|
77
|
+
comment[1].toLowerCase().includes(DESIGN_AUTHORITY_FORMAT_NAMESPACE));
|
|
78
|
+
}
|
|
79
|
+
function invalidNoncanonicalMarker(entry) {
|
|
80
|
+
invalid(`bundle_marker_noncanonical:line=${entry.index + 1}:expected=${JSON.stringify(DESIGN_AUTHORITY_BUNDLE_MARKER)}:actual=${diagnosticLine(entry.line)}`);
|
|
81
|
+
}
|
|
82
|
+
function diagnosticLine(line) {
|
|
83
|
+
const limit = 256;
|
|
84
|
+
return JSON.stringify(line.length <= limit
|
|
85
|
+
? line
|
|
86
|
+
: `${line.slice(0, limit)}…(${line.length} chars)`);
|
|
87
|
+
}
|
|
88
|
+
function invalid(reason) {
|
|
89
|
+
throw new Error(`design_authority_invalid:${reason}`);
|
|
90
|
+
}
|
|
91
|
+
function message(error) {
|
|
92
|
+
return error instanceof Error ? error.message : String(error);
|
|
93
|
+
}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
import { type DesignAuthorityDiagnostic } from "./design-authority-types.js";
|
|
2
|
+
export interface DesignAuthorityMarkdownSource {
|
|
3
|
+
path: string;
|
|
4
|
+
content: string;
|
|
5
|
+
}
|
|
6
|
+
export declare function analyzeDesignAuthorityLinks(input: {
|
|
7
|
+
repository: string;
|
|
8
|
+
sources: DesignAuthorityMarkdownSource[];
|
|
9
|
+
declared_paths: ReadonlySet<string>;
|
|
10
|
+
}): Promise<DesignAuthorityDiagnostic[]>;
|