#!/bin/bash
# Verify TaskSpecSchema validation requirements for verifyCommands

rg -A 10 'export const TaskSpecSchema' src/schemas/plan.ts

#!/bin/bash
set -euo pipefail

# Find ActorPlanOutputSchema definition and how it validates TaskSpecSchema
rg -n --hidden --glob '!**/node_modules/**' "ActorPlanOutputSchema|TaskSpecSchema" src | head -n 200

# Show the ActorPlanOutputSchema block (up to ~80 lines around matches)
rg -n --hidden --glob '!**/node_modules/**' -C 5 "ActorPlanOutputSchema" src/schemas/plan.ts src/schemas/**/*.ts 2>/dev/null || true

# Show where the plan output is parsed/validated (zod .parse / .safeParse)
rg -n --hidden --glob '!**/node_modules/**' "\.parse\(|safeParse\(" src | rg -n "ActorPlanOutputSchema|plan|draftPlan|ActorPlan" | head -n 200

#!/bin/bash
set -euo pipefail

# Print ActorPlanOutputSchema definition
sed -n '1,140p' src/adapters/prompts.ts

# Print PlanSchema/related schemas in src/schemas/plan.ts
sed -n '1,120p' src/schemas/plan.ts

# Print relevant part of src/schemas/artifact.ts (imports TaskSpecSchema)
sed -n '1,120p' src/schemas/artifact.ts

# Print where ActorPlanOutputSchema and PlanSchema.parse are called
sed -n '1,160p' src/adapters/runnerRoles.ts

#!/bin/bash
set -euo pipefail

# Find where mechanicalGate is produced and where verifyCommands is used
rg -n --hidden --glob '!**/node_modules/**' "verifyCommands|mechanicalGate|testCommands" src | head -n 200

# Specifically look for iteration/execution of verifyCommands
rg -n --hidden --glob '!**/node_modules/**' "verifyCommands.*(map|forEach|for \\(|reduce|push|command)" src

# Show the most relevant implementation files around mechanical gate execution
rg -n --hidden --glob '!**/node_modules/**' "mechanicalGate" src | head -n 50

#!/bin/bash
set -euo pipefail

sed -n '1,260p' src/engine/loop.ts

# Print mechanical gate implementation (file name guessed from import path)
ls -la src/engine | rg -n "mechanicalGate" || true
fd mechanicalGate src/engine -t f -x echo

# Show the mechanical gate runner file
MECH_FILE=$(fd mechanicalGate src/engine -t f | head -n 1)
echo "Using: $MECH_FILE"
sed -n '1,260p' "$MECH_FILE"

#!/bin/bash
set -euo pipefail

# Search for verifyCommands in critic-related files
rg -n --hidden --glob '!**/node_modules/**' "verifyCommands" src/adapters src/engine src/schemas | head -n 200

# Show critic prompt section for plan review (likely DEFAULT_CRITIC_PROMPTS draftPlan/review)
rg -n --hidden --glob '!**/node_modules/**' "critic.*plan|PlanSchema|plan draft|draft" src/adapters/prompts.ts src/adapters/runnerRoles.ts src/adapters | head -n 200

# If prompts.ts includes critic contract mention verifyCommands, print around it
rg -n --hidden --glob '!**/node_modules/**' "acceptanceCriteria|dependencies|verifyCommands" src/adapters/prompts.ts | head -n 200

#!/bin/bash
set -euo pipefail

rg -n --hidden --glob '!**/node_modules/**' "verifyCommands" src/adapters src/engine src/schemas | head -n 200

rg -n --hidden --glob '!**/node_modules/**' "critic.*plan|PlanSchema|plan draft|draftPlan|review.*plan" src/adapters/prompts.ts src/adapters/runnerRoles.ts src/adapters | head -n 200

rg -n --hidden --glob '!**/node_modules/**' "acceptanceCriteria|dependencies|verifyCommands" src/adapters/prompts.ts | head -n 200

#!/bin/bash
set -euo pipefail

# Inspect critic prompt template(s) in prompts.ts around where verifyCommands appears
sed -n '120,320p' src/adapters/prompts.ts

# Inspect critic schema (normalization + blockers/rubric enforcement)
sed -n '1,260p' src/schemas/critic.ts

# Inspect critic response parsing
rg -n "parseCriticResponse|REPAIR_HINT|criticParser" -S src/engine
sed -n '1,260p' src/engine/criticParser.ts

# Search for logic that checks missing verifyCommands explicitly
rg -n --hidden --glob '!**/node_modules/**' "verifyCommands.*(block|fail|reject)|verifyCommands.*min\\(|machine-checkable|DoD" src | head -n 200

#!/bin/bash
set -euo pipefail

# Show the rest of runTask switch handling of review.kind, especially "unavailable"/"malformed"/"paused"
rg -n "switch \\(review\\.kind\\)" -n src/engine/loop.ts
sed -n '240,460p' src/engine/loop.ts

# Inspect plan review stage too (where critic.review kind "plan")
sed -n '300,420p' src/engine/loop.ts

#!/bin/bash
set -euo pipefail

rg -n "UNVERIFIED|unverified|UNVERIFIED_BY_CRITIC" src/engine src/domain src | head -n 200
sed -n '1,260p' src/domain/stateMachine.ts

#!/bin/bash
set -euo pipefail

rg -n "UNVERIFIED|unverified|UNVERIFIED_BY_CRITIC" src/engine src/domain src | head -n 200

sed -n '1,260p' src/domain/stateMachine.ts