kibi-cli 0.14.0 → 0.17.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/bin/kibi +3 -1
- package/dist/cli-command.d.ts +5 -0
- package/dist/cli-command.d.ts.map +1 -0
- package/dist/cli-command.js +9 -0
- package/dist/cli-errors.d.ts +13 -0
- package/dist/cli-errors.d.ts.map +1 -0
- package/dist/cli-errors.js +26 -0
- package/dist/cli-input.d.ts +6 -0
- package/dist/cli-input.d.ts.map +1 -0
- package/dist/cli-input.js +54 -0
- package/dist/cli-json-command.d.ts +14 -0
- package/dist/cli-json-command.d.ts.map +1 -0
- package/dist/cli-json-command.js +96 -0
- package/dist/cli-protocol.d.ts +12 -0
- package/dist/cli-protocol.d.ts.map +1 -0
- package/dist/cli-protocol.js +37 -0
- package/dist/cli-register-foundation.d.ts +3 -0
- package/dist/cli-register-foundation.d.ts.map +1 -0
- package/dist/cli-register-foundation.js +90 -0
- package/dist/cli-register-maintenance.d.ts +3 -0
- package/dist/cli-register-maintenance.d.ts.map +1 -0
- package/dist/cli-register-maintenance.js +36 -0
- package/dist/cli-register-reporting.d.ts +3 -0
- package/dist/cli-register-reporting.d.ts.map +1 -0
- package/dist/cli-register-reporting.js +101 -0
- package/dist/cli-register-skills.d.ts +3 -0
- package/dist/cli-register-skills.d.ts.map +1 -0
- package/dist/cli-register-skills.js +71 -0
- package/dist/cli-validate.d.ts +18 -0
- package/dist/cli-validate.d.ts.map +1 -0
- package/dist/cli-validate.js +45 -0
- package/dist/cli.d.ts +4 -4
- package/dist/cli.d.ts.map +1 -1
- package/dist/cli.js +48 -211
- package/dist/commands/aggregated-checks.d.ts +1 -1
- package/dist/commands/aggregated-checks.d.ts.map +1 -1
- package/dist/commands/aggregated-checks.js +28 -34
- package/dist/commands/check.d.ts +1 -1
- package/dist/commands/check.d.ts.map +1 -1
- package/dist/commands/check.js +53 -95
- package/dist/commands/coverage.d.ts.map +1 -1
- package/dist/commands/coverage.js +12 -17
- package/dist/commands/discovery-shared.d.ts +2 -1
- package/dist/commands/discovery-shared.d.ts.map +1 -1
- package/dist/commands/discovery-shared.js +6 -18
- package/dist/commands/gaps.d.ts.map +1 -1
- package/dist/commands/gaps.js +15 -19
- package/dist/commands/graph.d.ts.map +1 -1
- package/dist/commands/graph.js +15 -21
- package/dist/commands/query.d.ts +7 -7
- package/dist/commands/query.d.ts.map +1 -1
- package/dist/commands/query.js +98 -204
- package/dist/commands/search.d.ts +4 -4
- package/dist/commands/search.d.ts.map +1 -1
- package/dist/commands/search.js +14 -27
- package/dist/commands/status.d.ts +1 -1
- package/dist/commands/status.d.ts.map +1 -1
- package/dist/commands/status.js +6 -7
- package/dist/commands/sync/manifest.d.ts +13 -2
- package/dist/commands/sync/manifest.d.ts.map +1 -1
- package/dist/commands/sync/manifest.js +31 -22
- package/dist/commands/sync/persistence.d.ts.map +1 -1
- package/dist/commands/sync/persistence.js +39 -1
- package/dist/extractors/markdown.d.ts +22 -2
- package/dist/extractors/markdown.d.ts.map +1 -1
- package/dist/extractors/markdown.js +50 -1
- package/dist/extractors/symbols-ts.d.ts.map +1 -1
- package/dist/extractors/symbols-ts.js +11 -1
- package/dist/logic/ir.d.ts +112 -0
- package/dist/logic/ir.d.ts.map +1 -0
- package/dist/logic/ir.js +729 -0
- package/dist/operations/autopilot/activation.d.ts +4 -0
- package/dist/operations/autopilot/activation.d.ts.map +1 -0
- package/dist/operations/autopilot/activation.js +130 -0
- package/dist/operations/autopilot/candidate-helpers.d.ts +13 -0
- package/dist/operations/autopilot/candidate-helpers.d.ts.map +1 -0
- package/dist/operations/autopilot/candidate-helpers.js +55 -0
- package/dist/operations/autopilot/candidates.d.ts +4 -0
- package/dist/operations/autopilot/candidates.d.ts.map +1 -0
- package/dist/operations/autopilot/candidates.js +114 -0
- package/dist/operations/autopilot/discovery-evidence.d.ts +10 -0
- package/dist/operations/autopilot/discovery-evidence.d.ts.map +1 -0
- package/dist/operations/autopilot/discovery-evidence.js +158 -0
- package/dist/operations/autopilot/discovery.d.ts +4 -0
- package/dist/operations/autopilot/discovery.d.ts.map +1 -0
- package/dist/operations/autopilot/discovery.js +100 -0
- package/dist/operations/autopilot/generate.d.ts +8 -0
- package/dist/operations/autopilot/generate.d.ts.map +1 -0
- package/dist/operations/autopilot/generate.js +112 -0
- package/dist/operations/autopilot/guidance-actions.d.ts +3 -0
- package/dist/operations/autopilot/guidance-actions.d.ts.map +1 -0
- package/dist/operations/autopilot/guidance-actions.js +79 -0
- package/dist/operations/autopilot/guidance.d.ts +14 -0
- package/dist/operations/autopilot/guidance.d.ts.map +1 -0
- package/dist/operations/autopilot/guidance.js +124 -0
- package/dist/operations/autopilot/markdown-candidates.d.ts +7 -0
- package/dist/operations/autopilot/markdown-candidates.d.ts.map +1 -0
- package/dist/operations/autopilot/markdown-candidates.js +134 -0
- package/dist/operations/autopilot/presentation.d.ts +13 -0
- package/dist/operations/autopilot/presentation.d.ts.map +1 -0
- package/dist/operations/autopilot/presentation.js +91 -0
- package/dist/operations/autopilot/requirement-claims.d.ts +3 -0
- package/dist/operations/autopilot/requirement-claims.d.ts.map +1 -0
- package/dist/operations/autopilot/requirement-claims.js +48 -0
- package/dist/operations/autopilot/types.d.ts +117 -0
- package/dist/operations/autopilot/types.d.ts.map +1 -0
- package/dist/operations/autopilot/types.js +8 -0
- package/dist/operations/modeling/logic-modeling.d.ts +22 -0
- package/dist/operations/modeling/logic-modeling.d.ts.map +1 -0
- package/dist/operations/modeling/logic-modeling.js +111 -0
- package/dist/operations/modeling/model-requirement.d.ts +10 -0
- package/dist/operations/modeling/model-requirement.d.ts.map +1 -0
- package/dist/operations/modeling/model-requirement.js +164 -0
- package/dist/operations/modeling/predicate-applyplan.d.ts +6 -0
- package/dist/operations/modeling/predicate-applyplan.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-applyplan.js +117 -0
- package/dist/operations/modeling/predicate-catalog-1.d.ts +3 -0
- package/dist/operations/modeling/predicate-catalog-1.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-catalog-1.js +200 -0
- package/dist/operations/modeling/predicate-catalog-2.d.ts +3 -0
- package/dist/operations/modeling/predicate-catalog-2.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-catalog-2.js +197 -0
- package/dist/operations/modeling/predicate-catalog-3.d.ts +3 -0
- package/dist/operations/modeling/predicate-catalog-3.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-catalog-3.js +193 -0
- package/dist/operations/modeling/predicate-catalog-4.d.ts +3 -0
- package/dist/operations/modeling/predicate-catalog-4.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-catalog-4.js +149 -0
- package/dist/operations/modeling/predicate-catalog.d.ts +5 -0
- package/dist/operations/modeling/predicate-catalog.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-catalog.js +29 -0
- package/dist/operations/modeling/predicate-inference-1.d.ts +16 -0
- package/dist/operations/modeling/predicate-inference-1.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-inference-1.js +161 -0
- package/dist/operations/modeling/predicate-inference-2.d.ts +19 -0
- package/dist/operations/modeling/predicate-inference-2.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-inference-2.js +169 -0
- package/dist/operations/modeling/predicate-inference-3.d.ts +15 -0
- package/dist/operations/modeling/predicate-inference-3.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-inference-3.js +163 -0
- package/dist/operations/modeling/predicate-inference.d.ts +5 -0
- package/dist/operations/modeling/predicate-inference.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-inference.js +163 -0
- package/dist/operations/modeling/predicate-loader.d.ts +10 -0
- package/dist/operations/modeling/predicate-loader.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-loader.js +94 -0
- package/dist/operations/modeling/predicate-ranker.d.ts +3 -0
- package/dist/operations/modeling/predicate-ranker.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-ranker.js +62 -0
- package/dist/operations/modeling/predicate-score-1.d.ts +3 -0
- package/dist/operations/modeling/predicate-score-1.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-score-1.js +121 -0
- package/dist/operations/modeling/predicate-score-2.d.ts +3 -0
- package/dist/operations/modeling/predicate-score-2.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-score-2.js +122 -0
- package/dist/operations/modeling/predicate-score-3.d.ts +3 -0
- package/dist/operations/modeling/predicate-score-3.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-score-3.js +54 -0
- package/dist/operations/modeling/predicate-types.d.ts +64 -0
- package/dist/operations/modeling/predicate-types.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-types.js +1 -0
- package/dist/operations/modeling/predicate-usage-hints-1.d.ts +3 -0
- package/dist/operations/modeling/predicate-usage-hints-1.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-usage-hints-1.js +211 -0
- package/dist/operations/modeling/predicate-usage-hints-2.d.ts +3 -0
- package/dist/operations/modeling/predicate-usage-hints-2.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-usage-hints-2.js +209 -0
- package/dist/operations/modeling/predicate-usage-hints-3.d.ts +3 -0
- package/dist/operations/modeling/predicate-usage-hints-3.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-usage-hints-3.js +45 -0
- package/dist/operations/modeling/predicate-utils.d.ts +23 -0
- package/dist/operations/modeling/predicate-utils.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-utils.js +187 -0
- package/dist/operations/modeling/requirement-applyplan.d.ts +4 -0
- package/dist/operations/modeling/requirement-applyplan.d.ts.map +1 -0
- package/dist/operations/modeling/requirement-applyplan.js +44 -0
- package/dist/operations/modeling/requirement-heuristics.d.ts +4 -0
- package/dist/operations/modeling/requirement-heuristics.d.ts.map +1 -0
- package/dist/operations/modeling/requirement-heuristics.js +114 -0
- package/dist/operations/modeling/requirement-modeler.d.ts +8 -0
- package/dist/operations/modeling/requirement-modeler.d.ts.map +1 -0
- package/dist/operations/modeling/requirement-modeler.js +70 -0
- package/dist/operations/modeling/requirement-types.d.ts +61 -0
- package/dist/operations/modeling/requirement-types.d.ts.map +1 -0
- package/dist/operations/modeling/requirement-types.js +1 -0
- package/dist/operations/modeling/requirement-utils.d.ts +10 -0
- package/dist/operations/modeling/requirement-utils.d.ts.map +1 -0
- package/dist/operations/modeling/requirement-utils.js +65 -0
- package/dist/operations/modeling/suggest-predicates.d.ts +6 -0
- package/dist/operations/modeling/suggest-predicates.d.ts.map +1 -0
- package/dist/operations/modeling/suggest-predicates.js +64 -0
- package/dist/operations/mutation/audit.d.ts +6 -0
- package/dist/operations/mutation/audit.d.ts.map +1 -0
- package/dist/operations/mutation/audit.js +22 -0
- package/dist/operations/mutation/contradictions.d.ts +10 -0
- package/dist/operations/mutation/contradictions.d.ts.map +1 -0
- package/dist/operations/mutation/contradictions.js +40 -0
- package/dist/operations/mutation/delete.d.ts +5 -0
- package/dist/operations/mutation/delete.d.ts.map +1 -0
- package/dist/operations/mutation/delete.js +67 -0
- package/dist/operations/mutation/relationships.d.ts +17 -0
- package/dist/operations/mutation/relationships.d.ts.map +1 -0
- package/dist/operations/mutation/relationships.js +142 -0
- package/dist/operations/mutation/save.d.ts +4 -0
- package/dist/operations/mutation/save.d.ts.map +1 -0
- package/dist/operations/mutation/save.js +14 -0
- package/dist/operations/mutation/serialization.d.ts +5 -0
- package/dist/operations/mutation/serialization.d.ts.map +1 -0
- package/dist/operations/mutation/serialization.js +88 -0
- package/dist/operations/mutation/strict-fact.d.ts +4 -0
- package/dist/operations/mutation/strict-fact.d.ts.map +1 -0
- package/dist/operations/mutation/strict-fact.js +132 -0
- package/dist/operations/mutation/symbol-granularity.d.ts +4 -0
- package/dist/operations/mutation/symbol-granularity.d.ts.map +1 -0
- package/dist/operations/mutation/symbol-granularity.js +109 -0
- package/dist/operations/mutation/symbol-refresh.d.ts +10 -0
- package/dist/operations/mutation/symbol-refresh.d.ts.map +1 -0
- package/dist/operations/mutation/symbol-refresh.js +105 -0
- package/dist/operations/mutation/types.d.ts +43 -0
- package/dist/operations/mutation/types.d.ts.map +1 -0
- package/dist/operations/mutation/types.js +1 -0
- package/dist/operations/mutation/upsert.d.ts +5 -0
- package/dist/operations/mutation/upsert.d.ts.map +1 -0
- package/dist/operations/mutation/upsert.js +103 -0
- package/dist/operations/mutation/validate-upsert.d.ts +5 -0
- package/dist/operations/mutation/validate-upsert.d.ts.map +1 -0
- package/dist/operations/mutation/validate-upsert.js +50 -0
- package/dist/operations/mutation/validation.d.ts +5 -0
- package/dist/operations/mutation/validation.d.ts.map +1 -0
- package/dist/operations/mutation/validation.js +107 -0
- package/dist/operations/mutation/warnings.d.ts +4 -0
- package/dist/operations/mutation/warnings.d.ts.map +1 -0
- package/dist/operations/mutation/warnings.js +17 -0
- package/dist/operations/semantic-advisor/analysis-receipt.d.ts +5 -0
- package/dist/operations/semantic-advisor/analysis-receipt.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/analysis-receipt.js +120 -0
- package/dist/operations/semantic-advisor/analyze-prose.d.ts +5 -0
- package/dist/operations/semantic-advisor/analyze-prose.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/analyze-prose.js +693 -0
- package/dist/operations/semantic-advisor/clauses.d.ts +10 -0
- package/dist/operations/semantic-advisor/clauses.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/clauses.js +43 -0
- package/dist/operations/semantic-advisor/observation-plan.d.ts +3 -0
- package/dist/operations/semantic-advisor/observation-plan.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/observation-plan.js +31 -0
- package/dist/operations/semantic-advisor/predicate-rule.d.ts +14 -0
- package/dist/operations/semantic-advisor/predicate-rule.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/predicate-rule.js +22 -0
- package/dist/operations/semantic-advisor/predicate-rules-core.d.ts +79 -0
- package/dist/operations/semantic-advisor/predicate-rules-core.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/predicate-rules-core.js +140 -0
- package/dist/operations/semantic-advisor/predicate-rules-policy.d.ts +83 -0
- package/dist/operations/semantic-advisor/predicate-rules-policy.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/predicate-rules-policy.js +150 -0
- package/dist/operations/semantic-advisor/predicate-rules-product-tail.d.ts +48 -0
- package/dist/operations/semantic-advisor/predicate-rules-product-tail.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/predicate-rules-product-tail.js +102 -0
- package/dist/operations/semantic-advisor/predicate-rules-product.d.ts +71 -0
- package/dist/operations/semantic-advisor/predicate-rules-product.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/predicate-rules-product.js +133 -0
- package/dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts +29 -0
- package/dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/prose-coverage-evaluator.js +54 -0
- package/dist/operations/semantic-advisor/shared.d.ts +19 -0
- package/dist/operations/semantic-advisor/shared.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/shared.js +209 -0
- package/dist/operations/semantic-advisor/strict-count-rules.d.ts +4 -0
- package/dist/operations/semantic-advisor/strict-count-rules.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/strict-count-rules.js +62 -0
- package/dist/operations/semantic-advisor/strict-rules.d.ts +4 -0
- package/dist/operations/semantic-advisor/strict-rules.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/strict-rules.js +106 -0
- package/dist/operations/semantic-advisor/types.d.ts +195 -0
- package/dist/operations/semantic-advisor/types.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/types.js +1 -0
- package/dist/prolog/codec.d.ts.map +1 -1
- package/dist/prolog/codec.js +20 -3
- package/dist/prolog.d.ts +5 -0
- package/dist/prolog.d.ts.map +1 -1
- package/dist/prolog.js +89 -32
- package/dist/public/impact/diagnostics.d.ts.map +1 -1
- package/dist/public/impact/diagnostics.js +8 -4
- package/dist/public/impact/full-kb-quality.d.ts +1 -1
- package/dist/public/impact/full-kb-quality.d.ts.map +1 -1
- package/dist/public/impact/full-kb-quality.js +34 -1
- package/dist/public/impact/requirement-quality.d.ts.map +1 -1
- package/dist/public/impact/requirement-quality.js +6 -23
- package/dist/public/operations/catalog.d.ts +986 -0
- package/dist/public/operations/catalog.d.ts.map +1 -0
- package/dist/public/operations/catalog.js +42 -0
- package/dist/public/operations/check-executor.d.ts +21 -0
- package/dist/public/operations/check-executor.d.ts.map +1 -0
- package/dist/public/operations/check-executor.js +111 -0
- package/dist/public/operations/check-format-shared.d.ts +36 -0
- package/dist/public/operations/check-format-shared.d.ts.map +1 -0
- package/dist/public/operations/check-format-shared.js +107 -0
- package/dist/public/operations/check-helpers.d.ts +10 -0
- package/dist/public/operations/check-helpers.d.ts.map +1 -0
- package/dist/public/operations/check-helpers.js +107 -0
- package/dist/public/operations/discovery-entities.d.ts +14 -0
- package/dist/public/operations/discovery-entities.d.ts.map +1 -0
- package/dist/public/operations/discovery-entities.js +91 -0
- package/dist/public/operations/discovery-executors.d.ts +39 -0
- package/dist/public/operations/discovery-executors.d.ts.map +1 -0
- package/dist/public/operations/discovery-executors.js +101 -0
- package/dist/public/operations/index.d.ts +21 -0
- package/dist/public/operations/index.d.ts.map +1 -0
- package/dist/public/operations/index.js +19 -0
- package/dist/public/operations/node-ports.d.ts +15 -0
- package/dist/public/operations/node-ports.d.ts.map +1 -0
- package/dist/public/operations/node-ports.js +57 -0
- package/dist/public/operations/prolog-json.d.ts +5 -0
- package/dist/public/operations/prolog-json.d.ts.map +1 -0
- package/dist/public/operations/prolog-json.js +44 -0
- package/dist/public/operations/runtime-types.d.ts +69 -0
- package/dist/public/operations/runtime-types.d.ts.map +1 -0
- package/dist/public/operations/runtime-types.js +17 -0
- package/dist/public/operations/specs/autopilot.d.ts +82 -0
- package/dist/public/operations/specs/autopilot.d.ts.map +1 -0
- package/dist/public/operations/specs/autopilot.js +72 -0
- package/dist/public/operations/specs/check.d.ts +51 -0
- package/dist/public/operations/specs/check.d.ts.map +1 -0
- package/dist/public/operations/specs/check.js +65 -0
- package/dist/public/operations/specs/discovery.d.ts +94 -0
- package/dist/public/operations/specs/discovery.d.ts.map +1 -0
- package/dist/public/operations/specs/discovery.js +98 -0
- package/dist/public/operations/specs/modeling.d.ts +142 -0
- package/dist/public/operations/specs/modeling.d.ts.map +1 -0
- package/dist/public/operations/specs/modeling.js +133 -0
- package/dist/public/operations/specs/mutation-schemas.d.ts +268 -0
- package/dist/public/operations/specs/mutation-schemas.d.ts.map +1 -0
- package/dist/public/operations/specs/mutation-schemas.js +294 -0
- package/dist/public/operations/specs/mutation.d.ts +56 -0
- package/dist/public/operations/specs/mutation.d.ts.map +1 -0
- package/dist/public/operations/specs/mutation.js +44 -0
- package/dist/public/operations/specs/reporting.d.ts +185 -0
- package/dist/public/operations/specs/reporting.d.ts.map +1 -0
- package/dist/public/operations/specs/reporting.js +158 -0
- package/dist/public/operations/specs/semantic.d.ts +81 -0
- package/dist/public/operations/specs/semantic.d.ts.map +1 -0
- package/dist/public/operations/specs/semantic.js +137 -0
- package/dist/public/operations/specs/skills.d.ts +70 -0
- package/dist/public/operations/specs/skills.d.ts.map +1 -0
- package/dist/public/operations/specs/skills.js +107 -0
- package/dist/public/operations/specs/sparql.d.ts +39 -0
- package/dist/public/operations/specs/sparql.d.ts.map +1 -0
- package/dist/public/operations/specs/sparql.js +121 -0
- package/dist/public/operations/specs/upsert.d.ts +291 -0
- package/dist/public/operations/specs/upsert.d.ts.map +1 -0
- package/dist/public/operations/specs/upsert.js +27 -0
- package/dist/public/operations/types.d.ts +24 -0
- package/dist/public/operations/types.d.ts.map +1 -0
- package/dist/public/operations/types.js +1 -0
- package/dist/public/schemas/entity.d.ts.map +1 -1
- package/dist/public/schemas/entity.js +317 -0
- package/dist/public/schemas/relationship.d.ts.map +1 -1
- package/dist/public/schemas/relationship.js +1 -0
- package/dist/public/skill-system/errors.d.ts +19 -0
- package/dist/public/skill-system/errors.d.ts.map +1 -0
- package/dist/public/skill-system/errors.js +36 -0
- package/dist/public/skill-system/loader.d.ts +9 -0
- package/dist/public/skill-system/loader.d.ts.map +1 -0
- package/dist/public/skill-system/loader.js +76 -0
- package/dist/public/skill-system/paths.d.ts +6 -0
- package/dist/public/skill-system/paths.d.ts.map +1 -0
- package/dist/public/skill-system/paths.js +25 -0
- package/dist/public/skill-system/types.d.ts +15 -0
- package/dist/public/skill-system/types.d.ts.map +1 -0
- package/dist/public/skill-system/types.js +1 -0
- package/dist/public/skill-system/validation.d.ts +10 -0
- package/dist/public/skill-system/validation.d.ts.map +1 -0
- package/dist/public/skill-system/validation.js +119 -0
- package/dist/public/skills/init-kibi/SKILL.md +62 -0
- package/dist/public/skills/kibi-freshness/SKILL.md +44 -0
- package/dist/public/skills/kibi-traceability/SKILL.md +54 -0
- package/dist/public/skills/kibi-usage/SKILL.md +145 -99
- package/dist/public/skills/kibi-usage/resources/fact-lanes.md +112 -0
- package/dist/public/skills/kibi-usage/resources/logic-ir.md +43 -0
- package/dist/public/skills/kibi-usage/resources/operation-access.md +44 -0
- package/dist/public/skills/kibi-usage/resources/ui-requirements.md +96 -0
- package/dist/public/skills/kibi-usage/resources/workflows.md +41 -3
- package/dist/public/skills.d.ts +4 -41
- package/dist/public/skills.d.ts.map +1 -1
- package/dist/public/skills.js +3 -270
- package/dist/public/symbol-granularity.d.ts +9 -0
- package/dist/public/symbol-granularity.d.ts.map +1 -1
- package/dist/public/symbol-granularity.js +16 -0
- package/dist/runtime/cli-runtime.d.ts +3 -0
- package/dist/runtime/cli-runtime.d.ts.map +1 -0
- package/dist/runtime/cli-runtime.js +96 -0
- package/dist/schemas/entity.schema.json +329 -3
- package/dist/traceability/staged-diagnostics.d.ts +2 -2
- package/dist/traceability/staged-diagnostics.d.ts.map +1 -1
- package/dist/traceability/staged-diagnostics.js +17 -10
- package/dist/traceability/staged-impact-contract.js +1 -1
- package/dist/traceability/staged-symbols-manifest.d.ts +1 -0
- package/dist/traceability/staged-symbols-manifest.d.ts.map +1 -1
- package/dist/traceability/staged-symbols-manifest.js +53 -24
- package/dist/traceability/symbol-extract.d.ts.map +1 -1
- package/dist/traceability/symbol-extract.js +17 -1
- package/dist/traceability/temp-kb.d.ts.map +1 -1
- package/dist/traceability/temp-kb.js +47 -1
- package/dist/types/entities.d.ts +3 -0
- package/dist/types/entities.d.ts.map +1 -1
- package/dist/types/relationships.d.ts +1 -1
- package/dist/types/relationships.d.ts.map +1 -1
- package/dist/utils/rule-registry.d.ts.map +1 -1
- package/dist/utils/rule-registry.js +24 -0
- package/dist/utils/schema-version.d.ts +1 -1
- package/dist/utils/schema-version.js +1 -1
- package/package.json +60 -2
- package/src/public/impact/diagnostics.ts +18 -11
- package/src/public/impact/full-kb-quality.ts +30 -3
- package/src/public/impact/requirement-quality.ts +6 -26
- package/src/public/operations/catalog.ts +60 -0
- package/src/public/operations/check-executor.ts +185 -0
- package/src/public/operations/check-format-shared.ts +178 -0
- package/src/public/operations/check-helpers.ts +141 -0
- package/src/public/operations/discovery-entities.ts +122 -0
- package/src/public/operations/discovery-executors.ts +176 -0
- package/src/public/operations/index.ts +20 -0
- package/src/public/operations/node-ports.ts +78 -0
- package/src/public/operations/prolog-json.ts +71 -0
- package/src/public/operations/runtime-types.ts +106 -0
- package/src/public/operations/specs/autopilot.ts +98 -0
- package/src/public/operations/specs/check.ts +75 -0
- package/src/public/operations/specs/discovery.ts +126 -0
- package/src/public/operations/specs/modeling.ts +174 -0
- package/src/public/operations/specs/mutation-schemas.ts +326 -0
- package/src/public/operations/specs/mutation.ts +58 -0
- package/src/public/operations/specs/reporting.ts +249 -0
- package/src/public/operations/specs/semantic.ts +174 -0
- package/src/public/operations/specs/skills.ts +142 -0
- package/src/public/operations/specs/sparql.ts +149 -0
- package/src/public/operations/specs/upsert.ts +40 -0
- package/src/public/operations/types.ts +57 -0
- package/src/public/schemas/entity.ts +324 -1
- package/src/public/schemas/relationship.ts +1 -0
- package/src/public/skill-system/errors.ts +38 -0
- package/src/public/skill-system/loader.ts +108 -0
- package/src/public/skill-system/paths.ts +27 -0
- package/src/public/skill-system/types.ts +14 -0
- package/src/public/skill-system/validation.ts +175 -0
- package/src/public/skills/init-kibi/SKILL.md +62 -0
- package/src/public/skills/kibi-freshness/SKILL.md +44 -0
- package/src/public/skills/kibi-traceability/SKILL.md +54 -0
- package/src/public/skills/kibi-usage/SKILL.md +145 -99
- package/src/public/skills/kibi-usage/resources/fact-lanes.md +112 -0
- package/src/public/skills/kibi-usage/resources/logic-ir.md +43 -0
- package/src/public/skills/kibi-usage/resources/operation-access.md +44 -0
- package/src/public/skills/kibi-usage/resources/ui-requirements.md +96 -0
- package/src/public/skills/kibi-usage/resources/workflows.md +41 -3
- package/src/public/skills.ts +18 -427
- package/src/public/symbol-granularity.ts +25 -0
- package/src/schemas/entity.schema.json +329 -3
- package/src/schemas/relationship.schema.json +1 -0
|
@@ -0,0 +1,200 @@
|
|
|
1
|
+
// implements REQ-mcp-suggest-predicates
|
|
2
|
+
export const PREDICATE_CATALOG_1 = [
|
|
3
|
+
{
|
|
4
|
+
id: "FACT-SCHEMA-STATE",
|
|
5
|
+
predicate_name: "state",
|
|
6
|
+
title: "State assertion",
|
|
7
|
+
description: "A subject has or enters a named state.",
|
|
8
|
+
argument_names: ["subject", "state"],
|
|
9
|
+
argument_types: ["entity", "state"],
|
|
10
|
+
keywords: ["state", "mode", "idle", "active", "draft", "edit"],
|
|
11
|
+
examples: ["state(editor.annotation, idle)"],
|
|
12
|
+
tags: ["state", "workflow"],
|
|
13
|
+
},
|
|
14
|
+
{
|
|
15
|
+
id: "FACT-SCHEMA-TRANSITION",
|
|
16
|
+
predicate_name: "transition",
|
|
17
|
+
title: "State transition",
|
|
18
|
+
description: "A subject transitions between states because of a trigger.",
|
|
19
|
+
argument_names: ["subject", "from_state", "to_state", "trigger"],
|
|
20
|
+
argument_types: ["entity", "state", "state", "trigger"],
|
|
21
|
+
keywords: [
|
|
22
|
+
"transition",
|
|
23
|
+
"enter",
|
|
24
|
+
"leave",
|
|
25
|
+
"idle",
|
|
26
|
+
"navigate",
|
|
27
|
+
"navigates",
|
|
28
|
+
"cancel",
|
|
29
|
+
"escape",
|
|
30
|
+
],
|
|
31
|
+
examples: ["transition(editor.annotation, draft, idle, navigation)"],
|
|
32
|
+
tags: ["state", "workflow"],
|
|
33
|
+
},
|
|
34
|
+
{
|
|
35
|
+
id: "FACT-SCHEMA-GUARD",
|
|
36
|
+
predicate_name: "guard",
|
|
37
|
+
title: "Behavior guard",
|
|
38
|
+
description: "A condition gates or forbids behavior for a subject.",
|
|
39
|
+
argument_names: ["subject", "condition", "expected"],
|
|
40
|
+
argument_types: ["entity", "condition", "boolean"],
|
|
41
|
+
keywords: ["guard", "unless", "readonly", "scrubbing", "disabled until"],
|
|
42
|
+
examples: ["guard(editor.annotation, isReadOnly, false)"],
|
|
43
|
+
tags: ["guard", "workflow"],
|
|
44
|
+
},
|
|
45
|
+
{
|
|
46
|
+
id: "FACT-SCHEMA-EXCEPTION-RULE",
|
|
47
|
+
predicate_name: "exception_rule",
|
|
48
|
+
title: "Exception rule",
|
|
49
|
+
description: "A required behavior is skipped when a named exception condition holds.",
|
|
50
|
+
argument_names: ["subject", "behavior", "exception"],
|
|
51
|
+
argument_types: ["entity", "behavior", "condition"],
|
|
52
|
+
keywords: ["unless", "except", "except when", "opted out", "exception"],
|
|
53
|
+
examples: [
|
|
54
|
+
"exception_rule(notification.service, send_email, user_has_opted_out)",
|
|
55
|
+
],
|
|
56
|
+
tags: ["exception", "conditional"],
|
|
57
|
+
},
|
|
58
|
+
{
|
|
59
|
+
id: "FACT-SCHEMA-MUTUAL-EXCLUSION",
|
|
60
|
+
predicate_name: "mutual_exclusion",
|
|
61
|
+
title: "Mutual exclusion",
|
|
62
|
+
description: "Two modes, states, options, or behaviors cannot be true or active together.",
|
|
63
|
+
argument_names: ["left", "right"],
|
|
64
|
+
argument_types: ["entity", "entity"],
|
|
65
|
+
keywords: ["mutually exclusive", "exclusive", "cannot overlap", "not both"],
|
|
66
|
+
examples: ["mutual_exclusion(practice_mode, exam_mode)"],
|
|
67
|
+
tags: ["constraint", "exclusivity"],
|
|
68
|
+
},
|
|
69
|
+
{
|
|
70
|
+
id: "FACT-SCHEMA-DEPENDENCY-RULE",
|
|
71
|
+
predicate_name: "dependency_rule",
|
|
72
|
+
title: "Dependency rule",
|
|
73
|
+
description: "A subject requires a prerequisite before a dependent action or state can proceed.",
|
|
74
|
+
argument_names: ["subject", "prerequisite", "dependent"],
|
|
75
|
+
argument_types: ["entity", "condition", "action"],
|
|
76
|
+
keywords: ["requires", "depends on", "prerequisite", "before"],
|
|
77
|
+
examples: [
|
|
78
|
+
"dependency_rule(checkout, payment_authorization, order_submission)",
|
|
79
|
+
],
|
|
80
|
+
tags: ["dependency", "workflow"],
|
|
81
|
+
},
|
|
82
|
+
{
|
|
83
|
+
id: "FACT-SCHEMA-OWNERSHIP-RULE",
|
|
84
|
+
predicate_name: "ownership_rule",
|
|
85
|
+
title: "Ownership rule",
|
|
86
|
+
description: "A resource or behavior is owned by a service, team, role, or component.",
|
|
87
|
+
argument_names: ["resource", "owner"],
|
|
88
|
+
argument_types: ["entity", "owner"],
|
|
89
|
+
keywords: ["owned by", "owner", "responsible for"],
|
|
90
|
+
examples: ["ownership_rule(account_settings, profile_service)"],
|
|
91
|
+
tags: ["ownership", "governance"],
|
|
92
|
+
},
|
|
93
|
+
{
|
|
94
|
+
id: "FACT-SCHEMA-RETRY-POLICY",
|
|
95
|
+
predicate_name: "retry_policy",
|
|
96
|
+
title: "Retry policy",
|
|
97
|
+
description: "A failed subject or action retries up to a bounded attempt count.",
|
|
98
|
+
argument_names: ["subject", "count", "unit"],
|
|
99
|
+
argument_types: ["entity", "number", "unit"],
|
|
100
|
+
keywords: ["retry", "retries", "up to", "attempts", "times"],
|
|
101
|
+
examples: ["retry_policy(failed_webhook_delivery, 3, times)"],
|
|
102
|
+
tags: ["retry", "resilience"],
|
|
103
|
+
},
|
|
104
|
+
{
|
|
105
|
+
id: "FACT-SCHEMA-ESCALATION-RULE",
|
|
106
|
+
predicate_name: "escalation_rule",
|
|
107
|
+
title: "Escalation rule",
|
|
108
|
+
description: "A failed or unresolved subject escalates to an owner after a bounded delay.",
|
|
109
|
+
argument_names: ["subject", "target", "delay", "unit"],
|
|
110
|
+
argument_types: ["entity", "owner", "number", "unit"],
|
|
111
|
+
keywords: ["escalate", "escalates", "escalation", "after", "support"],
|
|
112
|
+
examples: ["escalation_rule(failed_payment_disputes, support, 48, hours)"],
|
|
113
|
+
tags: ["escalation", "operations"],
|
|
114
|
+
},
|
|
115
|
+
{
|
|
116
|
+
id: "FACT-SCHEMA-AVAILABILITY-SLA",
|
|
117
|
+
predicate_name: "availability_sla",
|
|
118
|
+
title: "Availability SLA",
|
|
119
|
+
description: "A service or API must meet a minimum availability target over a reporting window.",
|
|
120
|
+
argument_names: ["subject", "threshold", "unit", "window"],
|
|
121
|
+
argument_types: ["entity", "number", "unit", "duration"],
|
|
122
|
+
keywords: ["availability", "at least", "percent", "monthly", "sla"],
|
|
123
|
+
examples: ["availability_sla(checkout_api, 99.9, percent, monthly)"],
|
|
124
|
+
tags: ["sla", "availability"],
|
|
125
|
+
},
|
|
126
|
+
{
|
|
127
|
+
id: "FACT-SCHEMA-NOTIFICATION-ROUTE",
|
|
128
|
+
predicate_name: "notification_route",
|
|
129
|
+
title: "Notification route",
|
|
130
|
+
description: "A subject notifies a target recipient through a specific channel.",
|
|
131
|
+
argument_names: ["subject", "recipient", "channel"],
|
|
132
|
+
argument_types: ["entity", "recipient", "channel"],
|
|
133
|
+
keywords: ["notify", "notifies", "notification", "by email", "by sms"],
|
|
134
|
+
examples: ["notification_route(fraud_alerts, risk_operations, email)"],
|
|
135
|
+
tags: ["notification", "routing"],
|
|
136
|
+
},
|
|
137
|
+
{
|
|
138
|
+
id: "FACT-SCHEMA-IDEMPOTENCY-RULE",
|
|
139
|
+
predicate_name: "idempotency_rule",
|
|
140
|
+
title: "Idempotency rule",
|
|
141
|
+
description: "A request or operation must deduplicate repeated execution by a stable idempotency key.",
|
|
142
|
+
argument_names: ["subject", "key"],
|
|
143
|
+
argument_types: ["entity", "key"],
|
|
144
|
+
keywords: [
|
|
145
|
+
"idempotent",
|
|
146
|
+
"idempotency",
|
|
147
|
+
"idempotency key",
|
|
148
|
+
"dedupe",
|
|
149
|
+
"deduplicated",
|
|
150
|
+
"redundant",
|
|
151
|
+
"concurrent",
|
|
152
|
+
],
|
|
153
|
+
examples: ["idempotency_rule(payment_capture_requests, idempotency_key)"],
|
|
154
|
+
tags: ["idempotency", "resilience"],
|
|
155
|
+
},
|
|
156
|
+
{
|
|
157
|
+
id: "FACT-SCHEMA-DATA-RESIDENCY-RULE",
|
|
158
|
+
predicate_name: "data_residency_rule",
|
|
159
|
+
title: "Data residency rule",
|
|
160
|
+
description: "A data set must be stored, processed, or kept within a named region or jurisdiction.",
|
|
161
|
+
argument_names: ["subject", "region"],
|
|
162
|
+
argument_types: ["entity", "region"],
|
|
163
|
+
keywords: ["data residency", "stored in", "region", "jurisdiction"],
|
|
164
|
+
examples: ["data_residency_rule(eu_customer_data, eu_region)"],
|
|
165
|
+
tags: ["privacy", "data-residency"],
|
|
166
|
+
},
|
|
167
|
+
{
|
|
168
|
+
id: "FACT-SCHEMA-AUDIT-EVENT-RULE",
|
|
169
|
+
predicate_name: "audit_event_rule",
|
|
170
|
+
title: "Audit event rule",
|
|
171
|
+
description: "An action, change, or security-relevant event must be recorded in an audit log or audit trail.",
|
|
172
|
+
argument_names: ["subject", "log"],
|
|
173
|
+
argument_types: ["entity", "log"],
|
|
174
|
+
keywords: ["audit log", "audit trail", "recorded", "logged", "audited"],
|
|
175
|
+
examples: ["audit_event_rule(admin_access_changes, audit_log)"],
|
|
176
|
+
tags: ["audit", "logging", "governance"],
|
|
177
|
+
},
|
|
178
|
+
{
|
|
179
|
+
id: "FACT-SCHEMA-CONSENT-RULE",
|
|
180
|
+
predicate_name: "consent_rule",
|
|
181
|
+
title: "Consent rule",
|
|
182
|
+
description: "An action or processing purpose requires a named consent before it proceeds.",
|
|
183
|
+
argument_names: ["subject", "consent", "purpose"],
|
|
184
|
+
argument_types: ["entity", "consent", "purpose"],
|
|
185
|
+
keywords: ["consent", "requires consent", "before processing"],
|
|
186
|
+
examples: ["consent_rule(marketing_emails, user_consent, processing)"],
|
|
187
|
+
tags: ["privacy", "consent"],
|
|
188
|
+
},
|
|
189
|
+
{
|
|
190
|
+
id: "FACT-SCHEMA-LIFECYCLE-RULE",
|
|
191
|
+
predicate_name: "lifecycle_rule",
|
|
192
|
+
title: "Lifecycle rule",
|
|
193
|
+
description: "An entity must be archived, deleted, expired, or lifecycle-transitioned after a duration.",
|
|
194
|
+
argument_names: ["subject", "action", "duration", "unit"],
|
|
195
|
+
argument_types: ["entity", "action", "number", "unit"],
|
|
196
|
+
keywords: ["archive", "archived", "delete", "deleted", "expire", "after"],
|
|
197
|
+
examples: ["lifecycle_rule(expired_sessions, archived, 30, days)"],
|
|
198
|
+
tags: ["lifecycle", "retention"],
|
|
199
|
+
},
|
|
200
|
+
];
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"predicate-catalog-2.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAkNzD,CAAC"}
|
|
@@ -0,0 +1,197 @@
|
|
|
1
|
+
// implements REQ-mcp-suggest-predicates
|
|
2
|
+
export const PREDICATE_CATALOG_2 = [
|
|
3
|
+
{
|
|
4
|
+
id: "FACT-SCHEMA-CONFLICT-RESOLUTION-RULE",
|
|
5
|
+
predicate_name: "conflict_resolution_rule",
|
|
6
|
+
title: "Conflict resolution rule",
|
|
7
|
+
description: "Concurrent or synchronized updates resolve conflicts with a named strategy.",
|
|
8
|
+
argument_names: ["subject", "strategy"],
|
|
9
|
+
argument_types: ["entity", "strategy"],
|
|
10
|
+
keywords: ["conflict", "conflicts", "latest write wins", "merge"],
|
|
11
|
+
examples: ["conflict_resolution_rule(profile_updates, latest_write_wins)"],
|
|
12
|
+
tags: ["sync", "conflict-resolution"],
|
|
13
|
+
},
|
|
14
|
+
{
|
|
15
|
+
id: "FACT-SCHEMA-FALLBACK-RULE",
|
|
16
|
+
predicate_name: "fallback_rule",
|
|
17
|
+
title: "Fallback rule",
|
|
18
|
+
description: "A degraded or unavailable dependency causes a subject to fall back to an alternative behavior.",
|
|
19
|
+
argument_names: ["condition", "subject", "fallback"],
|
|
20
|
+
argument_types: ["condition", "entity", "behavior"],
|
|
21
|
+
keywords: ["fall back", "fallback", "unavailable", "degraded"],
|
|
22
|
+
examples: [
|
|
23
|
+
"fallback_rule(payment_provider_is_unavailable, checkout, manual_review)",
|
|
24
|
+
],
|
|
25
|
+
tags: ["fallback", "resilience"],
|
|
26
|
+
},
|
|
27
|
+
{
|
|
28
|
+
id: "FACT-SCHEMA-BATCH-OPERATION-RULE",
|
|
29
|
+
predicate_name: "batch_operation_rule",
|
|
30
|
+
title: "Batch operation rule",
|
|
31
|
+
description: "A bulk operation processes a resource in batches of a bounded size.",
|
|
32
|
+
argument_names: ["subject", "resource", "batch_size"],
|
|
33
|
+
argument_types: ["entity", "resource", "number"],
|
|
34
|
+
keywords: ["batch", "batches", "bulk", "process"],
|
|
35
|
+
examples: ["batch_operation_rule(invoice_exports, records, 500)"],
|
|
36
|
+
tags: ["batching", "bulk"],
|
|
37
|
+
},
|
|
38
|
+
{
|
|
39
|
+
id: "FACT-SCHEMA-CONSISTENCY-RULE",
|
|
40
|
+
predicate_name: "consistency_rule",
|
|
41
|
+
title: "Consistency rule",
|
|
42
|
+
description: "An entity reference or value must remain consistent with another existing entity or invariant.",
|
|
43
|
+
argument_names: ["subject", "target"],
|
|
44
|
+
argument_types: ["entity", "entity"],
|
|
45
|
+
keywords: ["reference", "references", "existing", "consistent"],
|
|
46
|
+
examples: ["consistency_rule(order_items, existing_order)"],
|
|
47
|
+
tags: ["consistency", "referential-integrity"],
|
|
48
|
+
},
|
|
49
|
+
{
|
|
50
|
+
id: "FACT-SCHEMA-BUILD-CONSTRAINT",
|
|
51
|
+
predicate_name: "build_constraint",
|
|
52
|
+
title: "Build constraint",
|
|
53
|
+
description: "Build-time generation or deployment configuration must satisfy a deterministic property.",
|
|
54
|
+
argument_names: ["subject", "property", "scope"],
|
|
55
|
+
argument_types: ["entity", "property", "scope"],
|
|
56
|
+
keywords: ["build time", "deterministic", "generator", "deployment"],
|
|
57
|
+
examples: [
|
|
58
|
+
"build_constraint(share_manifest_generation, deterministic, build_time)",
|
|
59
|
+
],
|
|
60
|
+
tags: ["build", "determinism"],
|
|
61
|
+
},
|
|
62
|
+
{
|
|
63
|
+
id: "FACT-SCHEMA-ENVIRONMENT-SAFETY-RULE",
|
|
64
|
+
predicate_name: "environment_safety_rule",
|
|
65
|
+
title: "Environment safety rule",
|
|
66
|
+
description: "A named action is allowed or forbidden in a deployment environment.",
|
|
67
|
+
argument_names: ["action", "decision", "environment"],
|
|
68
|
+
argument_types: ["action", "decision", "environment"],
|
|
69
|
+
keywords: ["production", "staging", "forbidden", "destructive"],
|
|
70
|
+
examples: [
|
|
71
|
+
"environment_safety_rule(destructive_operations, forbidden, production)",
|
|
72
|
+
],
|
|
73
|
+
tags: ["environment", "safety"],
|
|
74
|
+
},
|
|
75
|
+
{
|
|
76
|
+
id: "FACT-SCHEMA-SCHEMA-INVARIANT-RULE",
|
|
77
|
+
predicate_name: "schema_invariant_rule",
|
|
78
|
+
title: "Schema invariant rule",
|
|
79
|
+
description: "A schema field has an invariant such as immutability, type, enum, or value range.",
|
|
80
|
+
argument_names: ["field", "invariant", "scope"],
|
|
81
|
+
argument_types: ["field", "invariant", "scope"],
|
|
82
|
+
keywords: ["immutable", "schema", "field", "enum", "range"],
|
|
83
|
+
examples: ["schema_invariant_rule(user_email, immutable, after_creation)"],
|
|
84
|
+
tags: ["schema", "invariant"],
|
|
85
|
+
},
|
|
86
|
+
{
|
|
87
|
+
id: "FACT-SCHEMA-CODING-STANDARD-RULE",
|
|
88
|
+
predicate_name: "coding_standard_rule",
|
|
89
|
+
title: "Coding standard rule",
|
|
90
|
+
description: "Developer-facing code must use or avoid a framework API, pattern, or documentation practice.",
|
|
91
|
+
argument_names: ["subject", "action", "target"],
|
|
92
|
+
argument_types: ["entity", "action", "api"],
|
|
93
|
+
keywords: ["computed", "signals", "must use", "must not use"],
|
|
94
|
+
examples: ["coding_standard_rule(derived_state, use, computed_signals)"],
|
|
95
|
+
tags: ["coding-standard", "agent-guidance"],
|
|
96
|
+
},
|
|
97
|
+
{
|
|
98
|
+
id: "FACT-SCHEMA-MIGRATION-BOUNDARY-RULE",
|
|
99
|
+
predicate_name: "migration_boundary_rule",
|
|
100
|
+
title: "Migration boundary rule",
|
|
101
|
+
description: "Legacy data or APIs may only be used for migration or compatibility input.",
|
|
102
|
+
argument_names: ["subject", "allowed_action", "scope"],
|
|
103
|
+
argument_types: ["entity", "action", "scope"],
|
|
104
|
+
keywords: ["legacy", "migration input", "only be read"],
|
|
105
|
+
examples: [
|
|
106
|
+
"migration_boundary_rule(legacy_fabricdata, read, migration_input)",
|
|
107
|
+
],
|
|
108
|
+
tags: ["migration", "compatibility"],
|
|
109
|
+
},
|
|
110
|
+
{
|
|
111
|
+
id: "FACT-SCHEMA-ABSENCE-REQUIREMENT",
|
|
112
|
+
predicate_name: "absence_requirement",
|
|
113
|
+
title: "Absence requirement",
|
|
114
|
+
description: "A component, extension, RPC, schema, or feature must be absent, removed, or not exist.",
|
|
115
|
+
argument_names: ["subject", "state"],
|
|
116
|
+
argument_types: ["entity", "state"],
|
|
117
|
+
keywords: ["absent", "removed", "must not exist", "not exist", "no"],
|
|
118
|
+
examples: ["absence_requirement(pg_graphql_extension, absent)"],
|
|
119
|
+
tags: ["absence", "security"],
|
|
120
|
+
},
|
|
121
|
+
{
|
|
122
|
+
id: "FACT-SCHEMA-OFFLINE-BEHAVIOR-RULE",
|
|
123
|
+
predicate_name: "offline_behavior_rule",
|
|
124
|
+
title: "Offline behavior rule",
|
|
125
|
+
description: "Synchronization or gameplay behavior remains non-blocking or resilient during offline conditions.",
|
|
126
|
+
argument_names: ["subject", "behavior", "condition"],
|
|
127
|
+
argument_types: ["entity", "behavior", "condition"],
|
|
128
|
+
keywords: ["offline", "non-blocking", "resilient", "synchronization"],
|
|
129
|
+
examples: [
|
|
130
|
+
"offline_behavior_rule(cloud_synchronization, non-blocking, offline_conditions)",
|
|
131
|
+
],
|
|
132
|
+
tags: ["offline", "sync"],
|
|
133
|
+
},
|
|
134
|
+
{
|
|
135
|
+
id: "FACT-SCHEMA-RELEASE-GATE-RULE",
|
|
136
|
+
predicate_name: "release_gate_rule",
|
|
137
|
+
title: "Release gate rule",
|
|
138
|
+
description: "A build or release must pass named gates before distribution, review, or deployment.",
|
|
139
|
+
argument_names: ["subject", "gate", "target"],
|
|
140
|
+
argument_types: ["entity", "gate", "release_target"],
|
|
141
|
+
keywords: ["release", "gates", "before", "testflight", "distribution"],
|
|
142
|
+
examples: [
|
|
143
|
+
"release_gate_rule(ios_builds, configuration_gates, testflight_distribution)",
|
|
144
|
+
],
|
|
145
|
+
tags: ["release", "gate"],
|
|
146
|
+
},
|
|
147
|
+
{
|
|
148
|
+
id: "FACT-SCHEMA-PLATFORM-CONSISTENCY-RULE",
|
|
149
|
+
predicate_name: "platform_consistency_rule",
|
|
150
|
+
title: "Platform consistency rule",
|
|
151
|
+
description: "A state or entitlement synchronizes across named platforms.",
|
|
152
|
+
argument_names: ["subject", "platforms"],
|
|
153
|
+
argument_types: ["entity", "platform_list"],
|
|
154
|
+
keywords: ["synchronize", "across", "platforms", "ios", "android", "web"],
|
|
155
|
+
examples: ["platform_consistency_rule(premium_status, ios,android,web)"],
|
|
156
|
+
tags: ["platform", "consistency"],
|
|
157
|
+
},
|
|
158
|
+
{
|
|
159
|
+
id: "FACT-SCHEMA-PRESERVATION-RULE",
|
|
160
|
+
predicate_name: "preservation_rule",
|
|
161
|
+
title: "Preservation rule",
|
|
162
|
+
description: "Child data or feedback is preserved across deletion or removal of a parent resource.",
|
|
163
|
+
argument_names: ["subject", "preserved", "condition"],
|
|
164
|
+
argument_types: ["action", "entity", "condition"],
|
|
165
|
+
keywords: ["preserve", "preserved", "deletion", "removed"],
|
|
166
|
+
examples: [
|
|
167
|
+
"preservation_rule(soft_deletion, annotations, video_is_removed)",
|
|
168
|
+
],
|
|
169
|
+
tags: ["preservation", "deletion"],
|
|
170
|
+
},
|
|
171
|
+
{
|
|
172
|
+
id: "FACT-SCHEMA-ABSTRACTION-BOUNDARY-RULE",
|
|
173
|
+
predicate_name: "abstraction_boundary_rule",
|
|
174
|
+
title: "Abstraction boundary rule",
|
|
175
|
+
description: "Persisted data, APIs, or contracts must stay neutral to a renderer, vendor, runtime, or implementation detail.",
|
|
176
|
+
argument_names: ["subject", "relation", "contract"],
|
|
177
|
+
argument_types: ["entity", "relation", "contract"],
|
|
178
|
+
keywords: ["renderer-neutral", "contract", "runtime snapshots", "vendor"],
|
|
179
|
+
examples: [
|
|
180
|
+
"abstraction_boundary_rule(annotation_drawing_data, persisted_as, renderer-neutral_scene_contract)",
|
|
181
|
+
],
|
|
182
|
+
tags: ["architecture", "abstraction"],
|
|
183
|
+
},
|
|
184
|
+
{
|
|
185
|
+
id: "FACT-SCHEMA-SECURITY-CONFIGURATION-RULE",
|
|
186
|
+
predicate_name: "security_configuration_rule",
|
|
187
|
+
title: "Security configuration rule",
|
|
188
|
+
description: "A security-sensitive component must have an explicit configuration value.",
|
|
189
|
+
argument_names: ["subject", "setting", "value"],
|
|
190
|
+
argument_types: ["entity", "setting", "value"],
|
|
191
|
+
keywords: ["explicit", "search_path", "security", "configuration"],
|
|
192
|
+
examples: [
|
|
193
|
+
"security_configuration_rule(trigger_functions, search_path, public)",
|
|
194
|
+
],
|
|
195
|
+
tags: ["security", "configuration"],
|
|
196
|
+
},
|
|
197
|
+
];
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"predicate-catalog-3.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-3.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EA0MzD,CAAC"}
|
|
@@ -0,0 +1,193 @@
|
|
|
1
|
+
// implements REQ-mcp-suggest-predicates
|
|
2
|
+
export const PREDICATE_CATALOG_3 = [
|
|
3
|
+
{
|
|
4
|
+
id: "FACT-SCHEMA-ORDERED-STRATEGY-RULE",
|
|
5
|
+
predicate_name: "ordered_strategy_rule",
|
|
6
|
+
title: "Ordered strategy rule",
|
|
7
|
+
description: "A subject must use strategies in a required priority order.",
|
|
8
|
+
argument_names: ["subject", "strategy_kind", "ordered_values"],
|
|
9
|
+
argument_types: ["entity", "strategy_kind", "ordered_list"],
|
|
10
|
+
keywords: ["priority order", "selector strategies", "fallback order"],
|
|
11
|
+
examples: [
|
|
12
|
+
"ordered_strategy_rule(poms, selector_strategies, data-testid,visible,text)",
|
|
13
|
+
],
|
|
14
|
+
tags: ["strategy", "priority"],
|
|
15
|
+
},
|
|
16
|
+
{
|
|
17
|
+
id: "FACT-SCHEMA-REFRESH-POLICY-RULE",
|
|
18
|
+
predicate_name: "refresh_policy_rule",
|
|
19
|
+
title: "Refresh policy rule",
|
|
20
|
+
description: "A subject refreshes a target automatically or by a named policy.",
|
|
21
|
+
argument_names: ["subject", "target", "policy"],
|
|
22
|
+
argument_types: ["entity", "target", "policy"],
|
|
23
|
+
keywords: ["automatically refresh", "manual page reload", "refresh"],
|
|
24
|
+
examples: ["refresh_policy_rule(dashboard, processing_videos, automatic)"],
|
|
25
|
+
tags: ["refresh", "ui"],
|
|
26
|
+
},
|
|
27
|
+
{
|
|
28
|
+
id: "FACT-SCHEMA-SCOPED-AUTHORIZATION-RULE",
|
|
29
|
+
predicate_name: "scoped_authorization_rule",
|
|
30
|
+
title: "Scoped authorization rule",
|
|
31
|
+
description: "A scoped actor is allowed or denied an action because of assignment, ownership, or membership.",
|
|
32
|
+
argument_names: ["actor_scope", "action", "decision"],
|
|
33
|
+
argument_types: ["actor_scope", "action", "decision"],
|
|
34
|
+
keywords: ["unassigned", "assigned", "denied", "scoped"],
|
|
35
|
+
examples: [
|
|
36
|
+
"scoped_authorization_rule(unassigned_instructors, signed_url_generation, deny)",
|
|
37
|
+
],
|
|
38
|
+
tags: ["authorization", "scope"],
|
|
39
|
+
},
|
|
40
|
+
{
|
|
41
|
+
id: "FACT-SCHEMA-DOCUMENTATION-STANDARD-RULE",
|
|
42
|
+
predicate_name: "documentation_standard_rule",
|
|
43
|
+
title: "Documentation standard rule",
|
|
44
|
+
description: "A subject must be documented in a named documentation artifact.",
|
|
45
|
+
argument_names: ["subject", "relation", "artifact"],
|
|
46
|
+
argument_types: ["entity", "relation", "artifact"],
|
|
47
|
+
keywords: ["documented", "docs", "symbols", "documentation"],
|
|
48
|
+
examples: [
|
|
49
|
+
"documentation_standard_rule(code_symbols, documented_in, docs_symbols_yaml)",
|
|
50
|
+
],
|
|
51
|
+
tags: ["documentation", "standard"],
|
|
52
|
+
},
|
|
53
|
+
{
|
|
54
|
+
id: "FACT-SCHEMA-WARMUP-POLICY-RULE",
|
|
55
|
+
predicate_name: "warmup_policy_rule",
|
|
56
|
+
title: "Warmup policy rule",
|
|
57
|
+
description: "A subject must warm up on a named trigger or entry point.",
|
|
58
|
+
argument_names: ["subject", "trigger"],
|
|
59
|
+
argument_types: ["entity", "trigger"],
|
|
60
|
+
keywords: ["warm up", "warmup", "on entry"],
|
|
61
|
+
examples: ["warmup_policy_rule(editor_video, entry)"],
|
|
62
|
+
tags: ["warmup", "performance"],
|
|
63
|
+
},
|
|
64
|
+
{
|
|
65
|
+
id: "FACT-SCHEMA-VISUAL-LAYOUT-RULE",
|
|
66
|
+
predicate_name: "visual_layout_rule",
|
|
67
|
+
title: "Visual layout rule",
|
|
68
|
+
description: "A UI subject must remain visually aligned or layout-consistent with a target.",
|
|
69
|
+
argument_names: ["subject", "relation", "target"],
|
|
70
|
+
argument_types: ["ui_entity", "relation", "ui_entity"],
|
|
71
|
+
keywords: ["visually aligned", "layout", "aligned with"],
|
|
72
|
+
examples: [
|
|
73
|
+
"visual_layout_rule(processing_video_cards, aligned_with, ready_cards)",
|
|
74
|
+
],
|
|
75
|
+
tags: ["visual", "layout"],
|
|
76
|
+
},
|
|
77
|
+
{
|
|
78
|
+
id: "FACT-SCHEMA-ENFORCEMENT-LOCATION-RULE",
|
|
79
|
+
predicate_name: "enforcement_location_rule",
|
|
80
|
+
title: "Enforcement location rule",
|
|
81
|
+
description: "A constraint or policy must be enforced at a named system layer.",
|
|
82
|
+
argument_names: ["subject", "location"],
|
|
83
|
+
argument_types: ["constraint", "system_layer"],
|
|
84
|
+
keywords: ["enforced at", "database level", "application level"],
|
|
85
|
+
examples: [
|
|
86
|
+
"enforcement_location_rule(foreign_key_constraints, database_level)",
|
|
87
|
+
],
|
|
88
|
+
tags: ["enforcement", "architecture"],
|
|
89
|
+
},
|
|
90
|
+
{
|
|
91
|
+
id: "FACT-SCHEMA-RECONCILIATION-RULE",
|
|
92
|
+
predicate_name: "reconciliation_rule",
|
|
93
|
+
title: "Reconciliation rule",
|
|
94
|
+
description: "A trigger reconciles a target and performs a stale-data cleanup action.",
|
|
95
|
+
argument_names: ["subject", "trigger", "target", "action"],
|
|
96
|
+
argument_types: ["entity", "trigger", "target", "action"],
|
|
97
|
+
keywords: ["reconcile", "clear stale", "stale notifications"],
|
|
98
|
+
examples: [
|
|
99
|
+
"reconciliation_rule(system, login, analysis_notifications, clear_stale_notifications)",
|
|
100
|
+
],
|
|
101
|
+
tags: ["reconciliation", "cleanup"],
|
|
102
|
+
},
|
|
103
|
+
{
|
|
104
|
+
id: "FACT-SCHEMA-THROTTLE-POLICY-RULE",
|
|
105
|
+
predicate_name: "throttle_policy_rule",
|
|
106
|
+
title: "Throttle policy rule",
|
|
107
|
+
description: "Handlers or operations must be throttled for a named activity class.",
|
|
108
|
+
argument_names: ["subject", "condition"],
|
|
109
|
+
argument_types: ["entity", "condition"],
|
|
110
|
+
keywords: ["throttled", "high-frequency", "event handlers"],
|
|
111
|
+
examples: [
|
|
112
|
+
"throttle_policy_rule(event_handlers, high-frequency_operations)",
|
|
113
|
+
],
|
|
114
|
+
tags: ["throttle", "performance"],
|
|
115
|
+
},
|
|
116
|
+
{
|
|
117
|
+
id: "FACT-SCHEMA-HAS-UNSAVED-CHANGES",
|
|
118
|
+
predicate_name: "has_unsaved_changes",
|
|
119
|
+
title: "Unsaved change state",
|
|
120
|
+
description: "A subject has unsaved or dirty local edits.",
|
|
121
|
+
argument_names: ["subject", "expected"],
|
|
122
|
+
argument_types: ["entity", "boolean"],
|
|
123
|
+
keywords: ["unsaved", "dirty", "draft", "edits", "changes"],
|
|
124
|
+
examples: ["has_unsaved_changes(editor.annotation, true)"],
|
|
125
|
+
tags: ["state", "persistence"],
|
|
126
|
+
},
|
|
127
|
+
{
|
|
128
|
+
id: "FACT-SCHEMA-COMMIT-ACTION",
|
|
129
|
+
predicate_name: "commit_action",
|
|
130
|
+
title: "Commit or save action",
|
|
131
|
+
description: "A trigger commits, saves, or persists a subject within a scope.",
|
|
132
|
+
argument_names: ["subject", "trigger", "scope"],
|
|
133
|
+
argument_types: ["entity", "trigger", "scope"],
|
|
134
|
+
keywords: [
|
|
135
|
+
"save",
|
|
136
|
+
"saves",
|
|
137
|
+
"saved",
|
|
138
|
+
"auto-save",
|
|
139
|
+
"autosave",
|
|
140
|
+
"commit",
|
|
141
|
+
"persist",
|
|
142
|
+
"navigation",
|
|
143
|
+
"navigates",
|
|
144
|
+
"draft",
|
|
145
|
+
],
|
|
146
|
+
examples: ["commit_action(editor.annotation, navigation, draft)"],
|
|
147
|
+
tags: ["persistence", "workflow"],
|
|
148
|
+
},
|
|
149
|
+
{
|
|
150
|
+
id: "FACT-SCHEMA-DISCARD-ACTION",
|
|
151
|
+
predicate_name: "discard_action",
|
|
152
|
+
title: "Discard action",
|
|
153
|
+
description: "A trigger discards or cancels changes for a subject within a scope.",
|
|
154
|
+
argument_names: ["subject", "trigger", "scope"],
|
|
155
|
+
argument_types: ["entity", "trigger", "scope"],
|
|
156
|
+
keywords: ["discard", "cancel", "escape", "revert", "without save"],
|
|
157
|
+
examples: ["discard_action(editor.annotation, escape, active_annotation)"],
|
|
158
|
+
tags: ["persistence", "workflow"],
|
|
159
|
+
},
|
|
160
|
+
{
|
|
161
|
+
id: "FACT-SCHEMA-ACCESSIBILITY",
|
|
162
|
+
predicate_name: "accessibility_requirement",
|
|
163
|
+
title: "Accessibility requirement",
|
|
164
|
+
description: "A subject must satisfy an accessibility standard or severity target.",
|
|
165
|
+
argument_names: ["subject", "standard", "severity"],
|
|
166
|
+
argument_types: ["entity", "standard", "severity"],
|
|
167
|
+
keywords: ["accessibility", "a11y", "wcag", "keyboard", "screen reader"],
|
|
168
|
+
examples: ["accessibility_requirement(game.flow, WCAG, high)"],
|
|
169
|
+
tags: ["accessibility", "quality"],
|
|
170
|
+
},
|
|
171
|
+
{
|
|
172
|
+
id: "FACT-SCHEMA-RETENTION-POLICY",
|
|
173
|
+
predicate_name: "retention_policy",
|
|
174
|
+
title: "Retention policy",
|
|
175
|
+
description: "A subject is retained for a bounded duration.",
|
|
176
|
+
argument_names: ["subject", "duration", "unit"],
|
|
177
|
+
argument_types: ["entity", "number", "unit"],
|
|
178
|
+
keywords: ["retain", "retained", "retention", "days", "months", "years"],
|
|
179
|
+
examples: ["retention_policy(customer.data, 7, years)"],
|
|
180
|
+
tags: ["data", "policy"],
|
|
181
|
+
},
|
|
182
|
+
{
|
|
183
|
+
id: "FACT-SCHEMA-RESOURCE-CONSTRAINT",
|
|
184
|
+
predicate_name: "resource_constraint",
|
|
185
|
+
title: "Resource constraint",
|
|
186
|
+
description: "A subject constrains a resource by operator, threshold, and unit.",
|
|
187
|
+
argument_names: ["subject", "resource", "operator", "threshold", "unit"],
|
|
188
|
+
argument_types: ["entity", "resource", "operator", "number", "unit"],
|
|
189
|
+
keywords: ["limit", "maximum", "minimum", "latency", "timeout", "size"],
|
|
190
|
+
examples: ["resource_constraint(api.search, latency, lte, 200, ms)"],
|
|
191
|
+
tags: ["performance", "constraint"],
|
|
192
|
+
},
|
|
193
|
+
];
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"predicate-catalog-4.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-4.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAoJzD,CAAC"}
|