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.
- package/CHANGELOG.md +18 -0
- package/README.md +82 -50
- package/SECURITY.md +31 -29
- package/docs/adr/0001-go-engine-as-control-plane.md +1 -1
- package/docs/adr/0002-dual-host-harness.md +1 -1
- package/docs/adr/0004-state-schema-phases-sections.md +1 -2
- package/docs/adr/0006-clock-seam-and-engine-ci-gates.md +3 -4
- package/docs/adr/0009-prebuild-decision-coverage-and-readiness.md +67 -0
- package/docs/adr/0010-agent-first-fresh-context-orchestration.md +71 -0
- package/docs/adr/0011-define-plan-transition-rights.md +28 -0
- package/docs/adr/0012-semantic-workspace-upgrades.md +77 -0
- package/docs/adr/README.md +4 -0
- package/docs/agents/triage-labels.md +7 -7
- package/docs/architecture.md +179 -141
- package/docs/cli.md +47 -12
- package/docs/command-map.md +61 -38
- package/docs/engine/agent-contract.md +92 -15
- package/docs/engine/commands.md +248 -72
- package/docs/engine/state-schema.md +52 -23
- package/docs/engine/workspace-schema.md +103 -15
- package/docs/extensions.md +1 -1
- package/docs/flow.md +86 -51
- package/docs/harness-compliance.md +29 -5
- package/docs/orchestration.md +107 -79
- package/docs/quick-reference.md +11 -3
- package/docs/release.md +4 -3
- package/docs/skills.md +67 -38
- package/docs/usage.md +84 -39
- package/engine/cmd/releasepack/main.go +219 -0
- package/engine/cmd/releasepack/main_test.go +170 -0
- package/engine/commands.go +170 -23
- package/engine/git_guard.go +187 -0
- package/engine/git_guard_test.go +283 -0
- package/engine/hookpolicy.go +53 -55
- package/engine/hookpolicy_test.go +91 -1
- package/engine/hooks.go +296 -75
- package/engine/hooks_events_test.go +276 -6
- package/engine/hooks_workspace.go +640 -159
- package/engine/internal/devritespaths/paths.go +65 -10
- package/engine/internal/devritespaths/paths_test.go +110 -0
- package/engine/internal/doctor/doctor.go +153 -23
- package/engine/internal/doctor/doctor_test.go +74 -0
- package/engine/internal/forge/forge.go +940 -0
- package/engine/internal/forge/forge_test.go +576 -0
- package/engine/internal/forge/git.go +245 -0
- package/engine/internal/forge/liveness_unix.go +48 -0
- package/engine/internal/forge/liveness_windows.go +67 -0
- package/engine/internal/forge/manifest.go +402 -0
- package/engine/internal/gate/gate.go +90 -71
- package/engine/internal/gate/gate_test.go +71 -2
- package/engine/internal/harness/compliance.go +18 -24
- package/engine/internal/harness/harness.go +37 -44
- package/engine/internal/harness/harness_test.go +21 -5
- package/engine/internal/install/install.go +486 -38
- package/engine/internal/install/install_test.go +383 -10
- package/engine/internal/iohooks/iohooks.go +350 -59
- package/engine/internal/iohooks/iohooks_test.go +421 -1
- package/engine/internal/lib/buildreadiness.go +43 -18
- package/engine/internal/lib/clarifyreturn.go +91 -0
- package/engine/internal/lib/clarifyreturn_test.go +123 -0
- package/engine/internal/lib/context.go +54 -15
- package/engine/internal/lib/cursor_compat_test.go +8 -0
- package/engine/internal/lib/extensions.go +2 -3
- package/engine/internal/lib/gitauthority.go +601 -0
- package/engine/internal/lib/gitauthority_test.go +346 -0
- package/engine/internal/lib/jsonout.go +25 -11
- package/engine/internal/lib/jsonout_test.go +16 -0
- package/engine/internal/lib/lanes.go +14 -8
- package/engine/internal/lib/observability_test.go +358 -0
- package/engine/internal/lib/packageexistence.go +151 -35
- package/engine/internal/lib/packageexistence_test.go +163 -0
- package/engine/internal/lib/progress.go +11 -9
- package/engine/internal/lib/provenance.go +462 -0
- package/engine/internal/lib/provenance_test.go +154 -0
- package/engine/internal/lib/readiness_contract.json +118 -0
- package/engine/internal/lib/readinessartifact.go +533 -0
- package/engine/internal/lib/readinessartifact_test.go +422 -0
- package/engine/internal/lib/reconcile.go +712 -88
- package/engine/internal/lib/reconcile_test.go +335 -16
- package/engine/internal/lib/recoveryattempts.go +298 -0
- package/engine/internal/lib/recoveryattempts_test.go +215 -0
- package/engine/internal/lib/resolve.go +23 -19
- package/engine/internal/lib/runbook_context_test.go +20 -0
- package/engine/internal/lib/session.go +701 -9
- package/engine/internal/lib/session_test.go +80 -13
- package/engine/internal/lib/testintegrity.go +33 -37
- package/engine/internal/lib/testintegrity_test.go +63 -1
- package/engine/internal/migrate/migrate.go +81 -1
- package/engine/internal/migrate/migrate_test.go +22 -1
- package/engine/internal/reason/reason.go +180 -0
- package/engine/internal/reason/reason_test.go +35 -0
- package/engine/internal/rootfacts/facts.go +466 -0
- package/engine/internal/rootfacts/facts_test.go +306 -0
- package/engine/internal/safepath/safepath.go +55 -0
- package/engine/internal/safepath/safepath_test.go +69 -0
- package/engine/internal/safepath/safepath_windows_test.go +26 -0
- package/engine/internal/state/clarify_transition.go +165 -0
- package/engine/internal/state/clarify_transition_test.go +130 -0
- package/engine/internal/state/cmd/workflowmanifest/main.go +12 -8
- package/engine/internal/state/cursor.go +58 -0
- package/engine/internal/state/cursor_test.go +42 -1
- package/engine/internal/state/feature.go +35 -48
- package/engine/internal/state/schema.go +90 -37
- package/engine/internal/state/snapshot.go +18 -2
- package/engine/internal/state/state_test.go +187 -7
- package/engine/internal/state/status.go +48 -11
- package/engine/internal/state/workflow_manifest.json +231 -50
- package/engine/internal/toolpolicy/classifier.go +533 -0
- package/engine/internal/toolpolicy/classifier_test.go +424 -0
- package/engine/internal/toolpolicy/git.go +616 -0
- package/engine/internal/toolpolicy/scanner.go +382 -0
- package/engine/main.go +160 -77
- package/engine/observability_cli_test.go +52 -0
- package/engine/root_routing_test.go +277 -0
- package/engine/testdata/golden/TestParityBuildReadiness/arg=approved.golden +1 -1
- package/engine/testdata/golden/TestParityBuildReadiness/arg=emptystatus.golden +1 -1
- package/engine/testdata/golden/TestParityBuildReadiness/arg=legacycontract.golden +1 -0
- package/engine/testdata/golden/TestParityBuildReadiness/arg=noclarify.golden +1 -0
- package/engine/testdata/golden/TestParityBuildReadiness/arg=novet.golden +1 -0
- package/engine/testdata/golden/TestParityBuildReadiness/arg=stalevet.golden +1 -0
- package/engine/testdata/golden/TestParityBuildReadiness/arg=trailhash.golden +1 -1
- package/engine/testdata/golden/TestParityBuildReadiness/arg=trailpipe.golden +1 -1
- package/engine/testdata/golden/TestParityBuildReadiness/arg=vetnotready.golden +1 -0
- package/engine/testdata/golden/TestParityProgress/arg=allbuilt.golden +1 -1
- package/engine/testdata/golden/TestParityProgress/arg=done.golden +1 -1
- package/engine/testdata/golden/TestParityProgress/arg=mid.golden +1 -1
- package/engine/testdata/golden/TestParityProgress/arg=nophase.golden +1 -1
- package/engine/testdata/golden/TestParityProgress/arg=noslice.golden +1 -1
- package/engine/testdata/golden/TestParityProgress/arg=plan.golden +1 -1
- package/engine/testdata/golden/TestParityProgress/arg=seal.golden +1 -1
- package/engine/testdata/golden/TestParityReconcile/check-clean.golden +1 -1
- package/engine/testdata/golden/TestParityReconcile/inline-fallback.golden +1 -0
- package/engine/testdata/golden/TestParityReconcile/snapshot-no-allowlist.golden +1 -0
- package/engine/testdata/golden/TestParityWrightScope/devrites-edit-denied.golden +2 -0
- package/engine/testdata/golden/TestParityWrightScope/out-of-scope-enforce-denies.golden +1 -1
- package/engine/tests/adr_0011_define_plan_test.go +30 -0
- package/engine/tests/budget_test.go +19 -8
- package/engine/tests/concurrency_cli_test.go +7 -1
- package/engine/tests/doctor_cli_test.go +148 -2
- package/engine/tests/forge_cli_test.go +463 -0
- package/engine/tests/gate_test.go +63 -8
- package/engine/tests/hook_test.go +260 -8
- package/engine/tests/hooks_io_test.go +94 -3
- package/engine/tests/json_contract_test.go +127 -2
- package/engine/tests/migrate_cli_test.go +2 -2
- package/engine/tests/parity_buildreadiness_test.go +167 -10
- package/engine/tests/parity_learnings_test.go +16 -17
- package/engine/tests/parity_reconcile_test.go +20 -17
- package/engine/tests/parity_resolve_test.go +12 -11
- package/engine/tests/parity_test.go +21 -17
- package/pack/.claude/agents/devrites-code-reviewer.md +62 -48
- package/pack/.claude/agents/devrites-devex-reviewer.md +69 -53
- package/pack/.claude/agents/devrites-doubt-reviewer.md +29 -22
- package/pack/.claude/agents/devrites-evidence-scout.md +69 -0
- package/pack/.claude/agents/devrites-forge-judge.md +74 -61
- package/pack/.claude/agents/devrites-frontend-reviewer.md +48 -39
- package/pack/.claude/agents/devrites-performance-reviewer.md +49 -40
- package/pack/.claude/agents/devrites-plan-drafter.md +73 -0
- package/pack/.claude/agents/devrites-plan-reviewer.md +80 -47
- package/pack/.claude/agents/devrites-proof-runner.md +74 -0
- package/pack/.claude/agents/devrites-retrospector.md +48 -45
- package/pack/.claude/agents/devrites-security-auditor.md +46 -36
- package/pack/.claude/agents/devrites-simplifier-reviewer.md +50 -46
- package/pack/.claude/agents/devrites-slice-wright.md +153 -165
- package/pack/.claude/agents/devrites-spec-reviewer.md +34 -32
- package/pack/.claude/agents/devrites-strategy-reviewer.md +63 -34
- package/pack/.claude/agents/devrites-test-analyst.md +40 -30
- package/pack/.claude/agents/devrites-upgrade-planner.md +100 -0
- package/pack/.claude/settings.json +2 -1
- package/pack/.claude/skills/devrites-audit/SKILL.md +40 -61
- package/pack/.claude/skills/devrites-debug-recovery/SKILL.md +24 -13
- package/pack/.claude/skills/devrites-debug-recovery/reference/build-the-loop.md +24 -21
- package/pack/.claude/skills/devrites-debug-recovery/reference/cleanup-and-classify.md +34 -6
- package/pack/.claude/skills/devrites-debug-recovery/reference/instrumentation.md +2 -2
- package/pack/.claude/skills/devrites-doubt/SKILL.md +25 -17
- package/pack/.claude/skills/devrites-interview/SKILL.md +53 -52
- package/pack/.claude/skills/devrites-lib/SKILL.md +12 -9
- package/pack/.claude/skills/devrites-lib/reference/intent-map.md +4 -2
- package/pack/.claude/skills/devrites-lib/reference/parallel-dispatch.md +82 -137
- package/pack/.claude/skills/devrites-lib/reference/reply-contract.md +8 -1
- package/pack/.claude/skills/devrites-lib/reference/standards/README.md +38 -55
- package/pack/.claude/skills/devrites-lib/reference/standards/afk-hitl.md +53 -27
- package/pack/.claude/skills/devrites-lib/reference/standards/agents.md +200 -190
- package/pack/.claude/skills/devrites-lib/reference/standards/anti-patterns.md +5 -15
- package/pack/.claude/skills/devrites-lib/reference/standards/ci-cd.md +27 -58
- package/pack/.claude/skills/devrites-lib/reference/standards/code-review.md +16 -52
- package/pack/.claude/skills/devrites-lib/reference/standards/coding-style.md +2 -10
- package/pack/.claude/skills/devrites-lib/reference/standards/context-hygiene.md +18 -61
- package/pack/.claude/skills/devrites-lib/reference/standards/core.md +23 -18
- package/pack/.claude/skills/devrites-lib/reference/standards/deprecation.md +17 -57
- package/pack/.claude/skills/devrites-lib/reference/standards/development-workflow.md +4 -33
- package/pack/.claude/skills/devrites-lib/reference/standards/git-workflow.md +4 -20
- package/pack/.claude/skills/devrites-lib/reference/standards/hooks.md +3 -14
- package/pack/.claude/skills/devrites-lib/reference/standards/patterns.md +9 -25
- package/pack/.claude/skills/devrites-lib/reference/standards/performance.md +0 -9
- package/pack/.claude/skills/devrites-lib/reference/standards/principles.md +1 -3
- package/pack/.claude/skills/devrites-lib/reference/standards/security.md +17 -7
- package/pack/.claude/skills/devrites-lib/reference/standards/testing.md +1 -27
- package/pack/.claude/skills/devrites-lib/reference/standards/tooling.md +46 -50
- package/pack/.claude/skills/devrites-lib/reference/workspace-artifact-schema.md +40 -10
- package/pack/.claude/skills/devrites-source-driven/SKILL.md +23 -22
- package/pack/.claude/skills/rite/SKILL.md +10 -6
- package/pack/.claude/skills/rite/reference/menu.md +13 -7
- package/pack/.claude/skills/rite-adopt/SKILL.md +33 -37
- package/pack/.claude/skills/rite-autocomplete/SKILL.md +33 -28
- package/pack/.claude/skills/rite-autocomplete/reference/loop.md +21 -21
- package/pack/.claude/skills/rite-autocomplete/reference/stop-conditions.md +15 -6
- package/pack/.claude/skills/rite-build/SKILL.md +35 -30
- package/pack/.claude/skills/rite-build/reference/afk-discipline.md +41 -39
- package/pack/.claude/skills/rite-build/reference/evidence-standard.md +10 -0
- package/pack/.claude/skills/rite-build/reference/forge.md +186 -156
- package/pack/.claude/skills/rite-build/reference/one-slice-cycle.md +4 -3
- package/pack/.claude/skills/rite-build/reference/phase-contract.md +96 -175
- package/pack/.claude/skills/rite-build/reference/spec-drift-guard.md +10 -4
- package/pack/.claude/skills/rite-build/reference/wright-dispatch.md +129 -134
- package/pack/.claude/skills/rite-clarify/SKILL.md +90 -0
- package/pack/.claude/skills/rite-clarify/reference/decision-coverage.md +61 -0
- package/pack/.claude/skills/rite-converge/SKILL.md +35 -25
- package/pack/.claude/skills/rite-define/SKILL.md +58 -32
- package/pack/.claude/skills/rite-define/reference/gates.md +16 -15
- package/pack/.claude/skills/rite-define/reference/plan-template.md +18 -8
- package/pack/.claude/skills/rite-frame/reference/failure-modes.md +22 -24
- package/pack/.claude/skills/rite-plan/SKILL.md +47 -16
- package/pack/.claude/skills/rite-plan/reference/task-breakdown.md +4 -0
- package/pack/.claude/skills/rite-polish/SKILL.md +27 -23
- package/pack/.claude/skills/rite-prototype/SKILL.md +25 -26
- package/pack/.claude/skills/rite-prove/SKILL.md +27 -17
- package/pack/.claude/skills/rite-resolve/SKILL.md +12 -11
- package/pack/.claude/skills/rite-resolve/reference/answer-protocol.md +3 -0
- package/pack/.claude/skills/rite-review/SKILL.md +37 -28
- package/pack/.claude/skills/rite-seal/reference/phase-contract.md +27 -92
- package/pack/.claude/skills/rite-seal/reference/risk-and-rollback.md +13 -0
- package/pack/.claude/skills/rite-ship/reference/design-memory.md +31 -36
- package/pack/.claude/skills/rite-spec/SKILL.md +84 -135
- package/pack/.claude/skills/rite-spec/reference/investigation.md +37 -33
- package/pack/.claude/skills/rite-spec/reference/question-protocol.md +6 -2
- package/pack/.claude/skills/rite-spec/reference/spec-checklists.md +25 -24
- package/pack/.claude/skills/rite-spec/reference/spec-template.md +9 -2
- package/pack/.claude/skills/rite-spec/reference/state-workspace.md +13 -3
- package/pack/.claude/skills/rite-temper/SKILL.md +62 -47
- package/pack/.claude/skills/rite-temper/reference/review-dimensions.md +24 -22
- package/pack/.claude/skills/rite-upgrade/SKILL.md +125 -0
- package/pack/.claude/skills/rite-vet/SKILL.md +114 -113
- package/pack/.claude/skills/rite-vet/reference/artifacts.md +50 -9
- package/pack/.claude/skills/rite-vet/reference/review-axes.md +39 -37
- package/pack/generated/claude/agents/devrites-code-reviewer.md +62 -48
- package/pack/generated/claude/agents/devrites-devex-reviewer.md +69 -53
- package/pack/generated/claude/agents/devrites-doubt-reviewer.md +29 -22
- package/pack/generated/claude/agents/devrites-evidence-scout.md +69 -0
- package/pack/generated/claude/agents/devrites-forge-judge.md +74 -61
- package/pack/generated/claude/agents/devrites-frontend-reviewer.md +48 -39
- package/pack/generated/claude/agents/devrites-performance-reviewer.md +49 -40
- package/pack/generated/claude/agents/devrites-plan-drafter.md +73 -0
- package/pack/generated/claude/agents/devrites-plan-reviewer.md +80 -47
- package/pack/generated/claude/agents/devrites-proof-runner.md +74 -0
- package/pack/generated/claude/agents/devrites-retrospector.md +48 -45
- package/pack/generated/claude/agents/devrites-security-auditor.md +46 -36
- package/pack/generated/claude/agents/devrites-simplifier-reviewer.md +50 -46
- package/pack/generated/claude/agents/devrites-slice-wright.md +153 -165
- package/pack/generated/claude/agents/devrites-spec-reviewer.md +34 -32
- package/pack/generated/claude/agents/devrites-strategy-reviewer.md +63 -34
- package/pack/generated/claude/agents/devrites-test-analyst.md +40 -30
- package/pack/generated/claude/agents/devrites-upgrade-planner.md +100 -0
- package/pack/generated/claude/settings.json +2 -1
- package/pack/generated/claude/skills/devrites-audit/SKILL.md +40 -61
- package/pack/generated/claude/skills/devrites-debug-recovery/SKILL.md +24 -13
- package/pack/generated/claude/skills/devrites-debug-recovery/reference/build-the-loop.md +24 -21
- package/pack/generated/claude/skills/devrites-debug-recovery/reference/cleanup-and-classify.md +34 -6
- package/pack/generated/claude/skills/devrites-debug-recovery/reference/instrumentation.md +2 -2
- package/pack/generated/claude/skills/devrites-doubt/SKILL.md +25 -17
- package/pack/generated/claude/skills/devrites-interview/SKILL.md +53 -52
- package/pack/generated/claude/skills/devrites-lib/SKILL.md +12 -9
- package/pack/generated/claude/skills/devrites-lib/reference/intent-map.md +4 -2
- package/pack/generated/claude/skills/devrites-lib/reference/parallel-dispatch.md +82 -137
- package/pack/generated/claude/skills/devrites-lib/reference/reply-contract.md +8 -1
- package/pack/generated/claude/skills/devrites-lib/reference/standards/README.md +38 -55
- package/pack/generated/claude/skills/devrites-lib/reference/standards/afk-hitl.md +53 -27
- package/pack/generated/claude/skills/devrites-lib/reference/standards/agents.md +200 -190
- package/pack/generated/claude/skills/devrites-lib/reference/standards/anti-patterns.md +5 -15
- package/pack/generated/claude/skills/devrites-lib/reference/standards/ci-cd.md +27 -58
- package/pack/generated/claude/skills/devrites-lib/reference/standards/code-review.md +16 -52
- package/pack/generated/claude/skills/devrites-lib/reference/standards/coding-style.md +2 -10
- package/pack/generated/claude/skills/devrites-lib/reference/standards/context-hygiene.md +18 -61
- package/pack/generated/claude/skills/devrites-lib/reference/standards/core.md +23 -18
- package/pack/generated/claude/skills/devrites-lib/reference/standards/deprecation.md +17 -57
- package/pack/generated/claude/skills/devrites-lib/reference/standards/development-workflow.md +4 -33
- package/pack/generated/claude/skills/devrites-lib/reference/standards/git-workflow.md +4 -20
- package/pack/generated/claude/skills/devrites-lib/reference/standards/hooks.md +3 -14
- package/pack/generated/claude/skills/devrites-lib/reference/standards/patterns.md +9 -25
- package/pack/generated/claude/skills/devrites-lib/reference/standards/performance.md +0 -9
- package/pack/generated/claude/skills/devrites-lib/reference/standards/principles.md +1 -3
- package/pack/generated/claude/skills/devrites-lib/reference/standards/security.md +17 -7
- package/pack/generated/claude/skills/devrites-lib/reference/standards/testing.md +1 -27
- package/pack/generated/claude/skills/devrites-lib/reference/standards/tooling.md +46 -50
- package/pack/generated/claude/skills/devrites-lib/reference/workspace-artifact-schema.md +40 -10
- package/pack/generated/claude/skills/devrites-source-driven/SKILL.md +23 -22
- package/pack/generated/claude/skills/rite/SKILL.md +10 -6
- package/pack/generated/claude/skills/rite/reference/menu.md +13 -7
- package/pack/generated/claude/skills/rite-adopt/SKILL.md +33 -37
- package/pack/generated/claude/skills/rite-autocomplete/SKILL.md +33 -28
- package/pack/generated/claude/skills/rite-autocomplete/reference/loop.md +21 -21
- package/pack/generated/claude/skills/rite-autocomplete/reference/stop-conditions.md +15 -6
- package/pack/generated/claude/skills/rite-build/SKILL.md +35 -30
- package/pack/generated/claude/skills/rite-build/reference/afk-discipline.md +41 -39
- package/pack/generated/claude/skills/rite-build/reference/evidence-standard.md +10 -0
- package/pack/generated/claude/skills/rite-build/reference/forge.md +186 -156
- package/pack/generated/claude/skills/rite-build/reference/one-slice-cycle.md +4 -3
- package/pack/generated/claude/skills/rite-build/reference/phase-contract.md +96 -175
- package/pack/generated/claude/skills/rite-build/reference/spec-drift-guard.md +10 -4
- package/pack/generated/claude/skills/rite-build/reference/wright-dispatch.md +129 -134
- package/pack/generated/claude/skills/rite-clarify/SKILL.md +90 -0
- package/pack/generated/claude/skills/rite-clarify/reference/decision-coverage.md +61 -0
- package/pack/generated/claude/skills/rite-converge/SKILL.md +35 -25
- package/pack/generated/claude/skills/rite-define/SKILL.md +58 -32
- package/pack/generated/claude/skills/rite-define/reference/gates.md +16 -15
- package/pack/generated/claude/skills/rite-define/reference/plan-template.md +18 -8
- package/pack/generated/claude/skills/rite-frame/reference/failure-modes.md +22 -24
- package/pack/generated/claude/skills/rite-plan/SKILL.md +47 -16
- package/pack/generated/claude/skills/rite-plan/reference/task-breakdown.md +4 -0
- package/pack/generated/claude/skills/rite-polish/SKILL.md +27 -23
- package/pack/generated/claude/skills/rite-prototype/SKILL.md +25 -26
- package/pack/generated/claude/skills/rite-prove/SKILL.md +27 -17
- package/pack/generated/claude/skills/rite-resolve/SKILL.md +12 -11
- package/pack/generated/claude/skills/rite-resolve/reference/answer-protocol.md +3 -0
- package/pack/generated/claude/skills/rite-review/SKILL.md +37 -28
- package/pack/generated/claude/skills/rite-seal/reference/phase-contract.md +27 -92
- package/pack/generated/claude/skills/rite-seal/reference/risk-and-rollback.md +13 -0
- package/pack/generated/claude/skills/rite-ship/reference/design-memory.md +31 -36
- package/pack/generated/claude/skills/rite-spec/SKILL.md +84 -135
- package/pack/generated/claude/skills/rite-spec/reference/investigation.md +37 -33
- package/pack/generated/claude/skills/rite-spec/reference/question-protocol.md +6 -2
- package/pack/generated/claude/skills/rite-spec/reference/spec-checklists.md +25 -24
- package/pack/generated/claude/skills/rite-spec/reference/spec-template.md +9 -2
- package/pack/generated/claude/skills/rite-spec/reference/state-workspace.md +13 -3
- package/pack/generated/claude/skills/rite-temper/SKILL.md +62 -47
- package/pack/generated/claude/skills/rite-temper/reference/review-dimensions.md +24 -22
- package/pack/generated/claude/skills/rite-upgrade/SKILL.md +125 -0
- package/pack/generated/claude/skills/rite-vet/SKILL.md +114 -113
- package/pack/generated/claude/skills/rite-vet/reference/artifacts.md +50 -9
- package/pack/generated/claude/skills/rite-vet/reference/review-axes.md +39 -37
- package/pack/generated/codex/AGENTS.md +5 -2
- package/pack/generated/codex/agents/devrites-code-reviewer.toml +69 -47
- package/pack/generated/codex/agents/devrites-devex-reviewer.toml +75 -51
- package/pack/generated/codex/agents/devrites-doubt-reviewer.toml +35 -20
- package/pack/generated/codex/agents/devrites-evidence-scout.toml +75 -0
- package/pack/generated/codex/agents/devrites-forge-judge.toml +80 -59
- package/pack/generated/codex/agents/devrites-frontend-reviewer.toml +54 -37
- package/pack/generated/codex/agents/devrites-performance-reviewer.toml +55 -38
- package/pack/generated/codex/agents/devrites-plan-drafter.toml +79 -0
- package/pack/generated/codex/agents/devrites-plan-reviewer.toml +82 -47
- package/pack/generated/codex/agents/devrites-proof-runner.toml +80 -0
- package/pack/generated/codex/agents/devrites-retrospector.toml +54 -43
- package/pack/generated/codex/agents/devrites-security-auditor.toml +53 -35
- package/pack/generated/codex/agents/devrites-simplifier-reviewer.toml +56 -44
- package/pack/generated/codex/agents/devrites-slice-wright.toml +159 -163
- package/pack/generated/codex/agents/devrites-spec-reviewer.toml +40 -30
- package/pack/generated/codex/agents/devrites-strategy-reviewer.toml +65 -34
- package/pack/generated/codex/agents/devrites-test-analyst.toml +46 -28
- package/pack/generated/codex/agents/devrites-upgrade-planner.toml +106 -0
- package/pack/generated/codex/hooks.json +4 -14
- package/pack/generated/codex/skills/devrites-api-interface/SKILL.md +7 -3
- package/pack/generated/codex/skills/devrites-audit/SKILL.md +47 -64
- package/pack/generated/codex/skills/devrites-browser-proof/SKILL.md +7 -3
- package/pack/generated/codex/skills/devrites-debug-recovery/SKILL.md +31 -16
- package/pack/generated/codex/skills/devrites-debug-recovery/reference/build-the-loop.md +24 -21
- package/pack/generated/codex/skills/devrites-debug-recovery/reference/cleanup-and-classify.md +34 -6
- package/pack/generated/codex/skills/devrites-debug-recovery/reference/instrumentation.md +2 -2
- package/pack/generated/codex/skills/devrites-doubt/SKILL.md +32 -20
- package/pack/generated/codex/skills/devrites-frontend-craft/SKILL.md +7 -3
- package/pack/generated/codex/skills/devrites-interview/SKILL.md +60 -55
- package/pack/generated/codex/skills/devrites-lib/SKILL.md +19 -12
- package/pack/generated/codex/skills/devrites-lib/reference/intent-map.md +4 -2
- package/pack/generated/codex/skills/devrites-lib/reference/parallel-dispatch.md +82 -137
- package/pack/generated/codex/skills/devrites-lib/reference/reply-contract.md +8 -1
- package/pack/generated/codex/skills/devrites-lib/reference/standards/README.md +38 -55
- package/pack/generated/codex/skills/devrites-lib/reference/standards/afk-hitl.md +53 -27
- package/pack/generated/codex/skills/devrites-lib/reference/standards/agents.md +200 -190
- package/pack/generated/codex/skills/devrites-lib/reference/standards/anti-patterns.md +5 -15
- package/pack/generated/codex/skills/devrites-lib/reference/standards/ci-cd.md +27 -58
- package/pack/generated/codex/skills/devrites-lib/reference/standards/code-review.md +16 -52
- package/pack/generated/codex/skills/devrites-lib/reference/standards/coding-style.md +2 -10
- package/pack/generated/codex/skills/devrites-lib/reference/standards/context-hygiene.md +18 -61
- package/pack/generated/codex/skills/devrites-lib/reference/standards/core.md +23 -18
- package/pack/generated/codex/skills/devrites-lib/reference/standards/deprecation.md +17 -57
- package/pack/generated/codex/skills/devrites-lib/reference/standards/development-workflow.md +4 -33
- package/pack/generated/codex/skills/devrites-lib/reference/standards/git-workflow.md +4 -20
- package/pack/generated/codex/skills/devrites-lib/reference/standards/hooks.md +3 -14
- package/pack/generated/codex/skills/devrites-lib/reference/standards/patterns.md +9 -25
- package/pack/generated/codex/skills/devrites-lib/reference/standards/performance.md +0 -9
- package/pack/generated/codex/skills/devrites-lib/reference/standards/principles.md +1 -3
- package/pack/generated/codex/skills/devrites-lib/reference/standards/security.md +17 -7
- package/pack/generated/codex/skills/devrites-lib/reference/standards/testing.md +1 -27
- package/pack/generated/codex/skills/devrites-lib/reference/standards/tooling.md +46 -50
- package/pack/generated/codex/skills/devrites-lib/reference/workspace-artifact-schema.md +40 -10
- package/pack/generated/codex/skills/devrites-prose-craft/SKILL.md +7 -3
- package/pack/generated/codex/skills/devrites-refresh-indexes/SKILL.md +7 -3
- package/pack/generated/codex/skills/devrites-source-driven/SKILL.md +29 -24
- package/pack/generated/codex/skills/devrites-ux-shape/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite/SKILL.md +21 -13
- package/pack/generated/codex/skills/rite/reference/menu.md +13 -7
- package/pack/generated/codex/skills/rite-adopt/SKILL.md +40 -40
- package/pack/generated/codex/skills/rite-autocomplete/SKILL.md +40 -31
- package/pack/generated/codex/skills/rite-autocomplete/reference/loop.md +21 -21
- package/pack/generated/codex/skills/rite-autocomplete/reference/stop-conditions.md +15 -6
- package/pack/generated/codex/skills/rite-build/SKILL.md +42 -33
- package/pack/generated/codex/skills/rite-build/reference/afk-discipline.md +41 -39
- package/pack/generated/codex/skills/rite-build/reference/evidence-standard.md +10 -0
- package/pack/generated/codex/skills/rite-build/reference/forge.md +186 -156
- package/pack/generated/codex/skills/rite-build/reference/one-slice-cycle.md +4 -3
- package/pack/generated/codex/skills/rite-build/reference/phase-contract.md +96 -175
- package/pack/generated/codex/skills/rite-build/reference/spec-drift-guard.md +10 -4
- package/pack/generated/codex/skills/rite-build/reference/wright-dispatch.md +129 -134
- package/pack/generated/codex/skills/rite-clarify/SKILL.md +106 -0
- package/pack/generated/codex/skills/rite-clarify/reference/decision-coverage.md +61 -0
- package/pack/generated/codex/skills/rite-converge/SKILL.md +42 -28
- package/pack/generated/codex/skills/rite-customize/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-define/SKILL.md +65 -35
- package/pack/generated/codex/skills/rite-define/reference/gates.md +16 -15
- package/pack/generated/codex/skills/rite-define/reference/plan-template.md +18 -8
- package/pack/generated/codex/skills/rite-doctor/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-dogfood/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-explain/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-frame/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-frame/reference/failure-modes.md +22 -24
- package/pack/generated/codex/skills/rite-handoff/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-learn/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-plan/SKILL.md +54 -19
- package/pack/generated/codex/skills/rite-plan/reference/task-breakdown.md +5 -1
- package/pack/generated/codex/skills/rite-polish/SKILL.md +34 -26
- package/pack/generated/codex/skills/rite-pov/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-pr-feedback/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-pressure-test/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-prototype/SKILL.md +32 -29
- package/pack/generated/codex/skills/rite-prove/SKILL.md +34 -20
- package/pack/generated/codex/skills/rite-quick/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-resolve/SKILL.md +19 -14
- package/pack/generated/codex/skills/rite-resolve/reference/answer-protocol.md +3 -0
- package/pack/generated/codex/skills/rite-review/SKILL.md +44 -31
- package/pack/generated/codex/skills/rite-seal/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-seal/reference/phase-contract.md +27 -92
- package/pack/generated/codex/skills/rite-seal/reference/risk-and-rollback.md +13 -0
- package/pack/generated/codex/skills/rite-ship/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-ship/reference/design-memory.md +31 -36
- package/pack/generated/codex/skills/rite-spec/SKILL.md +91 -138
- package/pack/generated/codex/skills/rite-spec/reference/investigation.md +37 -33
- package/pack/generated/codex/skills/rite-spec/reference/question-protocol.md +6 -2
- package/pack/generated/codex/skills/rite-spec/reference/spec-checklists.md +25 -24
- package/pack/generated/codex/skills/rite-spec/reference/spec-template.md +9 -2
- package/pack/generated/codex/skills/rite-spec/reference/state-workspace.md +13 -3
- package/pack/generated/codex/skills/rite-status/SKILL.md +7 -3
- package/pack/generated/codex/skills/rite-temper/SKILL.md +69 -50
- package/pack/generated/codex/skills/rite-temper/reference/review-dimensions.md +24 -22
- package/pack/generated/codex/skills/rite-upgrade/SKILL.md +141 -0
- package/pack/generated/codex/skills/rite-upgrade/agents/openai.yaml +2 -0
- package/pack/generated/codex/skills/rite-vet/SKILL.md +121 -116
- package/pack/generated/codex/skills/rite-vet/reference/artifacts.md +50 -9
- package/pack/generated/codex/skills/rite-vet/reference/review-axes.md +40 -38
- package/pack/generated/codex/skills/rite-zoom-out/SKILL.md +7 -3
- package/package.json +1 -1
- package/scripts/build-release-tarball.sh +32 -15
- package/scripts/check-authority-drift.py +125 -0
- package/scripts/check-instruction-size-baseline.mjs +19 -11
- package/scripts/check-invocation-integrity.py +2 -0
- package/scripts/codex-generate.sh +69 -33
- package/scripts/grade-feature.sh +121 -40
- package/scripts/live-hosts/agent-result.schema.json +230 -0
- package/scripts/live-hosts/claude.sh +87 -0
- package/scripts/live-hosts/codex.sh +81 -0
- package/scripts/live-hosts/common.sh +113 -0
- package/scripts/live-hosts/fake-host.py +264 -0
- package/scripts/live-hosts/host-transport.py +287 -0
- package/scripts/release-check.sh +5 -1
- package/scripts/run-agent-contract-evals.py +1380 -0
- package/scripts/run-behavioral-evals.sh +24 -30
- package/scripts/run-evals.sh +1 -5
- package/scripts/run-live-behavioral-evals.py +1274 -144
- package/scripts/run-outcome-evals.sh +445 -88
- package/scripts/run-tests.mjs +30 -2
- package/scripts/skills-inventory.mjs +1 -1
- package/scripts/validate-workflow-security.py +39 -20
- package/scripts/validate-workspace-schema.py +362 -10
- package/scripts/validate.sh +21 -15
- package/engine/testdata/golden/TestParityWrightScope/devrites-edit-allowed.golden +0 -1
- /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())
|