kibi-cli 0.17.0 → 0.18.1
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/cli-json-command.d.ts.map +1 -1
- package/dist/cli-json-command.js +87 -11
- package/dist/cli-register-maintenance.d.ts.map +1 -1
- package/dist/cli-register-maintenance.js +8 -0
- package/dist/cli-register-reporting.d.ts.map +1 -1
- package/dist/cli-register-reporting.js +5 -0
- package/dist/cli.d.ts.map +1 -1
- package/dist/cli.js +2 -1
- package/dist/commands/aggregated-checks.d.ts.map +1 -1
- package/dist/commands/aggregated-checks.js +1 -0
- package/dist/commands/coverage.d.ts +5 -0
- package/dist/commands/coverage.d.ts.map +1 -1
- package/dist/commands/coverage.js +5 -0
- package/dist/commands/discovery-table.d.ts.map +1 -1
- package/dist/commands/discovery-table.js +96 -5
- package/dist/commands/sync/cache.d.ts +2 -0
- package/dist/commands/sync/cache.d.ts.map +1 -1
- package/dist/commands/sync/cache.js +8 -0
- package/dist/commands/sync/persistence.d.ts.map +1 -1
- package/dist/commands/sync/persistence.js +58 -1
- package/dist/commands/sync.d.ts.map +1 -1
- package/dist/commands/sync.js +72 -15
- package/dist/commands/usage-metrics.d.ts +66 -2
- package/dist/commands/usage-metrics.d.ts.map +1 -1
- package/dist/commands/usage-metrics.js +34 -24
- package/dist/commands/usage-remediation.d.ts +9 -0
- package/dist/commands/usage-remediation.d.ts.map +1 -0
- package/dist/commands/usage-remediation.js +52 -0
- package/dist/extractors/markdown.d.ts +8 -0
- package/dist/extractors/markdown.d.ts.map +1 -1
- package/dist/extractors/markdown.js +69 -2
- package/dist/operations/modeling/logic-modeling.d.ts.map +1 -1
- package/dist/operations/modeling/logic-modeling.js +14 -5
- package/dist/operations/modeling/model-requirement.d.ts.map +1 -1
- package/dist/operations/modeling/model-requirement.js +27 -2
- package/dist/operations/modeling/predicate-applyplan.d.ts +1 -1
- package/dist/operations/modeling/predicate-applyplan.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-applyplan.js +18 -6
- package/dist/operations/modeling/predicate-inference.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-inference.js +5 -17
- package/dist/operations/modeling/predicate-loader.js +1 -1
- package/dist/operations/modeling/predicate-types.d.ts +9 -1
- package/dist/operations/modeling/predicate-types.d.ts.map +1 -1
- package/dist/operations/modeling/suggest-predicates.d.ts.map +1 -1
- package/dist/operations/modeling/suggest-predicates.js +35 -11
- package/dist/operations/mutation/audit.js +1 -1
- package/dist/operations/mutation/contradictions.d.ts +1 -1
- package/dist/operations/mutation/contradictions.d.ts.map +1 -1
- package/dist/operations/mutation/contradictions.js +23 -18
- package/dist/operations/mutation/serialization.d.ts.map +1 -1
- package/dist/operations/mutation/serialization.js +6 -3
- package/dist/operations/mutation/upsert.d.ts +3 -1
- package/dist/operations/mutation/upsert.d.ts.map +1 -1
- package/dist/operations/mutation/upsert.js +51 -12
- package/dist/operations/mutation/validate-upsert.d.ts.map +1 -1
- package/dist/operations/mutation/validate-upsert.js +18 -2
- package/dist/operations/mutation/validation.d.ts.map +1 -1
- package/dist/operations/mutation/validation.js +8 -0
- package/dist/operations/semantic-advisor/analysis-receipt.d.ts.map +1 -1
- package/dist/operations/semantic-advisor/analysis-receipt.js +7 -1
- package/dist/operations/semantic-advisor/analyze-prose.d.ts.map +1 -1
- package/dist/operations/semantic-advisor/analyze-prose.js +76 -61
- package/dist/operations/semantic-advisor/clauses.d.ts +1 -0
- package/dist/operations/semantic-advisor/clauses.d.ts.map +1 -1
- package/dist/operations/semantic-advisor/clauses.js +7 -7
- package/dist/operations/semantic-advisor/ingestion-boundary.d.ts +18 -0
- package/dist/operations/semantic-advisor/ingestion-boundary.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/ingestion-boundary.js +167 -0
- package/dist/operations/semantic-advisor/shared.d.ts +8 -0
- package/dist/operations/semantic-advisor/shared.d.ts.map +1 -1
- package/dist/operations/semantic-advisor/shared.js +37 -3
- package/dist/operations/semantic-advisor/types.d.ts +5 -0
- package/dist/operations/semantic-advisor/types.d.ts.map +1 -1
- package/dist/prolog/codec.d.ts.map +1 -1
- package/dist/prolog/codec.js +9 -2
- package/dist/prolog.d.ts +6 -0
- package/dist/prolog.d.ts.map +1 -1
- package/dist/prolog.js +240 -61
- package/dist/public/diagnostic-usage.d.ts +17 -0
- package/dist/public/diagnostic-usage.d.ts.map +1 -0
- package/dist/public/diagnostic-usage.js +152 -0
- package/dist/public/distribution-parity.d.ts +90 -0
- package/dist/public/distribution-parity.d.ts.map +1 -0
- package/dist/public/distribution-parity.js +367 -0
- package/dist/public/impact/full-kb-quality.d.ts +2 -0
- package/dist/public/impact/full-kb-quality.d.ts.map +1 -1
- package/dist/public/impact/full-kb-quality.js +53 -1
- package/dist/public/impact-diagnostics.d.ts +2 -0
- package/dist/public/impact-diagnostics.d.ts.map +1 -1
- package/dist/public/impact-diagnostics.js +1 -0
- package/dist/public/operations/catalog.d.ts +151 -6
- package/dist/public/operations/catalog.d.ts.map +1 -1
- package/dist/public/operations/check-executor.d.ts.map +1 -1
- package/dist/public/operations/check-executor.js +4 -0
- package/dist/public/operations/discovery-executors.d.ts +6 -0
- package/dist/public/operations/discovery-executors.d.ts.map +1 -1
- package/dist/public/operations/discovery-executors.js +18 -2
- package/dist/public/operations/index.d.ts +4 -0
- package/dist/public/operations/index.d.ts.map +1 -1
- package/dist/public/operations/index.js +4 -0
- package/dist/public/operations/legacy-migration-plan.d.ts +113 -0
- package/dist/public/operations/legacy-migration-plan.d.ts.map +1 -0
- package/dist/public/operations/legacy-migration-plan.js +409 -0
- package/dist/public/operations/node-ports.d.ts.map +1 -1
- package/dist/public/operations/node-ports.js +90 -0
- package/dist/public/operations/repair-plan.d.ts +184 -0
- package/dist/public/operations/repair-plan.d.ts.map +1 -0
- package/dist/public/operations/repair-plan.js +397 -0
- package/dist/public/operations/runtime-types.d.ts +7 -0
- package/dist/public/operations/runtime-types.d.ts.map +1 -1
- package/dist/public/operations/specs/check.d.ts +2 -2
- package/dist/public/operations/specs/check.js +2 -2
- package/dist/public/operations/specs/discovery.d.ts +1 -1
- package/dist/public/operations/specs/discovery.js +1 -1
- package/dist/public/operations/specs/modeling.d.ts +19 -1
- package/dist/public/operations/specs/modeling.d.ts.map +1 -1
- package/dist/public/operations/specs/modeling.js +16 -1
- package/dist/public/operations/specs/mutation-schemas.d.ts +96 -1
- package/dist/public/operations/specs/mutation-schemas.d.ts.map +1 -1
- package/dist/public/operations/specs/mutation-schemas.js +40 -1
- package/dist/public/operations/specs/reporting.d.ts +42 -1
- package/dist/public/operations/specs/reporting.d.ts.map +1 -1
- package/dist/public/operations/specs/reporting.js +70 -6
- package/dist/public/operations/specs/semantic.js +1 -1
- package/dist/public/operations/specs/upsert.d.ts +96 -1
- package/dist/public/operations/specs/upsert.d.ts.map +1 -1
- package/dist/public/operations/workspace-snapshot.d.ts +10 -0
- package/dist/public/operations/workspace-snapshot.d.ts.map +1 -0
- package/dist/public/operations/workspace-snapshot.js +20 -0
- package/dist/public/schemas/entity.d.ts.map +1 -1
- package/dist/public/schemas/entity.js +43 -1
- package/dist/public/skills/kibi-traceability/SKILL.md +7 -1
- package/dist/public/skills/kibi-usage/SKILL.md +10 -4
- package/dist/public/skills/kibi-usage/resources/fact-lanes.md +1 -1
- package/dist/public/skills/kibi-usage/resources/logic-ir.md +1 -1
- package/dist/public/skills/kibi-usage/resources/workflows.md +19 -2
- package/dist/public/telemetry-acceptance.d.ts +89 -0
- package/dist/public/telemetry-acceptance.d.ts.map +1 -0
- package/dist/public/telemetry-acceptance.js +597 -0
- package/dist/public/telemetry-remediation.d.ts +33 -0
- package/dist/public/telemetry-remediation.d.ts.map +1 -0
- package/dist/public/telemetry-remediation.js +257 -0
- package/dist/public/verification-receipt.d.ts +75 -0
- package/dist/public/verification-receipt.d.ts.map +1 -0
- package/dist/public/verification-receipt.js +129 -0
- package/dist/schemas/entity.schema.json +96 -2
- package/dist/traceability/temp-kb.d.ts.map +1 -1
- package/dist/traceability/temp-kb.js +36 -3
- package/dist/types/entities.d.ts +1 -0
- package/dist/types/entities.d.ts.map +1 -1
- package/dist/utils/rule-registry.d.ts +2 -0
- package/dist/utils/rule-registry.d.ts.map +1 -1
- package/package.json +30 -2
- package/src/public/diagnostic-usage.ts +206 -0
- package/src/public/distribution-parity.ts +580 -0
- package/src/public/impact/full-kb-quality.ts +74 -1
- package/src/public/impact-diagnostics.ts +16 -0
- package/src/public/operations/check-executor.ts +4 -0
- package/src/public/operations/discovery-executors.ts +24 -2
- package/src/public/operations/index.ts +4 -0
- package/src/public/operations/legacy-migration-plan.ts +688 -0
- package/src/public/operations/node-ports.ts +109 -0
- package/src/public/operations/repair-plan.ts +562 -0
- package/src/public/operations/runtime-types.ts +8 -0
- package/src/public/operations/specs/check.ts +2 -2
- package/src/public/operations/specs/discovery.ts +1 -1
- package/src/public/operations/specs/modeling.ts +19 -1
- package/src/public/operations/specs/mutation-schemas.ts +47 -1
- package/src/public/operations/specs/reporting.ts +91 -6
- package/src/public/operations/specs/semantic.ts +1 -1
- package/src/public/operations/workspace-snapshot.ts +28 -0
- package/src/public/schemas/entity.ts +44 -1
- package/src/public/skills/kibi-traceability/SKILL.md +7 -1
- package/src/public/skills/kibi-usage/SKILL.md +10 -4
- package/src/public/skills/kibi-usage/resources/fact-lanes.md +1 -1
- package/src/public/skills/kibi-usage/resources/logic-ir.md +1 -1
- package/src/public/skills/kibi-usage/resources/workflows.md +19 -2
- package/src/public/telemetry-acceptance.ts +859 -0
- package/src/public/telemetry-remediation.ts +462 -0
- package/src/public/verification-receipt.ts +170 -0
- package/src/schemas/entity.schema.json +96 -2
|
@@ -241,12 +241,33 @@
|
|
|
241
241
|
"severity": { "type": "string" },
|
|
242
242
|
"links": { "type": "array", "items": { "type": "string" } },
|
|
243
243
|
"text_ref": { "type": "string" },
|
|
244
|
+
"semantic_text": {
|
|
245
|
+
"type": "string",
|
|
246
|
+
"description": "Requirement-only authored prose whose exact UTF-8 bytes anchor the semantic inventory without replacing text_ref evidence."
|
|
247
|
+
},
|
|
244
248
|
"logic_claims": {
|
|
245
249
|
"type": "array",
|
|
246
250
|
"minItems": 1,
|
|
247
251
|
"uniqueItems": true,
|
|
248
252
|
"items": { "type": "string", "pattern": "^CLAIM-[A-F0-9]{16}$" }
|
|
249
253
|
},
|
|
254
|
+
"semantic_clauses": {
|
|
255
|
+
"type": "array",
|
|
256
|
+
"minItems": 1,
|
|
257
|
+
"items": { "type": "string", "minLength": 1 }
|
|
258
|
+
},
|
|
259
|
+
"semantic_inventory_version": {
|
|
260
|
+
"type": "string",
|
|
261
|
+
"const": "kibi.semantic-inventory.v1"
|
|
262
|
+
},
|
|
263
|
+
"semantic_source_field": {
|
|
264
|
+
"type": "string",
|
|
265
|
+
"enum": ["semantic_text", "text_ref", "title"]
|
|
266
|
+
},
|
|
267
|
+
"semantic_source_hash": {
|
|
268
|
+
"type": "string",
|
|
269
|
+
"pattern": "^[a-f0-9]{64}$"
|
|
270
|
+
},
|
|
250
271
|
"semantic_inventory": {
|
|
251
272
|
"type": "array",
|
|
252
273
|
"items": {
|
|
@@ -323,6 +344,63 @@
|
|
|
323
344
|
"type": "string",
|
|
324
345
|
"enum": ["internal", "consumer"]
|
|
325
346
|
},
|
|
347
|
+
"verification_receipts": {
|
|
348
|
+
"type": "array",
|
|
349
|
+
"maxItems": 50,
|
|
350
|
+
"items": {
|
|
351
|
+
"type": "object",
|
|
352
|
+
"required": [
|
|
353
|
+
"version",
|
|
354
|
+
"receipt_id",
|
|
355
|
+
"test_id",
|
|
356
|
+
"runner",
|
|
357
|
+
"command",
|
|
358
|
+
"scope",
|
|
359
|
+
"outcome",
|
|
360
|
+
"code_snapshot",
|
|
361
|
+
"environment_hash",
|
|
362
|
+
"started_at",
|
|
363
|
+
"finished_at",
|
|
364
|
+
"artifact_digest"
|
|
365
|
+
],
|
|
366
|
+
"properties": {
|
|
367
|
+
"version": {
|
|
368
|
+
"type": "string",
|
|
369
|
+
"const": "kibi.verification-receipt.v1"
|
|
370
|
+
},
|
|
371
|
+
"receipt_id": {
|
|
372
|
+
"type": "string",
|
|
373
|
+
"pattern": "^VR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$"
|
|
374
|
+
},
|
|
375
|
+
"test_id": { "type": "string", "minLength": 1 },
|
|
376
|
+
"runner": { "type": "string", "minLength": 1 },
|
|
377
|
+
"command": { "type": "string", "minLength": 1 },
|
|
378
|
+
"scope": {
|
|
379
|
+
"type": "string",
|
|
380
|
+
"enum": ["unit", "integration", "end_to_end"]
|
|
381
|
+
},
|
|
382
|
+
"outcome": {
|
|
383
|
+
"type": "string",
|
|
384
|
+
"enum": ["passed", "failed", "errored", "cancelled", "skipped"]
|
|
385
|
+
},
|
|
386
|
+
"code_snapshot": {
|
|
387
|
+
"type": "string",
|
|
388
|
+
"pattern": "^[a-f0-9]{64}$"
|
|
389
|
+
},
|
|
390
|
+
"environment_hash": {
|
|
391
|
+
"type": "string",
|
|
392
|
+
"pattern": "^[a-f0-9]{64}$"
|
|
393
|
+
},
|
|
394
|
+
"started_at": { "type": "string", "minLength": 1 },
|
|
395
|
+
"finished_at": { "type": "string", "minLength": 1 },
|
|
396
|
+
"artifact_digest": {
|
|
397
|
+
"type": "string",
|
|
398
|
+
"pattern": "^[a-f0-9]{64}$"
|
|
399
|
+
}
|
|
400
|
+
},
|
|
401
|
+
"additionalProperties": false
|
|
402
|
+
}
|
|
403
|
+
},
|
|
326
404
|
"type": {
|
|
327
405
|
"type": "string",
|
|
328
406
|
"enum": [
|
|
@@ -427,11 +505,16 @@
|
|
|
427
505
|
"not": {
|
|
428
506
|
"anyOf": [
|
|
429
507
|
{ "required": ["verification_scope"] },
|
|
430
|
-
{ "required": ["verification_perspective"] }
|
|
508
|
+
{ "required": ["verification_perspective"] },
|
|
509
|
+
{ "required": ["verification_receipts"] }
|
|
431
510
|
]
|
|
432
511
|
}
|
|
433
512
|
}
|
|
434
513
|
},
|
|
514
|
+
{
|
|
515
|
+
"if": { "required": ["verification_receipts"] },
|
|
516
|
+
"then": { "required": ["verification_scope"] }
|
|
517
|
+
},
|
|
435
518
|
{
|
|
436
519
|
"if": {
|
|
437
520
|
"properties": {
|
|
@@ -513,7 +596,18 @@
|
|
|
513
596
|
"properties": { "type": { "const": "req" } }
|
|
514
597
|
},
|
|
515
598
|
"then": {},
|
|
516
|
-
"else": {
|
|
599
|
+
"else": {
|
|
600
|
+
"not": {
|
|
601
|
+
"anyOf": [
|
|
602
|
+
{ "required": ["semantic_inventory"] },
|
|
603
|
+
{ "required": ["semantic_clauses"] },
|
|
604
|
+
{ "required": ["semantic_text"] },
|
|
605
|
+
{ "required": ["semantic_inventory_version"] },
|
|
606
|
+
{ "required": ["semantic_source_field"] },
|
|
607
|
+
{ "required": ["semantic_source_hash"] }
|
|
608
|
+
]
|
|
609
|
+
}
|
|
610
|
+
}
|
|
517
611
|
},
|
|
518
612
|
{
|
|
519
613
|
"if": {
|