devcontour-harness 0.1.0-alpha.13 → 0.1.0-alpha.16
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +32 -2
- package/docs/architecture.md +6 -0
- package/docs/contracts.md +100 -0
- package/docs/quickstart.md +1 -1
- package/docs/release-notes/0.1.0-alpha.14.md +69 -0
- package/docs/release-notes/0.1.0-alpha.15.md +62 -0
- package/docs/release-notes/0.1.0-alpha.16.md +36 -0
- package/docs/upgrade.md +15 -14
- package/lib/contracts/checks.d.ts +119 -0
- package/lib/contracts/checks.js +64 -1
- package/lib/contracts/execution.d.ts +28 -0
- package/lib/contracts/published.d.ts +28 -0
- package/lib/control/harness.js +2 -1
- package/lib/control/recovery.d.ts +25 -0
- package/lib/engine/runner.js +28 -3
- package/lib/index.d.ts +2 -2
- package/lib/index.js +2 -2
- package/lib/verification/acceptance.js +2 -1
- package/lib/verification/checks.d.ts +28 -0
- package/lib/verification/checks.js +270 -22
- package/lib/verification/corpus.d.ts +50 -0
- package/lib/verification/gates.js +14 -4
- package/lib/verification/property.d.ts +9 -0
- package/lib/verification/property.js +11 -2
- package/lib/verification/self-check.js +12 -12
- package/package.json +1 -1
- package/schemas/contract-document.schema.json +161 -0
|
@@ -306,6 +306,167 @@
|
|
|
306
306
|
],
|
|
307
307
|
"additionalProperties": false
|
|
308
308
|
},
|
|
309
|
+
"gates": {
|
|
310
|
+
"minItems": 1,
|
|
311
|
+
"maxItems": 10,
|
|
312
|
+
"type": "array",
|
|
313
|
+
"items": {
|
|
314
|
+
"type": "string",
|
|
315
|
+
"pattern": "^[A-Za-z0-9_-]{1,80}$"
|
|
316
|
+
}
|
|
317
|
+
},
|
|
318
|
+
"verification": {
|
|
319
|
+
"type": "string",
|
|
320
|
+
"enum": [
|
|
321
|
+
"property",
|
|
322
|
+
"reference"
|
|
323
|
+
]
|
|
324
|
+
},
|
|
325
|
+
"reference": {
|
|
326
|
+
"type": "object",
|
|
327
|
+
"properties": {
|
|
328
|
+
"oracle": {
|
|
329
|
+
"type": "object",
|
|
330
|
+
"properties": {
|
|
331
|
+
"description": {
|
|
332
|
+
"type": "string",
|
|
333
|
+
"minLength": 3,
|
|
334
|
+
"maxLength": 2000
|
|
335
|
+
},
|
|
336
|
+
"limits": {
|
|
337
|
+
"type": "string",
|
|
338
|
+
"minLength": 3,
|
|
339
|
+
"maxLength": 2000
|
|
340
|
+
}
|
|
341
|
+
},
|
|
342
|
+
"required": [
|
|
343
|
+
"description",
|
|
344
|
+
"limits"
|
|
345
|
+
],
|
|
346
|
+
"additionalProperties": false
|
|
347
|
+
},
|
|
348
|
+
"crossChecks": {
|
|
349
|
+
"minItems": 1,
|
|
350
|
+
"maxItems": 10,
|
|
351
|
+
"type": "array",
|
|
352
|
+
"items": {
|
|
353
|
+
"type": "object",
|
|
354
|
+
"properties": {
|
|
355
|
+
"family": {
|
|
356
|
+
"type": "string",
|
|
357
|
+
"minLength": 3,
|
|
358
|
+
"maxLength": 200
|
|
359
|
+
},
|
|
360
|
+
"against": {
|
|
361
|
+
"type": "string",
|
|
362
|
+
"minLength": 3,
|
|
363
|
+
"maxLength": 500
|
|
364
|
+
},
|
|
365
|
+
"matches": {
|
|
366
|
+
"type": "integer",
|
|
367
|
+
"minimum": 0,
|
|
368
|
+
"maximum": 100000000
|
|
369
|
+
},
|
|
370
|
+
"total": {
|
|
371
|
+
"type": "integer",
|
|
372
|
+
"minimum": 1,
|
|
373
|
+
"maximum": 100000000
|
|
374
|
+
},
|
|
375
|
+
"artifacts": {
|
|
376
|
+
"minItems": 1,
|
|
377
|
+
"maxItems": 10,
|
|
378
|
+
"type": "array",
|
|
379
|
+
"items": {
|
|
380
|
+
"type": "string",
|
|
381
|
+
"minLength": 1,
|
|
382
|
+
"maxLength": 500,
|
|
383
|
+
"pattern": "^(?!\\/)(?!.*[\\\\:*?\\[\\]\\x00])(?!(?:.*\\/)?\\.{1,2}(?:\\/|$))(?=.{1,500}$).+$"
|
|
384
|
+
}
|
|
385
|
+
}
|
|
386
|
+
},
|
|
387
|
+
"required": [
|
|
388
|
+
"family",
|
|
389
|
+
"against",
|
|
390
|
+
"matches",
|
|
391
|
+
"total"
|
|
392
|
+
],
|
|
393
|
+
"additionalProperties": false
|
|
394
|
+
}
|
|
395
|
+
},
|
|
396
|
+
"sets": {
|
|
397
|
+
"minItems": 1,
|
|
398
|
+
"maxItems": 20,
|
|
399
|
+
"type": "array",
|
|
400
|
+
"items": {
|
|
401
|
+
"type": "object",
|
|
402
|
+
"properties": {
|
|
403
|
+
"gate": {
|
|
404
|
+
"type": "string",
|
|
405
|
+
"pattern": "^[A-Za-z0-9_-]{1,80}$"
|
|
406
|
+
},
|
|
407
|
+
"artifacts": {
|
|
408
|
+
"minItems": 1,
|
|
409
|
+
"maxItems": 10,
|
|
410
|
+
"type": "array",
|
|
411
|
+
"items": {
|
|
412
|
+
"type": "string",
|
|
413
|
+
"minLength": 1,
|
|
414
|
+
"maxLength": 500,
|
|
415
|
+
"pattern": "^(?!\\/)(?!.*[\\\\:*?\\[\\]\\x00])(?!(?:.*\\/)?\\.{1,2}(?:\\/|$))(?=.{1,500}$).+$"
|
|
416
|
+
}
|
|
417
|
+
},
|
|
418
|
+
"minCases": {
|
|
419
|
+
"type": "integer",
|
|
420
|
+
"minimum": 1,
|
|
421
|
+
"maximum": 1000000
|
|
422
|
+
},
|
|
423
|
+
"families": {
|
|
424
|
+
"default": [],
|
|
425
|
+
"maxItems": 20,
|
|
426
|
+
"type": "array",
|
|
427
|
+
"items": {
|
|
428
|
+
"type": "object",
|
|
429
|
+
"properties": {
|
|
430
|
+
"id": {
|
|
431
|
+
"type": "string",
|
|
432
|
+
"pattern": "^[A-Za-z0-9_-]{1,80}$"
|
|
433
|
+
},
|
|
434
|
+
"minCases": {
|
|
435
|
+
"type": "integer",
|
|
436
|
+
"minimum": 1,
|
|
437
|
+
"maximum": 1000000
|
|
438
|
+
}
|
|
439
|
+
},
|
|
440
|
+
"required": [
|
|
441
|
+
"id",
|
|
442
|
+
"minCases"
|
|
443
|
+
],
|
|
444
|
+
"additionalProperties": false
|
|
445
|
+
}
|
|
446
|
+
}
|
|
447
|
+
},
|
|
448
|
+
"required": [
|
|
449
|
+
"gate",
|
|
450
|
+
"artifacts",
|
|
451
|
+
"minCases"
|
|
452
|
+
],
|
|
453
|
+
"additionalProperties": false
|
|
454
|
+
}
|
|
455
|
+
},
|
|
456
|
+
"gaps": {
|
|
457
|
+
"type": "string",
|
|
458
|
+
"minLength": 3,
|
|
459
|
+
"maxLength": 2000
|
|
460
|
+
}
|
|
461
|
+
},
|
|
462
|
+
"required": [
|
|
463
|
+
"oracle",
|
|
464
|
+
"crossChecks",
|
|
465
|
+
"sets",
|
|
466
|
+
"gaps"
|
|
467
|
+
],
|
|
468
|
+
"additionalProperties": false
|
|
469
|
+
},
|
|
309
470
|
"hard": {
|
|
310
471
|
"default": false,
|
|
311
472
|
"type": "boolean"
|