<Trellis>

/** @jsxImportSource smthrs */
import {
  ClaudeCodeAgent,
  CodexAgent,
  Trellis,
  createSmithers,
  delegationV2Schemas,
} from "smthrs";
import { z } from "zod/v4";

const input = z.object({
  prompt: z.string().trim().min(1).default("Build the requested result and prove it works."),
});
const { Workflow, smithers, outputs } = createSmithers({
  input,
  ...delegationV2Schemas,
});

const sol = new CodexAgent({ model: "gpt-5.6-sol" });
const fable = new ClaudeCodeAgent({ model: "claude-fable-5" });
const terra = new CodexAgent({ model: "gpt-5.6-terra" });
const luna = new CodexAgent({ model: "gpt-5.6-luna", model_reasoning_effort: "high" });

export default smithers((ctx) => {
  // The schema default is applied before runtime and static graph rendering.
  const prompt = ctx.input.prompt?.trim() || "Build the requested result and prove it works.";

  return (
    <Workflow name="adaptive-work">
      <Trellis
        prompt={prompt}
        agents={{ sol, fable, terra, luna }}
        outputs={outputs}
        maxConcurrency={4}
        limits={{
          maxTotalAuthorTurns: 32,
          maxAuthorGenerations: 4,
          maxAuthorDepth: 4,
        }}
      />
    </Workflow>
  );
});

bunx smthrs up workflow.tsx \
  --input '{"prompt":"Implement the feature and prove it works"}' \
  --max-concurrency 4

type TrellisProps = {
  prompt: string;
  goal?: GoalContract;
  acceptance?: AcceptanceCriterion[];
  instructions?: string;
  role?: "sol" | "fable";             // default "sol"
  work?: WorkKind;                     // default "synthesize"
  outputContract?: OutputContractId;   // default "work_product"
  agents: Record<"sol" | "fable" | "terra" | "luna", AgentLike | AgentLike[]>;
  outputs: TrellisOutputs;             // from delegationV2Schemas
  idPrefix?: string;                   // default "trellis"
  semanticRevision?: string;
  criticalExecutionPolicy?: {
    allowedCategories: Array<
      | "security_boundary"
      | "data_integrity"
      | "concurrency_invariant"
      | "protocol_core"
      | "irreversible_migration"
    >;
    allowedPathPrefixes: string[];     // normalized workspace-relative paths
    maxChangedLines: number;           // 1..500, per admitted execution
  };
  maxConcurrency?: number;             // default 4; must equal the pinned run cap
  limits?: {
    maxTotalAuthorTurns?: number;       // default 32; global recursive author fuel
    maxAuthorGenerations?: number;      // default 4 per logical author
    maxAuthorDepth?: number;            // default 4
    maxNodesPerProgram?: number;        // default 64
    maxProgramDepth?: number;           // default 8
    maxFanout?: number;                 // default 16
    maxPromptBytes?: number;            // default 16,384
    maxTotalPromptBytes?: number;       // default 131,072
  };
  skipIf?: boolean;
};