devrites 3.0.7 → 3.2.0

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 (484) hide show
  1. package/CHANGELOG.md +18 -0
  2. package/README.md +82 -50
  3. package/SECURITY.md +31 -29
  4. package/docs/adr/0001-go-engine-as-control-plane.md +1 -1
  5. package/docs/adr/0002-dual-host-harness.md +1 -1
  6. package/docs/adr/0004-state-schema-phases-sections.md +1 -2
  7. package/docs/adr/0006-clock-seam-and-engine-ci-gates.md +3 -4
  8. package/docs/adr/0009-prebuild-decision-coverage-and-readiness.md +67 -0
  9. package/docs/adr/0010-agent-first-fresh-context-orchestration.md +71 -0
  10. package/docs/adr/0011-define-plan-transition-rights.md +28 -0
  11. package/docs/adr/0012-semantic-workspace-upgrades.md +77 -0
  12. package/docs/adr/README.md +4 -0
  13. package/docs/agents/triage-labels.md +7 -7
  14. package/docs/architecture.md +179 -141
  15. package/docs/cli.md +47 -12
  16. package/docs/command-map.md +61 -38
  17. package/docs/engine/agent-contract.md +92 -15
  18. package/docs/engine/commands.md +248 -72
  19. package/docs/engine/state-schema.md +52 -23
  20. package/docs/engine/workspace-schema.md +103 -15
  21. package/docs/extensions.md +1 -1
  22. package/docs/flow.md +86 -51
  23. package/docs/harness-compliance.md +29 -5
  24. package/docs/orchestration.md +107 -79
  25. package/docs/quick-reference.md +11 -3
  26. package/docs/release.md +4 -3
  27. package/docs/skills.md +67 -38
  28. package/docs/usage.md +84 -39
  29. package/engine/cmd/releasepack/main.go +219 -0
  30. package/engine/cmd/releasepack/main_test.go +170 -0
  31. package/engine/commands.go +170 -23
  32. package/engine/git_guard.go +187 -0
  33. package/engine/git_guard_test.go +283 -0
  34. package/engine/hookpolicy.go +53 -55
  35. package/engine/hookpolicy_test.go +91 -1
  36. package/engine/hooks.go +296 -75
  37. package/engine/hooks_events_test.go +276 -6
  38. package/engine/hooks_workspace.go +640 -159
  39. package/engine/internal/devritespaths/paths.go +65 -10
  40. package/engine/internal/devritespaths/paths_test.go +110 -0
  41. package/engine/internal/doctor/doctor.go +153 -23
  42. package/engine/internal/doctor/doctor_test.go +74 -0
  43. package/engine/internal/forge/forge.go +940 -0
  44. package/engine/internal/forge/forge_test.go +576 -0
  45. package/engine/internal/forge/git.go +245 -0
  46. package/engine/internal/forge/liveness_unix.go +48 -0
  47. package/engine/internal/forge/liveness_windows.go +67 -0
  48. package/engine/internal/forge/manifest.go +402 -0
  49. package/engine/internal/gate/gate.go +90 -71
  50. package/engine/internal/gate/gate_test.go +71 -2
  51. package/engine/internal/harness/compliance.go +18 -24
  52. package/engine/internal/harness/harness.go +37 -44
  53. package/engine/internal/harness/harness_test.go +21 -5
  54. package/engine/internal/install/install.go +486 -38
  55. package/engine/internal/install/install_test.go +383 -10
  56. package/engine/internal/iohooks/iohooks.go +350 -59
  57. package/engine/internal/iohooks/iohooks_test.go +421 -1
  58. package/engine/internal/lib/buildreadiness.go +43 -18
  59. package/engine/internal/lib/clarifyreturn.go +91 -0
  60. package/engine/internal/lib/clarifyreturn_test.go +123 -0
  61. package/engine/internal/lib/context.go +54 -15
  62. package/engine/internal/lib/cursor_compat_test.go +8 -0
  63. package/engine/internal/lib/extensions.go +2 -3
  64. package/engine/internal/lib/gitauthority.go +601 -0
  65. package/engine/internal/lib/gitauthority_test.go +346 -0
  66. package/engine/internal/lib/jsonout.go +25 -11
  67. package/engine/internal/lib/jsonout_test.go +16 -0
  68. package/engine/internal/lib/lanes.go +14 -8
  69. package/engine/internal/lib/observability_test.go +358 -0
  70. package/engine/internal/lib/packageexistence.go +151 -35
  71. package/engine/internal/lib/packageexistence_test.go +163 -0
  72. package/engine/internal/lib/progress.go +11 -9
  73. package/engine/internal/lib/provenance.go +462 -0
  74. package/engine/internal/lib/provenance_test.go +154 -0
  75. package/engine/internal/lib/readiness_contract.json +118 -0
  76. package/engine/internal/lib/readinessartifact.go +533 -0
  77. package/engine/internal/lib/readinessartifact_test.go +422 -0
  78. package/engine/internal/lib/reconcile.go +712 -88
  79. package/engine/internal/lib/reconcile_test.go +335 -16
  80. package/engine/internal/lib/recoveryattempts.go +298 -0
  81. package/engine/internal/lib/recoveryattempts_test.go +215 -0
  82. package/engine/internal/lib/resolve.go +23 -19
  83. package/engine/internal/lib/runbook_context_test.go +20 -0
  84. package/engine/internal/lib/session.go +701 -9
  85. package/engine/internal/lib/session_test.go +80 -13
  86. package/engine/internal/lib/testintegrity.go +33 -37
  87. package/engine/internal/lib/testintegrity_test.go +63 -1
  88. package/engine/internal/migrate/migrate.go +81 -1
  89. package/engine/internal/migrate/migrate_test.go +22 -1
  90. package/engine/internal/reason/reason.go +180 -0
  91. package/engine/internal/reason/reason_test.go +35 -0
  92. package/engine/internal/rootfacts/facts.go +466 -0
  93. package/engine/internal/rootfacts/facts_test.go +306 -0
  94. package/engine/internal/safepath/safepath.go +55 -0
  95. package/engine/internal/safepath/safepath_test.go +69 -0
  96. package/engine/internal/safepath/safepath_windows_test.go +26 -0
  97. package/engine/internal/state/clarify_transition.go +165 -0
  98. package/engine/internal/state/clarify_transition_test.go +130 -0
  99. package/engine/internal/state/cmd/workflowmanifest/main.go +12 -8
  100. package/engine/internal/state/cursor.go +58 -0
  101. package/engine/internal/state/cursor_test.go +42 -1
  102. package/engine/internal/state/feature.go +35 -48
  103. package/engine/internal/state/schema.go +90 -37
  104. package/engine/internal/state/snapshot.go +18 -2
  105. package/engine/internal/state/state_test.go +187 -7
  106. package/engine/internal/state/status.go +48 -11
  107. package/engine/internal/state/workflow_manifest.json +231 -50
  108. package/engine/internal/toolpolicy/classifier.go +533 -0
  109. package/engine/internal/toolpolicy/classifier_test.go +424 -0
  110. package/engine/internal/toolpolicy/git.go +616 -0
  111. package/engine/internal/toolpolicy/scanner.go +382 -0
  112. package/engine/main.go +160 -77
  113. package/engine/observability_cli_test.go +52 -0
  114. package/engine/root_routing_test.go +277 -0
  115. package/engine/testdata/golden/TestParityBuildReadiness/arg=approved.golden +1 -1
  116. package/engine/testdata/golden/TestParityBuildReadiness/arg=emptystatus.golden +1 -1
  117. package/engine/testdata/golden/TestParityBuildReadiness/arg=legacycontract.golden +1 -0
  118. package/engine/testdata/golden/TestParityBuildReadiness/arg=noclarify.golden +1 -0
  119. package/engine/testdata/golden/TestParityBuildReadiness/arg=novet.golden +1 -0
  120. package/engine/testdata/golden/TestParityBuildReadiness/arg=stalevet.golden +1 -0
  121. package/engine/testdata/golden/TestParityBuildReadiness/arg=trailhash.golden +1 -1
  122. package/engine/testdata/golden/TestParityBuildReadiness/arg=trailpipe.golden +1 -1
  123. package/engine/testdata/golden/TestParityBuildReadiness/arg=vetnotready.golden +1 -0
  124. package/engine/testdata/golden/TestParityProgress/arg=allbuilt.golden +1 -1
  125. package/engine/testdata/golden/TestParityProgress/arg=done.golden +1 -1
  126. package/engine/testdata/golden/TestParityProgress/arg=mid.golden +1 -1
  127. package/engine/testdata/golden/TestParityProgress/arg=nophase.golden +1 -1
  128. package/engine/testdata/golden/TestParityProgress/arg=noslice.golden +1 -1
  129. package/engine/testdata/golden/TestParityProgress/arg=plan.golden +1 -1
  130. package/engine/testdata/golden/TestParityProgress/arg=seal.golden +1 -1
  131. package/engine/testdata/golden/TestParityReconcile/check-clean.golden +1 -1
  132. package/engine/testdata/golden/TestParityReconcile/inline-fallback.golden +1 -0
  133. package/engine/testdata/golden/TestParityReconcile/snapshot-no-allowlist.golden +1 -0
  134. package/engine/testdata/golden/TestParityWrightScope/devrites-edit-denied.golden +2 -0
  135. package/engine/testdata/golden/TestParityWrightScope/out-of-scope-enforce-denies.golden +1 -1
  136. package/engine/tests/adr_0011_define_plan_test.go +30 -0
  137. package/engine/tests/budget_test.go +19 -8
  138. package/engine/tests/concurrency_cli_test.go +7 -1
  139. package/engine/tests/doctor_cli_test.go +148 -2
  140. package/engine/tests/forge_cli_test.go +463 -0
  141. package/engine/tests/gate_test.go +63 -8
  142. package/engine/tests/hook_test.go +260 -8
  143. package/engine/tests/hooks_io_test.go +94 -3
  144. package/engine/tests/json_contract_test.go +127 -2
  145. package/engine/tests/migrate_cli_test.go +2 -2
  146. package/engine/tests/parity_buildreadiness_test.go +167 -10
  147. package/engine/tests/parity_learnings_test.go +16 -17
  148. package/engine/tests/parity_reconcile_test.go +20 -17
  149. package/engine/tests/parity_resolve_test.go +12 -11
  150. package/engine/tests/parity_test.go +21 -17
  151. package/pack/.claude/agents/devrites-code-reviewer.md +62 -48
  152. package/pack/.claude/agents/devrites-devex-reviewer.md +69 -53
  153. package/pack/.claude/agents/devrites-doubt-reviewer.md +29 -22
  154. package/pack/.claude/agents/devrites-evidence-scout.md +69 -0
  155. package/pack/.claude/agents/devrites-forge-judge.md +74 -61
  156. package/pack/.claude/agents/devrites-frontend-reviewer.md +48 -39
  157. package/pack/.claude/agents/devrites-performance-reviewer.md +49 -40
  158. package/pack/.claude/agents/devrites-plan-drafter.md +73 -0
  159. package/pack/.claude/agents/devrites-plan-reviewer.md +80 -47
  160. package/pack/.claude/agents/devrites-proof-runner.md +74 -0
  161. package/pack/.claude/agents/devrites-retrospector.md +48 -45
  162. package/pack/.claude/agents/devrites-security-auditor.md +46 -36
  163. package/pack/.claude/agents/devrites-simplifier-reviewer.md +50 -46
  164. package/pack/.claude/agents/devrites-slice-wright.md +153 -165
  165. package/pack/.claude/agents/devrites-spec-reviewer.md +34 -32
  166. package/pack/.claude/agents/devrites-strategy-reviewer.md +63 -34
  167. package/pack/.claude/agents/devrites-test-analyst.md +40 -30
  168. package/pack/.claude/agents/devrites-upgrade-planner.md +100 -0
  169. package/pack/.claude/settings.json +2 -1
  170. package/pack/.claude/skills/devrites-audit/SKILL.md +40 -61
  171. package/pack/.claude/skills/devrites-debug-recovery/SKILL.md +24 -13
  172. package/pack/.claude/skills/devrites-debug-recovery/reference/build-the-loop.md +24 -21
  173. package/pack/.claude/skills/devrites-debug-recovery/reference/cleanup-and-classify.md +34 -6
  174. package/pack/.claude/skills/devrites-debug-recovery/reference/instrumentation.md +2 -2
  175. package/pack/.claude/skills/devrites-doubt/SKILL.md +25 -17
  176. package/pack/.claude/skills/devrites-interview/SKILL.md +53 -52
  177. package/pack/.claude/skills/devrites-lib/SKILL.md +12 -9
  178. package/pack/.claude/skills/devrites-lib/reference/intent-map.md +4 -2
  179. package/pack/.claude/skills/devrites-lib/reference/parallel-dispatch.md +82 -137
  180. package/pack/.claude/skills/devrites-lib/reference/reply-contract.md +8 -1
  181. package/pack/.claude/skills/devrites-lib/reference/standards/README.md +38 -55
  182. package/pack/.claude/skills/devrites-lib/reference/standards/afk-hitl.md +53 -27
  183. package/pack/.claude/skills/devrites-lib/reference/standards/agents.md +200 -190
  184. package/pack/.claude/skills/devrites-lib/reference/standards/anti-patterns.md +5 -15
  185. package/pack/.claude/skills/devrites-lib/reference/standards/ci-cd.md +27 -58
  186. package/pack/.claude/skills/devrites-lib/reference/standards/code-review.md +16 -52
  187. package/pack/.claude/skills/devrites-lib/reference/standards/coding-style.md +2 -10
  188. package/pack/.claude/skills/devrites-lib/reference/standards/context-hygiene.md +18 -61
  189. package/pack/.claude/skills/devrites-lib/reference/standards/core.md +23 -18
  190. package/pack/.claude/skills/devrites-lib/reference/standards/deprecation.md +17 -57
  191. package/pack/.claude/skills/devrites-lib/reference/standards/development-workflow.md +4 -33
  192. package/pack/.claude/skills/devrites-lib/reference/standards/git-workflow.md +4 -20
  193. package/pack/.claude/skills/devrites-lib/reference/standards/hooks.md +3 -14
  194. package/pack/.claude/skills/devrites-lib/reference/standards/patterns.md +9 -25
  195. package/pack/.claude/skills/devrites-lib/reference/standards/performance.md +0 -9
  196. package/pack/.claude/skills/devrites-lib/reference/standards/principles.md +1 -3
  197. package/pack/.claude/skills/devrites-lib/reference/standards/security.md +17 -7
  198. package/pack/.claude/skills/devrites-lib/reference/standards/testing.md +1 -27
  199. package/pack/.claude/skills/devrites-lib/reference/standards/tooling.md +46 -50
  200. package/pack/.claude/skills/devrites-lib/reference/workspace-artifact-schema.md +40 -10
  201. package/pack/.claude/skills/devrites-source-driven/SKILL.md +23 -22
  202. package/pack/.claude/skills/rite/SKILL.md +10 -6
  203. package/pack/.claude/skills/rite/reference/menu.md +13 -7
  204. package/pack/.claude/skills/rite-adopt/SKILL.md +33 -37
  205. package/pack/.claude/skills/rite-autocomplete/SKILL.md +33 -28
  206. package/pack/.claude/skills/rite-autocomplete/reference/loop.md +21 -21
  207. package/pack/.claude/skills/rite-autocomplete/reference/stop-conditions.md +15 -6
  208. package/pack/.claude/skills/rite-build/SKILL.md +35 -30
  209. package/pack/.claude/skills/rite-build/reference/afk-discipline.md +41 -39
  210. package/pack/.claude/skills/rite-build/reference/evidence-standard.md +10 -0
  211. package/pack/.claude/skills/rite-build/reference/forge.md +186 -156
  212. package/pack/.claude/skills/rite-build/reference/one-slice-cycle.md +4 -3
  213. package/pack/.claude/skills/rite-build/reference/phase-contract.md +96 -175
  214. package/pack/.claude/skills/rite-build/reference/spec-drift-guard.md +10 -4
  215. package/pack/.claude/skills/rite-build/reference/wright-dispatch.md +129 -134
  216. package/pack/.claude/skills/rite-clarify/SKILL.md +90 -0
  217. package/pack/.claude/skills/rite-clarify/reference/decision-coverage.md +61 -0
  218. package/pack/.claude/skills/rite-converge/SKILL.md +35 -25
  219. package/pack/.claude/skills/rite-define/SKILL.md +58 -32
  220. package/pack/.claude/skills/rite-define/reference/gates.md +16 -15
  221. package/pack/.claude/skills/rite-define/reference/plan-template.md +18 -8
  222. package/pack/.claude/skills/rite-frame/reference/failure-modes.md +22 -24
  223. package/pack/.claude/skills/rite-plan/SKILL.md +47 -16
  224. package/pack/.claude/skills/rite-plan/reference/task-breakdown.md +4 -0
  225. package/pack/.claude/skills/rite-polish/SKILL.md +27 -23
  226. package/pack/.claude/skills/rite-prototype/SKILL.md +25 -26
  227. package/pack/.claude/skills/rite-prove/SKILL.md +27 -17
  228. package/pack/.claude/skills/rite-resolve/SKILL.md +12 -11
  229. package/pack/.claude/skills/rite-resolve/reference/answer-protocol.md +3 -0
  230. package/pack/.claude/skills/rite-review/SKILL.md +37 -28
  231. package/pack/.claude/skills/rite-seal/reference/phase-contract.md +27 -92
  232. package/pack/.claude/skills/rite-seal/reference/risk-and-rollback.md +13 -0
  233. package/pack/.claude/skills/rite-ship/reference/design-memory.md +31 -36
  234. package/pack/.claude/skills/rite-spec/SKILL.md +84 -135
  235. package/pack/.claude/skills/rite-spec/reference/investigation.md +37 -33
  236. package/pack/.claude/skills/rite-spec/reference/question-protocol.md +6 -2
  237. package/pack/.claude/skills/rite-spec/reference/spec-checklists.md +25 -24
  238. package/pack/.claude/skills/rite-spec/reference/spec-template.md +9 -2
  239. package/pack/.claude/skills/rite-spec/reference/state-workspace.md +13 -3
  240. package/pack/.claude/skills/rite-temper/SKILL.md +62 -47
  241. package/pack/.claude/skills/rite-temper/reference/review-dimensions.md +24 -22
  242. package/pack/.claude/skills/rite-upgrade/SKILL.md +125 -0
  243. package/pack/.claude/skills/rite-vet/SKILL.md +114 -113
  244. package/pack/.claude/skills/rite-vet/reference/artifacts.md +50 -9
  245. package/pack/.claude/skills/rite-vet/reference/review-axes.md +39 -37
  246. package/pack/generated/claude/agents/devrites-code-reviewer.md +62 -48
  247. package/pack/generated/claude/agents/devrites-devex-reviewer.md +69 -53
  248. package/pack/generated/claude/agents/devrites-doubt-reviewer.md +29 -22
  249. package/pack/generated/claude/agents/devrites-evidence-scout.md +69 -0
  250. package/pack/generated/claude/agents/devrites-forge-judge.md +74 -61
  251. package/pack/generated/claude/agents/devrites-frontend-reviewer.md +48 -39
  252. package/pack/generated/claude/agents/devrites-performance-reviewer.md +49 -40
  253. package/pack/generated/claude/agents/devrites-plan-drafter.md +73 -0
  254. package/pack/generated/claude/agents/devrites-plan-reviewer.md +80 -47
  255. package/pack/generated/claude/agents/devrites-proof-runner.md +74 -0
  256. package/pack/generated/claude/agents/devrites-retrospector.md +48 -45
  257. package/pack/generated/claude/agents/devrites-security-auditor.md +46 -36
  258. package/pack/generated/claude/agents/devrites-simplifier-reviewer.md +50 -46
  259. package/pack/generated/claude/agents/devrites-slice-wright.md +153 -165
  260. package/pack/generated/claude/agents/devrites-spec-reviewer.md +34 -32
  261. package/pack/generated/claude/agents/devrites-strategy-reviewer.md +63 -34
  262. package/pack/generated/claude/agents/devrites-test-analyst.md +40 -30
  263. package/pack/generated/claude/agents/devrites-upgrade-planner.md +100 -0
  264. package/pack/generated/claude/settings.json +2 -1
  265. package/pack/generated/claude/skills/devrites-audit/SKILL.md +40 -61
  266. package/pack/generated/claude/skills/devrites-debug-recovery/SKILL.md +24 -13
  267. package/pack/generated/claude/skills/devrites-debug-recovery/reference/build-the-loop.md +24 -21
  268. package/pack/generated/claude/skills/devrites-debug-recovery/reference/cleanup-and-classify.md +34 -6
  269. package/pack/generated/claude/skills/devrites-debug-recovery/reference/instrumentation.md +2 -2
  270. package/pack/generated/claude/skills/devrites-doubt/SKILL.md +25 -17
  271. package/pack/generated/claude/skills/devrites-interview/SKILL.md +53 -52
  272. package/pack/generated/claude/skills/devrites-lib/SKILL.md +12 -9
  273. package/pack/generated/claude/skills/devrites-lib/reference/intent-map.md +4 -2
  274. package/pack/generated/claude/skills/devrites-lib/reference/parallel-dispatch.md +82 -137
  275. package/pack/generated/claude/skills/devrites-lib/reference/reply-contract.md +8 -1
  276. package/pack/generated/claude/skills/devrites-lib/reference/standards/README.md +38 -55
  277. package/pack/generated/claude/skills/devrites-lib/reference/standards/afk-hitl.md +53 -27
  278. package/pack/generated/claude/skills/devrites-lib/reference/standards/agents.md +200 -190
  279. package/pack/generated/claude/skills/devrites-lib/reference/standards/anti-patterns.md +5 -15
  280. package/pack/generated/claude/skills/devrites-lib/reference/standards/ci-cd.md +27 -58
  281. package/pack/generated/claude/skills/devrites-lib/reference/standards/code-review.md +16 -52
  282. package/pack/generated/claude/skills/devrites-lib/reference/standards/coding-style.md +2 -10
  283. package/pack/generated/claude/skills/devrites-lib/reference/standards/context-hygiene.md +18 -61
  284. package/pack/generated/claude/skills/devrites-lib/reference/standards/core.md +23 -18
  285. package/pack/generated/claude/skills/devrites-lib/reference/standards/deprecation.md +17 -57
  286. package/pack/generated/claude/skills/devrites-lib/reference/standards/development-workflow.md +4 -33
  287. package/pack/generated/claude/skills/devrites-lib/reference/standards/git-workflow.md +4 -20
  288. package/pack/generated/claude/skills/devrites-lib/reference/standards/hooks.md +3 -14
  289. package/pack/generated/claude/skills/devrites-lib/reference/standards/patterns.md +9 -25
  290. package/pack/generated/claude/skills/devrites-lib/reference/standards/performance.md +0 -9
  291. package/pack/generated/claude/skills/devrites-lib/reference/standards/principles.md +1 -3
  292. package/pack/generated/claude/skills/devrites-lib/reference/standards/security.md +17 -7
  293. package/pack/generated/claude/skills/devrites-lib/reference/standards/testing.md +1 -27
  294. package/pack/generated/claude/skills/devrites-lib/reference/standards/tooling.md +46 -50
  295. package/pack/generated/claude/skills/devrites-lib/reference/workspace-artifact-schema.md +40 -10
  296. package/pack/generated/claude/skills/devrites-source-driven/SKILL.md +23 -22
  297. package/pack/generated/claude/skills/rite/SKILL.md +10 -6
  298. package/pack/generated/claude/skills/rite/reference/menu.md +13 -7
  299. package/pack/generated/claude/skills/rite-adopt/SKILL.md +33 -37
  300. package/pack/generated/claude/skills/rite-autocomplete/SKILL.md +33 -28
  301. package/pack/generated/claude/skills/rite-autocomplete/reference/loop.md +21 -21
  302. package/pack/generated/claude/skills/rite-autocomplete/reference/stop-conditions.md +15 -6
  303. package/pack/generated/claude/skills/rite-build/SKILL.md +35 -30
  304. package/pack/generated/claude/skills/rite-build/reference/afk-discipline.md +41 -39
  305. package/pack/generated/claude/skills/rite-build/reference/evidence-standard.md +10 -0
  306. package/pack/generated/claude/skills/rite-build/reference/forge.md +186 -156
  307. package/pack/generated/claude/skills/rite-build/reference/one-slice-cycle.md +4 -3
  308. package/pack/generated/claude/skills/rite-build/reference/phase-contract.md +96 -175
  309. package/pack/generated/claude/skills/rite-build/reference/spec-drift-guard.md +10 -4
  310. package/pack/generated/claude/skills/rite-build/reference/wright-dispatch.md +129 -134
  311. package/pack/generated/claude/skills/rite-clarify/SKILL.md +90 -0
  312. package/pack/generated/claude/skills/rite-clarify/reference/decision-coverage.md +61 -0
  313. package/pack/generated/claude/skills/rite-converge/SKILL.md +35 -25
  314. package/pack/generated/claude/skills/rite-define/SKILL.md +58 -32
  315. package/pack/generated/claude/skills/rite-define/reference/gates.md +16 -15
  316. package/pack/generated/claude/skills/rite-define/reference/plan-template.md +18 -8
  317. package/pack/generated/claude/skills/rite-frame/reference/failure-modes.md +22 -24
  318. package/pack/generated/claude/skills/rite-plan/SKILL.md +47 -16
  319. package/pack/generated/claude/skills/rite-plan/reference/task-breakdown.md +4 -0
  320. package/pack/generated/claude/skills/rite-polish/SKILL.md +27 -23
  321. package/pack/generated/claude/skills/rite-prototype/SKILL.md +25 -26
  322. package/pack/generated/claude/skills/rite-prove/SKILL.md +27 -17
  323. package/pack/generated/claude/skills/rite-resolve/SKILL.md +12 -11
  324. package/pack/generated/claude/skills/rite-resolve/reference/answer-protocol.md +3 -0
  325. package/pack/generated/claude/skills/rite-review/SKILL.md +37 -28
  326. package/pack/generated/claude/skills/rite-seal/reference/phase-contract.md +27 -92
  327. package/pack/generated/claude/skills/rite-seal/reference/risk-and-rollback.md +13 -0
  328. package/pack/generated/claude/skills/rite-ship/reference/design-memory.md +31 -36
  329. package/pack/generated/claude/skills/rite-spec/SKILL.md +84 -135
  330. package/pack/generated/claude/skills/rite-spec/reference/investigation.md +37 -33
  331. package/pack/generated/claude/skills/rite-spec/reference/question-protocol.md +6 -2
  332. package/pack/generated/claude/skills/rite-spec/reference/spec-checklists.md +25 -24
  333. package/pack/generated/claude/skills/rite-spec/reference/spec-template.md +9 -2
  334. package/pack/generated/claude/skills/rite-spec/reference/state-workspace.md +13 -3
  335. package/pack/generated/claude/skills/rite-temper/SKILL.md +62 -47
  336. package/pack/generated/claude/skills/rite-temper/reference/review-dimensions.md +24 -22
  337. package/pack/generated/claude/skills/rite-upgrade/SKILL.md +125 -0
  338. package/pack/generated/claude/skills/rite-vet/SKILL.md +114 -113
  339. package/pack/generated/claude/skills/rite-vet/reference/artifacts.md +50 -9
  340. package/pack/generated/claude/skills/rite-vet/reference/review-axes.md +39 -37
  341. package/pack/generated/codex/AGENTS.md +5 -2
  342. package/pack/generated/codex/agents/devrites-code-reviewer.toml +69 -47
  343. package/pack/generated/codex/agents/devrites-devex-reviewer.toml +75 -51
  344. package/pack/generated/codex/agents/devrites-doubt-reviewer.toml +35 -20
  345. package/pack/generated/codex/agents/devrites-evidence-scout.toml +75 -0
  346. package/pack/generated/codex/agents/devrites-forge-judge.toml +80 -59
  347. package/pack/generated/codex/agents/devrites-frontend-reviewer.toml +54 -37
  348. package/pack/generated/codex/agents/devrites-performance-reviewer.toml +55 -38
  349. package/pack/generated/codex/agents/devrites-plan-drafter.toml +79 -0
  350. package/pack/generated/codex/agents/devrites-plan-reviewer.toml +82 -47
  351. package/pack/generated/codex/agents/devrites-proof-runner.toml +80 -0
  352. package/pack/generated/codex/agents/devrites-retrospector.toml +54 -43
  353. package/pack/generated/codex/agents/devrites-security-auditor.toml +53 -35
  354. package/pack/generated/codex/agents/devrites-simplifier-reviewer.toml +56 -44
  355. package/pack/generated/codex/agents/devrites-slice-wright.toml +159 -163
  356. package/pack/generated/codex/agents/devrites-spec-reviewer.toml +40 -30
  357. package/pack/generated/codex/agents/devrites-strategy-reviewer.toml +65 -34
  358. package/pack/generated/codex/agents/devrites-test-analyst.toml +46 -28
  359. package/pack/generated/codex/agents/devrites-upgrade-planner.toml +106 -0
  360. package/pack/generated/codex/hooks.json +4 -14
  361. package/pack/generated/codex/skills/devrites-api-interface/SKILL.md +7 -3
  362. package/pack/generated/codex/skills/devrites-audit/SKILL.md +47 -64
  363. package/pack/generated/codex/skills/devrites-browser-proof/SKILL.md +7 -3
  364. package/pack/generated/codex/skills/devrites-debug-recovery/SKILL.md +31 -16
  365. package/pack/generated/codex/skills/devrites-debug-recovery/reference/build-the-loop.md +24 -21
  366. package/pack/generated/codex/skills/devrites-debug-recovery/reference/cleanup-and-classify.md +34 -6
  367. package/pack/generated/codex/skills/devrites-debug-recovery/reference/instrumentation.md +2 -2
  368. package/pack/generated/codex/skills/devrites-doubt/SKILL.md +32 -20
  369. package/pack/generated/codex/skills/devrites-frontend-craft/SKILL.md +7 -3
  370. package/pack/generated/codex/skills/devrites-interview/SKILL.md +60 -55
  371. package/pack/generated/codex/skills/devrites-lib/SKILL.md +19 -12
  372. package/pack/generated/codex/skills/devrites-lib/reference/intent-map.md +4 -2
  373. package/pack/generated/codex/skills/devrites-lib/reference/parallel-dispatch.md +82 -137
  374. package/pack/generated/codex/skills/devrites-lib/reference/reply-contract.md +8 -1
  375. package/pack/generated/codex/skills/devrites-lib/reference/standards/README.md +38 -55
  376. package/pack/generated/codex/skills/devrites-lib/reference/standards/afk-hitl.md +53 -27
  377. package/pack/generated/codex/skills/devrites-lib/reference/standards/agents.md +200 -190
  378. package/pack/generated/codex/skills/devrites-lib/reference/standards/anti-patterns.md +5 -15
  379. package/pack/generated/codex/skills/devrites-lib/reference/standards/ci-cd.md +27 -58
  380. package/pack/generated/codex/skills/devrites-lib/reference/standards/code-review.md +16 -52
  381. package/pack/generated/codex/skills/devrites-lib/reference/standards/coding-style.md +2 -10
  382. package/pack/generated/codex/skills/devrites-lib/reference/standards/context-hygiene.md +18 -61
  383. package/pack/generated/codex/skills/devrites-lib/reference/standards/core.md +23 -18
  384. package/pack/generated/codex/skills/devrites-lib/reference/standards/deprecation.md +17 -57
  385. package/pack/generated/codex/skills/devrites-lib/reference/standards/development-workflow.md +4 -33
  386. package/pack/generated/codex/skills/devrites-lib/reference/standards/git-workflow.md +4 -20
  387. package/pack/generated/codex/skills/devrites-lib/reference/standards/hooks.md +3 -14
  388. package/pack/generated/codex/skills/devrites-lib/reference/standards/patterns.md +9 -25
  389. package/pack/generated/codex/skills/devrites-lib/reference/standards/performance.md +0 -9
  390. package/pack/generated/codex/skills/devrites-lib/reference/standards/principles.md +1 -3
  391. package/pack/generated/codex/skills/devrites-lib/reference/standards/security.md +17 -7
  392. package/pack/generated/codex/skills/devrites-lib/reference/standards/testing.md +1 -27
  393. package/pack/generated/codex/skills/devrites-lib/reference/standards/tooling.md +46 -50
  394. package/pack/generated/codex/skills/devrites-lib/reference/workspace-artifact-schema.md +40 -10
  395. package/pack/generated/codex/skills/devrites-prose-craft/SKILL.md +7 -3
  396. package/pack/generated/codex/skills/devrites-refresh-indexes/SKILL.md +7 -3
  397. package/pack/generated/codex/skills/devrites-source-driven/SKILL.md +29 -24
  398. package/pack/generated/codex/skills/devrites-ux-shape/SKILL.md +7 -3
  399. package/pack/generated/codex/skills/rite/SKILL.md +21 -13
  400. package/pack/generated/codex/skills/rite/reference/menu.md +13 -7
  401. package/pack/generated/codex/skills/rite-adopt/SKILL.md +40 -40
  402. package/pack/generated/codex/skills/rite-autocomplete/SKILL.md +40 -31
  403. package/pack/generated/codex/skills/rite-autocomplete/reference/loop.md +21 -21
  404. package/pack/generated/codex/skills/rite-autocomplete/reference/stop-conditions.md +15 -6
  405. package/pack/generated/codex/skills/rite-build/SKILL.md +42 -33
  406. package/pack/generated/codex/skills/rite-build/reference/afk-discipline.md +41 -39
  407. package/pack/generated/codex/skills/rite-build/reference/evidence-standard.md +10 -0
  408. package/pack/generated/codex/skills/rite-build/reference/forge.md +186 -156
  409. package/pack/generated/codex/skills/rite-build/reference/one-slice-cycle.md +4 -3
  410. package/pack/generated/codex/skills/rite-build/reference/phase-contract.md +96 -175
  411. package/pack/generated/codex/skills/rite-build/reference/spec-drift-guard.md +10 -4
  412. package/pack/generated/codex/skills/rite-build/reference/wright-dispatch.md +129 -134
  413. package/pack/generated/codex/skills/rite-clarify/SKILL.md +106 -0
  414. package/pack/generated/codex/skills/rite-clarify/reference/decision-coverage.md +61 -0
  415. package/pack/generated/codex/skills/rite-converge/SKILL.md +42 -28
  416. package/pack/generated/codex/skills/rite-customize/SKILL.md +7 -3
  417. package/pack/generated/codex/skills/rite-define/SKILL.md +65 -35
  418. package/pack/generated/codex/skills/rite-define/reference/gates.md +16 -15
  419. package/pack/generated/codex/skills/rite-define/reference/plan-template.md +18 -8
  420. package/pack/generated/codex/skills/rite-doctor/SKILL.md +7 -3
  421. package/pack/generated/codex/skills/rite-dogfood/SKILL.md +7 -3
  422. package/pack/generated/codex/skills/rite-explain/SKILL.md +7 -3
  423. package/pack/generated/codex/skills/rite-frame/SKILL.md +7 -3
  424. package/pack/generated/codex/skills/rite-frame/reference/failure-modes.md +22 -24
  425. package/pack/generated/codex/skills/rite-handoff/SKILL.md +7 -3
  426. package/pack/generated/codex/skills/rite-learn/SKILL.md +7 -3
  427. package/pack/generated/codex/skills/rite-plan/SKILL.md +54 -19
  428. package/pack/generated/codex/skills/rite-plan/reference/task-breakdown.md +5 -1
  429. package/pack/generated/codex/skills/rite-polish/SKILL.md +34 -26
  430. package/pack/generated/codex/skills/rite-pov/SKILL.md +7 -3
  431. package/pack/generated/codex/skills/rite-pr-feedback/SKILL.md +7 -3
  432. package/pack/generated/codex/skills/rite-pressure-test/SKILL.md +7 -3
  433. package/pack/generated/codex/skills/rite-prototype/SKILL.md +32 -29
  434. package/pack/generated/codex/skills/rite-prove/SKILL.md +34 -20
  435. package/pack/generated/codex/skills/rite-quick/SKILL.md +7 -3
  436. package/pack/generated/codex/skills/rite-resolve/SKILL.md +19 -14
  437. package/pack/generated/codex/skills/rite-resolve/reference/answer-protocol.md +3 -0
  438. package/pack/generated/codex/skills/rite-review/SKILL.md +44 -31
  439. package/pack/generated/codex/skills/rite-seal/SKILL.md +7 -3
  440. package/pack/generated/codex/skills/rite-seal/reference/phase-contract.md +27 -92
  441. package/pack/generated/codex/skills/rite-seal/reference/risk-and-rollback.md +13 -0
  442. package/pack/generated/codex/skills/rite-ship/SKILL.md +7 -3
  443. package/pack/generated/codex/skills/rite-ship/reference/design-memory.md +31 -36
  444. package/pack/generated/codex/skills/rite-spec/SKILL.md +91 -138
  445. package/pack/generated/codex/skills/rite-spec/reference/investigation.md +37 -33
  446. package/pack/generated/codex/skills/rite-spec/reference/question-protocol.md +6 -2
  447. package/pack/generated/codex/skills/rite-spec/reference/spec-checklists.md +25 -24
  448. package/pack/generated/codex/skills/rite-spec/reference/spec-template.md +9 -2
  449. package/pack/generated/codex/skills/rite-spec/reference/state-workspace.md +13 -3
  450. package/pack/generated/codex/skills/rite-status/SKILL.md +7 -3
  451. package/pack/generated/codex/skills/rite-temper/SKILL.md +69 -50
  452. package/pack/generated/codex/skills/rite-temper/reference/review-dimensions.md +24 -22
  453. package/pack/generated/codex/skills/rite-upgrade/SKILL.md +141 -0
  454. package/pack/generated/codex/skills/rite-upgrade/agents/openai.yaml +2 -0
  455. package/pack/generated/codex/skills/rite-vet/SKILL.md +121 -116
  456. package/pack/generated/codex/skills/rite-vet/reference/artifacts.md +50 -9
  457. package/pack/generated/codex/skills/rite-vet/reference/review-axes.md +40 -38
  458. package/pack/generated/codex/skills/rite-zoom-out/SKILL.md +7 -3
  459. package/package.json +1 -1
  460. package/scripts/build-release-tarball.sh +32 -15
  461. package/scripts/check-authority-drift.py +125 -0
  462. package/scripts/check-instruction-size-baseline.mjs +19 -11
  463. package/scripts/check-invocation-integrity.py +2 -0
  464. package/scripts/codex-generate.sh +69 -33
  465. package/scripts/grade-feature.sh +121 -40
  466. package/scripts/live-hosts/agent-result.schema.json +230 -0
  467. package/scripts/live-hosts/claude.sh +87 -0
  468. package/scripts/live-hosts/codex.sh +81 -0
  469. package/scripts/live-hosts/common.sh +113 -0
  470. package/scripts/live-hosts/fake-host.py +264 -0
  471. package/scripts/live-hosts/host-transport.py +287 -0
  472. package/scripts/release-check.sh +5 -1
  473. package/scripts/run-agent-contract-evals.py +1380 -0
  474. package/scripts/run-behavioral-evals.sh +24 -30
  475. package/scripts/run-evals.sh +1 -5
  476. package/scripts/run-live-behavioral-evals.py +1274 -144
  477. package/scripts/run-outcome-evals.sh +445 -88
  478. package/scripts/run-tests.mjs +30 -2
  479. package/scripts/skills-inventory.mjs +1 -1
  480. package/scripts/validate-workflow-security.py +39 -20
  481. package/scripts/validate-workspace-schema.py +362 -10
  482. package/scripts/validate.sh +21 -15
  483. package/engine/testdata/golden/TestParityWrightScope/devrites-edit-allowed.golden +0 -1
  484. /package/engine/testdata/golden/{TestParityReconcile/check-no-claimed.golden → TestParityBuildReadiness/arg=clarifyopen.golden} +0 -0
