devcontour-harness 0.1.0-alpha.13 → 0.1.0-alpha.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.
Files changed (73) hide show
  1. package/README.md +48 -2
  2. package/docs/architecture.md +77 -3
  3. package/docs/contracts.md +100 -0
  4. package/docs/quickstart.md +1 -1
  5. package/docs/release-notes/0.1.0-alpha.14.md +69 -0
  6. package/docs/release-notes/0.1.0-alpha.15.md +62 -0
  7. package/docs/release-notes/0.1.0-alpha.16.md +36 -0
  8. package/docs/release-notes/0.1.0-alpha.17.md +86 -0
  9. package/docs/release-notes/0.1.0-alpha.18.md +48 -0
  10. package/docs/review-probes.md +9 -3
  11. package/docs/review-protocol.md +9 -0
  12. package/docs/upgrade.md +16 -14
  13. package/lib/agents/cli-adapter.js +14 -10
  14. package/lib/agents/review-probe.d.ts +9 -0
  15. package/lib/agents/review-probe.js +23 -1
  16. package/lib/agents/schemas.d.ts +206 -0
  17. package/lib/agents/schemas.js +37 -1
  18. package/lib/agents/usage.d.ts +22 -0
  19. package/lib/agents/usage.js +112 -6
  20. package/lib/contracts/checks.d.ts +119 -0
  21. package/lib/contracts/checks.js +64 -1
  22. package/lib/contracts/cli.d.ts +30 -0
  23. package/lib/contracts/diagnosis.d.ts +3 -1
  24. package/lib/contracts/diagnosis.js +2 -0
  25. package/lib/contracts/events.d.ts +12 -0
  26. package/lib/contracts/execution.d.ts +109 -5
  27. package/lib/contracts/execution.js +58 -0
  28. package/lib/contracts/failure.d.ts +17 -3
  29. package/lib/contracts/failure.js +4 -2
  30. package/lib/contracts/published.d.ts +67 -1
  31. package/lib/contracts/repair-policy.d.ts +7 -0
  32. package/lib/contracts/repair-policy.js +17 -0
  33. package/lib/contracts/review.d.ts +12 -0
  34. package/lib/contracts/review.js +19 -0
  35. package/lib/control/harness.d.ts +2 -2
  36. package/lib/control/harness.js +2 -1
  37. package/lib/control/recovery.d.ts +26 -1
  38. package/lib/engine/engine.d.ts +41 -14
  39. package/lib/engine/engine.js +92 -8
  40. package/lib/engine/failure.d.ts +1 -1
  41. package/lib/engine/failure.js +1 -1
  42. package/lib/engine/property-recovery.d.ts +1 -0
  43. package/lib/engine/property-recovery.js +4 -1
  44. package/lib/engine/repair.d.ts +26 -0
  45. package/lib/engine/repair.js +83 -1
  46. package/lib/engine/runner.d.ts +7 -0
  47. package/lib/engine/runner.js +207 -34
  48. package/lib/explain/state.js +4 -2
  49. package/lib/index.d.ts +6 -4
  50. package/lib/index.js +6 -4
  51. package/lib/projections/stop.d.ts +1 -1
  52. package/lib/projections/stop.js +16 -0
  53. package/lib/storage/document.d.ts +48 -8
  54. package/lib/verification/acceptance.js +2 -1
  55. package/lib/verification/already-satisfied.d.ts +44 -0
  56. package/lib/verification/already-satisfied.js +49 -0
  57. package/lib/verification/checks.d.ts +28 -0
  58. package/lib/verification/checks.js +270 -22
  59. package/lib/verification/corpus.d.ts +50 -0
  60. package/lib/verification/gate-scope.d.ts +36 -0
  61. package/lib/verification/gate-scope.js +97 -0
  62. package/lib/verification/gates-at.d.ts +67 -0
  63. package/lib/verification/gates-at.js +173 -0
  64. package/lib/verification/gates.d.ts +5 -0
  65. package/lib/verification/gates.js +20 -5
  66. package/lib/verification/property.d.ts +9 -0
  67. package/lib/verification/property.js +11 -2
  68. package/lib/verification/self-check.js +12 -12
  69. package/package.json +1 -1
  70. package/schemas/contract-document.schema.json +161 -0
  71. package/schemas/execution-document.schema.json +134 -0
  72. package/schemas/run-event.schema.json +4 -0
  73. package/schemas/stop-diagnosis.schema.json +2 -0
