// Gallows Bracket lib
// Supporting library for the gallows bracket

export fn angleIron(length, thickness, width, miterStart, miterEnd) {
  assert(miterStart, isGreaterThan = -90deg, isLessThan = 90deg)
  assert(miterEnd, isGreaterThanOrEqual = -90deg, isLessThan = 90deg)

  csgFriendlyOffset = 1
  length002 = -1 * (width - thickness)
  length001 = -1 * (width - thickness)
  sketch001 = startSketchOn(-XZ)
  profile001 = startProfile(sketch001, at = [0, 0])
    |> xLine(length = width, tag = $baseSegment)
    |> yLine(length = -thickness)
    |> xLine(length = length001)
    |> yLine(length = length002)
    |> xLine(length = -thickness)
    |> line(endAbsolute = [profileStartX(%), profileStartY(%)], tag = $seg01)
    |> close()
  extrudedSolid = extrude(profile001, length = length + csgFriendlyOffset * 2)

  // Start a new sketch on the tagged face of the extrusion
  ironWithStartMiter = if miterStart != 0 {
    miterStartSketch = startSketchOn(XY)
    miterStartProfile = if miterStart > 0 {
      startProfile(
             miterStartSketch,
             at = [
               1 - (1 * sin(miterStart)),
               1 - (1 * cos(miterStart))
             ],
           )
        |> angledLine(angle = -180deg - miterStart, length = (width + csgFriendlyOffset) / cos(miterStart))
        |> yLine(endAbsolute = profileStartY() - 1)
        |> xLine(endAbsolute = profileStartX())
        |> close()
    } else {
      startProfile(
             miterStartSketch,
             at = [
               -width - 1 - (1 * sin(miterStart)),
               1 - (1 * cos(miterStart))
             ],
           )
        |> angledLine(angle = -miterStart, length = (width + csgFriendlyOffset) / cos(miterStart))
        |> yLine(endAbsolute = profileStartY() - 1)
        |> xLine(endAbsolute = profileStartX())
        |> close()
    }
    miterStartTool = extrude(miterStartProfile, length = -width - 2)
      |> translate(x = 0, y = 0, z = 1)

miterStartTool
    subtract(extrudedSolid, tools = miterStartTool)
  } else {
    extrudedSolid
  }

  finishedIron = if miterEnd != 0 {
    miterEndSketch = startSketchOn(XY)
    miterEndProfile = if miterEnd > 0 {
      startProfile(
             miterEndSketch,
             at = [
               1 - (1 * sin(miterEnd)),
               length + 1 + 1 * cos(miterEnd)
             ],
           )
        |> angledLine(angle = 180deg + miterEnd, length = (width + csgFriendlyOffset) / cos(miterEnd))
        |> yLine(endAbsolute = profileStartY() + 1)
        |> xLine(endAbsolute = profileStartX())
        |> close()
    } else {
      startProfile(
             miterEndSketch,
             at = [
               -width - 1 - (1 * sin(miterEnd)),
               length + 1 + 1 * cos(miterEnd)
             ],
           )
        |> angledLine(angle = miterEnd, length = (width + csgFriendlyOffset) / cos(miterEnd))
        |> yLine(endAbsolute = profileStartY() + 1)
        |> xLine(endAbsolute = profileStartX())
        |> close()
    }
    miterEndTool = extrude(miterEndProfile, length = -width - 2)
      |> translate(x = 0, y = 0, z = 1)
miterEndTool
    subtract(ironWithStartMiter, tools = miterEndTool)
  } else {
    ironWithStartMiter
  }
  return finishedIron
}

