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
@@ -0,0 +1,87 @@
1
+ #!/usr/bin/env bash
2
+ set -euo pipefail
3
+
4
+ DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd -P)"
5
+ # shellcheck disable=SC1091
6
+ source "$DIR/common.sh"
7
+ CONTRACT_HELPER="$DIR/host-transport.py"
8
+
9
+ case "${1:-}" in
10
+ version)
11
+ contract_version claude
12
+ ;;
13
+ run)
14
+ ;;
15
+ *)
16
+ contract_die "expected version or run"
17
+ ;;
18
+ esac
19
+
20
+ contract_prepare_run
21
+ if [ -n "${DEVRITES_CONTRACT_FAKE_HOST:-}" ]; then
22
+ contract_run_fake
23
+ fi
24
+ contract_read_auth
25
+ actual_version="$(env -i "PATH=$PATH" "LANG=C" "LC_ALL=C" claude --version 2>/dev/null)" \
26
+ || contract_die "Claude version preflight failed"
27
+ [ "$actual_version" = "$DEVRITES_CONTRACT_HOST_VERSION_PIN" ] \
28
+ || contract_die "Claude version pin changed"
29
+
30
+ simulate="$(python3 "$CONTRACT_HELPER" field simulate)"
31
+ role_class="$(python3 "$CONTRACT_HELPER" field role_class)"
32
+ tools="Agent,Read,Glob,Grep"
33
+ if [ "$role_class" = "wright" ]; then
34
+ tools="$tools,Edit,Write,Bash"
35
+ fi
36
+ if [ "$simulate" = "inline-fallback" ]; then
37
+ tools="Read,Glob,Grep"
38
+ fi
39
+ schema="$(cat "$DIR/agent-result.schema.json")"
40
+ mkdir -p "$XDG_CONFIG_HOME/claude"
41
+
42
+ trap 'contract_interrupt_result; exit 130' INT TERM
43
+ cd "$DEVRITES_ROOT"
44
+ set +e
45
+ env -i \
46
+ "PATH=$PATH" "LANG=C" "LC_ALL=C" "PYTHONDONTWRITEBYTECODE=1" \
47
+ "DEVRITES_CONTRACT_PACKET=$DEVRITES_CONTRACT_PACKET" \
48
+ python3 "$CONTRACT_HELPER" render |
49
+ env -i \
50
+ "PATH=$PATH" "LANG=C" "LC_ALL=C" \
51
+ "HOME=$HOME" "TMPDIR=$TMPDIR" \
52
+ "XDG_CONFIG_HOME=$XDG_CONFIG_HOME" "XDG_STATE_HOME=$XDG_STATE_HOME" \
53
+ "CLAUDE_CONFIG_DIR=$XDG_CONFIG_HOME/claude" \
54
+ "CLAUDE_CODE_DISABLE_NONESSENTIAL_TRAFFIC=1" \
55
+ "ANTHROPIC_API_KEY=$CONTRACT_AUTH_VALUE" \
56
+ "DEVRITES_ROOT=$DEVRITES_ROOT" \
57
+ "DEVRITES_AGENT_SCRATCH=$DEVRITES_AGENT_SCRATCH" \
58
+ "DEVRITES_RUN_ID=$DEVRITES_RUN_ID" \
59
+ claude -p \
60
+ --output-format json \
61
+ --json-schema "$schema" \
62
+ --model "$DEVRITES_CONTRACT_MODEL" \
63
+ --max-budget-usd "$DEVRITES_CONTRACT_MAX_COST_USD" \
64
+ --permission-mode dontAsk \
65
+ --tools "$tools" \
66
+ --setting-sources project \
67
+ --settings '{}' \
68
+ --strict-mcp-config \
69
+ --mcp-config '{"mcpServers":{}}' \
70
+ --no-chrome \
71
+ --no-session-persistence |
72
+ env -i \
73
+ "PATH=$PATH" "LANG=C" "LC_ALL=C" "PYTHONDONTWRITEBYTECODE=1" \
74
+ "DEVRITES_CONTRACT_PACKET=$DEVRITES_CONTRACT_PACKET" \
75
+ "DEVRITES_CONTRACT_RESULT=$DEVRITES_CONTRACT_RESULT" \
76
+ "DEVRITES_CONTRACT_HOST_VERSION_PIN=$DEVRITES_CONTRACT_HOST_VERSION_PIN" \
77
+ "DEVRITES_CONTRACT_MODEL=$DEVRITES_CONTRACT_MODEL" \
78
+ python3 "$CONTRACT_HELPER" normalize
79
+ pipeline=("${PIPESTATUS[@]}")
80
+ set -e
81
+ host_rc="${pipeline[1]:-2}"
82
+ normalize_rc="${pipeline[2]:-2}"
83
+ [ "$normalize_rc" -eq 0 ] || exit 2
84
+ if [ "$host_rc" -eq 130 ]; then
85
+ contract_interrupt_result
86
+ fi
87
+ exit "$host_rc"
@@ -0,0 +1,81 @@
1
+ #!/usr/bin/env bash
2
+ set -euo pipefail
3
+
4
+ DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd -P)"
5
+ # shellcheck disable=SC1091
6
+ source "$DIR/common.sh"
7
+ CONTRACT_HELPER="$DIR/host-transport.py"
8
+
9
+ case "${1:-}" in
10
+ version)
11
+ contract_version codex
12
+ ;;
13
+ run)
14
+ ;;
15
+ *)
16
+ contract_die "expected version or run"
17
+ ;;
18
+ esac
19
+
20
+ contract_prepare_run
21
+ if [ -n "${DEVRITES_CONTRACT_FAKE_HOST:-}" ]; then
22
+ contract_run_fake
23
+ fi
24
+ contract_read_auth
25
+ actual_version="$(env -i "PATH=$PATH" "LANG=C" "LC_ALL=C" codex --version 2>/dev/null)" \
26
+ || contract_die "Codex version preflight failed"
27
+ [ "$actual_version" = "$DEVRITES_CONTRACT_HOST_VERSION_PIN" ] \
28
+ || contract_die "Codex version pin changed"
29
+
30
+ role_class="$(python3 "$CONTRACT_HELPER" field role_class)"
31
+ sandbox="read-only"
32
+ if [ "$role_class" = "wright" ]; then
33
+ sandbox="workspace-write"
34
+ fi
35
+ mkdir -p "$XDG_CONFIG_HOME/codex"
36
+
37
+ trap 'contract_interrupt_result; exit 130' INT TERM
38
+ cd "$DEVRITES_ROOT"
39
+ set +e
40
+ env -i \
41
+ "PATH=$PATH" "LANG=C" "LC_ALL=C" "PYTHONDONTWRITEBYTECODE=1" \
42
+ "DEVRITES_CONTRACT_PACKET=$DEVRITES_CONTRACT_PACKET" \
43
+ python3 "$CONTRACT_HELPER" render |
44
+ env -i \
45
+ "PATH=$PATH" "LANG=C" "LC_ALL=C" \
46
+ "HOME=$HOME" "TMPDIR=$TMPDIR" \
47
+ "XDG_CONFIG_HOME=$XDG_CONFIG_HOME" "XDG_STATE_HOME=$XDG_STATE_HOME" \
48
+ "CODEX_HOME=$XDG_CONFIG_HOME/codex" \
49
+ "OPENAI_API_KEY=$CONTRACT_AUTH_VALUE" \
50
+ "DEVRITES_ROOT=$DEVRITES_ROOT" \
51
+ "DEVRITES_AGENT_SCRATCH=$DEVRITES_AGENT_SCRATCH" \
52
+ "DEVRITES_RUN_ID=$DEVRITES_RUN_ID" \
53
+ codex exec \
54
+ --json \
55
+ --ephemeral \
56
+ --strict-config \
57
+ --ignore-user-config \
58
+ --skip-git-repo-check \
59
+ --dangerously-bypass-hook-trust \
60
+ --sandbox "$sandbox" \
61
+ --model "$DEVRITES_CONTRACT_MODEL" \
62
+ --output-schema "$DIR/agent-result.schema.json" \
63
+ -c shell_environment_policy.inherit=none \
64
+ -C "$DEVRITES_ROOT" \
65
+ - |
66
+ env -i \
67
+ "PATH=$PATH" "LANG=C" "LC_ALL=C" "PYTHONDONTWRITEBYTECODE=1" \
68
+ "DEVRITES_CONTRACT_PACKET=$DEVRITES_CONTRACT_PACKET" \
69
+ "DEVRITES_CONTRACT_RESULT=$DEVRITES_CONTRACT_RESULT" \
70
+ "DEVRITES_CONTRACT_HOST_VERSION_PIN=$DEVRITES_CONTRACT_HOST_VERSION_PIN" \
71
+ "DEVRITES_CONTRACT_MODEL=$DEVRITES_CONTRACT_MODEL" \
72
+ python3 "$CONTRACT_HELPER" normalize
73
+ pipeline=("${PIPESTATUS[@]}")
74
+ set -e
75
+ host_rc="${pipeline[1]:-2}"
76
+ normalize_rc="${pipeline[2]:-2}"
77
+ [ "$normalize_rc" -eq 0 ] || exit 2
78
+ if [ "$host_rc" -eq 130 ]; then
79
+ contract_interrupt_result
80
+ fi
81
+ exit "$host_rc"
@@ -0,0 +1,113 @@
1
+ #!/usr/bin/env bash
2
+ set -euo pipefail
3
+
4
+ contract_die() {
5
+ printf '%s\n' "agent-contract host wrapper: $1" >&2
6
+ exit 2
7
+ }
8
+
9
+ contract_require() {
10
+ local name="$1"
11
+ [ -n "${!name:-}" ] || contract_die "missing isolated run input"
12
+ }
13
+
14
+ contract_path_within() {
15
+ local child="$1" parent="$2"
16
+ case "$child/" in
17
+ "$parent"/*) return 0 ;;
18
+ *) return 1 ;;
19
+ esac
20
+ }
21
+
22
+ contract_prepare_run() {
23
+ local name
24
+ for name in \
25
+ HOME TMPDIR XDG_CONFIG_HOME XDG_STATE_HOME \
26
+ DEVRITES_ROOT DEVRITES_AGENT_SCRATCH DEVRITES_RUN_ID \
27
+ DEVRITES_CONTRACT_RUN_ROOT DEVRITES_CONTRACT_PACKET \
28
+ DEVRITES_CONTRACT_RESULT DEVRITES_CONTRACT_HOST \
29
+ DEVRITES_CONTRACT_HOST_VERSION_PIN DEVRITES_CONTRACT_MODEL \
30
+ DEVRITES_CONTRACT_AUTH_FILE DEVRITES_CONTRACT_MAX_COST_USD
31
+ do
32
+ contract_require "$name"
33
+ done
34
+ for name in \
35
+ "$HOME" "$TMPDIR" "$XDG_CONFIG_HOME" "$XDG_STATE_HOME" \
36
+ "$DEVRITES_ROOT" "$DEVRITES_AGENT_SCRATCH"
37
+ do
38
+ contract_path_within "$name" "$DEVRITES_CONTRACT_RUN_ROOT" \
39
+ || contract_die "isolated root escaped the run directory"
40
+ done
41
+ contract_path_within "$DEVRITES_CONTRACT_PACKET" "$DEVRITES_AGENT_SCRATCH" \
42
+ || contract_die "packet escaped the scratch root"
43
+ contract_path_within "$DEVRITES_CONTRACT_RESULT" "$DEVRITES_AGENT_SCRATCH" \
44
+ || contract_die "result escaped the scratch root"
45
+ [ -f "$DEVRITES_CONTRACT_PACKET" ] || contract_die "packet is unavailable"
46
+ [ -f "$DEVRITES_CONTRACT_AUTH_FILE" ] || contract_die "scoped auth is unavailable"
47
+ }
48
+
49
+ contract_read_auth() {
50
+ local mode
51
+ if mode="$(stat -f '%Lp' "$DEVRITES_CONTRACT_AUTH_FILE" 2>/dev/null)"; then
52
+ :
53
+ else
54
+ mode="$(stat -c '%a' "$DEVRITES_CONTRACT_AUTH_FILE" 2>/dev/null)" \
55
+ || contract_die "cannot inspect scoped auth"
56
+ fi
57
+ [ "$mode" = "600" ] || contract_die "scoped auth must be mode 0600"
58
+ IFS= read -r CONTRACT_AUTH_VALUE < "$DEVRITES_CONTRACT_AUTH_FILE" \
59
+ || contract_die "scoped auth is empty"
60
+ [ -n "$CONTRACT_AUTH_VALUE" ] || contract_die "scoped auth is empty"
61
+ }
62
+
63
+ contract_run_fake() {
64
+ local -a env_args=(
65
+ "PATH=$PATH"
66
+ "LANG=C"
67
+ "LC_ALL=C"
68
+ "HOME=$HOME"
69
+ "TMPDIR=$TMPDIR"
70
+ "XDG_CONFIG_HOME=$XDG_CONFIG_HOME"
71
+ "XDG_STATE_HOME=$XDG_STATE_HOME"
72
+ "PYTHONDONTWRITEBYTECODE=1"
73
+ "DEVRITES_ROOT=$DEVRITES_ROOT"
74
+ "DEVRITES_AGENT_SCRATCH=$DEVRITES_AGENT_SCRATCH"
75
+ "DEVRITES_RUN_ID=$DEVRITES_RUN_ID"
76
+ "DEVRITES_CONTRACT_RUN_ROOT=$DEVRITES_CONTRACT_RUN_ROOT"
77
+ "DEVRITES_CONTRACT_PACKET=$DEVRITES_CONTRACT_PACKET"
78
+ "DEVRITES_CONTRACT_RESULT=$DEVRITES_CONTRACT_RESULT"
79
+ "DEVRITES_CONTRACT_HOST=$DEVRITES_CONTRACT_HOST"
80
+ "DEVRITES_CONTRACT_HOST_VERSION_PIN=$DEVRITES_CONTRACT_HOST_VERSION_PIN"
81
+ "DEVRITES_CONTRACT_MODEL=$DEVRITES_CONTRACT_MODEL"
82
+ "DEVRITES_CONTRACT_AUTH_FILE=$DEVRITES_CONTRACT_AUTH_FILE"
83
+ "DEVRITES_CONTRACT_MAX_COST_USD=$DEVRITES_CONTRACT_MAX_COST_USD"
84
+ "DEVRITES_CONTRACT_FAKE_VERSION=$DEVRITES_CONTRACT_FAKE_VERSION"
85
+ )
86
+ if [ -n "${DEVRITES_CONTRACT_FAKE_FAULT:-}" ]; then
87
+ env_args+=("DEVRITES_CONTRACT_FAKE_FAULT=$DEVRITES_CONTRACT_FAKE_FAULT")
88
+ fi
89
+ exec env -i "${env_args[@]}" python3 "$DEVRITES_CONTRACT_FAKE_HOST" run
90
+ }
91
+
92
+ contract_version() {
93
+ local binary="$1"
94
+ if [ -n "${DEVRITES_CONTRACT_FAKE_HOST:-}" ]; then
95
+ contract_require DEVRITES_CONTRACT_FAKE_VERSION
96
+ exec env -i \
97
+ "PATH=$PATH" "LANG=C" "LC_ALL=C" \
98
+ "DEVRITES_CONTRACT_FAKE_VERSION=$DEVRITES_CONTRACT_FAKE_VERSION" \
99
+ python3 "$DEVRITES_CONTRACT_FAKE_HOST" version
100
+ fi
101
+ command -v "$binary" >/dev/null 2>&1 || contract_die "host CLI is unavailable"
102
+ exec env -i "PATH=$PATH" "LANG=C" "LC_ALL=C" "$binary" --version
103
+ }
104
+
105
+ contract_interrupt_result() {
106
+ env -i \
107
+ "PATH=$PATH" "LANG=C" "LC_ALL=C" "PYTHONDONTWRITEBYTECODE=1" \
108
+ "DEVRITES_CONTRACT_PACKET=$DEVRITES_CONTRACT_PACKET" \
109
+ "DEVRITES_CONTRACT_RESULT=$DEVRITES_CONTRACT_RESULT" \
110
+ "DEVRITES_CONTRACT_HOST_VERSION_PIN=$DEVRITES_CONTRACT_HOST_VERSION_PIN" \
111
+ "DEVRITES_CONTRACT_MODEL=$DEVRITES_CONTRACT_MODEL" \
112
+ python3 "$CONTRACT_HELPER" interrupted >/dev/null 2>&1 || true
113
+ }
@@ -0,0 +1,264 @@
1
+ #!/usr/bin/env python3
2
+ """Provide a deterministic fake for the agent-contract host wrappers."""
3
+ from __future__ import annotations
4
+
5
+ import hashlib
6
+ import json
7
+ import os
8
+ import stat
9
+ import sys
10
+ from pathlib import Path
11
+ from typing import Any
12
+
13
+
14
+ MANDATORY_SIGNALS = {
15
+ "auth_preflight",
16
+ "budget_bound",
17
+ "cleanup_ready",
18
+ "environment_allowlisted",
19
+ "mcp_absent",
20
+ "plugins_absent",
21
+ "roots_isolated",
22
+ "shell_startup_ignored",
23
+ "version_pinned",
24
+ }
25
+ ALLOWED_ENV = {
26
+ "DEVRITES_AGENT_SCRATCH",
27
+ "DEVRITES_CONTRACT_AUTH_FILE",
28
+ "DEVRITES_CONTRACT_FAKE_FAULT",
29
+ "DEVRITES_CONTRACT_FAKE_VERSION",
30
+ "DEVRITES_CONTRACT_HOST",
31
+ "DEVRITES_CONTRACT_HOST_VERSION_PIN",
32
+ "DEVRITES_CONTRACT_MAX_COST_USD",
33
+ "DEVRITES_CONTRACT_MODEL",
34
+ "DEVRITES_CONTRACT_PACKET",
35
+ "DEVRITES_CONTRACT_RESULT",
36
+ "DEVRITES_CONTRACT_RUN_ROOT",
37
+ "DEVRITES_ROOT",
38
+ "DEVRITES_RUN_ID",
39
+ "HOME",
40
+ "LANG",
41
+ "LC_ALL",
42
+ "PATH",
43
+ "PYTHONDONTWRITEBYTECODE",
44
+ "TMPDIR",
45
+ "XDG_CONFIG_HOME",
46
+ "XDG_STATE_HOME",
47
+ }
48
+
49
+
50
+ def canonical(value: Any) -> bytes:
51
+ return json.dumps(value, sort_keys=True, separators=(",", ":"), ensure_ascii=True).encode()
52
+
53
+
54
+ def digest(value: bytes) -> str:
55
+ return hashlib.sha256(value).hexdigest()
56
+
57
+
58
+ def env_path(name: str) -> Path:
59
+ value = os.environ.get(name, "")
60
+ if not value:
61
+ raise ValueError(f"missing {name}")
62
+ return Path(value).resolve()
63
+
64
+
65
+ def contained(path: Path, root: Path) -> bool:
66
+ return path == root or root in path.parents
67
+
68
+
69
+ def secure_auth(path: Path) -> bool:
70
+ try:
71
+ info = path.lstat()
72
+ return (
73
+ stat.S_ISREG(info.st_mode)
74
+ and not stat.S_ISLNK(info.st_mode)
75
+ and stat.S_IMODE(info.st_mode) == 0o600
76
+ and 0 < info.st_size <= 64 * 1024
77
+ )
78
+ except OSError:
79
+ return False
80
+
81
+
82
+ def hermetic_signals(packet: dict[str, Any]) -> set[str]:
83
+ run_root = env_path("DEVRITES_CONTRACT_RUN_ROOT")
84
+ roots = [
85
+ env_path("DEVRITES_ROOT"),
86
+ env_path("DEVRITES_AGENT_SCRATCH"),
87
+ env_path("HOME"),
88
+ env_path("TMPDIR"),
89
+ env_path("XDG_CONFIG_HOME"),
90
+ env_path("XDG_STATE_HOME"),
91
+ ]
92
+ signals: set[str] = set()
93
+ visible_env = set(os.environ) - {"PWD", "OLDPWD", "SHLVL", "_", "__CF_USER_TEXT_ENCODING"}
94
+ if visible_env <= ALLOWED_ENV:
95
+ signals.add("environment_allowlisted")
96
+ if len(set(roots)) == len(roots) and all(contained(path, run_root) for path in roots):
97
+ signals.add("roots_isolated")
98
+ if "BASH_ENV" not in os.environ and "ENV" not in os.environ:
99
+ signals.add("shell_startup_ignored")
100
+ config_roots = [env_path("HOME"), env_path("XDG_CONFIG_HOME")]
101
+ names = [path.name.lower() for root in config_roots for path in root.rglob("*")]
102
+ if not any("plugin" in name for name in names):
103
+ signals.add("plugins_absent")
104
+ if not any("mcp" in name for name in names):
105
+ signals.add("mcp_absent")
106
+ if secure_auth(env_path("DEVRITES_CONTRACT_AUTH_FILE")):
107
+ signals.add("auth_preflight")
108
+ budgets = packet.get("budgets", {})
109
+ if all(isinstance(budgets.get(key), int) and budgets[key] > 0 for key in (
110
+ "max_files",
111
+ "max_loaded_lines",
112
+ "max_result_lines",
113
+ )):
114
+ signals.add("budget_bound")
115
+ if (
116
+ os.environ.get("DEVRITES_CONTRACT_HOST_VERSION_PIN")
117
+ == os.environ.get("DEVRITES_CONTRACT_FAKE_VERSION")
118
+ ):
119
+ signals.add("version_pinned")
120
+ if contained(env_path("DEVRITES_CONTRACT_RESULT"), env_path("DEVRITES_AGENT_SCRATCH")):
121
+ signals.add("cleanup_ready")
122
+ return signals
123
+
124
+
125
+ def mode_and_reasons(simulate: str) -> tuple[str, str, bool, str, str, str]:
126
+ mode = "named"
127
+ guard = "enforced"
128
+ independence = True
129
+ dispatch = "DRV-AGENT-NAMED"
130
+ result = "DRV-AGENT-RESULT-ACCEPTED"
131
+ outcome = "passed"
132
+ if simulate == "generic-fallback":
133
+ mode = "generic"
134
+ dispatch = "DRV-AGENT-GENERIC-FALLBACK"
135
+ elif simulate == "inline-fallback":
136
+ mode = "inline"
137
+ guard = "observed"
138
+ independence = False
139
+ dispatch = "DRV-AGENT-INLINE-FALLBACK"
140
+ elif simulate in {"reviewer-denied", "wright-denied"}:
141
+ result = "DRV-AGENT-RESULT-OUT-OF-SCOPE"
142
+ outcome = "denied"
143
+ elif simulate == "interrupted":
144
+ result = "DRV-AGENT-UNAVAILABLE"
145
+ outcome = "unavailable"
146
+ return mode, guard, independence, dispatch, result, outcome
147
+
148
+
149
+ def run() -> int:
150
+ packet_path = env_path("DEVRITES_CONTRACT_PACKET")
151
+ result_path = env_path("DEVRITES_CONTRACT_RESULT")
152
+ packet = json.loads(packet_path.read_text(encoding="utf-8"))
153
+ simulate = packet["simulate"]
154
+ fault = os.environ.get("DEVRITES_CONTRACT_FAKE_FAULT", "")
155
+ if simulate == "missing":
156
+ return 0
157
+ if simulate == "malformed":
158
+ result_path.write_text("not-json-compatible-yaml\n", encoding="utf-8")
159
+ return 0
160
+
161
+ writes: list[dict[str, str]] = []
162
+ signals = hermetic_signals(packet)
163
+ if simulate == "write-allowed":
164
+ relative = packet["scope"]["allowed_repo_writes"][0]
165
+ target = env_path("DEVRITES_ROOT") / relative
166
+ target.parent.mkdir(parents=True, exist_ok=True)
167
+ content = b"synthetic contract write\n"
168
+ target.write_bytes(content)
169
+ writes.append({"path": relative, "kind": "file", "sha256": digest(content)})
170
+ signals.add("declared_side_effects")
171
+ elif simulate == "generic-fallback":
172
+ signals.add("fresh_context")
173
+ elif simulate == "inline-fallback":
174
+ signals.add("inline_labelled")
175
+ elif simulate == "reviewer-denied":
176
+ signals.add("mutation_denied")
177
+ elif simulate == "wright-denied":
178
+ signals.add("scope_denied")
179
+ elif simulate == "session-start":
180
+ signals.add("session_start_oriented")
181
+ elif simulate == "post-compaction":
182
+ signals.add("resume_cursor_reinjected")
183
+ elif simulate == "interrupted":
184
+ signals.update({"progress_recorded", "partial_metadata"})
185
+
186
+ mode, guard, independence, dispatch, result_reason, outcome = mode_and_reasons(simulate)
187
+ status = "blocked" if outcome == "denied" else "complete"
188
+ sentinel = "complete"
189
+ if simulate == "interrupted":
190
+ status = "partial"
191
+ sentinel = "interrupted"
192
+ run_id = packet["run_id"]
193
+ if fault == "identity-mismatch":
194
+ run_id = "drv-run-v1:" + "0" * 32
195
+ if run_id == packet["run_id"]:
196
+ run_id = "drv-run-v1:" + "1" * 32
197
+ if fault == "escape-write":
198
+ target = env_path("DEVRITES_ROOT") / "src" / "escape.txt"
199
+ target.write_text("undeclared fake-host write\n", encoding="utf-8")
200
+ if fault == "privacy-leak":
201
+ signals.add("/operator/private/path")
202
+ baseline_id = packet["baseline"]["id"]
203
+ if simulate == "stale":
204
+ baseline_id += ":stale"
205
+
206
+ result = {
207
+ "result_version": packet["result_schema"],
208
+ "run_id": run_id,
209
+ "cell_id": packet["cell_id"],
210
+ "host": packet["host"],
211
+ "role": packet["role"],
212
+ "status": status,
213
+ "baseline_id": baseline_id,
214
+ "scope_id": packet["scope"]["id"],
215
+ "budget": {
216
+ "files_used": 1 if writes else 0,
217
+ "loaded_lines_used": 1,
218
+ "result_lines_used": 1,
219
+ },
220
+ "side_effects": {
221
+ "repo_writes": writes,
222
+ "scratch_write_count": 1,
223
+ },
224
+ "payload_type": "wright-report" if packet["role_class"] == "wright" else "review-findings",
225
+ "execution": {
226
+ "mode": mode,
227
+ "guard_strength": guard,
228
+ "independence": independence,
229
+ },
230
+ "signals": sorted(signals),
231
+ "usage": {
232
+ "input_tokens": 0,
233
+ "output_tokens": 0,
234
+ "cost_usd": "999" if fault == "cost-overrun" else "0",
235
+ },
236
+ "dispatch_reason_id": dispatch,
237
+ "result_reason_id": result_reason,
238
+ "outcome": outcome,
239
+ "terminal_sentinel": sentinel,
240
+ "host_version": os.environ["DEVRITES_CONTRACT_HOST_VERSION_PIN"],
241
+ "model": os.environ["DEVRITES_CONTRACT_MODEL"],
242
+ }
243
+ result_path.write_bytes(canonical(result) + b"\n")
244
+ result_path.chmod(0o600)
245
+ return 130 if simulate == "interrupted" else 0
246
+
247
+
248
+ def main() -> int:
249
+ if len(sys.argv) == 2 and sys.argv[1] == "version":
250
+ version = os.environ.get("DEVRITES_CONTRACT_FAKE_VERSION", "")
251
+ if not version:
252
+ return 2
253
+ print(version)
254
+ return 0
255
+ if len(sys.argv) == 2 and sys.argv[1] == "run":
256
+ try:
257
+ return run()
258
+ except (KeyError, OSError, ValueError, json.JSONDecodeError):
259
+ return 2
260
+ return 2
261
+
262
+
263
+ if __name__ == "__main__":
264
+ sys.exit(main())