package/schemas/execution-document.schema.json CHANGED
@@ -788,6 +788,7 @@
788
788
  "timeout",
789
789
  "stale-base",
790
790
  "empty-result",
791
+ "unfinished",
791
792
  "scope-violation",
792
793
  "gate",
793
794
  "review",
@@ -795,6 +796,7 @@
795
796
  "merge",
796
797
  "cancelled",
797
798
  "budget",
799
+ "needs-lead",
798
800
  "unknown"
799
801
  ]
800
802
  },
@@ -1324,6 +1326,11 @@
1324
1326
  ],
1325
1327
  "additionalProperties": false
1326
1328
  }
1329
+ },
1330
+ "neutralFailures": {
1331
+ "type": "integer",
1332
+ "minimum": 0,
1333
+ "maximum": 9007199254740991
1327
1334
  }
1328
1335
  },
1329
1336
  "required": [
@@ -1469,6 +1476,7 @@
1469
1476
  "timeout",
1470
1477
  "stale-base",
1471
1478
  "empty-result",
1479
+ "unfinished",
1472
1480
  "scope-violation",
1473
1481
  "gate",
1474
1482
  "review",
@@ -1476,6 +1484,7 @@
1476
1484
  "merge",
1477
1485
  "cancelled",
1478
1486
  "budget",
1487
+ "needs-lead",
1479
1488
  "unknown"
1480
1489
  ]
1481
1490
  },
@@ -1827,6 +1836,40 @@
1827
1836
  "type": "string"
1828
1837
  }
1829
1838
  },
1839
+ "interrupted": {
1840
+ "type": "string",
1841
+ "const": "shutdown"
1842
+ },
1843
+ "inputClasses": {
1844
+ "maxItems": 20,
1845
+ "type": "array",
1846
+ "items": {
1847
+ "type": "string",
1848
+ "maxLength": 500
1849
+ }
1850
+ },
1851
+ "classified": {
1852
+ "maxItems": 20,
1853
+ "type": "array",
1854
+ "items": {
1855
+ "type": "object",
1856
+ "properties": {
1857
+ "property": {
1858
+ "type": "string",
1859
+ "maxLength": 200
1860
+ },
1861
+ "inputClass": {
1862
+ "type": "string",
1863
+ "maxLength": 500
1864
+ }
1865
+ },
1866
+ "required": [
1867
+ "property",
1868
+ "inputClass"
1869
+ ],
1870
+ "additionalProperties": false
1871
+ }
1872
+ },
1830
1873
  "episodeBasis": {
1831
1874
  "type": "string",
1832
1875
  "pattern": "^[a-f0-9]{64}$"
@@ -1918,6 +1961,7 @@
1918
1961
  "timeout",
1919
1962
  "stale-base",
1920
1963
  "empty-result",
1964
+ "unfinished",
1921
1965
  "scope-violation",
1922
1966
  "gate",
1923
1967
  "review",
@@ -1925,6 +1969,7 @@
1925
1969
  "merge",
1926
1970
  "cancelled",
1927
1971
  "budget",
1972
+ "needs-lead",
1928
1973
  "unknown"
1929
1974
  ]
1930
1975
  },