export fn gallowsBracket(depth, height, ironWidth, ironThickness) {
  boltRadius = 4
  // Recommendations from drawings
  bottomBoltOffset = 75
  distanceBetweenBolts = 450
  assert(height, isGreaterThan = bottomBoltOffset + distanceBetweenBolts, error = "You must have at least 525mm of height to get sufficient bolt spacing")

  vertical = angleIron(
         length = height,
         width = ironWidth,
         thickness = ironThickness,
         miterStart = 0deg,
         miterEnd = 45deg,
       )
    |> rotate(roll = 90, yaw = 180)
  verticalHolesNeeded = ceil((height - bottomBoltOffset) / distanceBetweenBolts)
  verticalHolesSketch = offsetPlane(YZ, offset = -1)
  verticalHoles = circle(verticalHolesSketch, center = [-ironWidth / 2, 75], radius = boltRadius + 0.5)
    |> patternLinear2d(instances = verticalHolesNeeded, distance = (height - bottomBoltOffset) / verticalHolesNeeded, axis = [0, 1])
    |> extrude(length = ironThickness + 2)

  verticalWithHoles = reduce(
    verticalHoles,
    initial = vertical,
    f = fn(@hole, accum) {
      return subtract(accum, tools = hole)
    },
  )

  horizontal = angleIron(
         length = depth,
         width = ironWidth,
         thickness = ironThickness,
         miterStart = 45deg,
         miterEnd = 0deg,
       )
    |> rotate(pitch = 270, yaw = -90)
    |> translate(z = height + 1, global = true)
  horizontalHolesSketch = offsetPlane(XY, offset = height - ironThickness)
  horizontalHoles = circle(
         horizontalHolesSketch,
         center = [
           depth - (ironWidth / 2),
           -ironWidth / 2
         ],
         radius = boltRadius + 0.5,
       )
    |> extrude(length = ironThickness + 2)
  horizontalWithHoles = subtract(horizontal, tools = horizontalHoles)

  strutLength = sqrt(2 * (min([height, depth]) - ironThickness) ^ 2)
  strut = angleIron(
         length = strutLength,
         width = ironWidth - ironThickness,
         thickness = ironThickness,
         miterStart = -45deg,
         miterEnd = -45deg,
       )
    |> rotate(pitch = 270deg, yaw = -90deg)
    |> translate(x = -strutLength - 1, z = ironWidth - ironThickness, global = true)
    |> rotate(pitch = -45deg, global = true)
    |> translate(
         y = -ironThickness,
         x = depth,
         z = height - ironThickness,
         global = true,
       )

  legSketch = startSketchOn(-YZ)
  leg = startProfile(legSketch, at = [0, 0])
    |> angledLine(angle = 0deg, length = ironWidth, tag = $rectangleSegmentA001)
    |> angledLine(angle = segAng(rectangleSegmentA001) + 90deg, length = ironWidth)
    |> angledLine(angle = segAng(rectangleSegmentA001), length = -segLen(rectangleSegmentA001))
    |> line(endAbsolute = [profileStartX(%), profileStartY(%)])
    |> close()
    |> extrude(length = 100)
    |> translate(z = height - ironWidth, global = true)

  // Leg to insert into party wall
  return [
    verticalWithHoles,
    horizontalWithHoles,
    strut,
    leg
  ]
}


Geometry Engine

Zoo CAD Engine Overview

KCL: A Programming Language for Parametric CAD

File Formats

A Practical Overview of CAD File Formats

Text-to-CAD

Text-to-CAD: Generating Editable, Parametric B-Rep CAD Models from Natural Language

Automation

Automating Your Workflow

Features

Getting Started

Zoo Design Studio

Authentication

Errors

Generate a CAD model from text.

List all ML prompts.

Get a ML prompt.

List conversations

Converts a proprietary CAD format to KCL.

Create a custom ML model that is backed by one or more org datasets.

Retrieve the details of a single custom ML model so long as it belongs to the caller’s organization.

Update mutable metadata (name, system prompt) for a custom ML model owned by the caller's organization.

List the org datasets that are currently attached to a custom ML model owned by the caller’s organization.

Generate code completions for KCL.

Iterate on a CAD model with a prompt.

Iterate on a multi-file CAD model with a prompt.

List text-to-CAD parts you've generated.

Get a text-to-CAD response.

Give feedback to a specific ML response.

Open a websocket to prompt the ML copilot.

Open a websocket which accepts modeling commands.

Modeling

Get API call metrics.

List API calls.

Get details of an API call.

List async operations.

Get an async operation.

List API calls for your org.

Get an API call for an org.

List API calls for your user.

Get an API call for a user.

List API calls for a user.

API Calls

List API tokens for your user.

Create a new API token for your user.

Get an API token for your user.

Delete an API token for your user.

API Tokens

Listen for callbacks to GitHub app authentication.

