Author closed sets as typed constants (#560)

Author: SaladDay

Makefile

@@ -43,7 +43,7 @@ openapi:
 	output=$$(mktemp -d "$$root/core-openapi.XXXXXX"); trap 'rm -rf "$$output"' EXIT; \
 	python3 scripts/generate-public-api.py $(OPENAPI_FLAGS) --swag-roots "$$output/roots.go"; \
 	$(SWAG) init \
-	    -g cmd/server/main.go --dir "./services/core,./contracts/agents-api/v1,$$output" \
+	    -g cmd/server/main.go --dir "./services/core,./contracts/agents-api/v1,./internal/modelprovider,$$output" \
 	    --output "$$output" \
 	    --outputTypes yaml --parseInternal; \
 	python3 scripts/patch-agents-openapi.py "$$output/swagger.yaml"; \

apps/web/src/features/sandbox/SandboxResetControls.tsx

@@ -21,7 +21,7 @@ export function SandboxResetControls({ deployment, disabled, stale, onStart, onC
   const id = useId();
   const reset = deployment.reset;
   const [dialog, setDialog] = useState<{ action: Action; generation: number; requestedAt: string | null } | null>(null);
-  const [clear, setClear] = useState<"auto" | "force">("auto");
+  const [clear, setClear] = useState<StartSandboxReset["clear"]>("auto");
   const [deadline, setDeadline] = useState("3600");
   const [submitting, setSubmitting] = useState(false);
   const changed = dialog !== null && (dialog.generation !== deployment.generation || dialog.requestedAt !== (reset?.requested_at ?? null));