@@ -2949,6 +2994,93 @@
2949
2994
  "checks": {
2950
2995
  "type": "string",
2951
2996
  "pattern": "^[a-f0-9]{64}$"
2997
+ },
2998
+ "alreadySatisfied": {
2999
+ "type": "object",
3000
+ "properties": {
3001
+ "gates": {
3002
+ "minItems": 1,
3003
+ "maxItems": 20,
3004
+ "type": "array",
3005
+ "items": {
3006
+ "type": "string",
3007
+ "minLength": 1,
3008
+ "maxLength": 200
3009
+ }
3010
+ },
3011
+ "evidence": {
3012
+ "type": "string",
3013
+ "minLength": 1,
3014
+ "maxLength": 4000
3015
+ },
3016
+ "basis": {
3017
+ "oneOf": [
3018
+ {
3019
+ "type": "object",
3020
+ "properties": {
3021
+ "kind": {
3022
+ "type": "string",
3023
+ "const": "contract"
3024
+ },
3025
+ "gates": {
3026
+ "minItems": 1,
3027
+ "maxItems": 30,
3028
+ "type": "array",
3029
+ "items": {
3030
+ "type": "string",
3031
+ "minLength": 1,
3032
+ "maxLength": 200
3033
+ }
3034
+ }
3035
+ },
3036
+ "required": [
3037
+ "kind",
3038
+ "gates"
3039
+ ],
3040
+ "additionalProperties": false
3041
+ },
3042
+ {
3043
+ "type": "object",
3044
+ "properties": {
3045
+ "kind": {
3046
+ "type": "string",
3047
+ "const": "dependency"
3048
+ },
3049
+ "workId": {
3050
+ "type": "string",
3051
+ "pattern": "^[A-Za-z0-9_-]{1,80}$"
3052
+ },
3053
+ "sha": {
3054
+ "type": "string",
3055
+ "pattern": "^[a-f0-9]{40}([a-f0-9]{24})?$"
3056
+ },
3057
+ "paths": {
3058
+ "minItems": 1,
3059
+ "maxItems": 50,
3060
+ "type": "array",
3061
+ "items": {
3062
+ "type": "string",
3063
+ "minLength": 1,
3064
+ "maxLength": 1000
3065
+ }
3066
+ }
3067
+ },
3068
+ "required": [
3069
+ "kind",
3070
+ "workId",
3071
+ "sha",
3072
+ "paths"
3073
+ ],
3074
+ "additionalProperties": false
3075
+ }
3076
+ ]
3077
+ }
3078
+ },
3079
+ "required": [
3080
+ "gates",
3081
+ "evidence"
3082
+ ],
3083
+ "additionalProperties": false
2952
3084
  }
2953
3085
  },
2954
3086
  "required": [
@@ -3692,6 +3824,7 @@
3692
3824
  "timeout",
3693
3825
  "stale-base",
3694
3826
  "empty-result",
3827
+ "unfinished",
3695
3828
  "scope-violation",
3696
3829
  "gate",
3697
3830
  "review",
@@ -3699,6 +3832,7 @@
3699
3832
  "merge",
3700
3833
  "cancelled",
3701
3834
  "budget",
3835
+ "needs-lead",
3702
3836
  "unknown"
3703
3837
  ]
3704
3838
  }
package/schemas/run-event.schema.json CHANGED
@@ -797,6 +797,7 @@
797
797
  "timeout",
798
798
  "stale-base",
799
799
  "empty-result",
800
+ "unfinished",
800
801
  "scope-violation",
801
802
  "gate",
802
803
  "review",
@@ -804,6 +805,7 @@
804
805
  "merge",
805
806
  "cancelled",
806
807
  "budget",
808
+ "needs-lead",
807
809
  "unknown"
808
810
  ]
809
811
  },
@@ -1224,6 +1226,7 @@
1224
1226
  "timeout",
1225
1227
  "stale-base",
1226
1228
  "empty-result",
1229
+ "unfinished",
1227
1230
  "scope-violation",
1228
1231
  "gate",
1229
1232
  "review",
@@ -1231,6 +1234,7 @@
1231
1234
  "merge",
1232
1235
  "cancelled",
1233
1236
  "budget",
1237
+ "needs-lead",
1234
1238
  "unknown"
1235
1239
  ]
1236
1240
  }
package/schemas/stop-diagnosis.schema.json CHANGED
@@ -52,6 +52,7 @@
52
52
  "timeout",
53
53
  "stale-base",
54
54
  "empty-result",
55
+ "unfinished",
55
56
  "scope-violation",
56
57
  "gate",
57
58
  "review",
@@ -59,6 +60,7 @@
59
60
  "merge",
60
61
  "cancelled",
61
62
  "budget",
63
+ "needs-lead",
62
64
  "unknown",
63
65
  "runtime-missing",
64
66
  "controller-busy",