goal

type Command struct {
	Objective     string
	CompactAt     int           // --compact N (soft compaction threshold, tokens)
	VerifierSpec  string        // --verifier SPEC (model for the verifier)
	MaxIterations int           // --max N
	MaxStalled    int           // --stalled N
	Timeout       time.Duration // --timeout DUR (e.g. 2h, 90m)
	VerifyTimeout time.Duration // --verify-timeout DUR (total wall-clock per verifier run)
	VerifyOneShot bool          // --verify-oneshot (use the legacy tool-less verifier)
	TotalBudget   float64       // --budget USD (cumulative ceiling across iterations)
	WorkDir       string        // --cwd DIR (execution/evaluation directory; "" = session CWD)
}

type FlagSpec struct {
	Name        string // e.g. "--max"
	Placeholder string // e.g. "N", "2h", "USD", "SPEC"
	Desc        string // short human description
	Bool        bool   // true = valueless boolean flag (e.g. "--verify-oneshot")
}

type Goal struct {
	// contains filtered or unexported fields
}

type Info struct {
	Active        bool
	Objective     string
	StatePath     string
	WorkDir       string // cwd of execution/evaluation; "" = session CWD (see goal.Options.WorkDir)
	VerifierSpec  string
	Iteration     int
	Stalled       int
	MaxIterations int
	MaxStalled    int
	Deadline      time.Time
	TotalBudget   float64       // cumulative USD ceiling (0 = unlimited)
	Spent         float64       // cumulative USD spent so far
	VerifyTimeout time.Duration // total wall-clock per verifier run (0 = default)
	VerifyOneShot bool          // use the legacy tool-less one-shot verifier
}

type IterationVerdict struct {
	Iteration int
	Satisfied bool
	Feedback  string
}

type Options struct {
	Objective     string
	StatePath     string        // default DefaultStatePath
	WorkDir       string        // cwd of execution/evaluation; "" = session CWD
	VerifierSpec  string        // model spec for the verifier; "" = DefaultVerifierSpec
	MaxIterations int           // 0 = unlimited
	MaxStalled    int           // 0 = DefaultMaxStalled
	Timeout       time.Duration // 0 = no wall-clock deadline
	TotalBudget   float64       // cumulative USD ceiling across all iterations; 0 = unlimited
	VerifyTimeout time.Duration // total wall-clock per verifier run; 0 = DefaultVerifyTimeout
	VerifyOneShot bool          // use the legacy tool-less one-shot verifier
}

type ProviderFactory func(core.Model) (core.Provider, error)

type Verdict struct {
	Satisfied bool   `json:"satisfied"`
	Feedback  string `json:"feedback"`
}

type VerifyConfig struct {
	Factory       ProviderFactory
	VerifierSpec  string        // model spec; "" = DefaultVerifierSpec
	Objective     string        // the goal objective (verbatim /goal text)
	Evidence      string        // initial hint (diff + checks); NOT authoritative
	PriorFeedback string        // summary of earlier iterations' verdicts (memory); may be empty
	StatePath     string        // path to the goal's STATE.md (shown to the verifier)
	WorkDir       string        // read-only sandbox root for the verifier's tools
	Timeout       time.Duration // wall-clock TOTAL per run; 0 = DefaultVerifyTimeout
	MaxTurns      int           // 0 = defaultVerifierMaxTurns
	MaxBudget     float64       // 0 = DefaultVerifierMaxBudget
	OneShot       bool          // legacy tool-less one-shot mode
}

type VerifyStats struct {
	CostUSD float64
	Usage   *core.Usage
	Turns   int
}