project-tiny-context-harness 0.11.0 → 0.12.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 +73 -543
- package/assets/agents/AGENTS_CORE.md +11 -87
- package/assets/tools/context_rules.json +2 -1
- package/dist/commands/context-inspect.js +19 -89
- package/dist/commands/context-list.d.ts +1 -0
- package/dist/commands/context-list.js +24 -0
- package/dist/commands/context.js +4 -0
- package/dist/commands/doctor.js +1 -18
- package/dist/commands/index.js +33 -63
- package/dist/commands/init.d.ts +0 -2
- package/dist/commands/init.js +26 -108
- package/dist/commands/upgrade.js +14 -2
- package/dist/commands/validate.js +1 -1
- package/dist/index.d.ts +0 -1
- package/dist/index.js +0 -1
- package/dist/lib/config.js +14 -45
- package/dist/lib/constants.d.ts +1 -1
- package/dist/lib/constants.js +1 -1
- package/dist/lib/context-catalog/catalog-default-footprint.d.ts +1 -1
- package/dist/lib/context-catalog/catalog-default-footprint.js +5 -7
- package/dist/lib/context-catalog/catalog-load.js +19 -1
- package/dist/lib/context-catalog/catalog-path-validation.js +10 -0
- package/dist/lib/context-catalog/catalog-validation.js +13 -5
- package/dist/lib/context-controlling-source.d.ts +4 -0
- package/dist/lib/context-controlling-source.js +106 -0
- package/dist/lib/context-create/context-create.js +2 -0
- package/dist/lib/context-default-footprint.js +2 -0
- package/dist/lib/context-doctor/context-doctor-types.d.ts +0 -10
- package/dist/lib/context-doctor/context-doctor-types.js +0 -12
- package/dist/lib/context-export.js +17 -9
- package/dist/lib/context-inspect/context-inspect-projection.d.ts +1 -2
- package/dist/lib/context-inspect/context-inspect-projection.js +0 -1
- package/dist/lib/context-inspect/context-inspect-render.js +0 -8
- package/dist/lib/context-inspect/context-inspect-types.d.ts +0 -14
- package/dist/lib/context-inspect/context-inspect.js +0 -27
- package/dist/lib/context-manifest-schema.d.ts +1 -0
- package/dist/lib/context-manifest-schema.js +2 -1
- package/dist/lib/context-manifest.js +1 -41
- package/dist/lib/context-markdown/context-markdown-analysis.js +8 -0
- package/dist/lib/context-markdown/context-markdown-extract.d.ts +2 -1
- package/dist/lib/context-markdown/context-markdown-extract.js +20 -0
- package/dist/lib/context-markdown/context-markdown-types.d.ts +26 -0
- package/dist/lib/context-move/context-move.js +3 -2
- package/dist/lib/context-mutation/manifest-lossless-patch.js +11 -0
- package/dist/lib/context-mutation/mutation-commit.js +2 -2
- package/dist/lib/context-mutation/mutation-interlock.d.ts +1 -0
- package/dist/lib/context-mutation/mutation-interlock.js +9 -0
- package/dist/lib/context-mutation/mutation-recovery.js +3 -3
- package/dist/lib/context-register/context-register.js +3 -0
- package/dist/lib/context-templates.d.ts +0 -4
- package/dist/lib/context-templates.js +1 -210
- package/dist/lib/doctor.d.ts +2 -2
- package/dist/lib/doctor.js +44 -133
- package/dist/lib/init.js +34 -39
- package/dist/lib/maintenance-lock.d.ts +3 -0
- package/dist/lib/maintenance-lock.js +203 -0
- package/dist/lib/maintenance-write.d.ts +3 -0
- package/dist/lib/maintenance-write.js +55 -0
- package/dist/lib/migrations.d.ts +1 -20
- package/dist/lib/migrations.js +48 -755
- package/dist/lib/package-json-config.js +34 -21
- package/dist/lib/package-source.js +27 -14
- package/dist/lib/repository-path-safety.d.ts +2 -0
- package/dist/lib/repository-path-safety.js +20 -0
- package/dist/lib/retirement-assets.d.ts +13 -0
- package/dist/lib/retirement-assets.js +182 -0
- package/dist/lib/retirement-binding.d.ts +10 -0
- package/dist/lib/retirement-binding.js +59 -0
- package/dist/lib/retirement-defaults.d.ts +7 -0
- package/dist/lib/retirement-defaults.js +29 -0
- package/dist/lib/retirement-plan.d.ts +10 -0
- package/dist/lib/retirement-plan.js +96 -0
- package/dist/lib/retirement-preflight.d.ts +2 -0
- package/dist/lib/retirement-preflight.js +13 -0
- package/dist/lib/retirement-references.d.ts +6 -0
- package/dist/lib/retirement-references.js +102 -0
- package/dist/lib/retirement-runner.d.ts +22 -0
- package/dist/lib/retirement-runner.js +217 -0
- package/dist/lib/schema-guard.d.ts +1 -0
- package/dist/lib/schema-guard.js +47 -6
- package/dist/lib/source-files.d.ts +0 -2
- package/dist/lib/source-files.js +0 -21
- package/dist/lib/source-pack-export.js +4 -1
- package/dist/lib/source-pack-manifest.js +93 -38
- package/dist/lib/sync-engine.d.ts +7 -1
- package/dist/lib/sync-engine.js +38 -336
- package/dist/lib/types.d.ts +0 -19
- package/dist/lib/upgrade.d.ts +3 -2
- package/dist/lib/upgrade.js +30 -40
- package/dist/lib/validators.d.ts +3 -3
- package/dist/lib/validators.js +72 -401
- package/dist/public-api-core.d.ts +14 -11
- package/dist/public-api-core.js +14 -11
- package/dist/public-types.d.ts +7 -13
- package/migrations/README.md +19 -178
- package/migrations/schema-4-owned-assets.json +170 -0
- package/package.json +14 -20
- package/source-mappings.yaml +3 -39
- package/assets/README.md +0 -944
- package/assets/README.zh-CN.md +0 -556
- package/assets/agents/.gitkeep +0 -1
- package/assets/agents/long-task-implementation.toml +0 -15
- package/assets/context_templates/architecture.md +0 -37
- package/assets/context_templates/area.md +0 -40
- package/assets/context_templates/context.toml +0 -46
- package/assets/context_templates/deployment.md +0 -35
- package/assets/context_templates/global.md +0 -57
- package/assets/context_templates/product-surface-contract.md +0 -70
- package/assets/context_templates/screen-contract.md +0 -205
- package/assets/context_templates/verification.md +0 -35
- package/assets/github/.gitkeep +0 -1
- package/assets/github/harness.yml +0 -41
- package/assets/make/.gitkeep +0 -1
- package/assets/make/ty-context.mk +0 -48
- package/assets/runtime/windows-job-supervisor/formal_process_supervisor_native_helpers.cs +0 -301
- package/assets/runtime/windows-job-supervisor/formal_process_supervisor_native_run.cs +0 -197
- package/assets/runtime/windows-job-supervisor/formal_process_supervisor_native_types.cs +0 -215
- package/assets/runtime/windows-job-supervisor/windows_job_process_supervisor.ps1 +0 -117
- package/assets/skills/context_development_engineer/SKILL.md +0 -58
- package/assets/skills/context_development_engineer/references/engineering-design-reasoning.md +0 -93
- package/assets/skills/context_full_project_export/SKILL.md +0 -70
- package/assets/skills/context_harness_upgrade/SKILL.md +0 -60
- package/assets/skills/context_product_plan/SKILL.md +0 -42
- package/assets/skills/context_surface_contract/SKILL.md +0 -205
- package/assets/skills/context_uiux_design/SKILL.md +0 -53
- package/assets/skills/context_uiux_design/references/task-uiux-analysis.md +0 -82
- package/assets/skills/design-resource-authoring/SKILL.md +0 -63
- package/assets/skills/design-resource-authoring/references/authority-delta-assessment.md +0 -52
- package/assets/skills/design-resource-authoring/references/downstream-handoff.md +0 -67
- package/assets/skills/design-resource-authoring/references/formal-selected-web-app-handoff.md +0 -114
- package/assets/skills/design-resource-authoring/references/implementation-feasibility.md +0 -111
- package/assets/skills/design-resource-authoring/references/open-design-provider.md +0 -198
- package/assets/skills/design-resource-authoring/references/recovery-and-writeback.md +0 -205
- package/assets/skills/design-resource-authoring/references/resource-selection.md +0 -290
- package/assets/skills/design-system-authoring/SKILL.md +0 -63
- package/assets/skills/design-system-authoring/agents/openai.yaml +0 -6
- package/assets/skills/design-system-authoring/references/authority-adoption.md +0 -58
- package/assets/skills/design-system-authoring/references/open-design-design-system-provider.md +0 -114
- package/assets/skills/long-task-workflow/SKILL.md +0 -75
- package/assets/skills/long-task-workflow/agents/openai.yaml +0 -6
- package/assets/skills/long-task-workflow/references/authority-lifecycle.md +0 -86
- package/assets/skills/long-task-workflow/references/contract-authoring.md +0 -152
- package/assets/skills/long-task-workflow/references/evidence-design.md +0 -132
- package/assets/skills/long-task-workflow/references/source-authoring.md +0 -126
- package/assets/tools/validate_context.py +0 -667
- package/dist/commands/check-modularity.d.ts +0 -1
- package/dist/commands/check-modularity.js +0 -181
- package/dist/commands/composite-campaign.d.ts +0 -1
- package/dist/commands/composite-campaign.js +0 -8
- package/dist/commands/composite-long-task.d.ts +0 -1
- package/dist/commands/composite-long-task.js +0 -8
- package/dist/commands/delivery-set.d.ts +0 -1
- package/dist/commands/delivery-set.js +0 -8
- package/dist/commands/design-authority-delta.d.ts +0 -1
- package/dist/commands/design-authority-delta.js +0 -53
- package/dist/commands/design-authority.d.ts +0 -1
- package/dist/commands/design-authority.js +0 -104
- package/dist/commands/design-resource-recovery.d.ts +0 -1
- package/dist/commands/design-resource-recovery.js +0 -152
- package/dist/commands/design-resource.d.ts +0 -1
- package/dist/commands/design-resource.js +0 -132
- package/dist/commands/disable.d.ts +0 -1
- package/dist/commands/disable.js +0 -15
- package/dist/commands/enable.d.ts +0 -1
- package/dist/commands/enable.js +0 -16
- package/dist/commands/long-task-authoring.d.ts +0 -3
- package/dist/commands/long-task-authoring.js +0 -234
- package/dist/commands/long-task-command-args.d.ts +0 -4
- package/dist/commands/long-task-command-args.js +0 -26
- package/dist/commands/long-task-explain.d.ts +0 -1
- package/dist/commands/long-task-explain.js +0 -52
- package/dist/commands/long-task-revision.d.ts +0 -1
- package/dist/commands/long-task-revision.js +0 -177
- package/dist/commands/long-task-workdir.d.ts +0 -2
- package/dist/commands/long-task-workdir.js +0 -23
- package/dist/commands/long-task.d.ts +0 -1
- package/dist/commands/long-task.js +0 -212
- package/dist/commands/route.d.ts +0 -15
- package/dist/commands/route.js +0 -142
- package/dist/lib/compact-authoring-support.d.ts +0 -22
- package/dist/lib/compact-authoring-support.js +0 -143
- package/dist/lib/compact-shared-structure-authoring.d.ts +0 -5
- package/dist/lib/compact-shared-structure-authoring.js +0 -9
- package/dist/lib/compact-shared-structure-types.d.ts +0 -61
- package/dist/lib/compact-shared-structure-types.js +0 -1
- package/dist/lib/compact-shared-structure-validation.d.ts +0 -2
- package/dist/lib/compact-shared-structure-validation.js +0 -159
- package/dist/lib/compact-shared-structures.d.ts +0 -3
- package/dist/lib/compact-shared-structures.js +0 -204
- package/dist/lib/context-doctor/context-doctor.d.ts +0 -2
- package/dist/lib/context-doctor/context-doctor.js +0 -130
- package/dist/lib/context-graph-snapshot.d.ts +0 -23
- package/dist/lib/context-graph-snapshot.js +0 -199
- package/dist/lib/context-mutation/mutation-long-task-guard.d.ts +0 -6
- package/dist/lib/context-mutation/mutation-long-task-guard.js +0 -57
- package/dist/lib/context-router/context-route-budget.d.ts +0 -15
- package/dist/lib/context-router/context-route-budget.js +0 -14
- package/dist/lib/context-router/context-route-candidates.d.ts +0 -15
- package/dist/lib/context-router/context-route-candidates.js +0 -112
- package/dist/lib/context-router/context-route-order.d.ts +0 -6
- package/dist/lib/context-router/context-route-order.js +0 -53
- package/dist/lib/context-router/context-route-paths.d.ts +0 -16
- package/dist/lib/context-router/context-route-paths.js +0 -109
- package/dist/lib/context-router/context-route-render.d.ts +0 -2
- package/dist/lib/context-router/context-route-render.js +0 -32
- package/dist/lib/context-router/context-route-scan.d.ts +0 -18
- package/dist/lib/context-router/context-route-scan.js +0 -156
- package/dist/lib/context-router/context-route-selection.d.ts +0 -16
- package/dist/lib/context-router/context-route-selection.js +0 -72
- package/dist/lib/context-router/context-route-terms.d.ts +0 -13
- package/dist/lib/context-router/context-route-terms.js +0 -202
- package/dist/lib/context-router/context-route-types.d.ts +0 -101
- package/dist/lib/context-router/context-route-types.js +0 -1
- package/dist/lib/context-router/context-route.d.ts +0 -2
- package/dist/lib/context-router/context-route.js +0 -127
- package/dist/lib/context-units-migration.d.ts +0 -13
- package/dist/lib/context-units-migration.js +0 -217
- package/dist/lib/design-authority-binding.d.ts +0 -7
- package/dist/lib/design-authority-binding.js +0 -96
- package/dist/lib/design-authority-closure.d.ts +0 -3
- package/dist/lib/design-authority-closure.js +0 -201
- package/dist/lib/design-authority-delta-codec-primitives.d.ts +0 -10
- package/dist/lib/design-authority-delta-codec-primitives.js +0 -58
- package/dist/lib/design-authority-delta-codec.d.ts +0 -2
- package/dist/lib/design-authority-delta-codec.js +0 -193
- package/dist/lib/design-authority-delta-types.d.ts +0 -65
- package/dist/lib/design-authority-delta-types.js +0 -6
- package/dist/lib/design-authority-delta-validation.d.ts +0 -2
- package/dist/lib/design-authority-delta-validation.js +0 -16
- package/dist/lib/design-authority-digest.d.ts +0 -8
- package/dist/lib/design-authority-digest.js +0 -36
- package/dist/lib/design-authority-files.d.ts +0 -9
- package/dist/lib/design-authority-files.js +0 -62
- package/dist/lib/design-authority-format.d.ts +0 -2
- package/dist/lib/design-authority-format.js +0 -93
- package/dist/lib/design-authority-links.d.ts +0 -10
- package/dist/lib/design-authority-links.js +0 -137
- package/dist/lib/design-authority-manifest.d.ts +0 -4
- package/dist/lib/design-authority-manifest.js +0 -144
- package/dist/lib/design-authority-tokens.d.ts +0 -9
- package/dist/lib/design-authority-tokens.js +0 -45
- package/dist/lib/design-authority-types.d.ts +0 -80
- package/dist/lib/design-authority-types.js +0 -23
- package/dist/lib/design-md-tool-adapter.d.ts +0 -9
- package/dist/lib/design-md-tool-adapter.js +0 -152
- package/dist/lib/design-md-tool-normalization.d.ts +0 -7
- package/dist/lib/design-md-tool-normalization.js +0 -78
- package/dist/lib/design-md-tool-types.d.ts +0 -99
- package/dist/lib/design-md-tool-types.js +0 -8
- package/dist/lib/design-md.d.ts +0 -12
- package/dist/lib/design-md.js +0 -169
- package/dist/lib/design-resource-fact-enums.d.ts +0 -24
- package/dist/lib/design-resource-fact-enums.js +0 -182
- package/dist/lib/design-resource-fact-locator-extractors.d.ts +0 -8
- package/dist/lib/design-resource-fact-locator-extractors.js +0 -108
- package/dist/lib/design-resource-fact-locator-resolver.d.ts +0 -3
- package/dist/lib/design-resource-fact-locator-resolver.js +0 -112
- package/dist/lib/design-resource-fact-locator-validation.d.ts +0 -5
- package/dist/lib/design-resource-fact-locator-validation.js +0 -16
- package/dist/lib/design-resource-fact-manifest-catalog.d.ts +0 -4
- package/dist/lib/design-resource-fact-manifest-catalog.js +0 -249
- package/dist/lib/design-resource-fact-manifest-model.d.ts +0 -91
- package/dist/lib/design-resource-fact-manifest-model.js +0 -21
- package/dist/lib/design-resource-fact-manifest-shape-axes.d.ts +0 -6
- package/dist/lib/design-resource-fact-manifest-shape-axes.js +0 -159
- package/dist/lib/design-resource-fact-manifest-shape-evidence.d.ts +0 -4
- package/dist/lib/design-resource-fact-manifest-shape-evidence.js +0 -59
- package/dist/lib/design-resource-fact-manifest-shape-facts.d.ts +0 -4
- package/dist/lib/design-resource-fact-manifest-shape-facts.js +0 -109
- package/dist/lib/design-resource-fact-manifest-shape-inspector.d.ts +0 -5
- package/dist/lib/design-resource-fact-manifest-shape-inspector.js +0 -144
- package/dist/lib/design-resource-fact-manifest-shape.d.ts +0 -7
- package/dist/lib/design-resource-fact-manifest-shape.js +0 -75
- package/dist/lib/design-resource-fact-manifest-types.d.ts +0 -3
- package/dist/lib/design-resource-fact-manifest-types.js +0 -3
- package/dist/lib/design-resource-fact-manifest-universe.d.ts +0 -5
- package/dist/lib/design-resource-fact-manifest-universe.js +0 -50
- package/dist/lib/design-resource-fact-manifest-validation.d.ts +0 -5
- package/dist/lib/design-resource-fact-manifest-validation.js +0 -111
- package/dist/lib/design-resource-fact-policy.d.ts +0 -43
- package/dist/lib/design-resource-fact-policy.js +0 -106
- package/dist/lib/design-resource-fact-property-methods.d.ts +0 -3
- package/dist/lib/design-resource-fact-property-methods.js +0 -158
- package/dist/lib/design-resource-fact-shape-primitives.d.ts +0 -3
- package/dist/lib/design-resource-fact-shape-primitives.js +0 -18
- package/dist/lib/design-resource-fact-types.d.ts +0 -164
- package/dist/lib/design-resource-fact-types.js +0 -1
- package/dist/lib/design-resource-fact-universe-assets.d.ts +0 -4
- package/dist/lib/design-resource-fact-universe-assets.js +0 -71
- package/dist/lib/design-resource-fact-universe-catalog.d.ts +0 -4
- package/dist/lib/design-resource-fact-universe-catalog.js +0 -161
- package/dist/lib/design-resource-fact-universe-conditions.d.ts +0 -2
- package/dist/lib/design-resource-fact-universe-conditions.js +0 -92
- package/dist/lib/design-resource-fact-universe-facts.d.ts +0 -4
- package/dist/lib/design-resource-fact-universe-facts.js +0 -108
- package/dist/lib/design-resource-fact-universe-helpers.d.ts +0 -30
- package/dist/lib/design-resource-fact-universe-helpers.js +0 -171
- package/dist/lib/design-resource-fact-universe-inspector.d.ts +0 -7
- package/dist/lib/design-resource-fact-universe-inspector.js +0 -119
- package/dist/lib/design-resource-fact-universe-proof.d.ts +0 -4
- package/dist/lib/design-resource-fact-universe-proof.js +0 -113
- package/dist/lib/design-resource-fact-universe-subjects.d.ts +0 -5
- package/dist/lib/design-resource-fact-universe-subjects.js +0 -97
- package/dist/lib/design-resource-fact-universe-variations.d.ts +0 -2
- package/dist/lib/design-resource-fact-universe-variations.js +0 -75
- package/dist/lib/design-resource-fact-value-validation.d.ts +0 -2
- package/dist/lib/design-resource-fact-value-validation.js +0 -80
- package/dist/lib/design-resource-handoff-bundle-draft.d.ts +0 -11
- package/dist/lib/design-resource-handoff-bundle-draft.js +0 -40
- package/dist/lib/design-resource-handoff-bundle.d.ts +0 -31
- package/dist/lib/design-resource-handoff-bundle.js +0 -152
- package/dist/lib/design-resource-handoff-file-primitives.d.ts +0 -4
- package/dist/lib/design-resource-handoff-file-primitives.js +0 -16
- package/dist/lib/design-resource-handoff-file-validation.d.ts +0 -2
- package/dist/lib/design-resource-handoff-file-validation.js +0 -47
- package/dist/lib/design-resource-handoff-input-types.d.ts +0 -14
- package/dist/lib/design-resource-handoff-input-types.js +0 -1
- package/dist/lib/design-resource-handoff-manifest-projection.d.ts +0 -4
- package/dist/lib/design-resource-handoff-manifest-projection.js +0 -41
- package/dist/lib/design-resource-handoff-parser.d.ts +0 -8
- package/dist/lib/design-resource-handoff-parser.js +0 -49
- package/dist/lib/design-resource-handoff-policy.d.ts +0 -4
- package/dist/lib/design-resource-handoff-policy.js +0 -143
- package/dist/lib/design-resource-handoff-set-integrity.d.ts +0 -8
- package/dist/lib/design-resource-handoff-set-integrity.js +0 -94
- package/dist/lib/design-resource-handoff-shape-evidence.d.ts +0 -6
- package/dist/lib/design-resource-handoff-shape-evidence.js +0 -187
- package/dist/lib/design-resource-handoff-shape-primitives.d.ts +0 -14
- package/dist/lib/design-resource-handoff-shape-primitives.js +0 -70
- package/dist/lib/design-resource-handoff-shape-structure.d.ts +0 -5
- package/dist/lib/design-resource-handoff-shape-structure.js +0 -239
- package/dist/lib/design-resource-handoff-shape.d.ts +0 -6
- package/dist/lib/design-resource-handoff-shape.js +0 -192
- package/dist/lib/design-resource-handoff-snapshot.d.ts +0 -6
- package/dist/lib/design-resource-handoff-snapshot.js +0 -25
- package/dist/lib/design-resource-handoff-types.d.ts +0 -264
- package/dist/lib/design-resource-handoff-types.js +0 -68
- package/dist/lib/design-resource-handoff-validation-coverage.d.ts +0 -4
- package/dist/lib/design-resource-handoff-validation-coverage.js +0 -223
- package/dist/lib/design-resource-handoff-validation-fact-cells.d.ts +0 -2
- package/dist/lib/design-resource-handoff-validation-fact-cells.js +0 -60
- package/dist/lib/design-resource-handoff-validation-fact-records.d.ts +0 -2
- package/dist/lib/design-resource-handoff-validation-fact-records.js +0 -90
- package/dist/lib/design-resource-handoff-validation-facts.d.ts +0 -2
- package/dist/lib/design-resource-handoff-validation-facts.js +0 -13
- package/dist/lib/design-resource-handoff-validation-primitives.d.ts +0 -11
- package/dist/lib/design-resource-handoff-validation-primitives.js +0 -26
- package/dist/lib/design-resource-handoff-validation-proofs.d.ts +0 -2
- package/dist/lib/design-resource-handoff-validation-proofs.js +0 -67
- package/dist/lib/design-resource-handoff-validation-resource-closure.d.ts +0 -3
- package/dist/lib/design-resource-handoff-validation-resource-closure.js +0 -88
- package/dist/lib/design-resource-handoff-validation-structure.d.ts +0 -6
- package/dist/lib/design-resource-handoff-validation-structure.js +0 -124
- package/dist/lib/design-resource-handoff-validation.d.ts +0 -8
- package/dist/lib/design-resource-handoff-validation.js +0 -177
- package/dist/lib/design-resource-handoff-web-dependency-validation.d.ts +0 -6
- package/dist/lib/design-resource-handoff-web-dependency-validation.js +0 -130
- package/dist/lib/design-resource-implementation-feasibility-model.d.ts +0 -35
- package/dist/lib/design-resource-implementation-feasibility-model.js +0 -62
- package/dist/lib/design-resource-implementation-feasibility-shape-sections.d.ts +0 -43
- package/dist/lib/design-resource-implementation-feasibility-shape-sections.js +0 -142
- package/dist/lib/design-resource-implementation-feasibility-shape.d.ts +0 -4
- package/dist/lib/design-resource-implementation-feasibility-shape.js +0 -154
- package/dist/lib/design-resource-implementation-feasibility-source-decision-projection.d.ts +0 -24
- package/dist/lib/design-resource-implementation-feasibility-source-decision-projection.js +0 -106
- package/dist/lib/design-resource-implementation-feasibility-source-decision.d.ts +0 -21
- package/dist/lib/design-resource-implementation-feasibility-source-decision.js +0 -75
- package/dist/lib/design-resource-implementation-feasibility-types.d.ts +0 -135
- package/dist/lib/design-resource-implementation-feasibility-types.js +0 -37
- package/dist/lib/design-resource-implementation-feasibility-validation-cells.d.ts +0 -5
- package/dist/lib/design-resource-implementation-feasibility-validation-cells.js +0 -125
- package/dist/lib/design-resource-implementation-feasibility-validation-document.d.ts +0 -4
- package/dist/lib/design-resource-implementation-feasibility-validation-document.js +0 -167
- package/dist/lib/design-resource-implementation-feasibility-validation-facts.d.ts +0 -3
- package/dist/lib/design-resource-implementation-feasibility-validation-facts.js +0 -76
- package/dist/lib/design-resource-implementation-feasibility-validation-realizations.d.ts +0 -8
- package/dist/lib/design-resource-implementation-feasibility-validation-realizations.js +0 -76
- package/dist/lib/design-resource-implementation-feasibility-validation-support.d.ts +0 -10
- package/dist/lib/design-resource-implementation-feasibility-validation-support.js +0 -75
- package/dist/lib/design-resource-implementation-feasibility-validation.d.ts +0 -3
- package/dist/lib/design-resource-implementation-feasibility-validation.js +0 -138
- package/dist/lib/design-resource-reconciliation-codec.d.ts +0 -2
- package/dist/lib/design-resource-reconciliation-codec.js +0 -174
- package/dist/lib/design-resource-reconciliation-types.d.ts +0 -62
- package/dist/lib/design-resource-reconciliation-types.js +0 -1
- package/dist/lib/design-resource-reconciliation.d.ts +0 -3
- package/dist/lib/design-resource-reconciliation.js +0 -224
- package/dist/lib/design-resource-recovery-authority-policy.d.ts +0 -8
- package/dist/lib/design-resource-recovery-authority-policy.js +0 -123
- package/dist/lib/design-resource-recovery-catalog-resources.d.ts +0 -6
- package/dist/lib/design-resource-recovery-catalog-resources.js +0 -121
- package/dist/lib/design-resource-recovery-catalog-shape.d.ts +0 -3
- package/dist/lib/design-resource-recovery-catalog-shape.js +0 -104
- package/dist/lib/design-resource-recovery-catalog.d.ts +0 -9
- package/dist/lib/design-resource-recovery-catalog.js +0 -103
- package/dist/lib/design-resource-recovery-cleanup.d.ts +0 -2
- package/dist/lib/design-resource-recovery-cleanup.js +0 -11
- package/dist/lib/design-resource-recovery-codec-primitives.d.ts +0 -19
- package/dist/lib/design-resource-recovery-codec-primitives.js +0 -92
- package/dist/lib/design-resource-recovery-codec.d.ts +0 -4
- package/dist/lib/design-resource-recovery-codec.js +0 -93
- package/dist/lib/design-resource-recovery-current.d.ts +0 -9
- package/dist/lib/design-resource-recovery-current.js +0 -63
- package/dist/lib/design-resource-recovery-delta-policy.d.ts +0 -5
- package/dist/lib/design-resource-recovery-delta-policy.js +0 -108
- package/dist/lib/design-resource-recovery-files.d.ts +0 -37
- package/dist/lib/design-resource-recovery-files.js +0 -204
- package/dist/lib/design-resource-recovery-final-disposition-shape.d.ts +0 -2
- package/dist/lib/design-resource-recovery-final-disposition-shape.js +0 -47
- package/dist/lib/design-resource-recovery-patch-types.d.ts +0 -54
- package/dist/lib/design-resource-recovery-patch-types.js +0 -1
- package/dist/lib/design-resource-recovery-replay.d.ts +0 -7
- package/dist/lib/design-resource-recovery-replay.js +0 -112
- package/dist/lib/design-resource-recovery-repository-bindings.d.ts +0 -9
- package/dist/lib/design-resource-recovery-repository-bindings.js +0 -49
- package/dist/lib/design-resource-recovery-schema.d.ts +0 -5
- package/dist/lib/design-resource-recovery-schema.js +0 -5
- package/dist/lib/design-resource-recovery-shape.d.ts +0 -10
- package/dist/lib/design-resource-recovery-shape.js +0 -241
- package/dist/lib/design-resource-recovery-source-authority.d.ts +0 -5
- package/dist/lib/design-resource-recovery-source-authority.js +0 -219
- package/dist/lib/design-resource-recovery-text.d.ts +0 -17
- package/dist/lib/design-resource-recovery-text.js +0 -186
- package/dist/lib/design-resource-recovery-types.d.ts +0 -200
- package/dist/lib/design-resource-recovery-types.js +0 -1
- package/dist/lib/design-resource-recovery-writeback-policy.d.ts +0 -5
- package/dist/lib/design-resource-recovery-writeback-policy.js +0 -326
- package/dist/lib/design-resource-recovery-writeback-shape.d.ts +0 -6
- package/dist/lib/design-resource-recovery-writeback-shape.js +0 -155
- package/dist/lib/design-resource-recovery.d.ts +0 -44
- package/dist/lib/design-resource-recovery.js +0 -216
- package/dist/lib/design-resource-symbolic-applicability-authority.d.ts +0 -7
- package/dist/lib/design-resource-symbolic-applicability-authority.js +0 -19
- package/dist/lib/design-resource-symbolic-applicability-policy.d.ts +0 -12
- package/dist/lib/design-resource-symbolic-applicability-policy.js +0 -79
- package/dist/lib/design-resource-symbolic-applicability-profiles.d.ts +0 -8
- package/dist/lib/design-resource-symbolic-applicability-profiles.js +0 -55
- package/dist/lib/design-resource-symbolic-applicability-shape.d.ts +0 -2
- package/dist/lib/design-resource-symbolic-applicability-shape.js +0 -76
- package/dist/lib/design-resource-symbolic-applicability-validation.d.ts +0 -7
- package/dist/lib/design-resource-symbolic-applicability-validation.js +0 -128
- package/dist/lib/design-resource-symbolic-compilation.d.ts +0 -3
- package/dist/lib/design-resource-symbolic-compilation.js +0 -13
- package/dist/lib/design-resource-symbolic-denotation.d.ts +0 -3
- package/dist/lib/design-resource-symbolic-denotation.js +0 -167
- package/dist/lib/design-resource-symbolic-disposition-validation.d.ts +0 -4
- package/dist/lib/design-resource-symbolic-disposition-validation.js +0 -28
- package/dist/lib/design-resource-symbolic-fact-policy.d.ts +0 -12
- package/dist/lib/design-resource-symbolic-fact-policy.js +0 -12
- package/dist/lib/design-resource-symbolic-fact-shape.d.ts +0 -3
- package/dist/lib/design-resource-symbolic-fact-shape.js +0 -146
- package/dist/lib/design-resource-symbolic-fact-types.d.ts +0 -221
- package/dist/lib/design-resource-symbolic-fact-types.js +0 -1
- package/dist/lib/design-resource-symbolic-fact-validation.d.ts +0 -3
- package/dist/lib/design-resource-symbolic-fact-validation.js +0 -111
- package/dist/lib/design-resource-symbolic-indexes.d.ts +0 -23
- package/dist/lib/design-resource-symbolic-indexes.js +0 -54
- package/dist/lib/design-resource-symbolic-manifest-shape.d.ts +0 -3
- package/dist/lib/design-resource-symbolic-manifest-shape.js +0 -155
- package/dist/lib/design-resource-symbolic-manifest-validation.d.ts +0 -6
- package/dist/lib/design-resource-symbolic-manifest-validation.js +0 -132
- package/dist/lib/design-resource-symbolic-noninterference-artifact.d.ts +0 -33
- package/dist/lib/design-resource-symbolic-noninterference-artifact.js +0 -110
- package/dist/lib/design-resource-symbolic-noninterference-equivalence.d.ts +0 -3
- package/dist/lib/design-resource-symbolic-noninterference-equivalence.js +0 -77
- package/dist/lib/design-resource-symbolic-noninterference-recompute.d.ts +0 -4
- package/dist/lib/design-resource-symbolic-noninterference-recompute.js +0 -146
- package/dist/lib/design-resource-symbolic-noninterference-scope.d.ts +0 -7
- package/dist/lib/design-resource-symbolic-noninterference-scope.js +0 -49
- package/dist/lib/design-resource-symbolic-noninterference-shape.d.ts +0 -2
- package/dist/lib/design-resource-symbolic-noninterference-shape.js +0 -152
- package/dist/lib/design-resource-symbolic-noninterference-types.d.ts +0 -103
- package/dist/lib/design-resource-symbolic-noninterference-types.js +0 -1
- package/dist/lib/design-resource-symbolic-noninterference-validation.d.ts +0 -5
- package/dist/lib/design-resource-symbolic-noninterference-validation.js +0 -62
- package/dist/lib/design-resource-symbolic-oracle-fingerprint.d.ts +0 -1
- package/dist/lib/design-resource-symbolic-oracle-fingerprint.js +0 -47
- package/dist/lib/design-resource-symbolic-predicate-shape.d.ts +0 -6
- package/dist/lib/design-resource-symbolic-predicate-shape.js +0 -123
- package/dist/lib/design-resource-symbolic-production-closure.d.ts +0 -4
- package/dist/lib/design-resource-symbolic-production-closure.js +0 -144
- package/dist/lib/design-resource-symbolic-proof-authority-validation.d.ts +0 -10
- package/dist/lib/design-resource-symbolic-proof-authority-validation.js +0 -68
- package/dist/lib/design-resource-symbolic-proof-validation.d.ts +0 -10
- package/dist/lib/design-resource-symbolic-proof-validation.js +0 -89
- package/dist/lib/design-resource-symbolic-region-validation.d.ts +0 -19
- package/dist/lib/design-resource-symbolic-region-validation.js +0 -146
- package/dist/lib/design-resource-symbolic-resource-validation.d.ts +0 -5
- package/dist/lib/design-resource-symbolic-resource-validation.js +0 -90
- package/dist/lib/design-resource-symbolic-rule-shape.d.ts +0 -27
- package/dist/lib/design-resource-symbolic-rule-shape.js +0 -158
- package/dist/lib/design-resource-symbolic-safety-validation.d.ts +0 -6
- package/dist/lib/design-resource-symbolic-safety-validation.js +0 -29
- package/dist/lib/design-resource-symbolic-source-ir-evaluation.d.ts +0 -19
- package/dist/lib/design-resource-symbolic-source-ir-evaluation.js +0 -74
- package/dist/lib/design-resource-symbolic-source-ir-evidence.d.ts +0 -44
- package/dist/lib/design-resource-symbolic-source-ir-evidence.js +0 -88
- package/dist/lib/design-resource-symbolic-source-ir-oracle.d.ts +0 -13
- package/dist/lib/design-resource-symbolic-source-ir-oracle.js +0 -96
- package/dist/lib/design-resource-symbolic-source-ir-proof.d.ts +0 -14
- package/dist/lib/design-resource-symbolic-source-ir-proof.js +0 -98
- package/dist/lib/design-resource-symbolic-source-ir-shape.d.ts +0 -2
- package/dist/lib/design-resource-symbolic-source-ir-shape.js +0 -38
- package/dist/lib/design-resource-symbolic-source-ir-types.d.ts +0 -17
- package/dist/lib/design-resource-symbolic-source-ir-types.js +0 -2
- package/dist/lib/design-resource-symbolic-static-dependency-validation.d.ts +0 -2
- package/dist/lib/design-resource-symbolic-static-dependency-validation.js +0 -83
- package/dist/lib/design-resource-symbolic-structural-closure-validation.d.ts +0 -6
- package/dist/lib/design-resource-symbolic-structural-closure-validation.js +0 -79
- package/dist/lib/design-resource-symbolic-validation-support.d.ts +0 -29
- package/dist/lib/design-resource-symbolic-validation-support.js +0 -111
- package/dist/lib/design-resource-v1-capacity-header.d.ts +0 -8
- package/dist/lib/design-resource-v1-capacity-header.js +0 -231
- package/dist/lib/design-resource-v1-capacity.d.ts +0 -5
- package/dist/lib/design-resource-v1-capacity.js +0 -45
- package/dist/lib/execution-target-capabilities.d.ts +0 -2
- package/dist/lib/execution-target-capabilities.js +0 -45
- package/dist/lib/legacy-managed-scan.d.ts +0 -2
- package/dist/lib/legacy-managed-scan.js +0 -95
- package/dist/lib/legacy-sdlc-migration.d.ts +0 -2
- package/dist/lib/legacy-sdlc-migration.js +0 -199
- package/dist/lib/long-task-acceptance-reachability-claims.d.ts +0 -2
- package/dist/lib/long-task-acceptance-reachability-claims.js +0 -279
- package/dist/lib/long-task-acceptance-reachability-design.d.ts +0 -2
- package/dist/lib/long-task-acceptance-reachability-design.js +0 -96
- package/dist/lib/long-task-acceptance-reachability-external.d.ts +0 -9
- package/dist/lib/long-task-acceptance-reachability-external.js +0 -123
- package/dist/lib/long-task-acceptance-reachability-helpers.d.ts +0 -64
- package/dist/lib/long-task-acceptance-reachability-helpers.js +0 -473
- package/dist/lib/long-task-acceptance-reachability-semantic.d.ts +0 -2
- package/dist/lib/long-task-acceptance-reachability-semantic.js +0 -122
- package/dist/lib/long-task-acceptance-reachability-types.d.ts +0 -91
- package/dist/lib/long-task-acceptance-reachability-types.js +0 -1
- package/dist/lib/long-task-acceptance-reachability.d.ts +0 -4
- package/dist/lib/long-task-acceptance-reachability.js +0 -115
- package/dist/lib/long-task-acceptance-reference.d.ts +0 -22
- package/dist/lib/long-task-acceptance-reference.js +0 -46
- package/dist/lib/long-task-acceptance-shape.d.ts +0 -5
- package/dist/lib/long-task-acceptance-shape.js +0 -198
- package/dist/lib/long-task-activation-validation.d.ts +0 -27
- package/dist/lib/long-task-activation-validation.js +0 -246
- package/dist/lib/long-task-active-authority-lock-context.d.ts +0 -4
- package/dist/lib/long-task-active-authority-lock-context.js +0 -29
- package/dist/lib/long-task-admitted-observation-records.d.ts +0 -25
- package/dist/lib/long-task-admitted-observation-records.js +0 -40
- package/dist/lib/long-task-admitted-observation.d.ts +0 -93
- package/dist/lib/long-task-admitted-observation.js +0 -201
- package/dist/lib/long-task-applicability-identity.d.ts +0 -25
- package/dist/lib/long-task-applicability-identity.js +0 -60
- package/dist/lib/long-task-applicability-shape.d.ts +0 -4
- package/dist/lib/long-task-applicability-shape.js +0 -54
- package/dist/lib/long-task-artifacts.d.ts +0 -6
- package/dist/lib/long-task-artifacts.js +0 -35
- package/dist/lib/long-task-assertions-v2.d.ts +0 -22
- package/dist/lib/long-task-assertions-v2.js +0 -220
- package/dist/lib/long-task-authoring-authority-preview.d.ts +0 -5
- package/dist/lib/long-task-authoring-authority-preview.js +0 -87
- package/dist/lib/long-task-authoring-preflight-diagnostics.d.ts +0 -8
- package/dist/lib/long-task-authoring-preflight-diagnostics.js +0 -199
- package/dist/lib/long-task-authoring-preflight-repair-order.d.ts +0 -8
- package/dist/lib/long-task-authoring-preflight-repair-order.js +0 -98
- package/dist/lib/long-task-authoring-preflight-types.d.ts +0 -48
- package/dist/lib/long-task-authoring-preflight-types.js +0 -47
- package/dist/lib/long-task-authoring-preflight.d.ts +0 -3
- package/dist/lib/long-task-authoring-preflight.js +0 -102
- package/dist/lib/long-task-authority-material-diff.d.ts +0 -17
- package/dist/lib/long-task-authority-material-diff.js +0 -225
- package/dist/lib/long-task-authority-materials.d.ts +0 -7
- package/dist/lib/long-task-authority-materials.js +0 -185
- package/dist/lib/long-task-authority-policy.d.ts +0 -290
- package/dist/lib/long-task-authority-policy.js +0 -310
- package/dist/lib/long-task-authority-revision-analysis.d.ts +0 -34
- package/dist/lib/long-task-authority-revision-analysis.js +0 -121
- package/dist/lib/long-task-authority-revision-brief.d.ts +0 -3
- package/dist/lib/long-task-authority-revision-brief.js +0 -76
- package/dist/lib/long-task-authority-revision-details.d.ts +0 -21
- package/dist/lib/long-task-authority-revision-details.js +0 -205
- package/dist/lib/long-task-authority-revision-diagnosis.d.ts +0 -24
- package/dist/lib/long-task-authority-revision-diagnosis.js +0 -149
- package/dist/lib/long-task-authority-revision-enforcement.d.ts +0 -5
- package/dist/lib/long-task-authority-revision-enforcement.js +0 -53
- package/dist/lib/long-task-authority-revision-summary.d.ts +0 -14
- package/dist/lib/long-task-authority-revision-summary.js +0 -246
- package/dist/lib/long-task-authority-revision-types.d.ts +0 -119
- package/dist/lib/long-task-authority-revision-types.js +0 -1
- package/dist/lib/long-task-authority-revision.d.ts +0 -4
- package/dist/lib/long-task-authority-revision.js +0 -156
- package/dist/lib/long-task-authority-transition-policy.d.ts +0 -62
- package/dist/lib/long-task-authority-transition-policy.js +0 -62
- package/dist/lib/long-task-authority-types.d.ts +0 -131
- package/dist/lib/long-task-authority-types.js +0 -1
- package/dist/lib/long-task-authority.d.ts +0 -7
- package/dist/lib/long-task-authority.js +0 -202
- package/dist/lib/long-task-boundary-check.d.ts +0 -15
- package/dist/lib/long-task-boundary-check.js +0 -9
- package/dist/lib/long-task-check-evidence-decoder.d.ts +0 -3
- package/dist/lib/long-task-check-evidence-decoder.js +0 -84
- package/dist/lib/long-task-check-execution-policy.d.ts +0 -21
- package/dist/lib/long-task-check-execution-policy.js +0 -48
- package/dist/lib/long-task-check-runner.d.ts +0 -2
- package/dist/lib/long-task-check-runner.js +0 -307
- package/dist/lib/long-task-check-shape.d.ts +0 -2
- package/dist/lib/long-task-check-shape.js +0 -176
- package/dist/lib/long-task-claim-definitions.d.ts +0 -7
- package/dist/lib/long-task-claim-definitions.js +0 -83
- package/dist/lib/long-task-claim-proof-policy.d.ts +0 -4
- package/dist/lib/long-task-claim-proof-policy.js +0 -57
- package/dist/lib/long-task-claim-semantic-proof-floor.d.ts +0 -3
- package/dist/lib/long-task-claim-semantic-proof-floor.js +0 -78
- package/dist/lib/long-task-claims.d.ts +0 -10
- package/dist/lib/long-task-claims.js +0 -374
- package/dist/lib/long-task-codex-agent-profile.d.ts +0 -42
- package/dist/lib/long-task-codex-agent-profile.js +0 -276
- package/dist/lib/long-task-command-process.d.ts +0 -9
- package/dist/lib/long-task-command-process.js +0 -178
- package/dist/lib/long-task-compact-authoring-projections.d.ts +0 -12
- package/dist/lib/long-task-compact-authoring-projections.js +0 -67
- package/dist/lib/long-task-compact-authoring.d.ts +0 -3
- package/dist/lib/long-task-compact-authoring.js +0 -176
- package/dist/lib/long-task-compact-carrier.d.ts +0 -7
- package/dist/lib/long-task-compact-carrier.js +0 -132
- package/dist/lib/long-task-compact-parser.d.ts +0 -14
- package/dist/lib/long-task-compact-parser.js +0 -123
- package/dist/lib/long-task-compact-primitives.d.ts +0 -22
- package/dist/lib/long-task-compact-primitives.js +0 -132
- package/dist/lib/long-task-compact-projections.d.ts +0 -4
- package/dist/lib/long-task-compact-projections.js +0 -163
- package/dist/lib/long-task-compact-structure-targets.d.ts +0 -2
- package/dist/lib/long-task-compact-structure-targets.js +0 -91
- package/dist/lib/long-task-complete-delivery-evidence-types.d.ts +0 -38
- package/dist/lib/long-task-complete-delivery-evidence-types.js +0 -1
- package/dist/lib/long-task-completion-types.d.ts +0 -109
- package/dist/lib/long-task-completion-types.js +0 -1
- package/dist/lib/long-task-conformance-policy.d.ts +0 -6
- package/dist/lib/long-task-conformance-policy.js +0 -44
- package/dist/lib/long-task-context-authority-topology.d.ts +0 -7
- package/dist/lib/long-task-context-authority-topology.js +0 -39
- package/dist/lib/long-task-context-authority.d.ts +0 -14
- package/dist/lib/long-task-context-authority.js +0 -66
- package/dist/lib/long-task-contract-types.d.ts +0 -317
- package/dist/lib/long-task-contract-types.js +0 -1
- package/dist/lib/long-task-control-fields.d.ts +0 -12
- package/dist/lib/long-task-control-fields.js +0 -66
- package/dist/lib/long-task-control-types.d.ts +0 -1
- package/dist/lib/long-task-control-types.js +0 -1
- package/dist/lib/long-task-counterfactual-claim-policy.d.ts +0 -9
- package/dist/lib/long-task-counterfactual-claim-policy.js +0 -72
- package/dist/lib/long-task-counterfactual-sandbox.d.ts +0 -19
- package/dist/lib/long-task-counterfactual-sandbox.js +0 -195
- package/dist/lib/long-task-counterfactual-types.d.ts +0 -38
- package/dist/lib/long-task-counterfactual-types.js +0 -1
- package/dist/lib/long-task-delivery-compiler-preflight.d.ts +0 -24
- package/dist/lib/long-task-delivery-compiler-preflight.js +0 -32
- package/dist/lib/long-task-delivery-compiler.d.ts +0 -14
- package/dist/lib/long-task-delivery-compiler.js +0 -170
- package/dist/lib/long-task-delivery-parser.d.ts +0 -17
- package/dist/lib/long-task-delivery-parser.js +0 -153
- package/dist/lib/long-task-delivery-preflight.d.ts +0 -5
- package/dist/lib/long-task-delivery-preflight.js +0 -175
- package/dist/lib/long-task-delivery-shape.d.ts +0 -6
- package/dist/lib/long-task-delivery-shape.js +0 -6
- package/dist/lib/long-task-delivery-types.d.ts +0 -15
- package/dist/lib/long-task-delivery-types.js +0 -15
- package/dist/lib/long-task-delivery-validation.d.ts +0 -11
- package/dist/lib/long-task-delivery-validation.js +0 -267
- package/dist/lib/long-task-design-feasibility-binding-owners.d.ts +0 -6
- package/dist/lib/long-task-design-feasibility-binding-owners.js +0 -52
- package/dist/lib/long-task-design-feasibility-binding.d.ts +0 -14
- package/dist/lib/long-task-design-feasibility-binding.js +0 -114
- package/dist/lib/long-task-design-feasibility-source-closure.d.ts +0 -11
- package/dist/lib/long-task-design-feasibility-source-closure.js +0 -87
- package/dist/lib/long-task-design-obligation.d.ts +0 -50
- package/dist/lib/long-task-design-obligation.js +0 -99
- package/dist/lib/long-task-design-resource-handoff.d.ts +0 -20
- package/dist/lib/long-task-design-resource-handoff.js +0 -265
- package/dist/lib/long-task-design-resource-method-binding.d.ts +0 -15
- package/dist/lib/long-task-design-resource-method-binding.js +0 -309
- package/dist/lib/long-task-design-target-capabilities.d.ts +0 -14
- package/dist/lib/long-task-design-target-capabilities.js +0 -126
- package/dist/lib/long-task-effective-external-takeover.d.ts +0 -15
- package/dist/lib/long-task-effective-external-takeover.js +0 -109
- package/dist/lib/long-task-effective-external-ui-takeover.d.ts +0 -5
- package/dist/lib/long-task-effective-external-ui-takeover.js +0 -117
- package/dist/lib/long-task-evidence-adapter-policy.d.ts +0 -4
- package/dist/lib/long-task-evidence-adapter-policy.js +0 -15
- package/dist/lib/long-task-evidence-adapter-types.d.ts +0 -1
- package/dist/lib/long-task-evidence-adapter-types.js +0 -1
- package/dist/lib/long-task-evidence-capability-codec.d.ts +0 -96
- package/dist/lib/long-task-evidence-capability-codec.js +0 -983
- package/dist/lib/long-task-evidence-capability-policy.d.ts +0 -9
- package/dist/lib/long-task-evidence-capability-policy.js +0 -345
- package/dist/lib/long-task-evidence-capability-runtime.d.ts +0 -5
- package/dist/lib/long-task-evidence-capability-runtime.js +0 -628
- package/dist/lib/long-task-evidence-capability-types.d.ts +0 -277
- package/dist/lib/long-task-evidence-capability-types.js +0 -1
- package/dist/lib/long-task-evidence-findings.d.ts +0 -5
- package/dist/lib/long-task-evidence-findings.js +0 -120
- package/dist/lib/long-task-evidence-sensitivity-policy.d.ts +0 -13
- package/dist/lib/long-task-evidence-sensitivity-policy.js +0 -166
- package/dist/lib/long-task-evidence-v2.d.ts +0 -10
- package/dist/lib/long-task-evidence-v2.js +0 -608
- package/dist/lib/long-task-exact-comparison.d.ts +0 -16
- package/dist/lib/long-task-exact-comparison.js +0 -28
- package/dist/lib/long-task-execution-observation.d.ts +0 -31
- package/dist/lib/long-task-execution-observation.js +0 -349
- package/dist/lib/long-task-expected-authority.d.ts +0 -4
- package/dist/lib/long-task-expected-authority.js +0 -126
- package/dist/lib/long-task-explain-acceptance-link.d.ts +0 -50
- package/dist/lib/long-task-explain-acceptance-link.js +0 -100
- package/dist/lib/long-task-explain-claim-links.d.ts +0 -47
- package/dist/lib/long-task-explain-claim-links.js +0 -90
- package/dist/lib/long-task-explain-source-links.d.ts +0 -99
- package/dist/lib/long-task-explain-source-links.js +0 -51
- package/dist/lib/long-task-external-confirmation-artifacts.d.ts +0 -9
- package/dist/lib/long-task-external-confirmation-artifacts.js +0 -138
- package/dist/lib/long-task-external-confirmation-attestation.d.ts +0 -20
- package/dist/lib/long-task-external-confirmation-attestation.js +0 -115
- package/dist/lib/long-task-external-confirmation-challenge.d.ts +0 -23
- package/dist/lib/long-task-external-confirmation-challenge.js +0 -164
- package/dist/lib/long-task-external-confirmation-context.d.ts +0 -14
- package/dist/lib/long-task-external-confirmation-context.js +0 -53
- package/dist/lib/long-task-external-confirmation-evaluation.d.ts +0 -11
- package/dist/lib/long-task-external-confirmation-evaluation.js +0 -454
- package/dist/lib/long-task-external-confirmation-expected.d.ts +0 -8
- package/dist/lib/long-task-external-confirmation-expected.js +0 -200
- package/dist/lib/long-task-external-confirmation-identity.d.ts +0 -10
- package/dist/lib/long-task-external-confirmation-identity.js +0 -77
- package/dist/lib/long-task-external-confirmation-plan.d.ts +0 -25
- package/dist/lib/long-task-external-confirmation-plan.js +0 -148
- package/dist/lib/long-task-external-confirmation-preparation.d.ts +0 -4
- package/dist/lib/long-task-external-confirmation-preparation.js +0 -100
- package/dist/lib/long-task-external-confirmation-shape.d.ts +0 -8
- package/dist/lib/long-task-external-confirmation-shape.js +0 -387
- package/dist/lib/long-task-external-confirmation-state.d.ts +0 -10
- package/dist/lib/long-task-external-confirmation-state.js +0 -109
- package/dist/lib/long-task-external-confirmation-types.d.ts +0 -195
- package/dist/lib/long-task-external-confirmation-types.js +0 -1
- package/dist/lib/long-task-final-integrity.d.ts +0 -18
- package/dist/lib/long-task-final-integrity.js +0 -109
- package/dist/lib/long-task-final-v2.d.ts +0 -7
- package/dist/lib/long-task-final-v2.js +0 -275
- package/dist/lib/long-task-finalization-identity.d.ts +0 -27
- package/dist/lib/long-task-finalization-identity.js +0 -58
- package/dist/lib/long-task-finding-context.d.ts +0 -3
- package/dist/lib/long-task-finding-context.js +0 -189
- package/dist/lib/long-task-freshness.d.ts +0 -30
- package/dist/lib/long-task-freshness.js +0 -203
- package/dist/lib/long-task-hook-install.d.ts +0 -26
- package/dist/lib/long-task-hook-install.js +0 -381
- package/dist/lib/long-task-hook-preflight.d.ts +0 -7
- package/dist/lib/long-task-hook-preflight.js +0 -58
- package/dist/lib/long-task-json-pointer-observation.d.ts +0 -59
- package/dist/lib/long-task-json-pointer-observation.js +0 -184
- package/dist/lib/long-task-material-input-closure.d.ts +0 -3
- package/dist/lib/long-task-material-input-closure.js +0 -92
- package/dist/lib/long-task-obligation-authority-resolution.d.ts +0 -12
- package/dist/lib/long-task-obligation-authority-resolution.js +0 -57
- package/dist/lib/long-task-obligation-semantic-identity.d.ts +0 -16
- package/dist/lib/long-task-obligation-semantic-identity.js +0 -116
- package/dist/lib/long-task-observation-artifact.d.ts +0 -8
- package/dist/lib/long-task-observation-artifact.js +0 -58
- package/dist/lib/long-task-observation-authority.d.ts +0 -28
- package/dist/lib/long-task-observation-authority.js +0 -479
- package/dist/lib/long-task-observation-ownership.d.ts +0 -2
- package/dist/lib/long-task-observation-ownership.js +0 -22
- package/dist/lib/long-task-outcome-parser.d.ts +0 -4
- package/dist/lib/long-task-outcome-parser.js +0 -143
- package/dist/lib/long-task-paths.d.ts +0 -48
- package/dist/lib/long-task-paths.js +0 -414
- package/dist/lib/long-task-playwright-capability-records.d.ts +0 -7
- package/dist/lib/long-task-playwright-capability-records.js +0 -218
- package/dist/lib/long-task-playwright-case-evidence.d.ts +0 -46
- package/dist/lib/long-task-playwright-case-evidence.js +0 -91
- package/dist/lib/long-task-playwright-case-primitives.d.ts +0 -28
- package/dist/lib/long-task-playwright-case-primitives.js +0 -143
- package/dist/lib/long-task-playwright-counterfactual-policy.d.ts +0 -7
- package/dist/lib/long-task-playwright-counterfactual-policy.js +0 -125
- package/dist/lib/long-task-playwright-evidence.d.ts +0 -8
- package/dist/lib/long-task-playwright-evidence.js +0 -147
- package/dist/lib/long-task-process-observation.d.ts +0 -6
- package/dist/lib/long-task-process-observation.js +0 -117
- package/dist/lib/long-task-process-runtime-closure.d.ts +0 -13
- package/dist/lib/long-task-process-runtime-closure.js +0 -207
- package/dist/lib/long-task-process-table.d.ts +0 -9
- package/dist/lib/long-task-process-table.js +0 -87
- package/dist/lib/long-task-process-tree.d.ts +0 -8
- package/dist/lib/long-task-process-tree.js +0 -108
- package/dist/lib/long-task-product-shape.d.ts +0 -8
- package/dist/lib/long-task-product-shape.js +0 -197
- package/dist/lib/long-task-progress.d.ts +0 -4
- package/dist/lib/long-task-progress.js +0 -120
- package/dist/lib/long-task-proof-adequacy.d.ts +0 -12
- package/dist/lib/long-task-proof-adequacy.js +0 -57
- package/dist/lib/long-task-proof-capability-floor.d.ts +0 -6
- package/dist/lib/long-task-proof-capability-floor.js +0 -137
- package/dist/lib/long-task-protected-files.d.ts +0 -1
- package/dist/lib/long-task-protected-files.js +0 -1
- package/dist/lib/long-task-repair-frontier-checks.d.ts +0 -8
- package/dist/lib/long-task-repair-frontier-checks.js +0 -93
- package/dist/lib/long-task-repair-frontier-groups.d.ts +0 -2
- package/dist/lib/long-task-repair-frontier-groups.js +0 -64
- package/dist/lib/long-task-repair-frontier-utils.d.ts +0 -6
- package/dist/lib/long-task-repair-frontier-utils.js +0 -27
- package/dist/lib/long-task-repair-frontier.d.ts +0 -14
- package/dist/lib/long-task-repair-frontier.js +0 -132
- package/dist/lib/long-task-required-proof-surfaces.d.ts +0 -2
- package/dist/lib/long-task-required-proof-surfaces.js +0 -13
- package/dist/lib/long-task-requirement-shape.d.ts +0 -2
- package/dist/lib/long-task-requirement-shape.js +0 -21
- package/dist/lib/long-task-risk-surfaces.d.ts +0 -2
- package/dist/lib/long-task-risk-surfaces.js +0 -60
- package/dist/lib/long-task-risk-types.d.ts +0 -5
- package/dist/lib/long-task-risk-types.js +0 -12
- package/dist/lib/long-task-risk.d.ts +0 -10
- package/dist/lib/long-task-risk.js +0 -186
- package/dist/lib/long-task-root-shape.d.ts +0 -5
- package/dist/lib/long-task-root-shape.js +0 -322
- package/dist/lib/long-task-runner-environment.d.ts +0 -7
- package/dist/lib/long-task-runner-environment.js +0 -57
- package/dist/lib/long-task-runner-files.d.ts +0 -3
- package/dist/lib/long-task-runner-files.js +0 -39
- package/dist/lib/long-task-runner-freeze.d.ts +0 -5
- package/dist/lib/long-task-runner-freeze.js +0 -318
- package/dist/lib/long-task-runtime-types.d.ts +0 -346
- package/dist/lib/long-task-runtime-types.js +0 -1
- package/dist/lib/long-task-scoped-binding.d.ts +0 -13
- package/dist/lib/long-task-scoped-binding.js +0 -11
- package/dist/lib/long-task-semantic-assurance-policy.d.ts +0 -4
- package/dist/lib/long-task-semantic-assurance-policy.js +0 -43
- package/dist/lib/long-task-semantic-contract-types.d.ts +0 -55
- package/dist/lib/long-task-semantic-contract-types.js +0 -1
- package/dist/lib/long-task-semantic-drift-migration.d.ts +0 -3
- package/dist/lib/long-task-semantic-drift-migration.js +0 -150
- package/dist/lib/long-task-semantic-fact-binding-types.d.ts +0 -85
- package/dist/lib/long-task-semantic-fact-binding-types.js +0 -1
- package/dist/lib/long-task-semantic-fact-closure-primitives.d.ts +0 -5
- package/dist/lib/long-task-semantic-fact-closure-primitives.js +0 -43
- package/dist/lib/long-task-semantic-fact-closure.d.ts +0 -17
- package/dist/lib/long-task-semantic-fact-closure.js +0 -79
- package/dist/lib/long-task-semantic-fact-contract-closure.d.ts +0 -4
- package/dist/lib/long-task-semantic-fact-contract-closure.js +0 -211
- package/dist/lib/long-task-semantic-fact-contract-facts.d.ts +0 -4
- package/dist/lib/long-task-semantic-fact-contract-facts.js +0 -33
- package/dist/lib/long-task-semantic-fact-contract-proofs.d.ts +0 -4
- package/dist/lib/long-task-semantic-fact-contract-proofs.js +0 -123
- package/dist/lib/long-task-semantic-fact-evidence.d.ts +0 -25
- package/dist/lib/long-task-semantic-fact-evidence.js +0 -225
- package/dist/lib/long-task-semantic-fact-input-closure.d.ts +0 -18
- package/dist/lib/long-task-semantic-fact-input-closure.js +0 -224
- package/dist/lib/long-task-semantic-fact-provenance-closure.d.ts +0 -4
- package/dist/lib/long-task-semantic-fact-provenance-closure.js +0 -140
- package/dist/lib/long-task-semantic-fact-shape.d.ts +0 -4
- package/dist/lib/long-task-semantic-fact-shape.js +0 -134
- package/dist/lib/long-task-semantic-fact-value-closure.d.ts +0 -3
- package/dist/lib/long-task-semantic-fact-value-closure.js +0 -110
- package/dist/lib/long-task-semantic-mutation.d.ts +0 -7
- package/dist/lib/long-task-semantic-mutation.js +0 -81
- package/dist/lib/long-task-semantic-proof-adequacy.d.ts +0 -2
- package/dist/lib/long-task-semantic-proof-adequacy.js +0 -19
- package/dist/lib/long-task-semantic-proof-profile.d.ts +0 -5
- package/dist/lib/long-task-semantic-proof-profile.js +0 -187
- package/dist/lib/long-task-shape-primitives.d.ts +0 -21
- package/dist/lib/long-task-shape-primitives.js +0 -121
- package/dist/lib/long-task-source-anchors.d.ts +0 -10
- package/dist/lib/long-task-source-anchors.js +0 -102
- package/dist/lib/long-task-source-authority-types.d.ts +0 -61
- package/dist/lib/long-task-source-authority-types.js +0 -1
- package/dist/lib/long-task-source-claim-validation.d.ts +0 -5
- package/dist/lib/long-task-source-claim-validation.js +0 -135
- package/dist/lib/long-task-source-conservation-facts.d.ts +0 -8
- package/dist/lib/long-task-source-conservation-facts.js +0 -57
- package/dist/lib/long-task-source-conservation-types.d.ts +0 -34
- package/dist/lib/long-task-source-conservation-types.js +0 -1
- package/dist/lib/long-task-source-conservation.d.ts +0 -7
- package/dist/lib/long-task-source-conservation.js +0 -110
- package/dist/lib/long-task-source-continuity.d.ts +0 -4
- package/dist/lib/long-task-source-continuity.js +0 -57
- package/dist/lib/long-task-source-fragments.d.ts +0 -6
- package/dist/lib/long-task-source-fragments.js +0 -219
- package/dist/lib/long-task-source-inventory.d.ts +0 -2
- package/dist/lib/long-task-source-inventory.js +0 -21
- package/dist/lib/long-task-source-item-parser.d.ts +0 -11
- package/dist/lib/long-task-source-item-parser.js +0 -108
- package/dist/lib/long-task-source-markers.d.ts +0 -12
- package/dist/lib/long-task-source-markers.js +0 -146
- package/dist/lib/long-task-source-owned-sections.d.ts +0 -29
- package/dist/lib/long-task-source-owned-sections.js +0 -90
- package/dist/lib/long-task-source-projection-resolution.d.ts +0 -5
- package/dist/lib/long-task-source-projection-resolution.js +0 -57
- package/dist/lib/long-task-source-projection-validation.d.ts +0 -17
- package/dist/lib/long-task-source-projection-validation.js +0 -154
- package/dist/lib/long-task-source-shape.d.ts +0 -2
- package/dist/lib/long-task-source-shape.js +0 -64
- package/dist/lib/long-task-source-supersession.d.ts +0 -5
- package/dist/lib/long-task-source-supersession.js +0 -138
- package/dist/lib/long-task-source-target-continuity.d.ts +0 -4
- package/dist/lib/long-task-source-target-continuity.js +0 -141
- package/dist/lib/long-task-source-target-index.d.ts +0 -15
- package/dist/lib/long-task-source-target-index.js +0 -91
- package/dist/lib/long-task-source-validation.d.ts +0 -3
- package/dist/lib/long-task-source-validation.js +0 -46
- package/dist/lib/long-task-stage-policy.d.ts +0 -9
- package/dist/lib/long-task-stage-policy.js +0 -170
- package/dist/lib/long-task-state.d.ts +0 -93
- package/dist/lib/long-task-state.js +0 -897
- package/dist/lib/long-task-static-observation-freeze.d.ts +0 -83
- package/dist/lib/long-task-static-observation-freeze.js +0 -429
- package/dist/lib/long-task-status-projection.d.ts +0 -26
- package/dist/lib/long-task-status-projection.js +0 -211
- package/dist/lib/long-task-status-v2.d.ts +0 -61
- package/dist/lib/long-task-status-v2.js +0 -363
- package/dist/lib/long-task-target-policy.d.ts +0 -11
- package/dist/lib/long-task-target-policy.js +0 -181
- package/dist/lib/long-task-technical-shape.d.ts +0 -3
- package/dist/lib/long-task-technical-shape.js +0 -44
- package/dist/lib/long-task-terminal-finalization.d.ts +0 -12
- package/dist/lib/long-task-terminal-finalization.js +0 -190
- package/dist/lib/long-task-ui-design-policy.d.ts +0 -17
- package/dist/lib/long-task-ui-design-policy.js +0 -236
- package/dist/lib/long-task-ui-surface-policy.d.ts +0 -5
- package/dist/lib/long-task-ui-surface-policy.js +0 -112
- package/dist/lib/long-task-ui-surface-shape.d.ts +0 -2
- package/dist/lib/long-task-ui-surface-shape.js +0 -402
- package/dist/lib/long-task-ui-surface-types.d.ts +0 -134
- package/dist/lib/long-task-ui-surface-types.js +0 -1
- package/dist/lib/long-task-ui-surface-validation.d.ts +0 -13
- package/dist/lib/long-task-ui-surface-validation.js +0 -62
- package/dist/lib/long-task-verification-preview.d.ts +0 -65
- package/dist/lib/long-task-verification-preview.js +0 -120
- package/dist/lib/long-task-verifier-authority.d.ts +0 -12
- package/dist/lib/long-task-verifier-authority.js +0 -49
- package/dist/lib/long-task-verifier-counterfactuals.d.ts +0 -11
- package/dist/lib/long-task-verifier-counterfactuals.js +0 -96
- package/dist/lib/long-task-verifier-dependency-closure.d.ts +0 -3
- package/dist/lib/long-task-verifier-dependency-closure.js +0 -183
- package/dist/lib/long-task-verifier-execution.d.ts +0 -9
- package/dist/lib/long-task-verifier-execution.js +0 -67
- package/dist/lib/long-task-verifier-identity.d.ts +0 -2
- package/dist/lib/long-task-verifier-identity.js +0 -66
- package/dist/lib/long-task-verifier-v2.d.ts +0 -17
- package/dist/lib/long-task-verifier-v2.js +0 -317
- package/dist/lib/long-task-windows-job-supervisor-helper.d.ts +0 -1
- package/dist/lib/long-task-windows-job-supervisor-helper.js +0 -104
- package/dist/lib/long-task-windows-job-supervisor-protocol.d.ts +0 -28
- package/dist/lib/long-task-windows-job-supervisor-protocol.js +0 -124
- package/dist/lib/long-task-windows-job-supervisor-result.d.ts +0 -11
- package/dist/lib/long-task-windows-job-supervisor-result.js +0 -152
- package/dist/lib/long-task-windows-job-supervisor.d.ts +0 -2
- package/dist/lib/long-task-windows-job-supervisor.js +0 -126
- package/dist/lib/long-task-worker-selection.d.ts +0 -2
- package/dist/lib/long-task-worker-selection.js +0 -7
- package/dist/lib/long-task-workspace-manifest.d.ts +0 -8
- package/dist/lib/long-task-workspace-manifest.js +0 -173
- package/dist/lib/long-task-workspace-runtime-types.d.ts +0 -23
- package/dist/lib/long-task-workspace-runtime-types.js +0 -1
- package/dist/lib/long-task-workspace-scope.d.ts +0 -39
- package/dist/lib/long-task-workspace-scope.js +0 -126
- package/dist/lib/long-task-workspace-snapshot.d.ts +0 -8
- package/dist/lib/long-task-workspace-snapshot.js +0 -176
- package/dist/lib/long-task-workspace.d.ts +0 -6
- package/dist/lib/long-task-workspace.js +0 -14
- package/dist/lib/modularity-capability-migration.d.ts +0 -2
- package/dist/lib/modularity-capability-migration.js +0 -165
- package/dist/lib/modularity-python.d.ts +0 -7
- package/dist/lib/modularity-python.js +0 -191
- package/dist/lib/modularity.d.ts +0 -60
- package/dist/lib/modularity.js +0 -781
- package/dist/lib/profiles.d.ts +0 -13
- package/dist/lib/profiles.js +0 -65
- package/dist/lib/semantic-fact-base-types.d.ts +0 -14
- package/dist/lib/semantic-fact-base-types.js +0 -1
- package/dist/lib/semantic-fact-catalog.d.ts +0 -8
- package/dist/lib/semantic-fact-catalog.js +0 -191
- package/dist/lib/semantic-fact-compact-authoring.d.ts +0 -2
- package/dist/lib/semantic-fact-compact-authoring.js +0 -160
- package/dist/lib/semantic-fact-compact-capacity.d.ts +0 -9
- package/dist/lib/semantic-fact-compact-capacity.js +0 -40
- package/dist/lib/semantic-fact-compact-carrier.d.ts +0 -16
- package/dist/lib/semantic-fact-compact-carrier.js +0 -146
- package/dist/lib/semantic-fact-compact-parser.d.ts +0 -17
- package/dist/lib/semantic-fact-compact-parser.js +0 -168
- package/dist/lib/semantic-fact-compact-revision.d.ts +0 -11
- package/dist/lib/semantic-fact-compact-revision.js +0 -64
- package/dist/lib/semantic-fact-compact-support.d.ts +0 -23
- package/dist/lib/semantic-fact-compact-support.js +0 -159
- package/dist/lib/semantic-fact-condition-shape.d.ts +0 -48
- package/dist/lib/semantic-fact-condition-shape.js +0 -111
- package/dist/lib/semantic-fact-input-shape.d.ts +0 -39
- package/dist/lib/semantic-fact-input-shape.js +0 -135
- package/dist/lib/semantic-fact-inventory-types.d.ts +0 -153
- package/dist/lib/semantic-fact-inventory-types.js +0 -1
- package/dist/lib/semantic-fact-manifest-shape.d.ts +0 -4
- package/dist/lib/semantic-fact-manifest-shape.js +0 -135
- package/dist/lib/semantic-fact-manifest-types.d.ts +0 -58
- package/dist/lib/semantic-fact-manifest-types.js +0 -19
- package/dist/lib/semantic-fact-policy-authority.d.ts +0 -8
- package/dist/lib/semantic-fact-policy-authority.js +0 -79
- package/dist/lib/semantic-fact-policy-census.d.ts +0 -3
- package/dist/lib/semantic-fact-policy-census.js +0 -126
- package/dist/lib/semantic-fact-policy-condition-references.d.ts +0 -7
- package/dist/lib/semantic-fact-policy-condition-references.js +0 -19
- package/dist/lib/semantic-fact-policy-conditions.d.ts +0 -2
- package/dist/lib/semantic-fact-policy-conditions.js +0 -105
- package/dist/lib/semantic-fact-policy-facts.d.ts +0 -3
- package/dist/lib/semantic-fact-policy-facts.js +0 -73
- package/dist/lib/semantic-fact-policy-primitives.d.ts +0 -26
- package/dist/lib/semantic-fact-policy-primitives.js +0 -169
- package/dist/lib/semantic-fact-policy-proofs.d.ts +0 -2
- package/dist/lib/semantic-fact-policy-proofs.js +0 -75
- package/dist/lib/semantic-fact-policy-properties.d.ts +0 -3
- package/dist/lib/semantic-fact-policy-properties.js +0 -84
- package/dist/lib/semantic-fact-policy-units.d.ts +0 -4
- package/dist/lib/semantic-fact-policy-units.js +0 -103
- package/dist/lib/semantic-fact-policy.d.ts +0 -17
- package/dist/lib/semantic-fact-policy.js +0 -41
- package/dist/lib/semantic-fact-proof-shape.d.ts +0 -51
- package/dist/lib/semantic-fact-proof-shape.js +0 -121
- package/dist/lib/semantic-fact-proof-types.d.ts +0 -74
- package/dist/lib/semantic-fact-proof-types.js +0 -1
- package/dist/lib/semantic-fact-property-shape.d.ts +0 -29
- package/dist/lib/semantic-fact-property-shape.js +0 -77
- package/dist/lib/semantic-fact-shape-constants.d.ts +0 -3
- package/dist/lib/semantic-fact-shape-constants.js +0 -38
- package/dist/lib/semantic-fact-shape-primitives.d.ts +0 -15
- package/dist/lib/semantic-fact-shape-primitives.js +0 -68
- package/dist/lib/semantic-fact-source-parser.d.ts +0 -14
- package/dist/lib/semantic-fact-source-parser.js +0 -87
- package/dist/lib/semantic-fact-support-shape.d.ts +0 -21
- package/dist/lib/semantic-fact-support-shape.js +0 -59
- package/dist/lib/semantic-fact-types.d.ts +0 -5
- package/dist/lib/semantic-fact-types.js +0 -5
- package/dist/lib/semantic-fact-unit-shape.d.ts +0 -34
- package/dist/lib/semantic-fact-unit-shape.js +0 -89
- package/dist/lib/semantic-fact-value-shape.d.ts +0 -12
- package/dist/lib/semantic-fact-value-shape.js +0 -39
- package/dist/lib/source-line-scanner.d.ts +0 -3
- package/dist/lib/source-line-scanner.js +0 -42
- package/dist/lib/stable-json.d.ts +0 -2
- package/dist/lib/stable-json.js +0 -21
- package/dist/lib/structural-closure-cost.d.ts +0 -79
- package/dist/lib/structural-closure-cost.js +0 -91
- package/dist/lib/symbolic-denotation-dag-builder.d.ts +0 -25
- package/dist/lib/symbolic-denotation-dag-builder.js +0 -176
- package/dist/lib/symbolic-denotation-domain-validation.d.ts +0 -3
- package/dist/lib/symbolic-denotation-domain-validation.js +0 -56
- package/dist/lib/symbolic-denotation-engine.d.ts +0 -32
- package/dist/lib/symbolic-denotation-engine.js +0 -140
- package/dist/lib/symbolic-denotation-public.d.ts +0 -11
- package/dist/lib/symbolic-denotation-public.js +0 -12
- package/dist/lib/symbolic-denotation-runtime.d.ts +0 -20
- package/dist/lib/symbolic-denotation-runtime.js +0 -90
- package/dist/lib/symbolic-denotation-support.d.ts +0 -11
- package/dist/lib/symbolic-denotation-support.js +0 -49
- package/dist/lib/symbolic-denotation-types.d.ts +0 -133
- package/dist/lib/symbolic-denotation-types.js +0 -18
- package/dist/lib/symbolic-denotation-validation.d.ts +0 -6
- package/dist/lib/symbolic-denotation-validation.js +0 -126
- package/dist/long-task-hook.d.ts +0 -2
- package/dist/long-task-hook.js +0 -103
- package/dist/public-api-long-task.d.ts +0 -10
- package/dist/public-api-long-task.js +0 -10
- package/dist/schemas/design-authority-delta-assessment-v1.schema.json +0 -191
- package/dist/schemas/design-resource-symbolic-noninterference-artifact-v2.schema.json +0 -289
- package/dist/schemas/design-resource-symbolic-source-ir-v1.schema.json +0 -130
- package/dist/schemas/long-task-delivery-v2/long-task-delivery-v2.schema.json +0 -2354
- package/dist/schemas/long-task-delivery-v2/long-task-outcomes-v2.schema.json +0 -18
- package/dist/schemas/long-task-external-confirmation-record-v1.schema.json +0 -155
- package/dist/schemas/long-task-external-confirmation-record-v2.schema.json +0 -209
- /package/dist/lib/{long-task-git.d.ts → git.d.ts} +0 -0
- /package/dist/lib/{long-task-git.js → git.js} +0 -0
|
@@ -1,667 +0,0 @@
|
|
|
1
|
-
#!/usr/bin/env python3
|
|
2
|
-
"""Standalone Minimal Context validator installed with the portable profile."""
|
|
3
|
-
|
|
4
|
-
from pathlib import Path, PureWindowsPath
|
|
5
|
-
import json
|
|
6
|
-
import os
|
|
7
|
-
import re
|
|
8
|
-
import subprocess
|
|
9
|
-
import sys
|
|
10
|
-
import unicodedata
|
|
11
|
-
|
|
12
|
-
try:
|
|
13
|
-
import tomllib
|
|
14
|
-
except ImportError: # Python 3.10 compatibility; Node is already required by ty-context.
|
|
15
|
-
tomllib = None
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
ROOT = Path.cwd().resolve()
|
|
19
|
-
CONTEXT_ROOT = ROOT / "project_context"
|
|
20
|
-
|
|
21
|
-
# The portable validator is a UTF-8 command-line surface on every supported
|
|
22
|
-
# platform. Windows pipe encodings otherwise depend on the active locale and
|
|
23
|
-
# can corrupt the canonical NFC paths that TypeScript and Python are required
|
|
24
|
-
# to report identically.
|
|
25
|
-
if hasattr(sys.stdout, "reconfigure"):
|
|
26
|
-
sys.stdout.reconfigure(encoding="utf-8", errors="strict")
|
|
27
|
-
if hasattr(sys.stderr, "reconfigure"):
|
|
28
|
-
sys.stderr.reconfigure(encoding="utf-8", errors="strict")
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
def load_context_rules():
|
|
32
|
-
rules_path = Path(__file__).resolve().with_name("context_rules.json")
|
|
33
|
-
try:
|
|
34
|
-
value = json.loads(rules_path.read_text(encoding="utf-8"))
|
|
35
|
-
except (OSError, UnicodeError, json.JSONDecodeError) as error:
|
|
36
|
-
raise RuntimeError(f"unable to load portable Context rules from {rules_path.name}: {error}") from error
|
|
37
|
-
required_arrays = (
|
|
38
|
-
"roles",
|
|
39
|
-
"read_policies",
|
|
40
|
-
"legacy_read_policies",
|
|
41
|
-
"top_level_fields",
|
|
42
|
-
"area_fields",
|
|
43
|
-
"context_fields",
|
|
44
|
-
)
|
|
45
|
-
for field in required_arrays:
|
|
46
|
-
entries = value.get(field)
|
|
47
|
-
if (
|
|
48
|
-
not isinstance(entries, list)
|
|
49
|
-
or any(not isinstance(entry, str) or not entry.strip() for entry in entries)
|
|
50
|
-
or len(entries) != len(set(entries))
|
|
51
|
-
):
|
|
52
|
-
raise RuntimeError(f"portable Context rules field {field} must contain unique non-empty strings")
|
|
53
|
-
aliases = value.get("role_aliases")
|
|
54
|
-
if not isinstance(aliases, dict) or any(
|
|
55
|
-
not isinstance(key, str)
|
|
56
|
-
or not key.strip()
|
|
57
|
-
or not isinstance(target, str)
|
|
58
|
-
or target not in value["roles"]
|
|
59
|
-
for key, target in aliases.items()
|
|
60
|
-
):
|
|
61
|
-
raise RuntimeError("portable Context rules role_aliases are invalid")
|
|
62
|
-
if any(policy not in value["read_policies"] for policy in value["legacy_read_policies"]):
|
|
63
|
-
raise RuntimeError("portable Context legacy read policies must be a subset of read_policies")
|
|
64
|
-
return value
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
CONTEXT_RULES = load_context_rules()
|
|
68
|
-
|
|
69
|
-
GLOBAL_CHECKS = [
|
|
70
|
-
("project goal", ["project goal", "项目目标", "目标"]),
|
|
71
|
-
("boundaries", ["non-goals", "boundaries", "非目标", "边界"]),
|
|
72
|
-
("design rationale", ["design rationale", "设计思路", "设计原因"]),
|
|
73
|
-
("architecture context", ["architecture context", "架构上下文", "architecture.md"]),
|
|
74
|
-
("verification entry points", ["verification entry", "验证入口", "测试入口"]),
|
|
75
|
-
("current state", ["current state", "当前状态"]),
|
|
76
|
-
("next safe action", ["next safe action", "下一步安全动作"]),
|
|
77
|
-
("context index", ["context index", "module index", "上下文索引", "模块索引"]),
|
|
78
|
-
]
|
|
79
|
-
|
|
80
|
-
ARCHITECTURE_CHECKS = [
|
|
81
|
-
("system boundary", ["system boundary", "系统边界", "边界"]),
|
|
82
|
-
("component map", ["component map", "组件", "模块关系"]),
|
|
83
|
-
("data or control flow", ["data / control flow", "data flow", "control flow", "数据流", "控制流"]),
|
|
84
|
-
("design rationale", ["design rationale", "设计思路", "设计原因"]),
|
|
85
|
-
("verification implications", ["verification implications", "验证影响", "验证入口"]),
|
|
86
|
-
]
|
|
87
|
-
|
|
88
|
-
VALID_ROLES = set(CONTEXT_RULES["roles"])
|
|
89
|
-
ROLE_ALIASES = CONTEXT_RULES["role_aliases"]
|
|
90
|
-
READ_POLICIES = set(CONTEXT_RULES["read_policies"])
|
|
91
|
-
LEGACY_READ_POLICIES = set(CONTEXT_RULES["legacy_read_policies"])
|
|
92
|
-
TOP_LEVEL_FIELDS = set(CONTEXT_RULES["top_level_fields"])
|
|
93
|
-
AREA_FIELDS = set(CONTEXT_RULES["area_fields"])
|
|
94
|
-
CONTEXT_FIELDS = set(CONTEXT_RULES["context_fields"])
|
|
95
|
-
CONFIG_CANDIDATES = [
|
|
96
|
-
".agent/config.yaml",
|
|
97
|
-
".codex/config.yaml",
|
|
98
|
-
".harness/config.yaml",
|
|
99
|
-
".claude/config.yaml",
|
|
100
|
-
".cursor/config.yaml",
|
|
101
|
-
".cline/config.yaml",
|
|
102
|
-
".roo/config.yaml",
|
|
103
|
-
".gemini/config.yaml",
|
|
104
|
-
]
|
|
105
|
-
FAKE_VERIFICATION_PATTERNS = [
|
|
106
|
-
re.compile(r"\btests?\s+(?:pass(?:ed|es)?|green)\b", re.I),
|
|
107
|
-
re.compile(r"\bverified\b", re.I),
|
|
108
|
-
re.compile(r"\bdeployed\s+successfully\b", re.I),
|
|
109
|
-
re.compile(r"\bvalidation\s+passed\b", re.I),
|
|
110
|
-
re.compile(r"测试(?:已)?通过"),
|
|
111
|
-
re.compile(r"验证(?:已)?通过"),
|
|
112
|
-
re.compile(r"部署(?:已)?成功"),
|
|
113
|
-
]
|
|
114
|
-
PLACEHOLDER = re.compile(r"^(?:todo|tbd|placeholder|coming soon|待补充|占位|暂无)[.!。…\s-]*$", re.I)
|
|
115
|
-
|
|
116
|
-
|
|
117
|
-
def has_any(text, terms):
|
|
118
|
-
lower = text.lower()
|
|
119
|
-
return any(term.lower() in lower for term in terms)
|
|
120
|
-
|
|
121
|
-
|
|
122
|
-
def normalize_role(value):
|
|
123
|
-
role = ROLE_ALIASES.get(value.strip().lower(), value.strip().lower())
|
|
124
|
-
return role if role in VALID_ROLES else None
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
def normalize_context_path_spelling(value):
|
|
128
|
-
return value.replace("\\", "/").removeprefix("./")
|
|
129
|
-
|
|
130
|
-
|
|
131
|
-
def normalize_context_path(value):
|
|
132
|
-
return unicodedata.normalize("NFC", normalize_context_path_spelling(value))
|
|
133
|
-
|
|
134
|
-
|
|
135
|
-
def portable_context_path_case_key(value):
|
|
136
|
-
return normalize_context_path(value).lower()
|
|
137
|
-
|
|
138
|
-
|
|
139
|
-
def parse_front_matter(text):
|
|
140
|
-
lines = text.splitlines()
|
|
141
|
-
if not lines or lines[0].strip() != "---":
|
|
142
|
-
return {}
|
|
143
|
-
result = {}
|
|
144
|
-
for line in lines[1:]:
|
|
145
|
-
if line.strip() == "---":
|
|
146
|
-
return result
|
|
147
|
-
match = re.match(r"^([A-Za-z0-9_-]+):\s*(.+?)\s*$", line.strip())
|
|
148
|
-
if match:
|
|
149
|
-
result[match.group(1)] = match.group(2).strip().strip("\"'")
|
|
150
|
-
return result
|
|
151
|
-
|
|
152
|
-
|
|
153
|
-
def table_lines(content, table):
|
|
154
|
-
return [
|
|
155
|
-
index
|
|
156
|
-
for index, line in enumerate(content.splitlines(), start=1)
|
|
157
|
-
if line.strip() == f"[[{table}]]"
|
|
158
|
-
]
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
def parse_manifest(path, errors):
|
|
162
|
-
content = path.read_text(encoding="utf-8")
|
|
163
|
-
try:
|
|
164
|
-
parsed = parse_toml(content)
|
|
165
|
-
except (ValueError, RuntimeError) as error:
|
|
166
|
-
errors.append(f"project_context/context.toml is not valid TOML: {error}")
|
|
167
|
-
return {"areas": [], "context": []}
|
|
168
|
-
for key in parsed:
|
|
169
|
-
if key not in TOP_LEVEL_FIELDS:
|
|
170
|
-
errors.append(f"project_context/context.toml has unknown top-level field {key}")
|
|
171
|
-
manifest = {}
|
|
172
|
-
for table, allowed in (("areas", AREA_FIELDS), ("context", CONTEXT_FIELDS)):
|
|
173
|
-
entries = parsed.get(table, [])
|
|
174
|
-
if not isinstance(entries, list) or any(not isinstance(entry, dict) for entry in entries):
|
|
175
|
-
errors.append(f"project_context/context.toml field [[{table}]] must be an array of TOML tables")
|
|
176
|
-
entries = []
|
|
177
|
-
lines = table_lines(content, table)
|
|
178
|
-
manifest[table] = []
|
|
179
|
-
for index, raw in enumerate(entries):
|
|
180
|
-
entry = dict(raw)
|
|
181
|
-
entry["line"] = lines[index] if index < len(lines) else 1
|
|
182
|
-
for key in raw:
|
|
183
|
-
if key not in allowed:
|
|
184
|
-
errors.append(f"project_context/context.toml line {entry['line']} has unknown field {key}")
|
|
185
|
-
manifest[table].append(entry)
|
|
186
|
-
return manifest
|
|
187
|
-
|
|
188
|
-
|
|
189
|
-
def parse_toml(content):
|
|
190
|
-
if tomllib is not None:
|
|
191
|
-
try:
|
|
192
|
-
return tomllib.loads(content)
|
|
193
|
-
except tomllib.TOMLDecodeError as error:
|
|
194
|
-
raise ValueError(str(error)) from error
|
|
195
|
-
script = """
|
|
196
|
-
import('node:module').then(async ({ createRequire }) => {
|
|
197
|
-
const { pathToFileURL } = await import('node:url');
|
|
198
|
-
const { resolve } = await import('node:path');
|
|
199
|
-
const roots = JSON.parse(process.env.TY_CONTEXT_NODE_SEARCH_ROOTS || '[]');
|
|
200
|
-
let modulePath;
|
|
201
|
-
for (const root of roots) {
|
|
202
|
-
try {
|
|
203
|
-
modulePath = createRequire(resolve(root, 'package.json')).resolve('smol-toml');
|
|
204
|
-
break;
|
|
205
|
-
} catch {}
|
|
206
|
-
}
|
|
207
|
-
if (!modulePath) throw new Error('unable to resolve smol-toml from the project or portable-tool ancestors');
|
|
208
|
-
const { parse } = await import(pathToFileURL(modulePath).href);
|
|
209
|
-
let source = '';
|
|
210
|
-
process.stdin.setEncoding('utf8');
|
|
211
|
-
process.stdin.on('data', chunk => source += chunk);
|
|
212
|
-
process.stdin.on('end', () => process.stdout.write(JSON.stringify(parse(source))));
|
|
213
|
-
}).catch(error => {
|
|
214
|
-
console.error(error.message);
|
|
215
|
-
process.exit(1);
|
|
216
|
-
});
|
|
217
|
-
"""
|
|
218
|
-
search_roots = []
|
|
219
|
-
for candidate in (ROOT, *Path(__file__).resolve().parents):
|
|
220
|
-
value = str(candidate)
|
|
221
|
-
if value not in search_roots:
|
|
222
|
-
search_roots.append(value)
|
|
223
|
-
environment = dict(os.environ)
|
|
224
|
-
environment["TY_CONTEXT_NODE_SEARCH_ROOTS"] = json.dumps(search_roots)
|
|
225
|
-
result = subprocess.run(
|
|
226
|
-
["node", "--input-type=module", "--eval", script],
|
|
227
|
-
input=content,
|
|
228
|
-
text=True,
|
|
229
|
-
encoding="utf-8",
|
|
230
|
-
errors="strict",
|
|
231
|
-
capture_output=True,
|
|
232
|
-
cwd=ROOT,
|
|
233
|
-
env=environment,
|
|
234
|
-
check=False,
|
|
235
|
-
)
|
|
236
|
-
if result.returncode != 0:
|
|
237
|
-
raise RuntimeError(f"formal TOML parser unavailable: {result.stderr.strip()}")
|
|
238
|
-
return json.loads(result.stdout)
|
|
239
|
-
|
|
240
|
-
|
|
241
|
-
def required_string(entry, key, errors):
|
|
242
|
-
value = entry.get(key)
|
|
243
|
-
if not isinstance(value, str) or not value.strip():
|
|
244
|
-
errors.append(f"project_context/context.toml line {entry['line']} must include non-empty string field {key}")
|
|
245
|
-
return None
|
|
246
|
-
return value
|
|
247
|
-
|
|
248
|
-
|
|
249
|
-
def optional_string(entry, key, errors):
|
|
250
|
-
value = entry.get(key)
|
|
251
|
-
if value is None:
|
|
252
|
-
return None
|
|
253
|
-
if not isinstance(value, str) or not value.strip():
|
|
254
|
-
errors.append(f"project_context/context.toml line {entry['line']} field {key} must be a non-empty string")
|
|
255
|
-
return None
|
|
256
|
-
return value
|
|
257
|
-
|
|
258
|
-
|
|
259
|
-
def string_array(entry, key, errors):
|
|
260
|
-
value = entry.get(key, [])
|
|
261
|
-
if not isinstance(value, list) or any(not isinstance(item, str) or not item.strip() for item in value):
|
|
262
|
-
errors.append(f"project_context/context.toml line {entry['line']} {key} must be an array of non-empty strings")
|
|
263
|
-
return []
|
|
264
|
-
return value
|
|
265
|
-
|
|
266
|
-
|
|
267
|
-
def is_relative_to(target, root):
|
|
268
|
-
try:
|
|
269
|
-
target.relative_to(root)
|
|
270
|
-
return True
|
|
271
|
-
except ValueError:
|
|
272
|
-
return False
|
|
273
|
-
|
|
274
|
-
|
|
275
|
-
def safe_manifest_path(raw, allowed_root, label, expected, errors, physical_files=None):
|
|
276
|
-
normalized = normalize_context_path_spelling(raw)
|
|
277
|
-
if Path(raw).is_absolute() or PureWindowsPath(raw).is_absolute() or ".." in normalized.split("/"):
|
|
278
|
-
errors.append(f"project_context/context.toml {label} path must be relative and must not contain '..': {raw}")
|
|
279
|
-
return None
|
|
280
|
-
target = (
|
|
281
|
-
physical_files.get(normalize_context_path(raw))
|
|
282
|
-
if expected == "context file" and physical_files is not None
|
|
283
|
-
else None
|
|
284
|
-
)
|
|
285
|
-
if target is None:
|
|
286
|
-
target = ROOT.joinpath(*normalized.split("/"))
|
|
287
|
-
if not target.exists():
|
|
288
|
-
errors.append(f"project_context/context.toml references missing {expected}: {normalized}")
|
|
289
|
-
return None
|
|
290
|
-
resolved_root = allowed_root.resolve()
|
|
291
|
-
resolved_target = target.resolve()
|
|
292
|
-
if not is_relative_to(resolved_target, resolved_root):
|
|
293
|
-
errors.append(f"project_context/context.toml {label} resolves outside its allowed root: {raw}")
|
|
294
|
-
return None
|
|
295
|
-
if expected == "context file" and not resolved_target.is_file():
|
|
296
|
-
errors.append(f"project_context/context.toml {label} must reference a regular file: {raw}")
|
|
297
|
-
return None
|
|
298
|
-
if expected == "area root" and not resolved_target.is_dir():
|
|
299
|
-
errors.append(f"project_context/context.toml {label} must reference a directory: {raw}")
|
|
300
|
-
return None
|
|
301
|
-
return resolved_target
|
|
302
|
-
|
|
303
|
-
|
|
304
|
-
def validate_area_entry(area, area_ids, registered, roles, policies, errors, physical_files):
|
|
305
|
-
area_id = required_string(area, "id", errors)
|
|
306
|
-
area_root = required_string(area, "root", errors)
|
|
307
|
-
context_path = required_string(area, "context", errors)
|
|
308
|
-
optional_string(area, "kind", errors)
|
|
309
|
-
if "default" in area and not isinstance(area["default"], bool):
|
|
310
|
-
errors.append(f"project_context/context.toml line {area['line']} default must be a boolean")
|
|
311
|
-
string_array(area, "forbidden_runtime_dependencies", errors)
|
|
312
|
-
if area_id:
|
|
313
|
-
canonical_area_id = unicodedata.normalize("NFC", area_id)
|
|
314
|
-
previous_area_id = area_ids.get(canonical_area_id)
|
|
315
|
-
if previous_area_id is not None:
|
|
316
|
-
if previous_area_id == area_id:
|
|
317
|
-
errors.append(f"project_context/context.toml has duplicate area id: {area_id}")
|
|
318
|
-
else:
|
|
319
|
-
aliases = sorted((previous_area_id, area_id), key=lambda value: value.encode("utf-8"))
|
|
320
|
-
errors.append(
|
|
321
|
-
"project_context/context.toml area ids "
|
|
322
|
-
f"{', '.join(aliases)} normalize to the same NFC id {canonical_area_id}"
|
|
323
|
-
)
|
|
324
|
-
else:
|
|
325
|
-
area_ids[canonical_area_id] = area_id
|
|
326
|
-
label = f"area {area_id or area['line']}"
|
|
327
|
-
if area_root:
|
|
328
|
-
safe_manifest_path(area_root, ROOT, f"{label} root", "area root", errors)
|
|
329
|
-
if context_path:
|
|
330
|
-
register_context_path(
|
|
331
|
-
context_path,
|
|
332
|
-
"area",
|
|
333
|
-
None,
|
|
334
|
-
label,
|
|
335
|
-
registered,
|
|
336
|
-
roles,
|
|
337
|
-
policies,
|
|
338
|
-
errors,
|
|
339
|
-
physical_files,
|
|
340
|
-
)
|
|
341
|
-
|
|
342
|
-
|
|
343
|
-
def validate_context_entry(entry, registered, roles, policies, errors, warnings, physical_files):
|
|
344
|
-
context_path = required_string(entry, "path", errors)
|
|
345
|
-
raw_role = required_string(entry, "role", errors)
|
|
346
|
-
optional_string(entry, "read_when", errors)
|
|
347
|
-
read_policy = optional_string(entry, "read_policy", errors)
|
|
348
|
-
string_array(entry, "triggers", errors)
|
|
349
|
-
string_array(entry, "default_children", errors)
|
|
350
|
-
role = normalize_role(raw_role) if raw_role else None
|
|
351
|
-
if raw_role and role is None:
|
|
352
|
-
errors.append(f"project_context/context.toml line {entry['line']} has unsupported context role: {raw_role}")
|
|
353
|
-
if read_policy and read_policy not in READ_POLICIES:
|
|
354
|
-
errors.append(f"project_context/context.toml line {entry['line']} has unsupported read_policy: {read_policy}")
|
|
355
|
-
if read_policy in LEGACY_READ_POLICIES:
|
|
356
|
-
warnings.append(
|
|
357
|
-
f"project_context/context.toml line {entry['line']} uses legacy read_policy {read_policy}; "
|
|
358
|
-
"Schema v4 preserves its current selection behavior and migration must be explicit"
|
|
359
|
-
)
|
|
360
|
-
if context_path and role:
|
|
361
|
-
register_context_path(
|
|
362
|
-
context_path,
|
|
363
|
-
role,
|
|
364
|
-
read_policy,
|
|
365
|
-
f"context {context_path}",
|
|
366
|
-
registered,
|
|
367
|
-
roles,
|
|
368
|
-
policies,
|
|
369
|
-
errors,
|
|
370
|
-
physical_files,
|
|
371
|
-
)
|
|
372
|
-
|
|
373
|
-
|
|
374
|
-
def validate_default_children(contexts, registered, errors, warnings):
|
|
375
|
-
contexts_by_path = {
|
|
376
|
-
normalize_context_path(entry["path"]): entry
|
|
377
|
-
for entry in contexts
|
|
378
|
-
if isinstance(entry.get("path"), str) and entry["path"].strip()
|
|
379
|
-
}
|
|
380
|
-
for entry in contexts:
|
|
381
|
-
for child in entry.get("default_children", []):
|
|
382
|
-
normalized = normalize_context_path(child)
|
|
383
|
-
if normalized not in registered["paths"]:
|
|
384
|
-
errors.append(f"project_context/context.toml line {entry['line']} default_children references unregistered Context path: {child}")
|
|
385
|
-
elif contexts_by_path.get(normalized, {}).get("read_policy") == "never-default":
|
|
386
|
-
warnings.append(
|
|
387
|
-
f"project_context/context.toml line {entry['line']} default_children selects {normalized} even though its current "
|
|
388
|
-
"read_policy is never-default; Schema v4 preserves this behavior and a future migration must remove the edge or "
|
|
389
|
-
"change the policy explicitly"
|
|
390
|
-
)
|
|
391
|
-
|
|
392
|
-
|
|
393
|
-
def validate_manifest(errors, warnings, physical_files):
|
|
394
|
-
manifest_path = CONTEXT_ROOT / "context.toml"
|
|
395
|
-
roles = {}
|
|
396
|
-
policies = {}
|
|
397
|
-
if not manifest_path.exists():
|
|
398
|
-
if schema_requires_manifest():
|
|
399
|
-
errors.append("missing project_context/context.toml; run ty-context upgrade to create the Schema v4 Context graph manifest")
|
|
400
|
-
return roles, policies
|
|
401
|
-
manifest = parse_manifest(manifest_path, errors)
|
|
402
|
-
areas = manifest["areas"]
|
|
403
|
-
contexts = manifest["context"]
|
|
404
|
-
if not areas:
|
|
405
|
-
errors.append("project_context/context.toml must declare at least one [[areas]] entry")
|
|
406
|
-
defaults = [entry for entry in areas if entry.get("default") is True]
|
|
407
|
-
if areas and len(defaults) != 1:
|
|
408
|
-
errors.append(f"project_context/context.toml must mark exactly one [[areas]] entry with default = true; found {len(defaults)}")
|
|
409
|
-
area_ids = {}
|
|
410
|
-
registered = {"paths": set(), "spellings": {}, "cases": {}}
|
|
411
|
-
|
|
412
|
-
for area in areas:
|
|
413
|
-
validate_area_entry(area, area_ids, registered, roles, policies, errors, physical_files)
|
|
414
|
-
for entry in contexts:
|
|
415
|
-
validate_context_entry(entry, registered, roles, policies, errors, warnings, physical_files)
|
|
416
|
-
validate_default_children(contexts, registered, errors, warnings)
|
|
417
|
-
return roles, policies
|
|
418
|
-
|
|
419
|
-
|
|
420
|
-
def register_context_path(
|
|
421
|
-
raw,
|
|
422
|
-
role,
|
|
423
|
-
read_policy,
|
|
424
|
-
label,
|
|
425
|
-
registered,
|
|
426
|
-
roles,
|
|
427
|
-
policies,
|
|
428
|
-
errors,
|
|
429
|
-
physical_files,
|
|
430
|
-
):
|
|
431
|
-
normalized = normalize_context_path(raw)
|
|
432
|
-
raw_spelling = normalize_context_path_spelling(raw)
|
|
433
|
-
previous = registered["spellings"].get(normalized)
|
|
434
|
-
if previous is not None:
|
|
435
|
-
if previous == raw_spelling:
|
|
436
|
-
errors.append(f"project_context/context.toml has duplicate Context path: {normalized}")
|
|
437
|
-
else:
|
|
438
|
-
aliases = sorted((previous, raw_spelling), key=lambda value: value.encode("utf-8"))
|
|
439
|
-
errors.append(
|
|
440
|
-
"project_context/context.toml Context paths "
|
|
441
|
-
f"{', '.join(aliases)} normalize to the same NFC repository path {normalized}"
|
|
442
|
-
)
|
|
443
|
-
else:
|
|
444
|
-
registered["spellings"][normalized] = raw_spelling
|
|
445
|
-
case_key = portable_context_path_case_key(normalized)
|
|
446
|
-
previous_case = registered["cases"].get(case_key)
|
|
447
|
-
if previous_case is not None and previous_case != normalized:
|
|
448
|
-
aliases = sorted((previous_case, normalized), key=lambda value: value.encode("utf-8"))
|
|
449
|
-
errors.append(
|
|
450
|
-
"project_context/context.toml Context paths "
|
|
451
|
-
f"{', '.join(aliases)} collide on a case-insensitive filesystem"
|
|
452
|
-
)
|
|
453
|
-
else:
|
|
454
|
-
registered["cases"][case_key] = normalized
|
|
455
|
-
registered["paths"].add(normalized)
|
|
456
|
-
if not normalized.startswith("project_context/") or not normalized.endswith(".md"):
|
|
457
|
-
errors.append(f"project_context/context.toml {label} must reference a markdown file under project_context/: {raw}")
|
|
458
|
-
return
|
|
459
|
-
if safe_manifest_path(
|
|
460
|
-
raw,
|
|
461
|
-
CONTEXT_ROOT,
|
|
462
|
-
label,
|
|
463
|
-
"context file",
|
|
464
|
-
errors,
|
|
465
|
-
physical_files,
|
|
466
|
-
) is None:
|
|
467
|
-
return
|
|
468
|
-
roles[normalized] = role
|
|
469
|
-
if read_policy:
|
|
470
|
-
policies[normalized] = read_policy
|
|
471
|
-
|
|
472
|
-
|
|
473
|
-
def schema_requires_manifest():
|
|
474
|
-
schema_version = "4"
|
|
475
|
-
for candidate in CONFIG_CANDIDATES:
|
|
476
|
-
path = ROOT / candidate
|
|
477
|
-
if not path.exists():
|
|
478
|
-
continue
|
|
479
|
-
match = re.search(r'schema_version:\s*["\']?([^"\'\s]+)', path.read_text(encoding="utf-8"))
|
|
480
|
-
if match:
|
|
481
|
-
schema_version = match.group(1)
|
|
482
|
-
break
|
|
483
|
-
try:
|
|
484
|
-
return int(schema_version.split(".", 1)[0]) >= 4
|
|
485
|
-
except ValueError:
|
|
486
|
-
return True
|
|
487
|
-
|
|
488
|
-
|
|
489
|
-
def validate_checks(rel, text, checks, errors):
|
|
490
|
-
for label, terms in checks:
|
|
491
|
-
if not has_any(text, terms):
|
|
492
|
-
errors.append(f"{rel} must include {label}")
|
|
493
|
-
|
|
494
|
-
|
|
495
|
-
def section_bodies(text):
|
|
496
|
-
headings = list(re.finditer(r"^(#{2,6})\s+(.+?)\s*$", text, re.M))
|
|
497
|
-
for index, match in enumerate(headings):
|
|
498
|
-
end = headings[index + 1].start() if index + 1 < len(headings) else len(text)
|
|
499
|
-
yield match.group(2), text[match.end():end].strip()
|
|
500
|
-
|
|
501
|
-
|
|
502
|
-
def validate_no_fake_verification(rel, text, errors):
|
|
503
|
-
for heading, body in section_bodies(text):
|
|
504
|
-
if not re.search(r"verification|tests?|deployment|验证|测试|部署", heading, re.I):
|
|
505
|
-
continue
|
|
506
|
-
if any(pattern.search(body) for pattern in FAKE_VERIFICATION_PATTERNS):
|
|
507
|
-
errors.append(f"{rel} must list verification entry points, not claim tests were already executed")
|
|
508
|
-
return
|
|
509
|
-
|
|
510
|
-
|
|
511
|
-
def validate_minimum_recoverability(rel, text, errors):
|
|
512
|
-
if not re.search(r"^#\s+\S.+$", text, re.M):
|
|
513
|
-
errors.append(f"{rel} must contain a non-empty level-one title")
|
|
514
|
-
body = re.sub(r"^---\s*\n[\s\S]*?\n---\s*\n?", "", text, count=1)
|
|
515
|
-
facts = []
|
|
516
|
-
for line in body.splitlines():
|
|
517
|
-
value = line.strip()
|
|
518
|
-
if not value or value.startswith(("#", "```", "<!--")):
|
|
519
|
-
continue
|
|
520
|
-
value = re.sub(r"^[-*+>]\s*", "", value).strip()
|
|
521
|
-
if len(value) >= 8 and not PLACEHOLDER.fullmatch(value):
|
|
522
|
-
facts.append(value)
|
|
523
|
-
if not facts:
|
|
524
|
-
errors.append(f"{rel} must contain at least one concrete fact paragraph and cannot be only TODO or placeholder text")
|
|
525
|
-
|
|
526
|
-
|
|
527
|
-
def validate_role_recoverability(rel, text, role, errors):
|
|
528
|
-
if role == "verification" and not re.search(r"`[^`\r\n]+`|(?:npm|pnpm|yarn|make|node|python|pytest|cargo|go)\s+\S+|(?:^|\s)(?:\./|[\w.-]+/)[\w./-]+", text, re.I | re.M):
|
|
529
|
-
errors.append(f"{rel} verification Context must contain a command, repository path or repeatable entry point")
|
|
530
|
-
if role == "implementation-index":
|
|
531
|
-
candidates = [match.group(1) for match in re.finditer(r"`([^`]+)`", text) if ("/" in match.group(1) or "\\" in match.group(1)) and " " not in match.group(1)]
|
|
532
|
-
if not any(repository_path_exists(candidate) for candidate in candidates):
|
|
533
|
-
errors.append(f"{rel} implementation-index Context must contain at least one existing repository path")
|
|
534
|
-
if role == "contract" and not re.search(r"producer|consumer|input|output|schema|compatibility|constraint|must|shall|禁止|必须|输入|输出|兼容", text, re.I):
|
|
535
|
-
errors.append(f"{rel} contract Context must state at least one constraint or input/output semantic")
|
|
536
|
-
if role == "decision-rationale":
|
|
537
|
-
has_decision = re.search(r"^##\s+(?:(?:Decision|Current Design Choice|Design Choice)(?:\b|\s|$)|决定(?:\s|$)|当前设计选择(?:\s|$))", text, re.I | re.M)
|
|
538
|
-
has_reason = re.search(r"^##\s+(?:(?:Reason|Rationale|Why)(?:\b|\s|$)|原因(?:\s|$)|理由(?:\s|$)|为什么(?:\s|$))", text, re.I | re.M)
|
|
539
|
-
if not has_decision or not has_reason:
|
|
540
|
-
errors.append(f"{rel} decision-rationale Context must contain both a Decision and a Reason")
|
|
541
|
-
|
|
542
|
-
|
|
543
|
-
def repository_path_exists(candidate):
|
|
544
|
-
clean = candidate.rstrip(".:,;").replace("\\", "/")
|
|
545
|
-
if Path(clean).is_absolute() or PureWindowsPath(clean).is_absolute() or ".." in clean.split("/"):
|
|
546
|
-
return False
|
|
547
|
-
target = ROOT.joinpath(*clean.split("/"))
|
|
548
|
-
return target.exists() and is_relative_to(target.resolve(), ROOT)
|
|
549
|
-
|
|
550
|
-
|
|
551
|
-
def validate_context_file(rel, text, role, errors):
|
|
552
|
-
validate_no_fake_verification(rel, text, errors)
|
|
553
|
-
validate_minimum_recoverability(rel, text, errors)
|
|
554
|
-
if role:
|
|
555
|
-
validate_role_recoverability(rel, text, role, errors)
|
|
556
|
-
|
|
557
|
-
|
|
558
|
-
def discover_context_markdown(errors):
|
|
559
|
-
paths = (
|
|
560
|
-
[
|
|
561
|
-
candidate
|
|
562
|
-
for candidate in CONTEXT_ROOT.rglob("*")
|
|
563
|
-
if candidate.is_file() and candidate.suffix.lower() == ".md"
|
|
564
|
-
]
|
|
565
|
-
if CONTEXT_ROOT.exists()
|
|
566
|
-
else []
|
|
567
|
-
)
|
|
568
|
-
rows = []
|
|
569
|
-
for context_path in paths:
|
|
570
|
-
physical = context_path.relative_to(ROOT).as_posix()
|
|
571
|
-
canonical = normalize_context_path(physical)
|
|
572
|
-
rows.append((canonical, physical, context_path))
|
|
573
|
-
rows.sort(key=lambda row: (row[0].encode("utf-8"), row[1].encode("utf-8")))
|
|
574
|
-
|
|
575
|
-
grouped = {}
|
|
576
|
-
for canonical, physical, context_path in rows:
|
|
577
|
-
grouped.setdefault(canonical, []).append((physical, context_path))
|
|
578
|
-
|
|
579
|
-
public_rows = []
|
|
580
|
-
physical_files = {}
|
|
581
|
-
case_groups = {}
|
|
582
|
-
for canonical in sorted(grouped, key=lambda value: value.encode("utf-8")):
|
|
583
|
-
candidates = sorted(
|
|
584
|
-
grouped[canonical],
|
|
585
|
-
key=lambda row: row[0].encode("utf-8"),
|
|
586
|
-
)
|
|
587
|
-
spellings = [physical for physical, _path in candidates]
|
|
588
|
-
if len(spellings) > 1:
|
|
589
|
-
errors.append(
|
|
590
|
-
f"Context files {', '.join(spellings)} normalize to the same NFC repository path {canonical}"
|
|
591
|
-
)
|
|
592
|
-
physical, context_path = candidates[0]
|
|
593
|
-
public_rows.append((canonical, physical, context_path))
|
|
594
|
-
physical_files[canonical] = context_path
|
|
595
|
-
case_key = portable_context_path_case_key(canonical)
|
|
596
|
-
case_groups.setdefault(case_key, []).append(canonical)
|
|
597
|
-
|
|
598
|
-
for canonical_paths in case_groups.values():
|
|
599
|
-
aliases = sorted(set(canonical_paths), key=lambda value: value.encode("utf-8"))
|
|
600
|
-
if len(aliases) > 1:
|
|
601
|
-
errors.append(
|
|
602
|
-
f"Context files {', '.join(aliases)} collide on a case-insensitive filesystem"
|
|
603
|
-
)
|
|
604
|
-
return public_rows, physical_files
|
|
605
|
-
|
|
606
|
-
|
|
607
|
-
def main():
|
|
608
|
-
errors = []
|
|
609
|
-
warnings = []
|
|
610
|
-
global_path = CONTEXT_ROOT / "global.md"
|
|
611
|
-
architecture_path = CONTEXT_ROOT / "architecture.md"
|
|
612
|
-
if not global_path.exists():
|
|
613
|
-
errors.append("missing project_context/global.md")
|
|
614
|
-
else:
|
|
615
|
-
text = global_path.read_text(encoding="utf-8")
|
|
616
|
-
validate_checks("project_context/global.md", text, GLOBAL_CHECKS, errors)
|
|
617
|
-
validate_context_file("project_context/global.md", text, "global", errors)
|
|
618
|
-
if not architecture_path.exists():
|
|
619
|
-
errors.append("missing project_context/architecture.md")
|
|
620
|
-
else:
|
|
621
|
-
text = architecture_path.read_text(encoding="utf-8")
|
|
622
|
-
validate_checks("project_context/architecture.md", text, ARCHITECTURE_CHECKS, errors)
|
|
623
|
-
validate_context_file("project_context/architecture.md", text, "architecture", errors)
|
|
624
|
-
|
|
625
|
-
context_rows, physical_files = discover_context_markdown(errors)
|
|
626
|
-
manifest_roles, manifest_policies = validate_manifest(
|
|
627
|
-
errors,
|
|
628
|
-
warnings,
|
|
629
|
-
physical_files,
|
|
630
|
-
)
|
|
631
|
-
checked = 0
|
|
632
|
-
for rel, _physical, path in context_rows:
|
|
633
|
-
if rel in {"project_context/global.md", "project_context/architecture.md"}:
|
|
634
|
-
continue
|
|
635
|
-
text = path.read_text(encoding="utf-8")
|
|
636
|
-
front_matter = parse_front_matter(text)
|
|
637
|
-
declared_role = front_matter.get("context_role")
|
|
638
|
-
front_role = normalize_role(declared_role) if declared_role else None
|
|
639
|
-
if declared_role and front_role is None:
|
|
640
|
-
errors.append(f"{rel} has unsupported context_role: {declared_role}")
|
|
641
|
-
front_policy = front_matter.get("read_policy")
|
|
642
|
-
if front_policy and front_policy not in READ_POLICIES:
|
|
643
|
-
errors.append(f"{rel} has unsupported read_policy: {front_policy}")
|
|
644
|
-
manifest_role = manifest_roles.get(rel)
|
|
645
|
-
manifest_policy = manifest_policies.get(rel)
|
|
646
|
-
if manifest_role and front_role and manifest_role != front_role:
|
|
647
|
-
errors.append(f"{rel} front matter context_role {front_role} does not match manifest role {manifest_role}")
|
|
648
|
-
if manifest_policy and front_policy and manifest_policy != front_policy:
|
|
649
|
-
errors.append(f"{rel} front matter read_policy {front_policy} does not match manifest read_policy {manifest_policy}")
|
|
650
|
-
if not manifest_role:
|
|
651
|
-
warnings.append(f"{rel} is an unregistered Context Markdown file; add it to project_context/context.toml or move it out of project_context/**")
|
|
652
|
-
role = manifest_role or front_role
|
|
653
|
-
validate_context_file(rel, text, role, errors)
|
|
654
|
-
checked += 1
|
|
655
|
-
|
|
656
|
-
for warning in warnings:
|
|
657
|
-
print(f"warning: {warning}", file=sys.stderr)
|
|
658
|
-
if errors:
|
|
659
|
-
for error in errors:
|
|
660
|
-
print(f"error: {error}", file=sys.stderr)
|
|
661
|
-
return 1
|
|
662
|
-
print(f"Context OK: {2 + checked} context file(s)")
|
|
663
|
-
return 0
|
|
664
|
-
|
|
665
|
-
|
|
666
|
-
if __name__ == "__main__":
|
|
667
|
-
raise SystemExit(main())
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
export declare function checkModularity(args: string[]): Promise<void>;
|