prizmkit 1.1.140 → 1.1.142
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/bundled/VERSION.json +3 -3
- package/bundled/dev-pipeline/README.md +1 -1
- package/bundled/dev-pipeline/prizmkit_runtime/checkpoint_state.py +165 -125
- package/bundled/dev-pipeline/prizmkit_runtime/runner_classification.py +13 -1
- package/bundled/dev-pipeline/prizmkit_runtime/runner_models.py +0 -6
- package/bundled/dev-pipeline/prizmkit_runtime/runners.py +5 -3
- package/bundled/dev-pipeline/prizmkit_runtime/test_result.py +160 -0
- package/bundled/dev-pipeline/scripts/check-session-status.py +11 -1
- package/bundled/dev-pipeline/scripts/generate-bootstrap-prompt.py +23 -806
- package/bundled/dev-pipeline/scripts/generate-bugfix-prompt.py +6 -8
- package/bundled/dev-pipeline/scripts/generate-recovery-prompt.py +1 -1
- package/bundled/dev-pipeline/scripts/generate-refactor-prompt.py +6 -8
- package/bundled/dev-pipeline/scripts/prompt_framework.py +68 -56
- package/bundled/dev-pipeline/scripts/update-bug-status.py +21 -2
- package/bundled/dev-pipeline/scripts/update-checkpoint.py +52 -131
- package/bundled/dev-pipeline/scripts/update-feature-status.py +21 -2
- package/bundled/dev-pipeline/scripts/update-refactor-status.py +21 -2
- package/bundled/dev-pipeline/templates/bootstrap-prompt.md +3 -3
- package/bundled/dev-pipeline/templates/bootstrap-tier3.md +8 -19
- package/bundled/dev-pipeline/templates/bugfix-bootstrap-prompt.md +6 -6
- package/bundled/dev-pipeline/templates/refactor-bootstrap-prompt.md +5 -5
- package/bundled/dev-pipeline/templates/sections/bugfix-phase-commit-report.md +1 -1
- package/bundled/dev-pipeline/templates/sections/bugfix-phase-diagnose-plan.md +1 -1
- package/bundled/dev-pipeline/templates/sections/bugfix-phase-manual-verification.md +1 -1
- package/bundled/dev-pipeline/templates/sections/bugfix-phase-review.md +1 -1
- package/bundled/dev-pipeline/templates/sections/bugfix-phase-test.md +13 -10
- package/bundled/dev-pipeline/templates/sections/bugfix-reminders.md +1 -1
- package/bundled/dev-pipeline/templates/sections/checkpoint-system.md +18 -9
- package/bundled/dev-pipeline/templates/sections/headless-commit-authorization.md +1 -1
- package/bundled/dev-pipeline/templates/sections/phase-commit-full.md +1 -1
- package/bundled/dev-pipeline/templates/sections/phase-commit.md +1 -1
- package/bundled/dev-pipeline/templates/sections/phase-context-snapshot-agent-suffix.md +2 -2
- package/bundled/dev-pipeline/templates/sections/phase-context-snapshot-base.md +1 -1
- package/bundled/dev-pipeline/templates/sections/phase-context-snapshot-lite-suffix.md +1 -1
- package/bundled/dev-pipeline/templates/sections/phase-implement-lite.md +1 -1
- package/bundled/dev-pipeline/templates/sections/phase-prizmkit-test.md +14 -26
- package/bundled/dev-pipeline/templates/sections/phase-review-full.md +2 -2
- package/bundled/dev-pipeline/templates/sections/phase-specify-plan-full.md +3 -3
- package/bundled/dev-pipeline/templates/sections/refactor-phase-review.md +1 -1
- package/bundled/dev-pipeline/templates/sections/refactor-phase-test.md +13 -10
- package/bundled/dev-pipeline/templates/sections/refactor-reminders.md +1 -1
- package/bundled/dev-pipeline/templates/session-status-schema.json +1 -1
- package/bundled/dev-pipeline/tests/test_checkpoint_state.py +494 -413
- package/bundled/dev-pipeline/tests/test_generate_bootstrap_prompt.py +144 -684
- package/bundled/dev-pipeline/tests/test_generate_bugfix_prompt.py +20 -41
- package/bundled/dev-pipeline/tests/test_generate_refactor_prompt.py +24 -24
- package/bundled/dev-pipeline/tests/test_python_runner_parity.py +176 -36
- package/bundled/skills/_metadata.json +6 -6
- package/bundled/skills/prizmkit/SKILL.md +13 -18
- package/bundled/skills/prizmkit/references/workflow-state-protocol.md +73 -80
- package/bundled/skills/prizmkit-code-review/SKILL.md +7 -7
- package/bundled/skills/prizmkit-code-review/references/workflow-state-protocol.md +73 -80
- package/bundled/skills/prizmkit-committer/SKILL.md +8 -7
- package/bundled/skills/prizmkit-committer/references/workflow-state-protocol.md +73 -80
- package/bundled/skills/prizmkit-implement/SKILL.md +3 -2
- package/bundled/skills/prizmkit-implement/references/workflow-state-protocol.md +73 -80
- package/bundled/skills/prizmkit-plan/SKILL.md +2 -1
- package/bundled/skills/prizmkit-plan/references/workflow-state-protocol.md +73 -80
- package/bundled/skills/prizmkit-retrospective/SKILL.md +8 -6
- package/bundled/skills/prizmkit-retrospective/references/workflow-state-protocol.md +73 -80
- package/bundled/skills/prizmkit-test/SKILL.md +217 -189
- package/bundled/skills/prizmkit-test/references/external-contract-mock-guidance.md +119 -0
- package/bundled/skills/prizmkit-test/references/independent-test-review.md +269 -0
- package/bundled/skills/prizmkit-test/references/test-coverage-model.md +193 -0
- package/bundled/skills/prizmkit-test/references/test-report-template.md +164 -79
- package/bundled/skills/prizmkit-workflow/SKILL.md +28 -36
- package/bundled/skills/prizmkit-workflow/references/workflow-state-protocol.md +73 -80
- package/package.json +1 -1
- package/bundled/skills/prizmkit-test/assets/authoritative-records.schema.json +0 -477
- package/bundled/skills/prizmkit-test/assets/behavior-risk-matrix.schema.json +0 -116
- package/bundled/skills/prizmkit-test/assets/evidence-manifest.schema.json +0 -111
- package/bundled/skills/prizmkit-test/assets/evidence-package-template.json +0 -66
- package/bundled/skills/prizmkit-test/references/boundary-coverage-protocol.md +0 -104
- package/bundled/skills/prizmkit-test/references/contract-mock-protocol.md +0 -65
- package/bundled/skills/prizmkit-test/references/evidence-protocol.md +0 -208
- package/bundled/skills/prizmkit-test/references/evidence-request-protocol.md +0 -80
- package/bundled/skills/prizmkit-test/references/examples.md +0 -100
- package/bundled/skills/prizmkit-test/references/service-boundary-test-catalog.md +0 -228
- package/bundled/skills/prizmkit-test/references/test-generation-steps.md +0 -118
- package/bundled/skills/prizmkit-test/references/trusted-evidence-execution.md +0 -107
- package/bundled/skills/prizmkit-test/references/workflow-state-protocol.md +0 -181
- package/bundled/skills/prizmkit-test/scripts/build_test_evidence.py +0 -1930
- package/bundled/skills/prizmkit-test/scripts/validate_test_evidence.py +0 -1847
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
# PrizmKit Workflow State Protocol
|
|
2
2
|
|
|
3
|
-
`workflow-state.json` is lifecycle
|
|
3
|
+
`workflow-state.json` is lifecycle metadata for one formal requirement. It preserves stage handoff, orchestrator ownership, and resume information without replacing skill-owned artifacts or any host-owned execution checkpoint.
|
|
4
4
|
|
|
5
5
|
## Location and Identity
|
|
6
6
|
|
|
@@ -8,7 +8,7 @@
|
|
|
8
8
|
.prizmkit/state/workflows/<requirement-slug>.json
|
|
9
9
|
```
|
|
10
10
|
|
|
11
|
-
The
|
|
11
|
+
The active `artifact_dir` is preserved exactly across every stage:
|
|
12
12
|
|
|
13
13
|
```text
|
|
14
14
|
.prizmkit/specs/<requirement-slug>/
|
|
@@ -16,7 +16,7 @@ The state file is created only when a lifecycle runs. The active `artifact_dir`
|
|
|
16
16
|
.prizmkit/refactor/<refactor-id>/
|
|
17
17
|
```
|
|
18
18
|
|
|
19
|
-
Never select
|
|
19
|
+
Never select another recent plan when resuming. Any external execution checkpoint remains separate from this state. Never merge, substitute, or infer one schema from the other.
|
|
20
20
|
|
|
21
21
|
## Authority
|
|
22
22
|
|
|
@@ -26,16 +26,16 @@ The state file is an index, not the authority for stage completion:
|
|
|
26
26
|
|---|---|
|
|
27
27
|
| Requirement goals and acceptance criteria | `{artifact_dir}/spec.md` |
|
|
28
28
|
| Implementation tasks and completion | `{artifact_dir}/plan.md` plus current workspace |
|
|
29
|
-
| Review findings and
|
|
30
|
-
| Test
|
|
31
|
-
|
|
|
32
|
-
| Retrospective completion
|
|
29
|
+
| Review findings and result | `{artifact_dir}/review-report.md` |
|
|
30
|
+
| Test semantics and native execution | `{artifact_dir}/test-report.md` |
|
|
31
|
+
| Terminal testing result | `{artifact_dir}/test-result.json` |
|
|
32
|
+
| Retrospective completion | `{artifact_dir}/retrospective-result.json` |
|
|
33
33
|
| Durable architecture knowledge | `.prizmkit/prizm-docs/` |
|
|
34
34
|
| Local commit | Git history and confirmed or authorized commit identity |
|
|
35
35
|
| Current stage, orchestrator, and resume entry | Workflow state |
|
|
36
|
-
| External orchestration progress |
|
|
36
|
+
| External orchestration progress | External host checkpoint |
|
|
37
37
|
|
|
38
|
-
Every consumer compares workflow state with
|
|
38
|
+
Every consumer compares workflow state with the skill-owned artifacts and current workspace. Missing or stale state is reconstructed from those sources and is never accepted as success by itself.
|
|
39
39
|
|
|
40
40
|
## Schema
|
|
41
41
|
|
|
@@ -45,7 +45,7 @@ Every consumer compares workflow state with authoritative artifacts and the curr
|
|
|
45
45
|
"artifact_dir": ".prizmkit/specs/example",
|
|
46
46
|
"orchestrator": "prizmkit-workflow",
|
|
47
47
|
"stage": "test",
|
|
48
|
-
"status": "
|
|
48
|
+
"status": "completed",
|
|
49
49
|
"stage_result": "TEST_PASS",
|
|
50
50
|
"completed_stages": ["plan", "implement", "code-review", "test"],
|
|
51
51
|
"repair_scope": null,
|
|
@@ -59,88 +59,83 @@ Every consumer compares workflow state with authoritative artifacts and the curr
|
|
|
59
59
|
|
|
60
60
|
| Field | Meaning |
|
|
61
61
|
|---|---|
|
|
62
|
-
| `schema_version` | State schema version.
|
|
63
|
-
| `artifact_dir` |
|
|
64
|
-
| `orchestrator` |
|
|
65
|
-
| `stage` |
|
|
66
|
-
| `status` | Lifecycle
|
|
67
|
-
| `stage_result` | Domain result such as `
|
|
62
|
+
| `schema_version` | State schema version. |
|
|
63
|
+
| `artifact_dir` | Generic requirement artifact root reused by every stage. |
|
|
64
|
+
| `orchestrator` | Semantic coordinator identifier, or null for direct stage use. |
|
|
65
|
+
| `stage` | Stage that most recently wrote state. |
|
|
66
|
+
| `status` | Lifecycle status: `pending`, `in_progress`, `completed`, `failed`, or `skipped`. |
|
|
67
|
+
| `stage_result` | Domain result for the current stage, such as `PLAN_READY`, `IMPLEMENTED`, `REVIEW_PASS`, `REVIEW_NEEDS_FIXES`, `TEST_*`, `RETRO_COMPLETE`, or `COMMITTED`. |
|
|
68
68
|
| `completed_stages` | Ordered stages completed for this requirement. |
|
|
69
|
-
| `repair_scope` |
|
|
70
|
-
| `repair_round` |
|
|
71
|
-
| `next_stage` | Next semantic stage, or
|
|
72
|
-
| `resume_from` | Exact atomic skill that can resume, or
|
|
69
|
+
| `repair_scope` | Optional caller-owned routing scope. The test skill reports high-risk repairs through `test-result.json` instead of scheduling another stage. |
|
|
70
|
+
| `repair_round` | Optional outer cross-stage repair round, from 0 through 3. It is not a test-internal repair counter. |
|
|
71
|
+
| `next_stage` | Next semantic stage, or null when stopped. |
|
|
72
|
+
| `resume_from` | Exact atomic skill that can resume, or null when none is selected. |
|
|
73
73
|
|
|
74
|
-
|
|
74
|
+
`status` and `stage_result` are deliberately separate. Lifecycle status values must never be replaced with domain result values.
|
|
75
75
|
|
|
76
|
-
|
|
76
|
+
## Lifecycle and Result Mappings
|
|
77
77
|
|
|
78
78
|
```text
|
|
79
79
|
PLAN_READY
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
80
|
+
→ IMPLEMENTED
|
|
81
|
+
→ REVIEW_PASS
|
|
82
|
+
→ TEST_PASS
|
|
83
|
+
→ RETRO_COMPLETE
|
|
84
|
+
→ COMMIT_PENDING
|
|
85
|
+
→ COMMITTED
|
|
86
86
|
```
|
|
87
87
|
|
|
88
|
-
No formal stage is silently optional. Domain
|
|
88
|
+
No formal stage is silently optional. Domain artifacts map to workflow state as follows:
|
|
89
89
|
|
|
90
90
|
```text
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
91
|
+
plan PLAN_READY → status=completed, stage_result=PLAN_READY
|
|
92
|
+
plan PLAN_BLOCKED → status=failed, stage_result=PLAN_BLOCKED
|
|
93
|
+
implementation IMPLEMENTED → status=completed, stage_result=IMPLEMENTED
|
|
94
|
+
implementation repair/block → status=failed, stage_result=IMPLEMENT_REPAIR or IMPLEMENT_BLOCKED
|
|
95
|
+
review-report PASS → status=completed, stage_result=REVIEW_PASS
|
|
96
|
+
review-report NEEDS_FIXES → status=failed, stage_result=REVIEW_NEEDS_FIXES
|
|
97
|
+
test-result TEST_PASS → status=completed, stage_result=TEST_PASS
|
|
98
|
+
test-result TEST_NEEDS_FIXES → status=failed, stage_result=TEST_NEEDS_FIXES
|
|
99
|
+
test-result TEST_BLOCKED → status=failed, stage_result=TEST_BLOCKED
|
|
100
|
+
retrospective DOCS_UPDATED → status=completed, stage_result=RETRO_COMPLETE
|
|
101
|
+
retrospective NO_DOC_CHANGE → status=completed, stage_result=RETRO_COMPLETE
|
|
102
|
+
retrospective blocked → status=failed, stage_result=RETRO_BLOCKED
|
|
103
|
+
commit authorization pending → status=in_progress, stage_result=COMMIT_PENDING
|
|
104
|
+
local commit confirmed → status=completed, stage_result=COMMITTED
|
|
105
|
+
commit blocked → status=failed, stage_result=COMMIT_BLOCKED
|
|
98
106
|
```
|
|
99
107
|
|
|
100
|
-
`
|
|
108
|
+
`DOCS_UPDATED` and `NO_DOC_CHANGE` remain retrospective artifact `result` values. The workflow `stage_result` is the retrospective stage result `RETRO_COMPLETE`.
|
|
101
109
|
|
|
102
|
-
|
|
110
|
+
`TEST_PASS` requires both `test-report.md` and a consistent `test-result.json`. No manifest, attestation, evidence package, or test-internal checkpoint is part of this contract.
|
|
103
111
|
|
|
104
|
-
|
|
105
|
-
REVIEW_NEEDS_FIXES
|
|
106
|
-
→ implement
|
|
107
|
-
→ code-review
|
|
108
|
-
→ test
|
|
109
|
-
|
|
110
|
-
TEST_FAIL with repair_scope=test-infrastructure
|
|
111
|
-
→ implement
|
|
112
|
-
→ test
|
|
112
|
+
## Non-Pass Results and Routing Boundary
|
|
113
113
|
|
|
114
|
-
|
|
115
|
-
→ implement
|
|
116
|
-
→ code-review
|
|
117
|
-
→ test
|
|
114
|
+
`prizmkit-test` performs its own bounded failure repair and review loops before returning. The test skill never invokes another lifecycle stage.
|
|
118
115
|
|
|
119
|
-
|
|
120
|
-
|
|
121
|
-
|
|
116
|
+
```text
|
|
117
|
+
TEST_NEEDS_FIXES
|
|
118
|
+
→ known correction or required delta review remains
|
|
119
|
+
→ caller decides whether and how to arrange another stage
|
|
122
120
|
|
|
123
121
|
TEST_BLOCKED
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
|
|
128
|
-
RETRO_BLOCKED
|
|
129
|
-
→ WORKFLOW_BLOCKED
|
|
130
|
-
WORKFLOW_BLOCKED
|
|
131
|
-
→ resume only after the recorded blocker is resolved
|
|
122
|
+
→ truth, input, safe environment, or reliable execution prevents a verdict
|
|
123
|
+
→ never make speculative production edits
|
|
124
|
+
→ caller or external host owns recovery policy
|
|
132
125
|
```
|
|
133
126
|
|
|
134
|
-
|
|
127
|
+
A test result is not an AI CLI session classification. `TEST_NEEDS_FIXES` and `TEST_BLOCKED` must not be rewritten as crash or infrastructure failure merely because they stop lifecycle progression.
|
|
128
|
+
|
|
129
|
+
Any outer repair or continuation policy is independently owned by the caller and cannot alter the test report. The Main-Agent test review limit of ten rounds, independent Test Reviewer limit of five responses, and execution-failure repair limit of three rounds are internal to one test invocation and do not update outer counters.
|
|
135
130
|
|
|
136
131
|
## Orchestrator Ownership and Handoff
|
|
137
132
|
|
|
138
|
-
1. An atomic stage performs only its own stage, writes
|
|
139
|
-
2. When `orchestrator` is non-null, only that orchestrator invokes the next skill.
|
|
140
|
-
3. Direct stage use may report
|
|
133
|
+
1. An atomic stage performs only its own stage, writes its truthful result and artifact paths, and returns control.
|
|
134
|
+
2. When `orchestrator` is non-null, only that orchestrator invokes the next skill.
|
|
135
|
+
3. Direct stage use may report a possible next invocation but does not claim it ran.
|
|
141
136
|
4. Every handoff preserves the same `artifact_dir`.
|
|
142
|
-
5. External automation invokes atomic stages directly and does not
|
|
143
|
-
6. Workflow state never replaces or absorbs an external host
|
|
137
|
+
5. External automation invokes atomic stages directly and does not nest the composite workflow.
|
|
138
|
+
6. Workflow state never replaces or absorbs an external host checkpoint.
|
|
144
139
|
|
|
145
140
|
## Commit Authorization
|
|
146
141
|
|
|
@@ -148,34 +143,32 @@ Interactive execution:
|
|
|
148
143
|
|
|
149
144
|
```text
|
|
150
145
|
committer previews intended files and message
|
|
151
|
-
→ waits for explicit
|
|
146
|
+
→ waits for explicit current-user confirmation
|
|
152
147
|
→ creates the local commit
|
|
153
148
|
```
|
|
154
149
|
|
|
155
150
|
Trusted headless execution:
|
|
156
151
|
|
|
157
152
|
```text
|
|
158
|
-
|
|
159
|
-
→ host injects mode=<host-defined-headless-mode>, owner=<trusted-host-identifier>,
|
|
160
|
-
local_commit_authorized=true
|
|
153
|
+
trusted host explicitly authorizes the current local task commit
|
|
161
154
|
→ committer verifies gates and commits automatically
|
|
162
|
-
→
|
|
155
|
+
→ remote publication remains separate
|
|
163
156
|
```
|
|
164
157
|
|
|
165
|
-
A self-declared or
|
|
158
|
+
A self-declared or untrusted headless context does not authorize a commit.
|
|
166
159
|
|
|
167
160
|
## Recovery
|
|
168
161
|
|
|
169
162
|
When state is missing, stale, or inconsistent:
|
|
170
163
|
|
|
171
|
-
1.
|
|
172
|
-
2. Inspect task markers and
|
|
173
|
-
3. Read the
|
|
174
|
-
4. Validate
|
|
164
|
+
1. Reuse current context, then read `spec.md` and `plan.md` only when needed.
|
|
165
|
+
2. Inspect task markers and current workspace.
|
|
166
|
+
3. Read the current review report when needed to establish review authority.
|
|
167
|
+
4. Validate that `test-report.md` and terminal `test-result.json` exist, agree, and reflect the claimed result.
|
|
175
168
|
5. Validate `retrospective-result.json` when retrospective is claimed complete.
|
|
176
169
|
6. Verify the commit when commit is claimed complete.
|
|
177
|
-
7.
|
|
170
|
+
7. Let an active external host validate its own checkpoint independently.
|
|
178
171
|
8. Reconstruct the latest safe predecessor and report the reconstruction.
|
|
179
172
|
9. Continue only from the first incomplete or invalid stage.
|
|
180
173
|
|
|
181
|
-
Stale state never bypasses review, testing, retrospective, commit authorization, or external
|
|
174
|
+
Stale state never bypasses review, testing, retrospective, commit authorization, or external checkpoint enforcement.
|
|
@@ -89,7 +89,8 @@ On successful implementation, update `.prizmkit/state/workflows/<requirement-slu
|
|
|
89
89
|
```json
|
|
90
90
|
{
|
|
91
91
|
"stage": "implement",
|
|
92
|
-
"status": "
|
|
92
|
+
"status": "completed",
|
|
93
|
+
"stage_result": "IMPLEMENTED",
|
|
93
94
|
"completed_stages": ["plan", "implement"],
|
|
94
95
|
"repair_round": 0,
|
|
95
96
|
"repair_scope": null,
|
|
@@ -98,7 +99,7 @@ On successful implementation, update `.prizmkit/state/workflows/<requirement-slu
|
|
|
98
99
|
}
|
|
99
100
|
```
|
|
100
101
|
|
|
101
|
-
For a repair, increment `repair_round`, set `status`
|
|
102
|
+
For a repair, increment `repair_round`, set `status=failed` and `stage_result=IMPLEMENT_REPAIR`, preserve the triggering failure in the state, and select the next stage according to `repair_scope`. The outer workflow permits at most three repair rounds; the implementation stage must return a blocked result rather than start a fourth round.
|
|
102
103
|
|
|
103
104
|
## Output and Handoff
|
|
104
105
|
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
# PrizmKit Workflow State Protocol
|
|
2
2
|
|
|
3
|
-
`workflow-state.json` is lifecycle
|
|
3
|
+
`workflow-state.json` is lifecycle metadata for one formal requirement. It preserves stage handoff, orchestrator ownership, and resume information without replacing skill-owned artifacts or any host-owned execution checkpoint.
|
|
4
4
|
|
|
5
5
|
## Location and Identity
|
|
6
6
|
|
|
@@ -8,7 +8,7 @@
|
|
|
8
8
|
.prizmkit/state/workflows/<requirement-slug>.json
|
|
9
9
|
```
|
|
10
10
|
|
|
11
|
-
The
|
|
11
|
+
The active `artifact_dir` is preserved exactly across every stage:
|
|
12
12
|
|
|
13
13
|
```text
|
|
14
14
|
.prizmkit/specs/<requirement-slug>/
|
|
@@ -16,7 +16,7 @@ The state file is created only when a lifecycle runs. The active `artifact_dir`
|
|
|
16
16
|
.prizmkit/refactor/<refactor-id>/
|
|
17
17
|
```
|
|
18
18
|
|
|
19
|
-
Never select
|
|
19
|
+
Never select another recent plan when resuming. Any external execution checkpoint remains separate from this state. Never merge, substitute, or infer one schema from the other.
|
|
20
20
|
|
|
21
21
|
## Authority
|
|
22
22
|
|
|
@@ -26,16 +26,16 @@ The state file is an index, not the authority for stage completion:
|
|
|
26
26
|
|---|---|
|
|
27
27
|
| Requirement goals and acceptance criteria | `{artifact_dir}/spec.md` |
|
|
28
28
|
| Implementation tasks and completion | `{artifact_dir}/plan.md` plus current workspace |
|
|
29
|
-
| Review findings and
|
|
30
|
-
| Test
|
|
31
|
-
|
|
|
32
|
-
| Retrospective completion
|
|
29
|
+
| Review findings and result | `{artifact_dir}/review-report.md` |
|
|
30
|
+
| Test semantics and native execution | `{artifact_dir}/test-report.md` |
|
|
31
|
+
| Terminal testing result | `{artifact_dir}/test-result.json` |
|
|
32
|
+
| Retrospective completion | `{artifact_dir}/retrospective-result.json` |
|
|
33
33
|
| Durable architecture knowledge | `.prizmkit/prizm-docs/` |
|
|
34
34
|
| Local commit | Git history and confirmed or authorized commit identity |
|
|
35
35
|
| Current stage, orchestrator, and resume entry | Workflow state |
|
|
36
|
-
| External orchestration progress |
|
|
36
|
+
| External orchestration progress | External host checkpoint |
|
|
37
37
|
|
|
38
|
-
Every consumer compares workflow state with
|
|
38
|
+
Every consumer compares workflow state with the skill-owned artifacts and current workspace. Missing or stale state is reconstructed from those sources and is never accepted as success by itself.
|
|
39
39
|
|
|
40
40
|
## Schema
|
|
41
41
|
|
|
@@ -45,7 +45,7 @@ Every consumer compares workflow state with authoritative artifacts and the curr
|
|
|
45
45
|
"artifact_dir": ".prizmkit/specs/example",
|
|
46
46
|
"orchestrator": "prizmkit-workflow",
|
|
47
47
|
"stage": "test",
|
|
48
|
-
"status": "
|
|
48
|
+
"status": "completed",
|
|
49
49
|
"stage_result": "TEST_PASS",
|
|
50
50
|
"completed_stages": ["plan", "implement", "code-review", "test"],
|
|
51
51
|
"repair_scope": null,
|
|
@@ -59,88 +59,83 @@ Every consumer compares workflow state with authoritative artifacts and the curr
|
|
|
59
59
|
|
|
60
60
|
| Field | Meaning |
|
|
61
61
|
|---|---|
|
|
62
|
-
| `schema_version` | State schema version.
|
|
63
|
-
| `artifact_dir` |
|
|
64
|
-
| `orchestrator` |
|
|
65
|
-
| `stage` |
|
|
66
|
-
| `status` | Lifecycle
|
|
67
|
-
| `stage_result` | Domain result such as `
|
|
62
|
+
| `schema_version` | State schema version. |
|
|
63
|
+
| `artifact_dir` | Generic requirement artifact root reused by every stage. |
|
|
64
|
+
| `orchestrator` | Semantic coordinator identifier, or null for direct stage use. |
|
|
65
|
+
| `stage` | Stage that most recently wrote state. |
|
|
66
|
+
| `status` | Lifecycle status: `pending`, `in_progress`, `completed`, `failed`, or `skipped`. |
|
|
67
|
+
| `stage_result` | Domain result for the current stage, such as `PLAN_READY`, `IMPLEMENTED`, `REVIEW_PASS`, `REVIEW_NEEDS_FIXES`, `TEST_*`, `RETRO_COMPLETE`, or `COMMITTED`. |
|
|
68
68
|
| `completed_stages` | Ordered stages completed for this requirement. |
|
|
69
|
-
| `repair_scope` |
|
|
70
|
-
| `repair_round` |
|
|
71
|
-
| `next_stage` | Next semantic stage, or
|
|
72
|
-
| `resume_from` | Exact atomic skill that can resume, or
|
|
69
|
+
| `repair_scope` | Optional caller-owned routing scope. The test skill reports high-risk repairs through `test-result.json` instead of scheduling another stage. |
|
|
70
|
+
| `repair_round` | Optional outer cross-stage repair round, from 0 through 3. It is not a test-internal repair counter. |
|
|
71
|
+
| `next_stage` | Next semantic stage, or null when stopped. |
|
|
72
|
+
| `resume_from` | Exact atomic skill that can resume, or null when none is selected. |
|
|
73
73
|
|
|
74
|
-
|
|
74
|
+
`status` and `stage_result` are deliberately separate. Lifecycle status values must never be replaced with domain result values.
|
|
75
75
|
|
|
76
|
-
|
|
76
|
+
## Lifecycle and Result Mappings
|
|
77
77
|
|
|
78
78
|
```text
|
|
79
79
|
PLAN_READY
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
80
|
+
→ IMPLEMENTED
|
|
81
|
+
→ REVIEW_PASS
|
|
82
|
+
→ TEST_PASS
|
|
83
|
+
→ RETRO_COMPLETE
|
|
84
|
+
→ COMMIT_PENDING
|
|
85
|
+
→ COMMITTED
|
|
86
86
|
```
|
|
87
87
|
|
|
88
|
-
No formal stage is silently optional. Domain
|
|
88
|
+
No formal stage is silently optional. Domain artifacts map to workflow state as follows:
|
|
89
89
|
|
|
90
90
|
```text
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
91
|
+
plan PLAN_READY → status=completed, stage_result=PLAN_READY
|
|
92
|
+
plan PLAN_BLOCKED → status=failed, stage_result=PLAN_BLOCKED
|
|
93
|
+
implementation IMPLEMENTED → status=completed, stage_result=IMPLEMENTED
|
|
94
|
+
implementation repair/block → status=failed, stage_result=IMPLEMENT_REPAIR or IMPLEMENT_BLOCKED
|
|
95
|
+
review-report PASS → status=completed, stage_result=REVIEW_PASS
|
|
96
|
+
review-report NEEDS_FIXES → status=failed, stage_result=REVIEW_NEEDS_FIXES
|
|
97
|
+
test-result TEST_PASS → status=completed, stage_result=TEST_PASS
|
|
98
|
+
test-result TEST_NEEDS_FIXES → status=failed, stage_result=TEST_NEEDS_FIXES
|
|
99
|
+
test-result TEST_BLOCKED → status=failed, stage_result=TEST_BLOCKED
|
|
100
|
+
retrospective DOCS_UPDATED → status=completed, stage_result=RETRO_COMPLETE
|
|
101
|
+
retrospective NO_DOC_CHANGE → status=completed, stage_result=RETRO_COMPLETE
|
|
102
|
+
retrospective blocked → status=failed, stage_result=RETRO_BLOCKED
|
|
103
|
+
commit authorization pending → status=in_progress, stage_result=COMMIT_PENDING
|
|
104
|
+
local commit confirmed → status=completed, stage_result=COMMITTED
|
|
105
|
+
commit blocked → status=failed, stage_result=COMMIT_BLOCKED
|
|
98
106
|
```
|
|
99
107
|
|
|
100
|
-
`
|
|
108
|
+
`DOCS_UPDATED` and `NO_DOC_CHANGE` remain retrospective artifact `result` values. The workflow `stage_result` is the retrospective stage result `RETRO_COMPLETE`.
|
|
101
109
|
|
|
102
|
-
|
|
110
|
+
`TEST_PASS` requires both `test-report.md` and a consistent `test-result.json`. No manifest, attestation, evidence package, or test-internal checkpoint is part of this contract.
|
|
103
111
|
|
|
104
|
-
|
|
105
|
-
REVIEW_NEEDS_FIXES
|
|
106
|
-
→ implement
|
|
107
|
-
→ code-review
|
|
108
|
-
→ test
|
|
109
|
-
|
|
110
|
-
TEST_FAIL with repair_scope=test-infrastructure
|
|
111
|
-
→ implement
|
|
112
|
-
→ test
|
|
112
|
+
## Non-Pass Results and Routing Boundary
|
|
113
113
|
|
|
114
|
-
|
|
115
|
-
→ implement
|
|
116
|
-
→ code-review
|
|
117
|
-
→ test
|
|
114
|
+
`prizmkit-test` performs its own bounded failure repair and review loops before returning. The test skill never invokes another lifecycle stage.
|
|
118
115
|
|
|
119
|
-
|
|
120
|
-
|
|
121
|
-
|
|
116
|
+
```text
|
|
117
|
+
TEST_NEEDS_FIXES
|
|
118
|
+
→ known correction or required delta review remains
|
|
119
|
+
→ caller decides whether and how to arrange another stage
|
|
122
120
|
|
|
123
121
|
TEST_BLOCKED
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
|
|
128
|
-
RETRO_BLOCKED
|
|
129
|
-
→ WORKFLOW_BLOCKED
|
|
130
|
-
WORKFLOW_BLOCKED
|
|
131
|
-
→ resume only after the recorded blocker is resolved
|
|
122
|
+
→ truth, input, safe environment, or reliable execution prevents a verdict
|
|
123
|
+
→ never make speculative production edits
|
|
124
|
+
→ caller or external host owns recovery policy
|
|
132
125
|
```
|
|
133
126
|
|
|
134
|
-
|
|
127
|
+
A test result is not an AI CLI session classification. `TEST_NEEDS_FIXES` and `TEST_BLOCKED` must not be rewritten as crash or infrastructure failure merely because they stop lifecycle progression.
|
|
128
|
+
|
|
129
|
+
Any outer repair or continuation policy is independently owned by the caller and cannot alter the test report. The Main-Agent test review limit of ten rounds, independent Test Reviewer limit of five responses, and execution-failure repair limit of three rounds are internal to one test invocation and do not update outer counters.
|
|
135
130
|
|
|
136
131
|
## Orchestrator Ownership and Handoff
|
|
137
132
|
|
|
138
|
-
1. An atomic stage performs only its own stage, writes
|
|
139
|
-
2. When `orchestrator` is non-null, only that orchestrator invokes the next skill.
|
|
140
|
-
3. Direct stage use may report
|
|
133
|
+
1. An atomic stage performs only its own stage, writes its truthful result and artifact paths, and returns control.
|
|
134
|
+
2. When `orchestrator` is non-null, only that orchestrator invokes the next skill.
|
|
135
|
+
3. Direct stage use may report a possible next invocation but does not claim it ran.
|
|
141
136
|
4. Every handoff preserves the same `artifact_dir`.
|
|
142
|
-
5. External automation invokes atomic stages directly and does not
|
|
143
|
-
6. Workflow state never replaces or absorbs an external host
|
|
137
|
+
5. External automation invokes atomic stages directly and does not nest the composite workflow.
|
|
138
|
+
6. Workflow state never replaces or absorbs an external host checkpoint.
|
|
144
139
|
|
|
145
140
|
## Commit Authorization
|
|
146
141
|
|
|
@@ -148,34 +143,32 @@ Interactive execution:
|
|
|
148
143
|
|
|
149
144
|
```text
|
|
150
145
|
committer previews intended files and message
|
|
151
|
-
→ waits for explicit
|
|
146
|
+
→ waits for explicit current-user confirmation
|
|
152
147
|
→ creates the local commit
|
|
153
148
|
```
|
|
154
149
|
|
|
155
150
|
Trusted headless execution:
|
|
156
151
|
|
|
157
152
|
```text
|
|
158
|
-
|
|
159
|
-
→ host injects mode=<host-defined-headless-mode>, owner=<trusted-host-identifier>,
|
|
160
|
-
local_commit_authorized=true
|
|
153
|
+
trusted host explicitly authorizes the current local task commit
|
|
161
154
|
→ committer verifies gates and commits automatically
|
|
162
|
-
→
|
|
155
|
+
→ remote publication remains separate
|
|
163
156
|
```
|
|
164
157
|
|
|
165
|
-
A self-declared or
|
|
158
|
+
A self-declared or untrusted headless context does not authorize a commit.
|
|
166
159
|
|
|
167
160
|
## Recovery
|
|
168
161
|
|
|
169
162
|
When state is missing, stale, or inconsistent:
|
|
170
163
|
|
|
171
|
-
1.
|
|
172
|
-
2. Inspect task markers and
|
|
173
|
-
3. Read the
|
|
174
|
-
4. Validate
|
|
164
|
+
1. Reuse current context, then read `spec.md` and `plan.md` only when needed.
|
|
165
|
+
2. Inspect task markers and current workspace.
|
|
166
|
+
3. Read the current review report when needed to establish review authority.
|
|
167
|
+
4. Validate that `test-report.md` and terminal `test-result.json` exist, agree, and reflect the claimed result.
|
|
175
168
|
5. Validate `retrospective-result.json` when retrospective is claimed complete.
|
|
176
169
|
6. Verify the commit when commit is claimed complete.
|
|
177
|
-
7.
|
|
170
|
+
7. Let an active external host validate its own checkpoint independently.
|
|
178
171
|
8. Reconstruct the latest safe predecessor and report the reconstruction.
|
|
179
172
|
9. Continue only from the first incomplete or invalid stage.
|
|
180
173
|
|
|
181
|
-
Stale state never bypasses review, testing, retrospective, commit authorization, or external
|
|
174
|
+
Stale state never bypasses review, testing, retrospective, commit authorization, or external checkpoint enforcement.
|
|
@@ -144,7 +144,8 @@ Follow the bundled protocol. At minimum record:
|
|
|
144
144
|
"schema_version": 1,
|
|
145
145
|
"artifact_dir": ".prizmkit/specs/001-example",
|
|
146
146
|
"stage": "plan",
|
|
147
|
-
"status": "
|
|
147
|
+
"status": "completed",
|
|
148
|
+
"stage_result": "PLAN_READY",
|
|
148
149
|
"completed_stages": ["plan"],
|
|
149
150
|
"repair_round": 0,
|
|
150
151
|
"repair_scope": null,
|