codex-workflow-v2 2.0.0-beta.12.15 → 2.0.0-beta.12.17

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 (39) hide show
  1. package/README.md +22 -12
  2. package/dist/src/alpha6/check-support-anchor.d.ts +24 -0
  3. package/dist/src/alpha6/check-support-anchor.js +102 -0
  4. package/dist/src/alpha6/check-support-anchor.js.map +1 -0
  5. package/dist/src/alpha6/downstream-proof.js +4 -2
  6. package/dist/src/alpha6/downstream-proof.js.map +1 -1
  7. package/dist/src/alpha6/mechanical-feasibility.js +14 -0
  8. package/dist/src/alpha6/mechanical-feasibility.js.map +1 -1
  9. package/dist/src/alpha6/plan-integrity.js +55 -8
  10. package/dist/src/alpha6/plan-integrity.js.map +1 -1
  11. package/dist/src/alpha6/remediation.d.ts +1 -0
  12. package/dist/src/alpha6/remediation.js +86 -5
  13. package/dist/src/alpha6/remediation.js.map +1 -1
  14. package/dist/src/cli.js +2 -0
  15. package/dist/src/cli.js.map +1 -1
  16. package/dist/src/contracts.d.ts +31 -2
  17. package/dist/src/reviewer.d.ts +9 -4
  18. package/dist/src/reviewer.js +10 -8
  19. package/dist/src/reviewer.js.map +1 -1
  20. package/dist/src/state/corrective-replan-public.js +5 -4
  21. package/dist/src/state/corrective-replan-public.js.map +1 -1
  22. package/dist/src/version.d.ts +1 -1
  23. package/dist/src/version.js +1 -1
  24. package/dist/src/workflow.js +45 -12
  25. package/dist/src/workflow.js.map +1 -1
  26. package/docs/autonomy-guardrails.md +17 -14
  27. package/docs/development-flow.md +7 -7
  28. package/docs/pdf/codex-workflow-v2-architecture-ru.pdf +0 -0
  29. package/docs/pdf/codex-workflow-v2-chat-only-guide-ru.pdf +0 -0
  30. package/docs/pdf/codex-workflow-v2-technical-reference-ru.pdf +0 -0
  31. package/docs/pdf/sources/codex-workflow-v2-architecture-ru.md +22 -5
  32. package/docs/pdf/sources/codex-workflow-v2-chat-only-guide-ru.md +12 -7
  33. package/docs/pdf/sources/codex-workflow-v2-technical-reference-ru.md +38 -7
  34. package/docs/release.md +17 -9
  35. package/docs/updating-existing-project.md +34 -0
  36. package/docs/validation-report.md +96 -98
  37. package/package.json +2 -1
  38. package/schemas/authorization-event.schema.json +2 -2
  39. package/schemas/corrective-decision-event.schema.json +67 -4
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "codex-workflow-v2",
3
- "version": "2.0.0-beta.12.15",
3
+ "version": "2.0.0-beta.12.17",
4
4
  "description": "Requirements-first Codex development workflow with local state and explicit Git ownership.",
5
5
  "repository": {
6
6
  "type": "git",
@@ -49,6 +49,7 @@
49
49
  "test:signal-t04-recovery": "node scripts/with-validation-lock.mjs test-signal-t04",
50
50
  "test:signal-t03-replan-e2e": "node scripts/with-validation-lock.mjs test-signal-t03-replan",
51
51
  "test:signal-remediation-e2e": "node scripts/with-validation-lock.mjs test-signal-remediation-topology",
52
+ "test:signal-t10-check-support-e2e": "node scripts/with-validation-lock.mjs test-signal-t10-check-support",
52
53
  "validate": "npm run typecheck && npm test",
53
54
  "pack:check": "npm run build && npm pack --dry-run",
54
55
  "smoke:downstream": "npm run build && node scripts/downstream-smoke.mjs",
@@ -98,7 +98,7 @@
98
98
  "required": ["analyzerId", "analyzerVersion"],
99
99
  "properties": {
100
100
  "analyzerId": {
101
- "enum": ["wf2.root-npm-script", "wf2.exact-output-path", "wf2.exact-predecessor-path"]
101
+ "enum": ["wf2.root-npm-script", "wf2.root-npm-script-arguments", "wf2.check-support-anchor", "wf2.exact-output-path", "wf2.exact-predecessor-path"]
102
102
  },
103
103
  "analyzerVersion": { "const": 1 }
104
104
  }
@@ -111,7 +111,7 @@
111
111
  ],
112
112
  "properties": {
113
113
  "analyzerId": {
114
- "enum": ["wf2.root-npm-script", "wf2.exact-output-path", "wf2.exact-predecessor-path"]
114
+ "enum": ["wf2.root-npm-script", "wf2.root-npm-script-arguments", "wf2.check-support-anchor", "wf2.exact-output-path", "wf2.exact-predecessor-path"]
115
115
  },
116
116
  "analyzerVersion": { "const": 1 },
117
117
  "result": { "enum": ["pass", "blocked", "unverified"] },
@@ -49,17 +49,32 @@
49
49
  "if": { "properties": { "triggeringAttemptCount": { "const": 2 } }, "required": ["triggeringAttemptCount"] },
50
50
  "then": {
51
51
  "required": ["recoveryBasis", "planIntegrityEvidence"],
52
- "properties": { "decision": { "const": "replan-required" } }
52
+ "properties": { "decision": { "enum": ["continue-fix", "replan-required"] } }
53
53
  }
54
54
  },
