improvise/web/index.html

<!doctype html>
<html lang="en">
  <head>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1" />
    <title>improvise</title>
    <link rel="stylesheet" href="./style.css" />
  </head>
  <body>
    <!--
      The browser shell (improvise-cr3, improvise-djm).

      Deliberately four elements and no framework. Everything that could be
      *wrong* — what a cell is, whether it may be typed into, where the
      selection sits, how the category tree flattens — is decided in Rust and
      arrives already decided (see `render.rs`). This page paints it.

      Build both wasm bundles first:

          ./web/build.sh

      then serve this directory over http (a module script will not load from
      file://):

          python3 -m http.server 8080 --directory web

      That is the whole standalone deployment: the document lives in an
      in-page Web Worker and persists to this browser's private storage.
      ?doc= and ?seed= name the document and the file it is first seeded from.

      To talk to a separate `improvise-ws-server` process instead — which is
      how a document open in the TUI is shared — pass ?ws=host:port; the
      scheme defaults to wss:// on https and ws:// on http.
    -->
    <header>
      <h1>improvise</h1>
      <span id="doc-name"></span>
      <span id="view-name"></span>
      <span id="mode"></span>
      <span id="hint"></span>
      <span id="status" role="status"></span>
      <!--
        What this page IS: web/assemble.sh rewrites the text below to the tag
        or commit it assembled from (improvise-oujb). A page served straight
        out of web/ was never assembled and honestly says so.
      -->
      <span title="Build this page was assembled from" id="build-version">unstamped</span>
    </header>

    <!--
      This page is the *client* half and nothing else: it holds no model. What
      it now has is a peer it can always reach — a Web Worker in this same tab
      hosting the whole App over OPFS (improvise-9x6, improvise-djm) — so a
      copy served from a static host, GitHub Pages included, is a working
      application rather than a client with nowhere to connect.

      The notice below stays static HTML rather than something app.js decides,
      for the same reason as before: it is true on every load in either mode,
      and a page that cannot reach its peer cannot be trusted to explain why.
      What the peer is actually *doing* — starting, connected, unreachable,
      gone — is live, and app.js writes it to #status.
    -->
    <p id="backend-notice">
      Everything here runs in this tab: the document lives in a Web Worker
      and is saved to this browser's private storage, so edits survive a
      reload and never leave the machine. Load a different document with
      <code>?doc=name.improv</code>, seeded from
      <code>?seed=url</code>. To open a document hosted by a separate
      process instead, run
      <code>improvise-ws-server model.improv --port 8787</code> and reload
      with <code>?ws=host:port</code>. <strong>The scheme defaults to
      <code>wss://</code></strong>, because this page is served over https and
      an https origin refuses a <code>ws://</code> address as mixed content.
      Note that <code>improvise-ws-server</code> speaks plain
      <code>ws://</code> only, so reaching it from <em>this</em> page means
      terminating TLS in front of it with a reverse proxy or a tunnel — the
      README has a worked Caddy example. Served over
      <code>http://localhost</code> the same page defaults to
      <code>ws://</code> and pairs with it directly, with nothing in between;
      that is the case the pairing is really for. Sharing a document is what
      the server is for — not running one is what everything above is for.
    </p>

    <div id="tiles" aria-label="Tiles"></div>

    <!--
      The page bar: which item each Page or Filter category is fixed to. The
      TUI draws it inside the grid's border; here it is a line of its own,
      above #grid, so it is not charged to the grid's own frame cost.
    -->
    <div id="pages" aria-label="Page axes" hidden></div>

    <main>
      <aside id="categories" aria-label="Categories"></aside>
      <aside id="formulas" aria-label="Formulas" hidden></aside>
      <aside id="views" aria-label="Views" hidden></aside>
      <div id="grid" tabindex="0" aria-label="Grid"></div>
    </main>

    <!--
      The bottom bar. The TUI draws the minibuffer INSTEAD of the status line;
      here it is a line of its own, because #status also carries the transport's
      own failures and a repaint must not erase one (gotcha 48).
    -->
    <div id="minibuffer" role="status" hidden></div>

    <div id="help" role="dialog" aria-label="Help" hidden></div>

    <script type="module" src="./app.js"></script>
  </body>
</html>