You're at the other end of the wire.

-- Publish text to LinkedIn — total: one network call, ever.
export func linkedinCreatePost(token: string, orgUrn: string, text: string)
  -> Result[PostResult, string] ! {Net @limit=1}
requires { length(text) > 0 && length(text) <= 3000 }
{
  let url     = "https://api.linkedin.com/rest/posts";
  let escaped = linkedinEscapeLittleText(text);
  let body    = encode(jo([
    kv("author",         js(orgUrn)),
    kv("commentary",     js(escaped)),
    kv("visibility",     js("PUBLIC")),
    kv("distribution",   jo([kv("feedDistribution", js("MAIN_FEED"))])),
    kv("lifecycleState", js("PUBLISHED"))
  ]));
  match httpRequest("POST", url, linkedinHeaders(token), body) {
    Ok(r)  => if r.ok then linkedinParsePostResponse(r.headers, r.body)
              else Err("LinkedIn API error: ${r.status}"),
    Err(_) => Err("Network error creating LinkedIn post")
  }
}

requires rejects empty bodies and posts above LinkedIn's 3,000-char ceiling at compile time. Net @limit=1 caps lifetime network calls. Both are mathematical, not advisory.