55
55
  {
56
56
  "if": { "required": ["recoveryBasis"] },
57
57
  "then": {
58
- "required": ["planIntegrityEvidence"],
59
- "properties": { "decision": { "const": "replan-required" } }
58
+ "required": ["planIntegrityEvidence"]
60
59
  },
61
60
  "else": { "not": { "required": ["planIntegrityEvidence"] } }
62
61
  },
62
+ {
63
+ "if": {
64
+ "properties": {
65
+ "planIntegrityEvidence": {
66
+ "properties": { "kind": { "const": "check-support-anchor-outside-allowed-writes" } },
67
+ "required": ["kind"]
68
+ }
69
+ },
70
+ "required": ["planIntegrityEvidence"]
71
+ },
72
+ "then": { "properties": { "decision": { "const": "continue-fix" } } },
73
+ "else": {
74
+ "if": { "required": ["recoveryBasis"] },
75
+ "then": { "properties": { "decision": { "const": "replan-required" } } }
76
+ }
77
+ },
63
78
  {
64
79
  "anyOf": [
65
80
  { "properties": { "coveredFindingIds": { "minItems": 1 } } },
@@ -81,7 +96,8 @@
81
96
  "planIntegrityEvidence": {
82
97
  "oneOf": [
83
98
  { "$ref": "#/$defs/planIntegrityEvidenceV1" },
84
- { "$ref": "#/$defs/planIntegrityEvidenceV2" }
99
+ { "$ref": "#/$defs/planIntegrityEvidenceV2" },
100
+ { "$ref": "#/$defs/planIntegrityEvidenceV3" }
85
101
  ]
86
102
  },
87
103
  "planIntegrityEvidenceV1": {
@@ -142,6 +158,53 @@
142
158
  "changedFiles": { "$ref": "#/$defs/stringList" },
143
159
  "conflictHash": { "$ref": "#/$defs/hash64" }
144
160
  }
161
+ },
162
+ "planIntegrityEvidenceV3": {
163
+ "type": "object", "additionalProperties": false,
164
+ "required": ["kind", "taskRevision", "remediationEvents", "manifestPath", "manifestHash", "gitHead", "stepDefinitionHash", "conflicts", "scopeExtensions", "changedFiles", "conflictHash"],
165
+ "properties": {
166
+ "kind": { "const": "check-support-anchor-outside-allowed-writes" },
167
+ "taskRevision": { "type": "integer", "minimum": 1 },
168
+ "remediationEvents": {
169
+ "type": "array", "minItems": 1,
170
+ "items": {
171
+ "type": "object", "additionalProperties": false,
172
+ "required": ["eventId", "eventHash", "attemptOrdinal"],
173
+ "properties": {
174
+ "eventId": { "type": "string", "minLength": 1 },
175
+ "eventHash": { "$ref": "#/$defs/hash64" },
176
+ "attemptOrdinal": { "type": "integer", "minimum": 1 }
177
+ }
178
+ }
179
+ },
180
+ "manifestPath": { "const": "package.json" },
181
+ "manifestHash": { "$ref": "#/$defs/nullableHash64" },
182
+ "gitHead": { "$ref": "#/$defs/gitOid" },
183
+ "stepDefinitionHash": { "$ref": "#/$defs/hash64" },
184
+ "conflicts": {
185
+ "type": "array", "minItems": 1,
186
+ "items": {
187
+ "type": "object", "additionalProperties": false,
188
+ "required": ["reasonCode", "script", "command", "scriptCommand", "runnerPath", "runnerHash", "supportPath", "supportHash", "importSpecifier", "expectedOutputPaths", "anchoredMigrationNames"],
189
+ "properties": {
190
+ "reasonCode": { "const": "CHECK_SUPPORT_ANCHOR_OUTSIDE_ALLOWED_WRITES" },
191
+ "script": { "type": "string", "minLength": 1 },
192
+ "command": { "type": "string", "minLength": 1 },
193
+ "scriptCommand": { "type": "string", "minLength": 1 },
194
+ "runnerPath": { "type": "string", "minLength": 1 },
195
+ "runnerHash": { "$ref": "#/$defs/hash64" },
196
+ "supportPath": { "type": "string", "minLength": 1 },
197
+ "supportHash": { "$ref": "#/$defs/hash64" },
198
+ "importSpecifier": { "type": "string", "minLength": 1 },
199
+ "expectedOutputPaths": { "$ref": "#/$defs/stringList", "minItems": 1 },
200
+ "anchoredMigrationNames": { "$ref": "#/$defs/stringList", "minItems": 1 }
201
+ }
202
+ }
203
+ },
204
+ "scopeExtensions": { "$ref": "#/$defs/stringList", "minItems": 1 },
205
+ "changedFiles": { "$ref": "#/$defs/stringList" },
206
+ "conflictHash": { "$ref": "#/$defs/hash64" }
207
+ }
145
208
  }
146
209
  }
147
210
  }