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.
- package/README.md +22 -12
- package/dist/src/alpha6/check-support-anchor.d.ts +24 -0
- package/dist/src/alpha6/check-support-anchor.js +102 -0
- package/dist/src/alpha6/check-support-anchor.js.map +1 -0
- package/dist/src/alpha6/downstream-proof.js +4 -2
- package/dist/src/alpha6/downstream-proof.js.map +1 -1
- package/dist/src/alpha6/mechanical-feasibility.js +14 -0
- package/dist/src/alpha6/mechanical-feasibility.js.map +1 -1
- package/dist/src/alpha6/plan-integrity.js +55 -8
- package/dist/src/alpha6/plan-integrity.js.map +1 -1
- package/dist/src/alpha6/remediation.d.ts +1 -0
- package/dist/src/alpha6/remediation.js +86 -5
- package/dist/src/alpha6/remediation.js.map +1 -1
- package/dist/src/cli.js +2 -0
- package/dist/src/cli.js.map +1 -1
- package/dist/src/contracts.d.ts +31 -2
- package/dist/src/reviewer.d.ts +9 -4
- package/dist/src/reviewer.js +10 -8
- package/dist/src/reviewer.js.map +1 -1
- package/dist/src/state/corrective-replan-public.js +5 -4
- package/dist/src/state/corrective-replan-public.js.map +1 -1
- package/dist/src/version.d.ts +1 -1
- package/dist/src/version.js +1 -1
- package/dist/src/workflow.js +45 -12
- package/dist/src/workflow.js.map +1 -1
- package/docs/autonomy-guardrails.md +17 -14
- package/docs/development-flow.md +7 -7
- package/docs/pdf/codex-workflow-v2-architecture-ru.pdf +0 -0
- package/docs/pdf/codex-workflow-v2-chat-only-guide-ru.pdf +0 -0
- package/docs/pdf/codex-workflow-v2-technical-reference-ru.pdf +0 -0
- package/docs/pdf/sources/codex-workflow-v2-architecture-ru.md +22 -5
- package/docs/pdf/sources/codex-workflow-v2-chat-only-guide-ru.md +12 -7
- package/docs/pdf/sources/codex-workflow-v2-technical-reference-ru.md +38 -7
- package/docs/release.md +17 -9
- package/docs/updating-existing-project.md +34 -0
- package/docs/validation-report.md +96 -98
- package/package.json +2 -1
- package/schemas/authorization-event.schema.json +2 -2
- 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.
|
|
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": { "
|
|
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
|
}
|