Get the consent URL for GitHub app authentication.

Listen for GitHub webhooks.

Apps

Execute a Zoo program in a specific language.

Create a terminal.

Executor

Get CAD file center of mass.

Convert CAD file from one format to another.

Convert CAD file with defaults.

Get CAD file density.

Get CAD file mass.

Get CAD file surface area.

Get CAD file volume.

File

Get OpenAPI schema.

Get ip address information.

Authorize an inbound auth request from our Community page.

Uploads files to public blob storage for debugging purposes.

Creates an internal telemetry event.

Get an API token for a user by their discord ID.

Return pong.

Get the pricing for our subscriptions.

Start an OAuth 2.0 Device Authorization Grant.

Confirm an OAuth 2.0 Device Authorization Grant.

Request a device access token.

Verify an OAuth 2.0 Device Authorization Grant.

Listen for callbacks for the OAuth 2.0 provider.

Get the consent URL and other information for the OAuth 2.0 provider.

Revoke an OAuth2 token.

Oauth2

Get an org.

Update an org.

Create an org.

Delete an org.

Return the IAM policies customers should apply when onboarding an S3 dataset.

List every dataset that belongs to the caller's organization.

Register a new S3 dataset that Zoo can assume into on behalf of the caller's org.

Fetch a single dataset by ID so long as it belongs to the authenticated org.

Update dataset metadata or storage credentials for the caller's organization.

List the file conversions that have been processed for a given dataset owned by the caller's org.

Fetch the metadata and converted output for a single dataset conversion.

Retry a specific dataset conversion that failed previously for the caller's org.

Request a rescan of a dataset that belongs to the caller's org.

Return aggregate conversion stats for a dataset owned by the caller's org.

List members of your org.

Add a member to your org.

Get a member of your org.

Update a member of your org.

Remove a member from your org.

Get the privacy settings for an org.

Update the privacy settings for an org.

Get the SAML identity provider.

Update the SAML identity provider.

Create a SAML identity provider.

Delete an SAML identity provider.

Get the shortlinks for an org.

List orgs.

Get admin-only details for an organization.

Set the enterprise price for an organization.

Get a user's org.

Orgs

Get payment info about your org.

Update payment info for your org.

Create payment info for your org.

Delete payment info for your org.

Get balance for your org.

Create a payment intent for your org.

List invoices for your org.

List payment methods for your org.

Delete a payment method for your org.

Get the subscription for an org.

Update the subscription for an org.

Create the subscription for an org.

Validate an orgs's information is correct and valID for automatic tax.

Get balance for an org.

Update balance for an org.

Get payment info about your user.

Update payment info for your user.

Create payment info for your user.

Delete payment info for your user.

Get balance for your user.

Create a payment intent for your user.

List invoices for your user.

List payment methods for your user.

Delete a payment method for your user.

Get the subscription for a user.

Update the user's subscription.

Create the subscription for a user.

Validate a user's information is correct and valID for automatic tax.

Get balance for an user.

Update balance for an user.

Payments

List service accounts for your org.

Create a new service account for your org.

Get an service account for your org.

Delete an service account for your org.

Service Accounts

Get the shortlinks for a user.

Create a shortlink for a user.

Redirect the user to the URL for the shortlink.

Update a shortlink for a user.

Delete a shortlink for a user.

Shortlinks

Create a new store coupon.

Store

Convert angle units.

Convert area units.

Convert current units.

Convert energy units.

Convert force units.

Convert frequency units.

Convert length units.

Convert mass units.

Convert power units.

Convert pressure units.

Convert temperature units.

Convert torque units.

Convert volume units.

Unit

Get your user.

Update your user.

Delete your user.

Update properties in the CRM

Get extended information about your user.

List user-visible feature flags enabled for the authenticated user.

Create a new support/sales ticket from the website contact form. This endpoint is authenticated.

Get the OAuth2 providers for your user.

Get the privacy settings for a user.

Update the user's privacy settings.

Get a session for your user.

List users.

List users with extended information.

Get extended information about a user.

Get a user.

Get admin-only details for a user.

Update a subscription for a user.

Creates a new support/sales ticket from the website contact form. This endpoint is for untrusted

gallows-bracket

KCL

Parts