@principles/core 1.284.16 → 1.284.18
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/dist/runtime-v2/__tests__/adversarial-loop.test.js +8 -1
- package/dist/runtime-v2/__tests__/adversarial-loop.test.js.map +1 -1
- package/dist/runtime-v2/__tests__/artificer-runner-vslice.test.js +101 -14
- package/dist/runtime-v2/__tests__/artificer-runner-vslice.test.js.map +1 -1
- package/dist/runtime-v2/__tests__/evidence-sanitizer.test.js +113 -1
- package/dist/runtime-v2/__tests__/evidence-sanitizer.test.js.map +1 -1
- package/dist/runtime-v2/__tests__/pain-to-principle-service.test.js +0 -1
- package/dist/runtime-v2/__tests__/pain-to-principle-service.test.js.map +1 -1
- package/dist/runtime-v2/__tests__/scribe-runner-vslice.test.js +211 -0
- package/dist/runtime-v2/__tests__/scribe-runner-vslice.test.js.map +1 -1
- package/dist/runtime-v2/activation/writers/rule-host-writer.d.ts.map +1 -1
- package/dist/runtime-v2/activation/writers/rule-host-writer.js +15 -1
- package/dist/runtime-v2/activation/writers/rule-host-writer.js.map +1 -1
- package/dist/runtime-v2/adapter/__tests__/openclaw-cli-runtime-adapter-message-file.test.js +23 -1
- package/dist/runtime-v2/adapter/__tests__/openclaw-cli-runtime-adapter-message-file.test.js.map +1 -1
- package/dist/runtime-v2/adapter/__tests__/principle-tree-ledger-adapter.test.js +25 -0
- package/dist/runtime-v2/adapter/__tests__/principle-tree-ledger-adapter.test.js.map +1 -1
- package/dist/runtime-v2/adapter/__tests__/schema-prompt-adapter-semantic.test.js +18 -4
- package/dist/runtime-v2/adapter/__tests__/schema-prompt-adapter-semantic.test.js.map +1 -1
- package/dist/runtime-v2/adapter/openclaw-cli-runtime-adapter.d.ts.map +1 -1
- package/dist/runtime-v2/adapter/openclaw-cli-runtime-adapter.js +38 -7
- package/dist/runtime-v2/adapter/openclaw-cli-runtime-adapter.js.map +1 -1
- package/dist/runtime-v2/adapter/output-schema-registry.d.ts.map +1 -1
- package/dist/runtime-v2/adapter/output-schema-registry.js +0 -2
- package/dist/runtime-v2/adapter/output-schema-registry.js.map +1 -1
- package/dist/runtime-v2/adapter/principle-tree-ledger-adapter.d.ts +16 -0
- package/dist/runtime-v2/adapter/principle-tree-ledger-adapter.d.ts.map +1 -1
- package/dist/runtime-v2/adapter/principle-tree-ledger-adapter.js +22 -0
- package/dist/runtime-v2/adapter/principle-tree-ledger-adapter.js.map +1 -1
- package/dist/runtime-v2/adversarial-loop.d.ts.map +1 -1
- package/dist/runtime-v2/adversarial-loop.js +14 -1
- package/dist/runtime-v2/adversarial-loop.js.map +1 -1
- package/dist/runtime-v2/agent-spec.d.ts +0 -1
- package/dist/runtime-v2/agent-spec.d.ts.map +1 -1
- package/dist/runtime-v2/agent-spec.js +3 -1
- package/dist/runtime-v2/agent-spec.js.map +1 -1
- package/dist/runtime-v2/config/__tests__/internal-agent-names.test.js +3 -1
- package/dist/runtime-v2/config/__tests__/internal-agent-names.test.js.map +1 -1
- package/dist/runtime-v2/config/__tests__/pd-config-agent-binding.test.js +0 -7
- package/dist/runtime-v2/config/__tests__/pd-config-agent-binding.test.js.map +1 -1
- package/dist/runtime-v2/config/__tests__/pd-config-context-injection.test.js +0 -1
- package/dist/runtime-v2/config/__tests__/pd-config-context-injection.test.js.map +1 -1
- package/dist/runtime-v2/config/__tests__/pd-config-contract.test.js +0 -1
- package/dist/runtime-v2/config/__tests__/pd-config-contract.test.js.map +1 -1
- package/dist/runtime-v2/config/__tests__/pd-config-principles.test.js +0 -1
- package/dist/runtime-v2/config/__tests__/pd-config-principles.test.js.map +1 -1
- package/dist/runtime-v2/config/__tests__/pd-config-reasoning.test.js +0 -1
- package/dist/runtime-v2/config/__tests__/pd-config-reasoning.test.js.map +1 -1
- package/dist/runtime-v2/config/__tests__/pd-config-redaction-deep.test.js +0 -1
- package/dist/runtime-v2/config/__tests__/pd-config-redaction-deep.test.js.map +1 -1
- package/dist/runtime-v2/config/__tests__/pd-config-validation-edge-cases.test.js +61 -1
- package/dist/runtime-v2/config/__tests__/pd-config-validation-edge-cases.test.js.map +1 -1
- package/dist/runtime-v2/config/pd-config-defaults.d.ts.map +1 -1
- package/dist/runtime-v2/config/pd-config-defaults.js +0 -1
- package/dist/runtime-v2/config/pd-config-defaults.js.map +1 -1
- package/dist/runtime-v2/config/pd-config-types.d.ts +1 -1
- package/dist/runtime-v2/config/pd-config-types.d.ts.map +1 -1
- package/dist/runtime-v2/config/pd-config-types.js +0 -1
- package/dist/runtime-v2/config/pd-config-types.js.map +1 -1
- package/dist/runtime-v2/config/pd-config-validate.d.ts.map +1 -1
- package/dist/runtime-v2/config/pd-config-validate.js +20 -1
- package/dist/runtime-v2/config/pd-config-validate.js.map +1 -1
- package/dist/runtime-v2/evidence-sanitizer.d.ts +17 -2
- package/dist/runtime-v2/evidence-sanitizer.d.ts.map +1 -1
- package/dist/runtime-v2/evidence-sanitizer.js +80 -11
- package/dist/runtime-v2/evidence-sanitizer.js.map +1 -1
- package/dist/runtime-v2/feature-flags/__tests__/feature-flag-contract.test.js +3 -3
- package/dist/runtime-v2/feature-flags/__tests__/feature-flag-contract.test.js.map +1 -1
- package/dist/runtime-v2/feature-flags/feature-flag-contract.d.ts.map +1 -1
- package/dist/runtime-v2/feature-flags/feature-flag-contract.js +11 -40
- package/dist/runtime-v2/feature-flags/feature-flag-contract.js.map +1 -1
- package/dist/runtime-v2/feature-flags/feature-flag-lifecycle.d.ts.map +1 -1
- package/dist/runtime-v2/feature-flags/feature-flag-lifecycle.js +6 -40
- package/dist/runtime-v2/feature-flags/feature-flag-lifecycle.js.map +1 -1
- package/dist/runtime-v2/index.d.ts +9 -6
- package/dist/runtime-v2/index.d.ts.map +1 -1
- package/dist/runtime-v2/index.js +12 -5
- package/dist/runtime-v2/index.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/artificer-prompt-builder-v2.test.js +49 -0
- package/dist/runtime-v2/internalization/__tests__/artificer-prompt-builder-v2.test.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/artificer-prompt-builder.test.js +64 -29
- package/dist/runtime-v2/internalization/__tests__/artificer-prompt-builder.test.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/diag-chain-e2e.test.js +0 -1
- package/dist/runtime-v2/internalization/__tests__/diag-chain-e2e.test.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/diag-router-runner.test.js +2 -2
- package/dist/runtime-v2/internalization/__tests__/diag-router-runner.test.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/evaluator-artificer-repair-replay.test.js +2 -13
- package/dist/runtime-v2/internalization/__tests__/evaluator-artificer-repair-replay.test.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/evaluator-chinese-feedback-contract.test.js +1 -5
- package/dist/runtime-v2/internalization/__tests__/evaluator-chinese-feedback-contract.test.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/evaluator-gate-authority.test.js +5 -13
- package/dist/runtime-v2/internalization/__tests__/evaluator-gate-authority.test.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/evaluator-out-of-scope-governance.test.js +1 -5
- package/dist/runtime-v2/internalization/__tests__/evaluator-out-of-scope-governance.test.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/external-review-p0-regressions.test.js +1 -1
- package/dist/runtime-v2/internalization/__tests__/external-review-p0-regressions.test.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/formation-context.test.d.ts +2 -0
- package/dist/runtime-v2/internalization/__tests__/formation-context.test.d.ts.map +1 -0
- package/dist/runtime-v2/internalization/__tests__/formation-context.test.js +428 -0
- package/dist/runtime-v2/internalization/__tests__/formation-context.test.js.map +1 -0
- package/dist/runtime-v2/internalization/__tests__/scribe-prompt-builder.test.js +97 -0
- package/dist/runtime-v2/internalization/__tests__/scribe-prompt-builder.test.js.map +1 -1
- package/dist/runtime-v2/internalization/__tests__/split-diagnostician-runner-retry.test.js +61 -0
- package/dist/runtime-v2/internalization/__tests__/split-diagnostician-runner-retry.test.js.map +1 -1
- package/dist/runtime-v2/internalization/artifact-summary.d.ts +11 -0
- package/dist/runtime-v2/internalization/artifact-summary.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/artifact-summary.js.map +1 -1
- package/dist/runtime-v2/internalization/artificer-prompt-builder.d.ts +67 -15
- package/dist/runtime-v2/internalization/artificer-prompt-builder.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/artificer-prompt-builder.js +119 -4
- package/dist/runtime-v2/internalization/artificer-prompt-builder.js.map +1 -1
- package/dist/runtime-v2/internalization/artificer-runner.d.ts +12 -0
- package/dist/runtime-v2/internalization/artificer-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/artificer-runner.js +102 -158
- package/dist/runtime-v2/internalization/artificer-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/diag-distiller-runner.d.ts +1 -1
- package/dist/runtime-v2/internalization/diag-distiller-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/diag-distiller-runner.js +2 -19
- package/dist/runtime-v2/internalization/diag-distiller-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/diag-rootcause-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/diag-rootcause-runner.js +1 -5
- package/dist/runtime-v2/internalization/diag-rootcause-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/diag-router-runner.d.ts +1 -1
- package/dist/runtime-v2/internalization/diag-router-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/diag-router-runner.js +9 -32
- package/dist/runtime-v2/internalization/diag-router-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/dreamer-runner.d.ts +1 -9
- package/dist/runtime-v2/internalization/dreamer-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/dreamer-runner.js +4 -35
- package/dist/runtime-v2/internalization/dreamer-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/evaluator-runner.d.ts +3 -54
- package/dist/runtime-v2/internalization/evaluator-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/evaluator-runner.js +37 -230
- package/dist/runtime-v2/internalization/evaluator-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/formation-context.d.ts +208 -0
- package/dist/runtime-v2/internalization/formation-context.d.ts.map +1 -0
- package/dist/runtime-v2/internalization/formation-context.js +621 -0
- package/dist/runtime-v2/internalization/formation-context.js.map +1 -0
- package/dist/runtime-v2/internalization/index.d.ts +0 -2
- package/dist/runtime-v2/internalization/index.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/index.js +0 -2
- package/dist/runtime-v2/internalization/index.js.map +1 -1
- package/dist/runtime-v2/internalization/philosopher-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/philosopher-runner.js +1 -25
- package/dist/runtime-v2/internalization/philosopher-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/refiner-sandbox-wrapper.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/refiner-sandbox-wrapper.js +25 -1
- package/dist/runtime-v2/internalization/refiner-sandbox-wrapper.js.map +1 -1
- package/dist/runtime-v2/internalization/scribe-prompt-builder.d.ts +53 -1
- package/dist/runtime-v2/internalization/scribe-prompt-builder.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/scribe-prompt-builder.js +65 -3
- package/dist/runtime-v2/internalization/scribe-prompt-builder.js.map +1 -1
- package/dist/runtime-v2/internalization/scribe-runner.d.ts +17 -0
- package/dist/runtime-v2/internalization/scribe-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/scribe-runner.js +58 -40
- package/dist/runtime-v2/internalization/scribe-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/split-diagnostician-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/split-diagnostician-runner.js +13 -2
- package/dist/runtime-v2/internalization/split-diagnostician-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/v2-adversarial-cases.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/v2-adversarial-cases.js +25 -2
- package/dist/runtime-v2/internalization/v2-adversarial-cases.js.map +1 -1
- package/dist/runtime-v2/observer/__tests__/agent-scheduler.test.js +31 -21
- package/dist/runtime-v2/observer/__tests__/agent-scheduler.test.js.map +1 -1
- package/dist/runtime-v2/observer/agent-scheduler.d.ts +0 -5
- package/dist/runtime-v2/observer/agent-scheduler.d.ts.map +1 -1
- package/dist/runtime-v2/owner-decision/__tests__/owner-decision-view.test.d.ts +2 -0
- package/dist/runtime-v2/owner-decision/__tests__/owner-decision-view.test.d.ts.map +1 -0
- package/dist/runtime-v2/owner-decision/__tests__/owner-decision-view.test.js +559 -0
- package/dist/runtime-v2/owner-decision/__tests__/owner-decision-view.test.js.map +1 -0
- package/dist/runtime-v2/owner-decision/owner-decision-view-contract.d.ts +7868 -0
- package/dist/runtime-v2/owner-decision/owner-decision-view-contract.d.ts.map +1 -0
- package/dist/runtime-v2/owner-decision/owner-decision-view-contract.js +367 -0
- package/dist/runtime-v2/owner-decision/owner-decision-view-contract.js.map +1 -0
- package/dist/runtime-v2/owner-decision/owner-decision-view.d.ts +415 -0
- package/dist/runtime-v2/owner-decision/owner-decision-view.d.ts.map +1 -0
- package/dist/runtime-v2/owner-decision/owner-decision-view.js +856 -0
- package/dist/runtime-v2/owner-decision/owner-decision-view.js.map +1 -0
- package/dist/runtime-v2/owner-decision/semantic-selector.d.ts +72 -0
- package/dist/runtime-v2/owner-decision/semantic-selector.d.ts.map +1 -0
- package/dist/runtime-v2/owner-decision/semantic-selector.js +176 -0
- package/dist/runtime-v2/owner-decision/semantic-selector.js.map +1 -0
- package/dist/runtime-v2/runner/base-peer-runner.d.ts +0 -125
- package/dist/runtime-v2/runner/base-peer-runner.d.ts.map +1 -1
- package/dist/runtime-v2/runner/base-peer-runner.js +0 -323
- package/dist/runtime-v2/runner/base-peer-runner.js.map +1 -1
- package/dist/runtime-v2/runner/peer-runner-types.d.ts +0 -12
- package/dist/runtime-v2/runner/peer-runner-types.d.ts.map +1 -1
- package/dist/runtime-v2/signal-collector/types.d.ts +0 -12
- package/dist/runtime-v2/signal-collector/types.d.ts.map +1 -1
- package/dist/runtime-v2/signal-collector/types.js.map +1 -1
- package/dist/runtime-v2/tools/artificer-l2-tool-contract.d.ts.map +1 -1
- package/dist/runtime-v2/tools/artificer-l2-tool-contract.js +10 -0
- package/dist/runtime-v2/tools/artificer-l2-tool-contract.js.map +1 -1
- package/dist/runtime-v2/types/event-types.d.ts +9 -0
- package/dist/runtime-v2/types/event-types.d.ts.map +1 -1
- package/dist/runtime-v2/types/event-types.js +12 -0
- package/dist/runtime-v2/types/event-types.js.map +1 -1
- package/dist/telemetry-event.d.ts +2 -2
- package/dist/telemetry-event.d.ts.map +1 -1
- package/dist/telemetry-event.js +7 -84
- package/dist/telemetry-event.js.map +1 -1
- package/package.json +1 -1
- package/dist/runtime-v2/feature-flags/__tests__/artifact-summary-redundancy-flag.test.d.ts +0 -15
- package/dist/runtime-v2/feature-flags/__tests__/artifact-summary-redundancy-flag.test.d.ts.map +0 -1
- package/dist/runtime-v2/feature-flags/__tests__/artifact-summary-redundancy-flag.test.js +0 -90
- package/dist/runtime-v2/feature-flags/__tests__/artifact-summary-redundancy-flag.test.js.map +0 -1
- package/dist/runtime-v2/feature-flags/__tests__/context-manifest-budget-flag.test.d.ts +0 -12
- package/dist/runtime-v2/feature-flags/__tests__/context-manifest-budget-flag.test.d.ts.map +0 -1
- package/dist/runtime-v2/feature-flags/__tests__/context-manifest-budget-flag.test.js +0 -117
- package/dist/runtime-v2/feature-flags/__tests__/context-manifest-budget-flag.test.js.map +0 -1
- package/dist/runtime-v2/feature-flags/__tests__/progressive-evaluator-flag.test.d.ts +0 -8
- package/dist/runtime-v2/feature-flags/__tests__/progressive-evaluator-flag.test.d.ts.map +0 -1
- package/dist/runtime-v2/feature-flags/__tests__/progressive-evaluator-flag.test.js +0 -56
- package/dist/runtime-v2/feature-flags/__tests__/progressive-evaluator-flag.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/candidate-lineage.pri717.test.d.ts +0 -26
- package/dist/runtime-v2/internalization/__tests__/candidate-lineage.pri717.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/candidate-lineage.pri717.test.js +0 -420
- package/dist/runtime-v2/internalization/__tests__/candidate-lineage.pri717.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/candidate-lineage.property.test.d.ts +0 -15
- package/dist/runtime-v2/internalization/__tests__/candidate-lineage.property.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/candidate-lineage.property.test.js +0 -306
- package/dist/runtime-v2/internalization/__tests__/candidate-lineage.property.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/context-manifest.property.test.d.ts +0 -12
- package/dist/runtime-v2/internalization/__tests__/context-manifest.property.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/context-manifest.property.test.js +0 -176
- package/dist/runtime-v2/internalization/__tests__/context-manifest.property.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/context-resolution.test.d.ts +0 -2
- package/dist/runtime-v2/internalization/__tests__/context-resolution.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/context-resolution.test.js +0 -377
- package/dist/runtime-v2/internalization/__tests__/context-resolution.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.d.ts +0 -22
- package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.js +0 -92
- package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-spike.test.d.ts +0 -2
- package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-spike.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-spike.test.js +0 -1039
- package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-spike.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/progressive-evaluator-stage-isolation.property.test.d.ts +0 -13
- package/dist/runtime-v2/internalization/__tests__/progressive-evaluator-stage-isolation.property.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/progressive-evaluator-stage-isolation.property.test.js +0 -257
- package/dist/runtime-v2/internalization/__tests__/progressive-evaluator-stage-isolation.property.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/progressive-evaluator.property.test.d.ts +0 -11
- package/dist/runtime-v2/internalization/__tests__/progressive-evaluator.property.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/progressive-evaluator.property.test.js +0 -154
- package/dist/runtime-v2/internalization/__tests__/progressive-evaluator.property.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/prompt-budget-manager.property.test.d.ts +0 -12
- package/dist/runtime-v2/internalization/__tests__/prompt-budget-manager.property.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/prompt-budget-manager.property.test.js +0 -254
- package/dist/runtime-v2/internalization/__tests__/prompt-budget-manager.property.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/resolve-injection.property.test.d.ts +0 -15
- package/dist/runtime-v2/internalization/__tests__/resolve-injection.property.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/resolve-injection.property.test.js +0 -150
- package/dist/runtime-v2/internalization/__tests__/resolve-injection.property.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/shared-information-plane-runner.test.d.ts +0 -2
- package/dist/runtime-v2/internalization/__tests__/shared-information-plane-runner.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/shared-information-plane-runner.test.js +0 -773
- package/dist/runtime-v2/internalization/__tests__/shared-information-plane-runner.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/summary-chain-flow.property.test.d.ts +0 -22
- package/dist/runtime-v2/internalization/__tests__/summary-chain-flow.property.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/summary-chain-flow.property.test.js +0 -280
- package/dist/runtime-v2/internalization/__tests__/summary-chain-flow.property.test.js.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/summary-envelope-writer.property.test.d.ts +0 -25
- package/dist/runtime-v2/internalization/__tests__/summary-envelope-writer.property.test.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/__tests__/summary-envelope-writer.property.test.js +0 -413
- package/dist/runtime-v2/internalization/__tests__/summary-envelope-writer.property.test.js.map +0 -1
- package/dist/runtime-v2/internalization/attach-summary-envelope.d.ts +0 -60
- package/dist/runtime-v2/internalization/attach-summary-envelope.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/attach-summary-envelope.js +0 -126
- package/dist/runtime-v2/internalization/attach-summary-envelope.js.map +0 -1
- package/dist/runtime-v2/internalization/candidate-lineage.d.ts +0 -185
- package/dist/runtime-v2/internalization/candidate-lineage.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/candidate-lineage.js +0 -357
- package/dist/runtime-v2/internalization/candidate-lineage.js.map +0 -1
- package/dist/runtime-v2/internalization/context-manifest.d.ts +0 -117
- package/dist/runtime-v2/internalization/context-manifest.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/context-manifest.js +0 -156
- package/dist/runtime-v2/internalization/context-manifest.js.map +0 -1
- package/dist/runtime-v2/internalization/context-manifests.d.ts +0 -148
- package/dist/runtime-v2/internalization/context-manifests.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/context-manifests.js +0 -323
- package/dist/runtime-v2/internalization/context-manifests.js.map +0 -1
- package/dist/runtime-v2/internalization/context-resolution.d.ts +0 -189
- package/dist/runtime-v2/internalization/context-resolution.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/context-resolution.js +0 -317
- package/dist/runtime-v2/internalization/context-resolution.js.map +0 -1
- package/dist/runtime-v2/internalization/progressive-evaluator.d.ts +0 -115
- package/dist/runtime-v2/internalization/progressive-evaluator.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/progressive-evaluator.js +0 -248
- package/dist/runtime-v2/internalization/progressive-evaluator.js.map +0 -1
- package/dist/runtime-v2/internalization/prompt-budget-manager.d.ts +0 -90
- package/dist/runtime-v2/internalization/prompt-budget-manager.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/prompt-budget-manager.js +0 -149
- package/dist/runtime-v2/internalization/prompt-budget-manager.js.map +0 -1
- package/dist/runtime-v2/internalization/resolve-injection.d.ts +0 -62
- package/dist/runtime-v2/internalization/resolve-injection.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/resolve-injection.js +0 -78
- package/dist/runtime-v2/internalization/resolve-injection.js.map +0 -1
- package/dist/runtime-v2/internalization/summary-field-reader.d.ts +0 -38
- package/dist/runtime-v2/internalization/summary-field-reader.d.ts.map +0 -1
- package/dist/runtime-v2/internalization/summary-field-reader.js +0 -108
- package/dist/runtime-v2/internalization/summary-field-reader.js.map +0 -1
- package/dist/runtime-v2/observer/__tests__/empathy-observer.real-e2e.test.d.ts +0 -2
- package/dist/runtime-v2/observer/__tests__/empathy-observer.real-e2e.test.d.ts.map +0 -1
- package/dist/runtime-v2/observer/__tests__/empathy-observer.real-e2e.test.js +0 -74
- package/dist/runtime-v2/observer/__tests__/empathy-observer.real-e2e.test.js.map +0 -1
- package/dist/runtime-v2/observer/__tests__/empathy-observer.test.d.ts +0 -2
- package/dist/runtime-v2/observer/__tests__/empathy-observer.test.d.ts.map +0 -1
- package/dist/runtime-v2/observer/__tests__/empathy-observer.test.js +0 -85
- package/dist/runtime-v2/observer/__tests__/empathy-observer.test.js.map +0 -1
- package/dist/runtime-v2/observer/empathy-observer.d.ts +0 -41
- package/dist/runtime-v2/observer/empathy-observer.d.ts.map +0 -1
- package/dist/runtime-v2/observer/empathy-observer.js +0 -104
- package/dist/runtime-v2/observer/empathy-observer.js.map +0 -1
|
@@ -1,306 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Property tests for CandidateLineage (design §6.4, tasks 7.3–7.6).
|
|
3
|
-
*
|
|
4
|
-
* CP-17: stage attribution is determined solely by taskKind (not artifactKind)
|
|
5
|
-
* CP-18: lineage cache idempotency (each artifactId fetched at most once)
|
|
6
|
-
* CP-19: lineage error classification (corruption vs expected-absence)
|
|
7
|
-
* CP-20: lineage failures are never swallowed (caller must surface them)
|
|
8
|
-
*
|
|
9
|
-
* Uses stub artifact store + task reader (no real I/O).
|
|
10
|
-
*
|
|
11
|
-
* @see .kiro/specs/internalization-progressive-disclosure/design.md §6.4
|
|
12
|
-
* @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirement 6
|
|
13
|
-
*/
|
|
14
|
-
import { describe, it, expect } from 'vitest';
|
|
15
|
-
import fc from 'fast-check';
|
|
16
|
-
import { CandidateLineage, } from '../candidate-lineage.js';
|
|
17
|
-
function makeStub(artifacts, tasks) {
|
|
18
|
-
const artifactMap = new Map(artifacts.map((a) => [a.artifactId, a]));
|
|
19
|
-
const taskMap = new Map(tasks.map((t) => [t.taskId, t]));
|
|
20
|
-
const artifactReads = new Map();
|
|
21
|
-
const taskReads = new Map();
|
|
22
|
-
const events = [];
|
|
23
|
-
return { artifacts: artifactMap, tasks: taskMap, artifactReads, taskReads, events };
|
|
24
|
-
}
|
|
25
|
-
function makeArtifact(artifactId, sourceTaskId, lineageArtifactIds = [], contentJson = { data: 'test' }, artifactKind = 'principle') {
|
|
26
|
-
return {
|
|
27
|
-
artifactId,
|
|
28
|
-
artifactKind,
|
|
29
|
-
sourceTaskId,
|
|
30
|
-
lineageArtifactIds,
|
|
31
|
-
validationStatus: 'validated',
|
|
32
|
-
contentJson: typeof contentJson === 'string' ? contentJson : JSON.stringify(contentJson),
|
|
33
|
-
createdAt: '2026-01-01T00:00:00Z',
|
|
34
|
-
updatedAt: '2026-01-01T00:00:00Z',
|
|
35
|
-
};
|
|
36
|
-
}
|
|
37
|
-
function makeLineage(deps, maxDepth) {
|
|
38
|
-
const artifactStore = {
|
|
39
|
-
getArtifactById: async (id) => {
|
|
40
|
-
deps.artifactReads.set(id, (deps.artifactReads.get(id) ?? 0) + 1);
|
|
41
|
-
return deps.artifacts.get(id) ?? null;
|
|
42
|
-
},
|
|
43
|
-
listBySourceTaskId: async (taskId) => [...deps.artifacts.values()].filter((a) => a.sourceTaskId === taskId),
|
|
44
|
-
};
|
|
45
|
-
const taskReader = {
|
|
46
|
-
getTaskById: async (id) => {
|
|
47
|
-
deps.taskReads.set(id, (deps.taskReads.get(id) ?? 0) + 1);
|
|
48
|
-
return deps.tasks.get(id) ?? null;
|
|
49
|
-
},
|
|
50
|
-
};
|
|
51
|
-
return new CandidateLineage({
|
|
52
|
-
artifacts: artifactStore,
|
|
53
|
-
tasks: taskReader,
|
|
54
|
-
maxDepth,
|
|
55
|
-
emit: (e) => deps.events.push(e),
|
|
56
|
-
});
|
|
57
|
-
}
|
|
58
|
-
// ── CP-17: stage by taskKind only ────────────────────────────────────────────
|
|
59
|
-
describe('CP-17 — stage attribution determined solely by taskKind (F1)', () => {
|
|
60
|
-
it('artifactKind is irrelevant: same taskKind → same runnerKind regardless of artifactKind', async () => {
|
|
61
|
-
const artifactKinds = ['principle', 'rule', 'skill', 'patch'];
|
|
62
|
-
for (const kind of artifactKinds) {
|
|
63
|
-
const deps = makeStub([makeArtifact('art-1', 'task-1', [], { x: 1 }, kind)], [{ taskId: 'task-1', taskKind: 'dreamer' }]);
|
|
64
|
-
const lineage = makeLineage(deps);
|
|
65
|
-
const result = await lineage.resolve('art-1');
|
|
66
|
-
expect(result.ok).toBe(true);
|
|
67
|
-
if (result.ok) {
|
|
68
|
-
expect(result.value.nodes[0]?.runnerKind).toBe('dreamer');
|
|
69
|
-
expect(result.value.nodes[0]?.taskKind).toBe('dreamer');
|
|
70
|
-
}
|
|
71
|
-
}
|
|
72
|
-
});
|
|
73
|
-
it('property: artifactKind randomly mismatched with real stage → runnerKind still follows taskKind', async () => {
|
|
74
|
-
await fc.assert(fc.asyncProperty(fc.constantFrom('principle', 'rule', 'skill', 'patch'), fc.constantFrom('dreamer', 'scribe', 'artificer', 'evaluator', 'diag_router'), async (artifactKind, taskKind) => {
|
|
75
|
-
const deps = makeStub([makeArtifact('art-prop', 'task-prop', [], { v: 1 }, artifactKind)], [{ taskId: 'task-prop', taskKind }]);
|
|
76
|
-
const lineage = makeLineage(deps);
|
|
77
|
-
const result = await lineage.resolve('art-prop');
|
|
78
|
-
if (result.ok) {
|
|
79
|
-
expect(result.value.nodes[0]?.taskKind).toBe(taskKind);
|
|
80
|
-
}
|
|
81
|
-
}), { numRuns: 40 });
|
|
82
|
-
});
|
|
83
|
-
});
|
|
84
|
-
// ── CP-18: cache idempotency ─────────────────────────────────────────────────
|
|
85
|
-
describe('CP-18 — lineage cache idempotency', () => {
|
|
86
|
-
it('each artifactId is fetched from the store at most once', async () => {
|
|
87
|
-
// Diamond: A → B, A → C, B → D, C → D (D reachable via two paths).
|
|
88
|
-
const artifacts = [
|
|
89
|
-
makeArtifact('A', 'task-A', ['B', 'C']),
|
|
90
|
-
makeArtifact('B', 'task-B', ['D']),
|
|
91
|
-
makeArtifact('C', 'task-C', ['D']),
|
|
92
|
-
makeArtifact('D', 'task-D', []),
|
|
93
|
-
];
|
|
94
|
-
const tasks = ['A', 'B', 'C', 'D'].map((t) => ({ taskId: `task-${t}`, taskKind: 'dreamer' }));
|
|
95
|
-
const deps = makeStub(artifacts, tasks);
|
|
96
|
-
const lineage = makeLineage(deps);
|
|
97
|
-
const r1 = await lineage.resolve('A');
|
|
98
|
-
const r2 = await lineage.resolve('A');
|
|
99
|
-
expect(r1.ok).toBe(true);
|
|
100
|
-
expect(r2.ok).toBe(true);
|
|
101
|
-
// Each artifact fetched exactly once across both resolve calls (cached).
|
|
102
|
-
for (const id of ['A', 'B', 'C', 'D']) {
|
|
103
|
-
expect(deps.artifactReads.get(id) ?? 0).toBe(1);
|
|
104
|
-
}
|
|
105
|
-
});
|
|
106
|
-
it('repeated resolve returns identical results', async () => {
|
|
107
|
-
const artifacts = [
|
|
108
|
-
makeArtifact('X', 'task-X', ['Y']),
|
|
109
|
-
makeArtifact('Y', 'task-Y', []),
|
|
110
|
-
];
|
|
111
|
-
const tasks = [{ taskId: 'task-X', taskKind: 'dreamer' }, { taskId: 'task-Y', taskKind: 'scribe' }];
|
|
112
|
-
const deps = makeStub(artifacts, tasks);
|
|
113
|
-
const lineage = makeLineage(deps);
|
|
114
|
-
const r1 = await lineage.resolve('X');
|
|
115
|
-
const r2 = await lineage.resolve('X');
|
|
116
|
-
expect(JSON.stringify(r1)).toBe(JSON.stringify(r2));
|
|
117
|
-
});
|
|
118
|
-
it('findAncestorByTaskKind also uses the cache (no extra store reads)', async () => {
|
|
119
|
-
const artifacts = [
|
|
120
|
-
makeArtifact('P', 'task-P', ['Q']),
|
|
121
|
-
makeArtifact('Q', 'task-Q', []),
|
|
122
|
-
];
|
|
123
|
-
const tasks = [
|
|
124
|
-
{ taskId: 'task-P', taskKind: 'evaluator' },
|
|
125
|
-
{ taskId: 'task-Q', taskKind: 'dreamer' },
|
|
126
|
-
];
|
|
127
|
-
const deps = makeStub(artifacts, tasks);
|
|
128
|
-
const lineage = makeLineage(deps);
|
|
129
|
-
await lineage.resolve('P');
|
|
130
|
-
await lineage.findAncestorByTaskKind('P', 'dreamer');
|
|
131
|
-
for (const id of ['P', 'Q']) {
|
|
132
|
-
expect(deps.artifactReads.get(id) ?? 0).toBe(1);
|
|
133
|
-
}
|
|
134
|
-
});
|
|
135
|
-
});
|
|
136
|
-
// ── CP-19: error classification ──────────────────────────────────────────────
|
|
137
|
-
describe('CP-19 — lineage error classification', () => {
|
|
138
|
-
it('contentJson unparseable → ok:false + content_json_unparseable + lineage_data_corrupt', async () => {
|
|
139
|
-
const deps = makeStub([makeArtifact('bad', 'task-1', [], '{not valid json')], [{ taskId: 'task-1', taskKind: 'dreamer' }]);
|
|
140
|
-
const lineage = makeLineage(deps);
|
|
141
|
-
const result = await lineage.resolve('bad');
|
|
142
|
-
expect(result.ok).toBe(false);
|
|
143
|
-
if (!result.ok)
|
|
144
|
-
expect(result.error.kind).toBe('content_json_unparseable');
|
|
145
|
-
expect(deps.events.some((e) => e.type === 'lineage_data_corrupt')).toBe(true);
|
|
146
|
-
});
|
|
147
|
-
it('artifact missing sourceTaskId → ok:false + artifact_shape_invalid', async () => {
|
|
148
|
-
const badArtifact = {
|
|
149
|
-
...makeArtifact('shapeless', 'task-1', []),
|
|
150
|
-
sourceTaskId: '',
|
|
151
|
-
};
|
|
152
|
-
const deps = makeStub([badArtifact], [{ taskId: 'task-1', taskKind: 'dreamer' }]);
|
|
153
|
-
const lineage = makeLineage(deps);
|
|
154
|
-
const result = await lineage.resolve('shapeless');
|
|
155
|
-
expect(result.ok).toBe(false);
|
|
156
|
-
if (!result.ok)
|
|
157
|
-
expect(result.error.kind).toBe('artifact_shape_invalid');
|
|
158
|
-
});
|
|
159
|
-
it('store throws → ok:false + store_failure + lineage_store_failure', async () => {
|
|
160
|
-
const deps = makeStub([], []);
|
|
161
|
-
const failingStore = {
|
|
162
|
-
getArtifactById: async () => { throw new Error('db connection lost'); },
|
|
163
|
-
listBySourceTaskId: async () => { throw new Error('db connection lost'); },
|
|
164
|
-
};
|
|
165
|
-
const lineage = new CandidateLineage({
|
|
166
|
-
artifacts: failingStore,
|
|
167
|
-
tasks: { getTaskById: async () => null },
|
|
168
|
-
emit: (e) => deps.events.push(e),
|
|
169
|
-
});
|
|
170
|
-
const result = await lineage.resolve('any');
|
|
171
|
-
expect(result.ok).toBe(false);
|
|
172
|
-
if (!result.ok)
|
|
173
|
-
expect(result.error.kind).toBe('store_failure');
|
|
174
|
-
expect(deps.events.some((e) => e.type === 'lineage_store_failure')).toBe(true);
|
|
175
|
-
});
|
|
176
|
-
it('ancestor pruned (referenced but absent) → ok:true + partial + ancestor_pruned note', async () => {
|
|
177
|
-
const deps = makeStub([makeArtifact('start', 'task-1', ['ghost'])], // 'ghost' not in store
|
|
178
|
-
[{ taskId: 'task-1', taskKind: 'dreamer' }]);
|
|
179
|
-
const lineage = makeLineage(deps);
|
|
180
|
-
const result = await lineage.resolve('start');
|
|
181
|
-
expect(result.ok).toBe(true);
|
|
182
|
-
if (result.ok) {
|
|
183
|
-
expect(result.value.complete).toBe(false);
|
|
184
|
-
expect(result.value.notes.some((n) => n.code === 'ancestor_pruned')).toBe(true);
|
|
185
|
-
}
|
|
186
|
-
});
|
|
187
|
-
it('task missing → ok:true + partial + task_missing note + runnerKind unknown', async () => {
|
|
188
|
-
const deps = makeStub([makeArtifact('orphan', 'task-gone', [])], []);
|
|
189
|
-
const lineage = makeLineage(deps);
|
|
190
|
-
const result = await lineage.resolve('orphan');
|
|
191
|
-
expect(result.ok).toBe(true);
|
|
192
|
-
if (result.ok) {
|
|
193
|
-
expect(result.value.complete).toBe(false);
|
|
194
|
-
expect(result.value.nodes[0]?.runnerKind).toBe('unknown');
|
|
195
|
-
expect(result.value.notes.some((n) => n.code === 'task_missing')).toBe(true);
|
|
196
|
-
}
|
|
197
|
-
});
|
|
198
|
-
it('depth limit → ok:true + partial + depth_limit_reached note', async () => {
|
|
199
|
-
// Chain longer than maxDepth=2.
|
|
200
|
-
const artifacts = [
|
|
201
|
-
makeArtifact('n0', 't0', ['n1']),
|
|
202
|
-
makeArtifact('n1', 't1', ['n2']),
|
|
203
|
-
makeArtifact('n2', 't2', ['n3']),
|
|
204
|
-
makeArtifact('n3', 't3', []),
|
|
205
|
-
];
|
|
206
|
-
const tasks = [0, 1, 2, 3].map((i) => ({ taskId: `t${i}`, taskKind: 'dreamer' }));
|
|
207
|
-
const deps = makeStub(artifacts, tasks);
|
|
208
|
-
const lineage = makeLineage(deps, 2);
|
|
209
|
-
const result = await lineage.resolve('n0');
|
|
210
|
-
expect(result.ok).toBe(true);
|
|
211
|
-
if (result.ok) {
|
|
212
|
-
expect(result.value.complete).toBe(false);
|
|
213
|
-
expect(result.value.notes.some((n) => n.code === 'depth_limit_reached')).toBe(true);
|
|
214
|
-
}
|
|
215
|
-
});
|
|
216
|
-
it('cycle → ok:true + partial + cycle_detected note', async () => {
|
|
217
|
-
// A → B → A (cycle).
|
|
218
|
-
const artifacts = [
|
|
219
|
-
makeArtifact('cyc-A', 't-A', ['cyc-B']),
|
|
220
|
-
makeArtifact('cyc-B', 't-B', ['cyc-A']),
|
|
221
|
-
];
|
|
222
|
-
const tasks = [{ taskId: 't-A', taskKind: 'dreamer' }, { taskId: 't-B', taskKind: 'scribe' }];
|
|
223
|
-
const deps = makeStub(artifacts, tasks);
|
|
224
|
-
const lineage = makeLineage(deps);
|
|
225
|
-
const result = await lineage.resolve('cyc-A');
|
|
226
|
-
expect(result.ok).toBe(true);
|
|
227
|
-
if (result.ok) {
|
|
228
|
-
expect(result.value.notes.some((n) => n.code === 'cycle_detected')).toBe(true);
|
|
229
|
-
}
|
|
230
|
-
});
|
|
231
|
-
it('complete chain (no issues) → ok:true + complete + empty notes', async () => {
|
|
232
|
-
const artifacts = [
|
|
233
|
-
makeArtifact('ok-1', 't-1', ['ok-2']),
|
|
234
|
-
makeArtifact('ok-2', 't-2', []),
|
|
235
|
-
];
|
|
236
|
-
const tasks = [{ taskId: 't-1', taskKind: 'dreamer' }, { taskId: 't-2', taskKind: 'scribe' }];
|
|
237
|
-
const deps = makeStub(artifacts, tasks);
|
|
238
|
-
const lineage = makeLineage(deps);
|
|
239
|
-
const result = await lineage.resolve('ok-1');
|
|
240
|
-
expect(result.ok).toBe(true);
|
|
241
|
-
if (result.ok) {
|
|
242
|
-
expect(result.value.complete).toBe(true);
|
|
243
|
-
expect(result.value.notes).toHaveLength(0);
|
|
244
|
-
expect(result.value.nodes).toHaveLength(2);
|
|
245
|
-
}
|
|
246
|
-
});
|
|
247
|
-
it('findAncestorByTaskKind miss → ok:true + node null', async () => {
|
|
248
|
-
const artifacts = [makeArtifact('solo', 't-1', [])];
|
|
249
|
-
const tasks = [{ taskId: 't-1', taskKind: 'dreamer' }];
|
|
250
|
-
const deps = makeStub(artifacts, tasks);
|
|
251
|
-
const lineage = makeLineage(deps);
|
|
252
|
-
const result = await lineage.findAncestorByTaskKind('solo', 'evaluator');
|
|
253
|
-
expect(result.ok).toBe(true);
|
|
254
|
-
if (result.ok)
|
|
255
|
-
expect(result.node).toBeNull();
|
|
256
|
-
});
|
|
257
|
-
it('contentJson stays unknown (not narrowed) on the returned node', async () => {
|
|
258
|
-
const deps = makeStub([makeArtifact('unk', 't-1', [], { complex: { nested: [1, 2] } })], [{ taskId: 't-1', taskKind: 'dreamer' }]);
|
|
259
|
-
const lineage = makeLineage(deps);
|
|
260
|
-
const result = await lineage.resolve('unk');
|
|
261
|
-
if (result.ok) {
|
|
262
|
-
// contentJson is typed `unknown` — we verify it's an object but the type
|
|
263
|
-
// system guarantees it was never cast to a specific shape.
|
|
264
|
-
expect(typeof result.value.nodes[0]?.contentJson).toBe('object');
|
|
265
|
-
}
|
|
266
|
-
});
|
|
267
|
-
});
|
|
268
|
-
// ── CP-20: failures never swallowed ──────────────────────────────────────────
|
|
269
|
-
describe('CP-20 — lineage failures never swallowed', () => {
|
|
270
|
-
it('all three LineageError kinds produce ok:false (never a silent ok:true)', async () => {
|
|
271
|
-
// content_json_unparseable
|
|
272
|
-
const r1 = await makeLineage(makeStub([makeArtifact('a', 't', [], 'bad{json')], [{ taskId: 't', taskKind: 'dreamer' }])).resolve('a');
|
|
273
|
-
expect(r1.ok).toBe(false);
|
|
274
|
-
// artifact_shape_invalid
|
|
275
|
-
const r2 = await makeLineage(makeStub([{ ...makeArtifact('b', 't', []), sourceTaskId: '' }], [{ taskId: 't', taskKind: 'dreamer' }])).resolve('b');
|
|
276
|
-
expect(r2.ok).toBe(false);
|
|
277
|
-
// store_failure
|
|
278
|
-
const r3 = await new CandidateLineage({
|
|
279
|
-
artifacts: {
|
|
280
|
-
getArtifactById: async () => { throw new Error('boom'); },
|
|
281
|
-
listBySourceTaskId: async () => { throw new Error('boom'); },
|
|
282
|
-
},
|
|
283
|
-
tasks: { getTaskById: async () => null },
|
|
284
|
-
}).resolve('c');
|
|
285
|
-
expect(r3.ok).toBe(false);
|
|
286
|
-
});
|
|
287
|
-
it('every ok:false result has a non-empty error.kind (no generic "unknown" failure)', async () => {
|
|
288
|
-
const results = [];
|
|
289
|
-
// Run all three failure modes.
|
|
290
|
-
for (const setup of [
|
|
291
|
-
{ art: makeArtifact('x', 't', [], 'bad'), task: { taskId: 't', taskKind: 'dreamer' } },
|
|
292
|
-
{ art: { ...makeArtifact('y', 't', []), sourceTaskId: '' }, task: { taskId: 't', taskKind: 'dreamer' } },
|
|
293
|
-
]) {
|
|
294
|
-
const r = await makeLineage(makeStub([setup.art], [setup.task])).resolve(setup.art.artifactId);
|
|
295
|
-
results.push(r);
|
|
296
|
-
}
|
|
297
|
-
for (const r of results) {
|
|
298
|
-
expect(r.ok).toBe(false);
|
|
299
|
-
if (!r.ok) {
|
|
300
|
-
// error.kind is one of the three known kinds — never empty or undefined.
|
|
301
|
-
expect(['content_json_unparseable', 'artifact_shape_invalid', 'store_failure']).toContain(r.error.kind);
|
|
302
|
-
}
|
|
303
|
-
}
|
|
304
|
-
});
|
|
305
|
-
});
|
|
306
|
-
//# sourceMappingURL=candidate-lineage.property.test.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"candidate-lineage.property.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/candidate-lineage.property.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EACL,gBAAgB,GAIjB,MAAM,yBAAyB,CAAC;AAajC,SAAS,QAAQ,CACf,SAAsC,EACtC,KAAsD;IAEtD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,YAAY,CACnB,UAAkB,EAClB,YAAoB,EACpB,kBAAkB,GAAa,EAAE,EACjC,WAAW,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,EACvC,YAAY,GAAmB,WAAW;IAE1C,OAAO;QACL,UAAU;QACV,YAAY;QACZ,YAAY;QACZ,kBAAkB;QAClB,gBAAgB,EAAE,WAAyC;QAC3D,WAAW,EAAE,OAAO,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;QACxF,SAAS,EAAE,sBAAsB;QACjC,SAAS,EAAE,sBAAsB;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAc,EAAE,QAAiB;IACpD,MAAM,aAAa,GAAoE;QACrF,eAAe,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;YACpC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClE,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;QACxC,CAAC;QACD,kBAAkB,EAAE,KAAK,EAAE,MAAc,EAAE,EAAE,CAC3C,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,CAAC;KACxE,CAAC;IACF,MAAM,UAAU,GAAsB;QACpC,WAAW,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;YAChC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;QACpC,CAAC;KACF,CAAC;IACF,OAAO,IAAI,gBAAgB,CAAC;QAC1B,SAAS,EAAE,aAAa;QACxB,KAAK,EAAE,UAAU;QACjB,QAAQ;QACR,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;KACjC,CAAC,CAAC;AACL,CAAC;AAED,gFAAgF;AAEhF,QAAQ,CAAC,8DAA8D,EAAE,GAAG,EAAE;IAC5E,EAAE,CAAC,wFAAwF,EAAE,KAAK,IAAI,EAAE;QACtG,MAAM,aAAa,GAA8B,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACzF,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,QAAQ,CACnB,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,EACrD,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAC5C,CAAC;YACF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAC9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC1D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gGAAgG,EAAE,KAAK,IAAI,EAAE;QAC9G,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,EACtD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,EAC7E,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE;YAC/B,MAAM,IAAI,GAAG,QAAQ,CACnB,CAAC,YAAY,CAAC,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,EACnE,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CACpC,CAAC;YACF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACjD,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACzD,CAAC;QACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;QACtE,mEAAmE;QACnE,MAAM,SAAS,GAAG;YAChB,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;YAClC,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;YAClC,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC;SAChC,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC9F,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAElC,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAEtC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,yEAAyE;QACzE,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,SAAS,GAAG;YAChB,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;YAClC,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC;SAChC,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QACpG,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAElC,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,SAAS,GAAG;YAChB,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;YAClC,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC;SAChC,CAAC;QACF,MAAM,KAAK,GAAG;YACZ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE;YAC3C,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE;SAC1C,CAAC;QACF,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAElC,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,OAAO,CAAC,sBAAsB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAErD,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,sFAAsF,EAAE,KAAK,IAAI,EAAE;QACpG,MAAM,IAAI,GAAG,QAAQ,CACnB,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC,EACtD,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAC5C,CAAC;QACF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAC3E,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,WAAW,GAAqB;YACpC,GAAG,YAAY,CAAC,WAAW,EAAE,QAAQ,EAAE,EAAE,CAAC;YAC1C,YAAY,EAAE,EAAE;SACjB,CAAC;QACF,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAClF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;QAC/E,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9B,MAAM,YAAY,GAAoE;YACpF,eAAe,EAAE,KAAK,IAAI,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;YACvE,kBAAkB,EAAE,KAAK,IAAI,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;SAC3E,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,gBAAgB,CAAC;YACnC,SAAS,EAAE,YAAY;YACvB,KAAK,EAAE,EAAE,WAAW,EAAE,KAAK,IAAI,EAAE,CAAC,IAAI,EAAE;YACxC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;SACjC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAChE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,KAAK,IAAI,EAAE;QAClG,MAAM,IAAI,GAAG,QAAQ,CACnB,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,uBAAuB;QACrE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAC5C,CAAC;QACF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;QACzF,MAAM,IAAI,GAAG,QAAQ,CACnB,CAAC,YAAY,CAAC,QAAQ,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,EACzC,EAAE,CACH,CAAC;QACF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC1D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QAC1E,gCAAgC;QAChC,MAAM,SAAS,GAAG;YAChB,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;YAChC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;YAChC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;YAChC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;SAC7B,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAClF,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;QAC/D,qBAAqB;QACrB,MAAM,SAAS,GAAG;YAChB,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;YACvC,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;SACxC,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9F,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,SAAS,GAAG;YAChB,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;YACrC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;SAChC,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9F,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QACjE,MAAM,SAAS,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,sBAAsB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACzE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,MAAM,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,IAAI,GAAG,QAAQ,CACnB,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EACjE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CACzC,CAAC;QACF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,yEAAyE;YACzE,2DAA2D;YAC3D,MAAM,CAAC,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,2BAA2B;QAC3B,MAAM,EAAE,GAAG,MAAM,WAAW,CAAC,QAAQ,CACnC,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,EACxC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CACvC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE1B,yBAAyB;QACzB,MAAM,EAAE,GAAG,MAAM,WAAW,CAAC,QAAQ,CACnC,CAAC,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,EACrD,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CACvC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE1B,gBAAgB;QAChB,MAAM,EAAE,GAAG,MAAM,IAAI,gBAAgB,CAAC;YACpC,SAAS,EAAE;gBACT,eAAe,EAAE,KAAK,IAAI,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBACzD,kBAAkB,EAAE,KAAK,IAAI,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;aAC7D;YACD,KAAK,EAAE,EAAE,WAAW,EAAE,KAAK,IAAI,EAAE,CAAC,IAAI,EAAE;SACzC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,KAAK,IAAI,EAAE;QAC/F,MAAM,OAAO,GAAoB,EAAE,CAAC;QACpC,+BAA+B;QAC/B,KAAK,MAAM,KAAK,IAAI;YAClB,EAAE,GAAG,EAAE,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE;YACtF,EAAE,GAAG,EAAE,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE;SACzG,EAAE,CAAC;YACF,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC/F,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,yEAAyE;gBACzE,MAAM,CAAC,CAAC,0BAA0B,EAAE,wBAAwB,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1G,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Property tests for ContextManifest well-formedness + ranking
|
|
3
|
-
* (design §6.2, §6.6.1, tasks 5.3–5.4).
|
|
4
|
-
*
|
|
5
|
-
* CP-12: manifest well-formedness (built-in manifests + synthetic generators)
|
|
6
|
-
* CP-13: unlisted fields sort last via rankOf
|
|
7
|
-
*
|
|
8
|
-
* @see .kiro/specs/internalization-progressive-disclosure/design.md §6.2, §6.6.1
|
|
9
|
-
* @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirement 4
|
|
10
|
-
*/
|
|
11
|
-
export {};
|
|
12
|
-
//# sourceMappingURL=context-manifest.property.test.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"context-manifest.property.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/context-manifest.property.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG"}
|
|
@@ -1,176 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Property tests for ContextManifest well-formedness + ranking
|
|
3
|
-
* (design §6.2, §6.6.1, tasks 5.3–5.4).
|
|
4
|
-
*
|
|
5
|
-
* CP-12: manifest well-formedness (built-in manifests + synthetic generators)
|
|
6
|
-
* CP-13: unlisted fields sort last via rankOf
|
|
7
|
-
*
|
|
8
|
-
* @see .kiro/specs/internalization-progressive-disclosure/design.md §6.2, §6.6.1
|
|
9
|
-
* @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirement 4
|
|
10
|
-
*/
|
|
11
|
-
import { describe, it, expect } from 'vitest';
|
|
12
|
-
import fc from 'fast-check';
|
|
13
|
-
import { CONTEXT_MANIFEST_SCHEMA_VERSION, validateManifest, rankOf, declaredFields, checkManifestCriterionAlignment, } from '../context-manifest.js';
|
|
14
|
-
import { BUILTIN_MANIFESTS, DREAMER_MANIFEST, SCRIBE_MANIFEST, ARTIFICER_MANIFEST, EVALUATOR_STAGE1_MANIFEST, EVALUATOR_STAGE2_MANIFEST, MANIFEST_RUNNER_KINDS, } from '../context-manifests.js';
|
|
15
|
-
import { DIMENSION_COVERAGE_POLICY, REQUIRED_FIDELITY_DIMENSIONS, ALL_DREAMER_DIMENSIONS, } from '../dimension-coverage-policy.js';
|
|
16
|
-
// ── CP-12: manifest well-formedness ──────────────────────────────────────────
|
|
17
|
-
describe('CP-12 — manifest well-formedness', () => {
|
|
18
|
-
it('BUILTIN_MANIFESTS has exactly 4 distinct runnerKinds (no diagnostic stage)', () => {
|
|
19
|
-
// dreamer, scribe, artificer, evaluator — never diag_rootcause/distiller/router
|
|
20
|
-
expect(MANIFEST_RUNNER_KINDS).toHaveLength(4);
|
|
21
|
-
expect(new Set(MANIFEST_RUNNER_KINDS)).toEqual(new Set(['dreamer', 'scribe', 'artificer', 'evaluator']));
|
|
22
|
-
for (const kind of MANIFEST_RUNNER_KINDS) {
|
|
23
|
-
expect(kind).not.toMatch(/^diag_/);
|
|
24
|
-
}
|
|
25
|
-
});
|
|
26
|
-
it('every built-in manifest is well-formed (non-adjudicator path)', () => {
|
|
27
|
-
for (const m of BUILTIN_MANIFESTS) {
|
|
28
|
-
// Pass isAdjudicator only for evaluator manifests.
|
|
29
|
-
const isAdj = m.runnerKind === 'evaluator';
|
|
30
|
-
const result = validateManifest(m, { isAdjudicator: isAdj });
|
|
31
|
-
expect(result.ok, `manifest ${m.manifestId}: ${result.ok ? '' : JSON.stringify(result.error)}`).toBe(true);
|
|
32
|
-
}
|
|
33
|
-
});
|
|
34
|
-
it('every built-in manifest has schemaVersion, positive budget, all-string tiers/priority', () => {
|
|
35
|
-
for (const m of BUILTIN_MANIFESTS) {
|
|
36
|
-
expect(m.schemaVersion).toBe(CONTEXT_MANIFEST_SCHEMA_VERSION);
|
|
37
|
-
expect(m.budgetTokens).toBeGreaterThan(0);
|
|
38
|
-
for (const arr of [m.tier0, m.tier1, m.tier2, m.priority]) {
|
|
39
|
-
for (const el of arr) {
|
|
40
|
-
expect(typeof el).toBe('string');
|
|
41
|
-
}
|
|
42
|
-
}
|
|
43
|
-
}
|
|
44
|
-
});
|
|
45
|
-
it('priority covers every declared field in every built-in manifest', () => {
|
|
46
|
-
// design §6.2: priority must cover tier0 ∪ tier1 ∪ tier2. The built-in
|
|
47
|
-
// manifests list every field explicitly.
|
|
48
|
-
for (const m of BUILTIN_MANIFESTS) {
|
|
49
|
-
const declared = new Set(declaredFields(m));
|
|
50
|
-
const priority = new Set(m.priority);
|
|
51
|
-
for (const path of declared) {
|
|
52
|
-
expect(priority.has(path), `${m.manifestId}: priority missing ${path}`).toBe(true);
|
|
53
|
-
}
|
|
54
|
-
}
|
|
55
|
-
});
|
|
56
|
-
it('budgetTokens not positive → validation fails', () => {
|
|
57
|
-
const bad = { ...DREAMER_MANIFEST, budgetTokens: 0 };
|
|
58
|
-
const result = validateManifest(bad);
|
|
59
|
-
expect(result.ok).toBe(false);
|
|
60
|
-
if (!result.ok)
|
|
61
|
-
expect(result.error.kind).toBe('budget_not_positive');
|
|
62
|
-
});
|
|
63
|
-
it('non-string element in a tier → validation fails (rc-4)', () => {
|
|
64
|
-
const bad = { ...DREAMER_MANIFEST, tier1: [...DREAMER_MANIFEST.tier1, 123] };
|
|
65
|
-
const result = validateManifest(bad);
|
|
66
|
-
expect(result.ok).toBe(false);
|
|
67
|
-
if (!result.ok)
|
|
68
|
-
expect(result.error.kind).toBe('non_string_element');
|
|
69
|
-
});
|
|
70
|
-
it('synthetic manifests with injected non-string elements are always rejected', () => {
|
|
71
|
-
const validBase = DREAMER_MANIFEST;
|
|
72
|
-
fc.assert(fc.property(fc.constantFrom('tier0', 'tier1', 'tier2', 'priority'), fc.oneof(fc.integer(), fc.boolean(), fc.constant(null), fc.constant(undefined)), (arrayName, badElement) => {
|
|
73
|
-
const arr = validBase[arrayName];
|
|
74
|
-
const corrupted = [...arr, badElement];
|
|
75
|
-
const manifest = { ...validBase, [arrayName]: corrupted };
|
|
76
|
-
const result = validateManifest(manifest);
|
|
77
|
-
expect(result.ok).toBe(false);
|
|
78
|
-
if (!result.ok)
|
|
79
|
-
expect(result.error.kind).toBe('non_string_element');
|
|
80
|
-
}), { numRuns: 60 });
|
|
81
|
-
});
|
|
82
|
-
});
|
|
83
|
-
// ── INV-MANIFEST-CRITERION (§6.6.1) ───────────────────────────────────────────
|
|
84
|
-
describe('INV-MANIFEST-CRITERION — adjudicator manifests inject all non-excluded dims', () => {
|
|
85
|
-
it('both evaluator stage manifests inject all 4 non-excluded dreamer dimensions', () => {
|
|
86
|
-
// strategicPerspective is excluded; the other 4 must be injectable.
|
|
87
|
-
for (const m of [EVALUATOR_STAGE1_MANIFEST, EVALUATOR_STAGE2_MANIFEST]) {
|
|
88
|
-
const allPaths = new Set([...m.tier0, ...m.tier1, ...m.tier2]);
|
|
89
|
-
for (const dim of ALL_DREAMER_DIMENSIONS) {
|
|
90
|
-
const path = `dreamer.summary.${dim}`;
|
|
91
|
-
if (DIMENSION_COVERAGE_POLICY[dim] === 'excluded') {
|
|
92
|
-
// excluded dims must NOT be injected (design §6.6.1).
|
|
93
|
-
expect(allPaths.has(path), `${m.manifestId} must not inject excluded ${path}`).toBe(false);
|
|
94
|
-
}
|
|
95
|
-
else {
|
|
96
|
-
expect(allPaths.has(path), `${m.manifestId} must inject ${path}`).toBe(true);
|
|
97
|
-
}
|
|
98
|
-
}
|
|
99
|
-
}
|
|
100
|
-
});
|
|
101
|
-
it('promoting an excluded dim to required without adding its path fails alignment', () => {
|
|
102
|
-
// Simulate the regression: take STAGE1 (valid), drop dreamer.summary.riskLevel,
|
|
103
|
-
// and check alignment catches it.
|
|
104
|
-
const tampered = {
|
|
105
|
-
...EVALUATOR_STAGE1_MANIFEST,
|
|
106
|
-
tier1: EVALUATOR_STAGE1_MANIFEST.tier1.filter((p) => p !== 'dreamer.summary.riskLevel'),
|
|
107
|
-
};
|
|
108
|
-
const err = checkManifestCriterionAlignment(tampered, true);
|
|
109
|
-
expect(err).not.toBeNull();
|
|
110
|
-
expect(err?.kind).toBe('manifest_criterion_misaligned');
|
|
111
|
-
if (err && err.kind === 'manifest_criterion_misaligned') {
|
|
112
|
-
expect(err.detail).toContain('riskLevel');
|
|
113
|
-
}
|
|
114
|
-
});
|
|
115
|
-
it('non-evaluator manifests skip the alignment check (not adjudicators)', () => {
|
|
116
|
-
for (const m of [DREAMER_MANIFEST, SCRIBE_MANIFEST, ARTIFICER_MANIFEST]) {
|
|
117
|
-
expect(checkManifestCriterionAlignment(m, true)).toBeNull();
|
|
118
|
-
}
|
|
119
|
-
});
|
|
120
|
-
it('validateManifest flags misaligned adjudicator when isAdjudicator=true', () => {
|
|
121
|
-
const tampered = {
|
|
122
|
-
...EVALUATOR_STAGE1_MANIFEST,
|
|
123
|
-
tier1: EVALUATOR_STAGE1_MANIFEST.tier1.filter((p) => p !== 'dreamer.summary.betterDecision'),
|
|
124
|
-
};
|
|
125
|
-
const result = validateManifest(tampered, { isAdjudicator: true });
|
|
126
|
-
expect(result.ok).toBe(false);
|
|
127
|
-
if (!result.ok)
|
|
128
|
-
expect(result.error.kind).toBe('manifest_criterion_misaligned');
|
|
129
|
-
});
|
|
130
|
-
});
|
|
131
|
-
// ── CP-13: unlisted fields sort last ─────────────────────────────────────────
|
|
132
|
-
describe('CP-13 — unlisted fields sort last via rankOf', () => {
|
|
133
|
-
it('rankOf(listed field) === its index in priority', () => {
|
|
134
|
-
for (const m of BUILTIN_MANIFESTS) {
|
|
135
|
-
m.priority.forEach((path, idx) => {
|
|
136
|
-
expect(rankOf(path, m)).toBe(idx);
|
|
137
|
-
});
|
|
138
|
-
}
|
|
139
|
-
});
|
|
140
|
-
it('rankOf(unlisted declared field) is strictly greater than every listed field rank', () => {
|
|
141
|
-
fc.assert(fc.property(fc.constantFrom(...BUILTIN_MANIFESTS), fc.string({ minLength: 1, maxLength: 12 }).map((s) => `extra.${s}`), (m, extraPath) => {
|
|
142
|
-
fc.pre(!m.priority.includes(extraPath));
|
|
143
|
-
// Add extraPath to tier1 so it's "declared" but unlisted.
|
|
144
|
-
const tier1WithExtra = [...m.tier1, extraPath];
|
|
145
|
-
const manifest = { ...m, tier1: tier1WithExtra };
|
|
146
|
-
const extraRank = rankOf(extraPath, manifest);
|
|
147
|
-
for (const listed of m.priority) {
|
|
148
|
-
expect(extraRank).toBeGreaterThan(rankOf(listed, manifest));
|
|
149
|
-
}
|
|
150
|
-
}), { numRuns: 80 });
|
|
151
|
-
});
|
|
152
|
-
it('rankOf is deterministic: same input → same rank', () => {
|
|
153
|
-
for (const m of BUILTIN_MANIFESTS) {
|
|
154
|
-
for (const path of declaredFields(m)) {
|
|
155
|
-
expect(rankOf(path, m)).toBe(rankOf(path, m));
|
|
156
|
-
}
|
|
157
|
-
}
|
|
158
|
-
});
|
|
159
|
-
});
|
|
160
|
-
// ── dimension coverage policy sanity ─────────────────────────────────────────
|
|
161
|
-
describe('DIMENSION_COVERAGE_POLICY — single source of truth', () => {
|
|
162
|
-
it('covers all 5 dreamer dimensions', () => {
|
|
163
|
-
for (const dim of ALL_DREAMER_DIMENSIONS) {
|
|
164
|
-
expect(Object.hasOwn(DIMENSION_COVERAGE_POLICY, dim)).toBe(true);
|
|
165
|
-
}
|
|
166
|
-
expect(Object.keys(DIMENSION_COVERAGE_POLICY)).toHaveLength(5);
|
|
167
|
-
});
|
|
168
|
-
it('REQUIRED_FIDELITY_DIMENSIONS = exactly the required ones', () => {
|
|
169
|
-
expect(REQUIRED_FIDELITY_DIMENSIONS).toEqual(['betterDecision', 'rationale', 'riskLevel']);
|
|
170
|
-
});
|
|
171
|
-
it('strategicPerspective is the only excluded dimension', () => {
|
|
172
|
-
const excluded = ALL_DREAMER_DIMENSIONS.filter((d) => DIMENSION_COVERAGE_POLICY[d] === 'excluded');
|
|
173
|
-
expect(excluded).toEqual(['strategicPerspective']);
|
|
174
|
-
});
|
|
175
|
-
});
|
|
176
|
-
//# sourceMappingURL=context-manifest.property.test.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"context-manifest.property.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/context-manifest.property.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EACL,+BAA+B,EAC/B,gBAAgB,EAChB,MAAM,EACN,cAAc,EACd,+BAA+B,GAEhC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,yBAAyB,EACzB,4BAA4B,EAC5B,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AAEzC,gFAAgF;AAEhF,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,gFAAgF;QAChF,MAAM,CAAC,qBAAqB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QACzG,KAAK,MAAM,IAAI,IAAI,qBAAqB,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,mDAAmD;YACnD,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC;YAC3C,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7D,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7G,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC9D,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC1C,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1D,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;oBACrB,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,uEAAuE;QACvE,yCAAyC;QACzC,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,sBAAsB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAoB,EAAE,GAAG,gBAAgB,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;QACtE,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,EAAE,GAAG,gBAAgB,EAAE,KAAK,EAAE,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,GAAwB,CAAC,EAAE,CAAC;QAClG,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,SAAS,GAAG,gBAAgB,CAAC;QACnC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,EACtD,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAC/E,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE;YACxB,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;YACjC,MAAM,SAAS,GAAG,CAAC,GAAG,GAAG,EAAE,UAA+B,CAAC,CAAC;YAC5D,MAAM,QAAQ,GAAG,EAAE,GAAG,SAAS,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAqB,CAAC;YAC7E,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;YAC1C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACvE,CAAC,CACF,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,QAAQ,CAAC,6EAA6E,EAAE,GAAG,EAAE;IAC3F,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,oEAAoE;QACpE,KAAK,MAAM,CAAC,IAAI,CAAC,yBAAyB,EAAE,yBAAyB,CAAC,EAAE,CAAC;YACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/D,KAAK,MAAM,GAAG,IAAI,sBAAsB,EAAE,CAAC;gBACzC,MAAM,IAAI,GAAG,mBAAmB,GAAG,EAAE,CAAC;gBACtC,IAAI,yBAAyB,CAAC,GAAG,CAAC,KAAK,UAAU,EAAE,CAAC;oBAClD,sDAAsD;oBACtD,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,6BAA6B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7F,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/E,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,gFAAgF;QAChF,kCAAkC;QAClC,MAAM,QAAQ,GAAoB;YAChC,GAAG,yBAAyB;YAC5B,KAAK,EAAE,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,2BAA2B,CAAC;SACxF,CAAC;QACF,MAAM,GAAG,GAAG,+BAA+B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACxD,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,+BAA+B,EAAE,CAAC;YACxD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,KAAK,MAAM,CAAC,IAAI,CAAC,gBAAgB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,+BAA+B,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,QAAQ,GAAoB;YAChC,GAAG,yBAAyB;YAC5B,KAAK,EAAE,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,gCAAgC,CAAC;SAC7F,CAAC;QACF,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;gBAC/B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpC,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,YAAY,CAAC,GAAG,iBAAiB,CAAC,EACrC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EACnE,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE;YACf,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;YACxC,0DAA0D;YAC1D,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC/C,MAAM,QAAQ,GAAoB,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;YAClE,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC9C,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAChC,MAAM,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,KAAK,MAAM,GAAG,IAAI,sBAAsB,EAAE,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,4BAA4B,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;QACnG,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"context-resolution.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/context-resolution.test.ts"],"names":[],"mappings":""}
|