@@ -1,9 +1,12 @@
1
1
  package main_test
2
2
 
3
- // Issue 05: `doctor` version triangle, at the CLI seam.
3
+ // CLI coverage for Issue 05: the `doctor` version triangle.
4
4
 
5
5
  import (
6
+ "bytes"
7
+ "errors"
6
8
  "os"
9
+ "os/exec"
7
10
  "path/filepath"
8
11
  "strings"
9
12
  "testing"
@@ -15,13 +18,101 @@ func TestDoctorPrintsTriangle(t *testing.T) {
15
18
  if code != 0 {
16
19
  t.Fatalf("exit = %d, want 0 (stderr: %s)", code, errOut)
17
20
  }
18
- for _, leg := range []string{"binary:", "pack:", "state-schema:", "verdict:"} {
21
+ for _, leg := range []string{"project:", "root:", "root-selection:", "binary:", "pack:", "state-schema:", "verdict:"} {
19
22
  if !strings.Contains(out, leg) {
20
23
  t.Errorf("doctor output missing %q leg\n%s", leg, out)
21
24
  }
22
25
  }
23
26
  }
24
27
 
28
+ func TestDoctorReportsStaleActiveWithPasteableRepair(t *testing.T) {
29
+ root := newWorkspace(t)
30
+ if err := os.WriteFile(filepath.Join(root, "ACTIVE"), []byte("ghost\n"), 0o644); err != nil {
31
+ t.Fatal(err)
32
+ }
33
+ out, errOut, code := runDevrites(t, root, "doctor")
34
+ if code != 0 {
35
+ t.Fatalf("exit = %d, want warning exit 0 (stderr: %s)\n%s", code, errOut, out)
36
+ }
37
+ if !strings.Contains(out, "[DRV-ACTIVE-STALE]") || !strings.Contains(out, "fix: rm -f") {
38
+ t.Fatalf("doctor did not diagnose stale ACTIVE with remediation:\n%s", out)
39
+ }
40
+ }
41
+
42
+ func TestDoctorRefusesParentStateAcrossNestedRepositoryBoundary(t *testing.T) {
43
+ outer := doctorRepo(t, filepath.Join(t.TempDir(), "outer"))
44
+ if err := os.MkdirAll(filepath.Join(outer, ".devrites"), 0o755); err != nil {
45
+ t.Fatal(err)
46
+ }
47
+ child := doctorRepo(t, filepath.Join(outer, "services", "child"))
48
+ out, errOut, code := runDoctorAt(t, child)
49
+ if code != 3 {
50
+ t.Fatalf("exit = %d, want unsafe-root refusal (stderr: %s)\n%s", code, errOut, out)
51
+ }
52
+ if !strings.Contains(out, "[DRV-ROOT-OUTSIDE-GIT]") || !strings.Contains(out, "fix: cd ") {
53
+ t.Fatalf("doctor did not explain nested-repository boundary:\n%s", out)
54
+ }
55
+ }
56
+
57
+ func TestDoctorKeepsOrdinaryRootAbsenceDiagnosable(t *testing.T) {
58
+ repo := doctorRepo(t, filepath.Join(t.TempDir(), "repo"))
59
+ out, errOut, code := runDoctorAt(t, repo)
60
+ if code != 0 {
61
+ t.Fatalf("exit = %d, want diagnostic exit 0 (stderr: %s)\n%s", code, errOut, out)
62
+ }
63
+ if !strings.Contains(out, "root: none") || !strings.Contains(out, "[DRV-ROOT-NOT-FOUND]") {
64
+ t.Fatalf("doctor hid ordinary root absence:\n%s", out)
65
+ }
66
+ }
67
+
68
+ func TestDoctorRefusesWorkspaceOverrideWithoutRoot(t *testing.T) {
69
+ repo := doctorRepo(t, filepath.Join(t.TempDir(), "repo"))
70
+ out, errOut, code := runDoctorAtEnv(t, repo, "DEVRITES_WORKSPACE="+t.TempDir())
71
+ if code != 3 {
72
+ t.Fatalf("exit = %d, want unsafe-root refusal (stderr: %s)\n%s", code, errOut, out)
73
+ }
74
+ if !strings.Contains(out, "[DRV-WORKSPACE-WITHOUT-ROOT]") || !strings.Contains(out, "fix: unset DEVRITES_WORKSPACE") {
75
+ t.Fatalf("doctor hid workspace-without-root remediation:\n%s", out)
76
+ }
77
+ }
78
+
79
+ func TestDoctorReportsLinkedWorktreeAndSubmoduleTopology(t *testing.T) {
80
+ t.Run("linked worktree", func(t *testing.T) {
81
+ base := t.TempDir()
82
+ main := doctorRepo(t, filepath.Join(base, "main"))
83
+ worktree := filepath.Join(base, "linked")
84
+ doctorGit(t, main, "worktree", "add", "-q", "-b", "doctor-linked", worktree)
85
+ if err := os.MkdirAll(filepath.Join(worktree, ".devrites"), 0o755); err != nil {
86
+ t.Fatal(err)
87
+ }
88
+ out, errOut, code := runDoctorAt(t, worktree)
89
+ if code != 0 {
90
+ t.Fatalf("exit = %d stderr=%s\n%s", code, errOut, out)
91
+ }
92
+ if !strings.Contains(out, "linked-worktree=true") {
93
+ t.Fatalf("doctor omitted linked-worktree topology:\n%s", out)
94
+ }
95
+ })
96
+
97
+ t.Run("submodule", func(t *testing.T) {
98
+ base := t.TempDir()
99
+ origin := doctorRepo(t, filepath.Join(base, "origin"))
100
+ super := doctorRepo(t, filepath.Join(base, "super"))
101
+ doctorGit(t, super, "-c", "protocol.file.allow=always", "submodule", "add", "-q", origin, "deps/sub")
102
+ sub := filepath.Join(super, "deps", "sub")
103
+ if err := os.MkdirAll(filepath.Join(sub, ".devrites"), 0o755); err != nil {
104
+ t.Fatal(err)
105
+ }
106
+ out, errOut, code := runDoctorAt(t, sub)
107
+ if code != 0 {
108
+ t.Fatalf("exit = %d stderr=%s\n%s", code, errOut, out)
109
+ }
110
+ if !strings.Contains(out, "submodule=true") || !strings.Contains(out, "git-superproject:") {
111
+ t.Fatalf("doctor omitted submodule topology:\n%s", out)
112
+ }
113
+ })
114
+ }
115
+
25
116
  func TestDoctorReportsMergeInProgress(t *testing.T) {
26
117
  root := newWorkspace(t)
27
118
  git := filepath.Join(filepath.Dir(root), ".git")
@@ -60,3 +151,58 @@ func TestDoctorRefusesNewerStateSchema(t *testing.T) {
60
151
  t.Errorf("verdict not a REFUSE\n%s", out)
61
152
  }
62
153
  }
154
+
155
+ func runDoctorAt(t *testing.T, dir string) (stdout, stderr string, code int) {
156
+ t.Helper()
157
+ return runDoctorAtEnv(t, dir)
158
+ }
159
+
160
+ func runDoctorAtEnv(t *testing.T, dir string, extraEnv ...string) (stdout, stderr string, code int) {
161
+ t.Helper()
162
+ cmd := exec.Command(binPath, "doctor")
163
+ cmd.Dir = dir
164
+ for _, item := range os.Environ() {
165
+ if strings.HasPrefix(item, "DEVRITES_ROOT=") || strings.HasPrefix(item, "DEVRITES_WORKSPACE=") {
166
+ continue
167
+ }
168
+ cmd.Env = append(cmd.Env, item)
169
+ }
170
+ cmd.Env = append(cmd.Env, extraEnv...)
171
+ var outBuf, errBuf bytes.Buffer
172
+ cmd.Stdout = &outBuf
173
+ cmd.Stderr = &errBuf
174
+ err := cmd.Run()
175
+ if err != nil {
176
+ var exitErr *exec.ExitError
177
+ if !errors.As(err, &exitErr) {
178
+ t.Fatalf("doctor: %v", err)
179
+ }
180
+ code = exitErr.ExitCode()
181
+ }
182
+ return outBuf.String(), errBuf.String(), code
183
+ }
184
+
185
+ func doctorRepo(t *testing.T, path string) string {
186
+ t.Helper()
187
+ if err := os.MkdirAll(path, 0o755); err != nil {
188
+ t.Fatal(err)
189
+ }
190
+ doctorGit(t, path, "init", "-q")
191
+ doctorGit(t, path, "config", "user.email", "devrites@example.invalid")
192
+ doctorGit(t, path, "config", "user.name", "DevRites Test")
193
+ if err := os.WriteFile(filepath.Join(path, ".fixture"), []byte("fixture\n"), 0o644); err != nil {
194
+ t.Fatal(err)
195
+ }
196
+ doctorGit(t, path, "add", ".fixture")
197
+ doctorGit(t, path, "commit", "-q", "-m", "fixture")
198
+ return path
199
+ }
200
+
201
+ func doctorGit(t *testing.T, dir string, args ...string) {
202
+ t.Helper()
203
+ cmd := exec.Command("git", append([]string{"-C", dir}, args...)...)
204
+ cmd.Env = append(os.Environ(), "GIT_TERMINAL_PROMPT=0")
205
+ if out, err := cmd.CombinedOutput(); err != nil {
206
+ t.Fatalf("git %s: %v\n%s", strings.Join(args, " "), err, out)
207
+ }
208
+ }
@@ -0,0 +1,463 @@
1
+ package main_test
2
+
3
+ import (
4
+ "bytes"
5
+ "encoding/json"
6
+ "errors"
7
+ "os"
8
+ "os/exec"
9
+ "path/filepath"
10
+ "strconv"
11
+ "strings"
12
+ "testing"
13
+ "time"
14
+
15
+ "github.com/devrites/devrites/internal/forge"
16
+ )
17
+
18
+ const (
19
+ forgeAcceptanceHash = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
20
+ forgeTestPlanHash = "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb"
21
+ forgeWorkerTestEnv = "DEVRITES_FORGE_CLI_TEST_WORKER"
22
+ )
23
+
24
+ func TestForgeCLIPlanRequiresSupportedWorkerBinding(t *testing.T) {
25
+ repo := newForgeCLIRepo(t)
26
+ beforeWorktrees := forgeGitRaw(t, repo, "worktree", "list", "--porcelain")
27
+ beforeBranches := forgeGitRaw(t, repo, "for-each-ref", "--format=%(refname)", "refs/heads/devrites/forge")
28
+ args := []string{
29
+ "forge", "plan", "SLICE-001", "alpha",
30
+ "--strategy", "A=minimal",
31
+ "--strategy", "B=alternate",
32
+ "--acceptance-hash", forgeAcceptanceHash,
33
+ "--test-plan-hash", forgeTestPlanHash,
34
+ }
35
+ out := mustForgeCLI(t, repo, args...)
36
+ var degraded forge.PlanResult
37
+ if err := json.Unmarshal([]byte(out), &degraded); err != nil {
38
+ t.Fatal(err)
39
+ }
40
+ if degraded.Status != "degraded" || degraded.Mode != "serial" || degraded.Manifest != nil {
41
+ t.Fatalf("unbound Forge plan=%+v", degraded)
42
+ }
43
+ if got := forgeGitRaw(t, repo, "worktree", "list", "--porcelain"); !bytes.Equal(got, beforeWorktrees) {
44
+ t.Fatalf("unbound plan changed worktrees:\n%s", got)
45
+ }
46
+ if got := forgeGitRaw(t, repo, "for-each-ref", "--format=%(refname)", "refs/heads/devrites/forge"); !bytes.Equal(got, beforeBranches) {
47
+ t.Fatalf("unbound plan changed branches:\n%s", got)
48
+ }
49
+ if matches, err := filepath.Glob(filepath.Join(repo, ".devrites", "work", "*", ".forge", "*", "manifest.json")); err != nil || len(matches) != 0 {
50
+ t.Fatalf("unbound plan created manifests: matches=%v err=%v", matches, err)
51
+ }
52
+
53
+ unknown := append(append([]string{}, args...), "--worker-binding=unknown-v1")
54
+ if _, stderr, code := runDevritesAt(t, repo, repo, "", nil, unknown...); code == 0 || !strings.Contains(stderr, "unsupported worker binding") {
55
+ t.Fatalf("unknown worker binding exit=%d stderr=%s", code, stderr)
56
+ }
57
+ if got := forgeGitRaw(t, repo, "worktree", "list", "--porcelain"); !bytes.Equal(got, beforeWorktrees) {
58
+ t.Fatal("unknown worker binding changed worktrees")
59
+ }
60
+
61
+ if manifest := planForgeCLI(t, repo); manifest == nil {
62
+ t.Fatal("supported worker binding did not plan Forge")
63
+ }
64
+ }
65
+
66
+ func TestForgeCLIHappyPathReconcileAndCleanupPreservation(t *testing.T) {
67
+ repo := newForgeCLIRepo(t)
68
+ manifest := planForgeCLI(t, repo)
69
+
70
+ if _, stderr, code := runDevritesAt(t, repo, repo, "", nil, "reconcile", "snapshot", "alpha"); code != 0 {
71
+ t.Fatalf("reconcile snapshot exit=%d stderr=%s", code, stderr)
72
+ }
73
+
74
+ for _, id := range []forge.CandidateID{forge.CandidateA, forge.CandidateB} {
75
+ candidate, err := manifest.Candidate(id)
76
+ if err != nil {
77
+ t.Fatal(err)
78
+ }
79
+ worker := startForgeCLIWorker(t, repo, manifest.RunID, id, "worker-"+strings.ToLower(string(id)))
80
+ content := "winner\n"
81
+ if id == forge.CandidateB {
82
+ content = "runner-up\n"
83
+ }
84
+ if err := os.WriteFile(filepath.Join(candidate.Worktree, "tracked.txt"), []byte(content), 0o644); err != nil {
85
+ t.Fatal(err)
86
+ }
87
+ worker.finish(t, "finished")
88
+ mustForgeCLI(t, repo, "forge", "extract", manifest.RunID, string(id))
89
+ }
90
+
91
+ mustForgeCLI(t, repo, "forge", "record", manifest.RunID, "winner", "A", "--worker-id", "judge-1")
92
+ mustForgeCLI(t, repo, "forge", "merge", manifest.RunID, "A")
93
+ if got := forgeReadFile(t, filepath.Join(repo, "tracked.txt")); got != "winner\n" {
94
+ t.Fatalf("landed content=%q", got)
95
+ }
96
+ if stdout, stderr, code := runDevritesAt(t, repo, repo, "", nil, "reconcile", "check", "alpha"); code != 0 {
97
+ t.Fatalf("valid manifest lifecycle tripped reconcile: exit=%d stdout=%s stderr=%s", code, stdout, stderr)
98
+ }
99
+ mustForgeCLI(t, repo, "forge", "record", manifest.RunID, "verification", "verified", "--worker-id", "verifier-1")
100
+
101
+ runnerUp, err := manifest.Candidate(forge.CandidateB)
102
+ if err != nil {
103
+ t.Fatal(err)
104
+ }
105
+ ignored := filepath.Join(runnerUp.Worktree, "keep.ignored")
106
+ if err := os.WriteFile(ignored, []byte("preserve\n"), 0o600); err != nil {
107
+ t.Fatal(err)
108
+ }
109
+ out := mustForgeCLI(t, repo, "forge", "cleanup", manifest.RunID)
110
+ var partial forge.Manifest
111
+ if err := json.Unmarshal([]byte(out), &partial); err != nil {
112
+ t.Fatal(err)
113
+ }
114
+ if partial.Cleanup.State != "partial" || !strings.Contains(partial.Cleanup.Preserved["B"], "dirt") {
115
+ t.Fatalf("dirty runner-up was not preserved: %+v", partial.Cleanup)
116
+ }
117
+ if err := os.Remove(ignored); err != nil {
118
+ t.Fatal(err)
119
+ }
120
+ out = mustForgeCLI(t, repo, "forge", "cleanup", manifest.RunID)
121
+ var complete forge.Manifest
122
+ if err := json.Unmarshal([]byte(out), &complete); err != nil {
123
+ t.Fatal(err)
124
+ }
125
+ if complete.Cleanup.State != "complete" {
126
+ t.Fatalf("cleanup state=%q", complete.Cleanup.State)
127
+ }
128
+ for _, candidate := range manifest.Candidates {
129
+ forgeGit(t, repo, "show-ref", "--verify", "--quiet", "refs/heads/"+candidate.Branch)
130
+ }
131
+ }
132
+
133
+ func TestForgeCLIConflictPreflightLeavesPrimaryByteStable(t *testing.T) {
134
+ repo := newForgeCLIRepo(t)
135
+ manifest := planForgeCLI(t, repo)
136
+ extractForgeCLICandidates(t, repo, manifest)
137
+ mustForgeCLI(t, repo, "forge", "record", manifest.RunID, "winner", "A", "--worker-id", "judge-1")
138
+
139
+ if err := os.WriteFile(filepath.Join(repo, "tracked.txt"), []byte("primary edit\n"), 0o644); err != nil {
140
+ t.Fatal(err)
141
+ }
142
+ beforeWorktree := forgeGitRaw(t, repo, "diff", "--binary")
143
+ beforeIndex := forgeGitRaw(t, repo, "diff", "--cached", "--binary")
144
+ beforeHead := forgeGitRaw(t, repo, "rev-parse", "HEAD")
145
+ if _, _, code := runDevritesAt(t, repo, repo, "", nil, "forge", "merge", manifest.RunID, "A"); code == 0 {
146
+ t.Fatal("merge succeeded with primary drift")
147
+ }
148
+ if got := forgeGitRaw(t, repo, "diff", "--binary"); !bytes.Equal(got, beforeWorktree) {
149
+ t.Fatal("failed merge changed primary worktree")
150
+ }
151
+ if got := forgeGitRaw(t, repo, "diff", "--cached", "--binary"); !bytes.Equal(got, beforeIndex) {
152
+ t.Fatal("failed merge changed primary index")
153
+ }
154
+ if got := forgeGitRaw(t, repo, "rev-parse", "HEAD"); !bytes.Equal(got, beforeHead) {
155
+ t.Fatal("failed merge changed primary HEAD")
156
+ }
157
+ }
158
+
159
+ func TestForgeCLIReapPreservesInterruptedAndForeignState(t *testing.T) {
160
+ repo := newForgeCLIRepo(t)
161
+ manifest := planForgeCLI(t, repo)
162
+ worker := startForgeCLIWorker(t, repo, manifest.RunID, forge.CandidateA, "worker-a")
163
+
164
+ // A repeated started record is the resumable, idempotent handoff.
165
+ mustForgeCLI(t, repo, "forge", "record", manifest.RunID, "A", "started",
166
+ "--worker-id", worker.id,
167
+ "--pid", strconv.Itoa(worker.cmd.Process.Pid),
168
+ "--process-start", worker.token)
169
+ foreign := filepath.Join(filepath.Dir(manifest.ForgeRoot), "foreign-orphan")
170
+ if err := os.MkdirAll(foreign, 0o755); err != nil {
171
+ t.Fatal(err)
172
+ }
173
+ out := mustForgeCLI(t, repo, "forge", "reap", "alpha")
174
+ var results []forge.ReapResult
175
+ if err := json.Unmarshal([]byte(out), &results); err != nil {
176
+ t.Fatal(err)
177
+ }
178
+ if len(results) != 1 || results[0].Preserved["A"] == "" {
179
+ t.Fatalf("live interrupted run was not preserved: %+v", results)
180
+ }
181
+ if _, err := os.Stat(foreign); err != nil {
182
+ t.Fatalf("foreign state was touched: %v", err)
183
+ }
184
+ worker.finish(t, "failed")
185
+ out = mustForgeCLI(t, repo, "forge", "reap", "alpha")
186
+ if err := json.Unmarshal([]byte(out), &results); err != nil {
187
+ t.Fatal(err)
188
+ }
189
+ if results[0].Preserved["A"] == "" {
190
+ t.Fatalf("failed unextracted candidate was reaped: %+v", results)
191
+ }
192
+ for _, candidate := range manifest.Candidates {
193
+ forgeGit(t, repo, "show-ref", "--verify", "--quiet", "refs/heads/"+candidate.Branch)
194
+ }
195
+ }
196
+
197
+ func TestForgeReconcileRejectsReportArbitraryContentAndTampering(t *testing.T) {
198
+ t.Run("report and arbitrary content", func(t *testing.T) {
199
+ repo := newForgeCLIRepo(t)
200
+ manifest := planForgeCLI(t, repo)
201
+ mustForgeCLI(t, repo, "reconcile", "snapshot", "alpha")
202
+
203
+ report := filepath.Join(repo, ".devrites", "work", "alpha", "forge-report.md")
204
+ if err := os.WriteFile(report, []byte("# premature\n"), 0o644); err != nil {
205
+ t.Fatal(err)
206
+ }
207
+ if _, stderr, code := runDevritesAt(t, repo, repo, "", nil, "reconcile", "check", "alpha"); code != 5 || !strings.Contains(stderr, "forge-report.md") {
208
+ t.Fatalf("premature report was not rejected: exit=%d stderr=%s", code, stderr)
209
+ }
210
+ if err := os.Remove(report); err != nil {
211
+ t.Fatal(err)
212
+ }
213
+ if stdout, stderr, code := runDevritesAt(t, repo, repo, "", nil, "reconcile", "check", "alpha"); code != 0 {
214
+ t.Fatalf("clean pre-report check failed: exit=%d stdout=%s stderr=%s", code, stdout, stderr)
215
+ }
216
+ if err := os.WriteFile(report, []byte("# recorded after check\n"), 0o644); err != nil {
217
+ t.Fatal(err)
218
+ }
219
+ if _, err := os.Stat(report); err != nil {
220
+ t.Fatalf("post-check report was not recorded: %v", err)
221
+ }
222
+ if err := os.Remove(report); err != nil {
223
+ t.Fatal(err)
224
+ }
225
+ arbitrary := filepath.Join(repo, ".devrites", "work", "alpha", ".forge", "note.txt")
226
+ if err := os.WriteFile(arbitrary, []byte("not operational\n"), 0o644); err != nil {
227
+ t.Fatal(err)
228
+ }
229
+ if _, stderr, code := runDevritesAt(t, repo, repo, "", nil, "reconcile", "check", "alpha"); code != 5 || !strings.Contains(stderr, ".forge/note.txt") {
230
+ t.Fatalf("arbitrary .forge content was hidden: exit=%d stderr=%s", code, stderr)
231
+ }
232
+ _ = manifest
233
+ })
234
+
235
+ t.Run("tampered manifest", func(t *testing.T) {
236
+ repo := newForgeCLIRepo(t)
237
+ manifest := planForgeCLI(t, repo)
238
+ mustForgeCLI(t, repo, "reconcile", "snapshot", "alpha")
239
+ path := filepath.Join(repo, ".devrites", "work", "alpha", ".forge", manifest.RunID, "manifest.json")
240
+ raw, err := os.ReadFile(path)
241
+ if err != nil {
242
+ t.Fatal(err)
243
+ }
244
+ raw = bytes.Replace(raw, []byte(`"feature_slug": "alpha"`), []byte(`"feature_slug": "other"`), 1)
245
+ if err := os.WriteFile(path, raw, 0o600); err != nil {
246
+ t.Fatal(err)
247
+ }
248
+ if _, stderr, code := runDevritesAt(t, repo, repo, "", nil, "reconcile", "check", "alpha"); code != 6 || !strings.Contains(stderr, "invalid Forge manifest") {
249
+ t.Fatalf("tampered manifest was not rejected: exit=%d stderr=%s", code, stderr)
250
+ }
251
+ })
252
+ }
253
+
254
+ func TestLanesRequiresExactForgeFieldAndDefersAuthorization(t *testing.T) {
255
+ repo := newForgeCLIRepo(t)
256
+ tasks := `## SLICE-001 False positive
257
+ Notes: this sentence mentions forge: yes but is not a field.
258
+ Files likely touched: ` + "`src/one.go`" + `
259
+
260
+ ## SLICE-002 Real candidate
261
+ Forge: yes — two viable seams
262
+ Files likely touched: ` + "`src/two.go`" + `
263
+ `
264
+ if err := os.WriteFile(filepath.Join(repo, ".devrites", "work", "alpha", "tasks.md"), []byte(tasks), 0o644); err != nil {
265
+ t.Fatal(err)
266
+ }
267
+ stdout := mustForgeCLI(t, repo, "lanes", "plan", "alpha")
268
+ if strings.Contains(stdout, "SLICE-001 False positive: forge-candidate") {
269
+ t.Fatalf("lane parser accepted prose false positive:\n%s", stdout)
270
+ }
271
+ if !strings.Contains(stdout, "SLICE-002 Real candidate: forge-candidate") ||
272
+ !strings.Contains(stdout, "`devrites-engine forge plan` must authorize 2 or 3 strategies") {
273
+ t.Fatalf("lane output implied Forge authorization:\n%s", stdout)
274
+ }
275
+ }
276
+
277
+ type forgeCLIWorker struct {
278
+ repo string
279
+ runID string
280
+ cand forge.CandidateID
281
+ id string
282
+ token string
283
+ cmd *exec.Cmd
284
+ }
285
+
286
+ func startForgeCLIWorker(t *testing.T, repo, runID string, candidate forge.CandidateID, id string) *forgeCLIWorker {
287
+ t.Helper()
288
+ cmd := exec.Command(os.Args[0], "-test.run=^TestForgeCLIWorkerProcess$")
289
+ cmd.Env = append(os.Environ(), forgeWorkerTestEnv+"=1")
290
+ if err := cmd.Start(); err != nil {
291
+ t.Fatal(err)
292
+ }
293
+ t.Cleanup(func() {
294
+ if cmd.ProcessState == nil {
295
+ _ = cmd.Process.Kill()
296
+ _ = cmd.Wait()
297
+ }
298
+ })
299
+ var token string
300
+ var err error
301
+ for range 30 {
302
+ token, err = forge.ProcessStartToken(cmd.Process.Pid)
303
+ if err == nil {
304
+ break
305
+ }
306
+ time.Sleep(10 * time.Millisecond)
307
+ }
308
+ if err != nil {
309
+ t.Fatal(err)
310
+ }
311
+ mustForgeCLI(t, repo, "forge", "record", runID, string(candidate), "started",
312
+ "--worker-id", id,
313
+ "--pid", strconv.Itoa(cmd.Process.Pid),
314
+ "--process-start", token)
315
+ return &forgeCLIWorker{repo: repo, runID: runID, cand: candidate, id: id, token: token, cmd: cmd}
316
+ }
317
+
318
+ func TestForgeCLIWorkerProcess(t *testing.T) {
319
+ if os.Getenv(forgeWorkerTestEnv) != "1" {
320
+ return
321
+ }
322
+ for {
323
+ time.Sleep(time.Hour)
324
+ }
325
+ }
326
+
327
+ func (w *forgeCLIWorker) finish(t *testing.T, state string) {
328
+ t.Helper()
329
+ if w.cmd.ProcessState == nil {
330
+ if err := w.cmd.Process.Kill(); err != nil {
331
+ t.Fatal(err)
332
+ }
333
+ if err := w.cmd.Wait(); err == nil {
334
+ t.Fatal("killed Forge worker exited successfully")
335
+ }
336
+ }
337
+ mustForgeCLI(t, w.repo, "forge", "record", w.runID, string(w.cand), state, "--worker-id", w.id)
338
+ }
339
+
340
+ func extractForgeCLICandidates(t *testing.T, repo string, manifest *forge.Manifest) {
341
+ t.Helper()
342
+ for _, id := range []forge.CandidateID{forge.CandidateA, forge.CandidateB} {
343
+ candidate, err := manifest.Candidate(id)
344
+ if err != nil {
345
+ t.Fatal(err)
346
+ }
347
+ worker := startForgeCLIWorker(t, repo, manifest.RunID, id, "worker-"+strings.ToLower(string(id)))
348
+ if err := os.WriteFile(filepath.Join(candidate.Worktree, "tracked.txt"), []byte(string(id)+"\n"), 0o644); err != nil {
349
+ t.Fatal(err)
350
+ }
351
+ worker.finish(t, "finished")
352
+ mustForgeCLI(t, repo, "forge", "extract", manifest.RunID, string(id))
353
+ }
354
+ }
355
+
356
+ func planForgeCLI(t *testing.T, repo string) *forge.Manifest {
357
+ t.Helper()
358
+ out := mustForgeCLI(t, repo,
359
+ "forge", "plan", "SLICE-001", "alpha",
360
+ "--strategy", "A=minimal",
361
+ "--strategy", "B=alternate",
362
+ "--acceptance-hash", forgeAcceptanceHash,
363
+ "--test-plan-hash", forgeTestPlanHash,
364
+ "--worker-binding="+forge.WorkerBindingManifestEnvV1)
365
+ var result forge.PlanResult
366
+ if err := json.Unmarshal([]byte(out), &result); err != nil {
367
+ t.Fatal(err)
368
+ }
369
+ if result.Status != "planned" || result.Manifest == nil {
370
+ t.Fatalf("forge plan=%+v", result)
371
+ }
372
+ return result.Manifest
373
+ }
374
+
375
+ func newForgeCLIRepo(t *testing.T) string {
376
+ t.Helper()
377
+ repo := filepath.Join(t.TempDir(), "repo")
378
+ if err := os.MkdirAll(filepath.Join(repo, ".devrites", "work", "alpha"), 0o755); err != nil {
379
+ t.Fatal(err)
380
+ }
381
+ forgeGit(t, repo, "init", "-b", "main")
382
+ forgeGit(t, repo, "config", "user.name", "Forge CLI Test")
383
+ forgeGit(t, repo, "config", "user.email", "forge-cli@example.invalid")
384
+ if err := os.WriteFile(filepath.Join(repo, ".gitignore"), []byte(".devrites/\n*.ignored\n"), 0o644); err != nil {
385
+ t.Fatal(err)
386
+ }
387
+ if err := os.WriteFile(filepath.Join(repo, "tracked.txt"), []byte("base\n"), 0o644); err != nil {
388
+ t.Fatal(err)
389
+ }
390
+ if err := os.WriteFile(filepath.Join(repo, ".devrites", "ACTIVE"), []byte("alpha\n"), 0o644); err != nil {
391
+ t.Fatal(err)
392
+ }
393
+ if err := os.WriteFile(filepath.Join(repo, ".devrites", "work", "alpha", ".wright-allowlist"), []byte("tracked.txt\n"), 0o600); err != nil {
394
+ t.Fatal(err)
395
+ }
396
+ forgeGit(t, repo, "add", ".")
397
+ forgeGit(t, repo, "commit", "-m", "baseline")
398
+ return repo
399
+ }
400
+
401
+ func mustForgeCLI(t *testing.T, repo string, args ...string) string {
402
+ t.Helper()
403
+ stdout, stderr, code := runDevritesAt(t, repo, repo, "", nil, args...)
404
+ if code != 0 {
405
+ t.Fatalf("%s: exit=%d stderr=%s stdout=%s", strings.Join(args, " "), code, stderr, stdout)
406
+ }
407
+ return stdout
408
+ }
409
+
410
+ func runDevritesAt(t *testing.T, repo, cwd, stdin string, extraEnv []string, args ...string) (stdout, stderr string, code int) {
411
+ t.Helper()
412
+ cmd := exec.Command(binPath, args...)
413
+ cmd.Dir = cwd
414
+ cmd.Stdin = strings.NewReader(stdin)
415
+ for _, entry := range os.Environ() {
416
+ if !strings.HasPrefix(entry, "DEVRITES_") {
417
+ cmd.Env = append(cmd.Env, entry)
418
+ }
419
+ }
420
+ cmd.Env = append(cmd.Env, "DEVRITES_ROOT="+filepath.Join(repo, ".devrites"))
421
+ cmd.Env = append(cmd.Env, extraEnv...)
422
+ var outBuf, errBuf bytes.Buffer
423
+ cmd.Stdout = &outBuf
424
+ cmd.Stderr = &errBuf
425
+ err := cmd.Run()
426
+ if err != nil {
427
+ var exitErr *exec.ExitError
428
+ if !errors.As(err, &exitErr) {
429
+ t.Fatalf("run %s: %v", strings.Join(args, " "), err)
430
+ }
431
+ code = exitErr.ExitCode()
432
+ }
433
+ return outBuf.String(), errBuf.String(), code
434
+ }
435
+
436
+ func forgeGit(t *testing.T, dir string, args ...string) {
437
+ t.Helper()
438
+ cmd := exec.Command("git", append([]string{"-C", dir}, args...)...)
439
+ cmd.Env = append(os.Environ(), "GIT_TERMINAL_PROMPT=0", "LC_ALL=C")
440
+ if out, err := cmd.CombinedOutput(); err != nil {
441
+ t.Fatalf("git %s: %v\n%s", strings.Join(args, " "), err, out)
442
+ }
443
+ }
444
+
445
+ func forgeGitRaw(t *testing.T, dir string, args ...string) []byte {
446
+ t.Helper()
447
+ cmd := exec.Command("git", append([]string{"-C", dir}, args...)...)
448
+ cmd.Env = append(os.Environ(), "GIT_TERMINAL_PROMPT=0", "LC_ALL=C")
449
+ out, err := cmd.Output()
450
+ if err != nil {
451
+ t.Fatalf("git %s: %v", strings.Join(args, " "), err)
452
+ }
453
+ return out
454
+ }
455
+
456
+ func forgeReadFile(t *testing.T, path string) string {
457
+ t.Helper()
458
+ raw, err := os.ReadFile(path)
459
+ if err != nil {
460
+ t.Fatal(err)
461
+ }
462
+ return string(raw)
463
+ }