| <!doctype html>
|
| <html lang="en">
|
| <head>
|
| <meta charset="utf-8" />
|
| <meta name="viewport" content="width=device-width, initial-scale=1" />
|
| <title>Reproduction: FormulaCode: Evaluating Agentic Optimization on Large Codebases</title>
|
| <link rel="stylesheet" href="./logbook.css" />
|
| </head>
|
| <body>
|
| <div id="app">
|
| <aside id="sidebar">
|
| <div id="book-head">
|
| <img id="book-wordmark" src="./trackio-wordmark-dark.png" alt="" />
|
| <div id="book-title" class="sr-only">Logbook</div>
|
| </div>
|
| <nav id="tree"></nav>
|
| <div id="sidebar-foot" hidden>
|
| <button id="connect-btn" type="button">
|
| <span class="ico">ⓘ</span> Collaborate with your agent
|
| </button>
|
| </div>
|
| </aside>
|
| <main id="content">
|
| <nav id="view-tabs" aria-label="Logbook views">
|
| <a data-view="code" href="#/view/code/index">
|
| <svg viewBox="0 0 24 24" aria-hidden="true">
|
| <path d="m18 16 4-4-4-4" />
|
| <path d="m6 8-4 4 4 4" />
|
| <path d="m14.5 4-5 16" />
|
| </svg>
|
| <span>Logbook</span>
|
| </a>
|
| <a data-view="trace" href="#/view/trace">
|
| <svg viewBox="0 0 24 24" aria-hidden="true">
|
| <path d="M8 5h13" />
|
| <path d="M13 12h8" />
|
| <path d="M13 19h8" />
|
| <path d="M3 10a2 2 0 0 0 2 2h3" />
|
| <path d="M3 5v12a2 2 0 0 0 2 2h3" />
|
| </svg>
|
| <span>Traces</span>
|
| </a>
|
| <a data-view="workspace" href="#/view/workspace">
|
| <svg viewBox="0 0 24 24" aria-hidden="true">
|
| <path d="M20 20a2 2 0 0 0 2-2V8a2 2 0 0 0-2-2h-7.9a2 2 0 0 1-1.69-.9L9.6 3.9A2 2 0 0 0 7.93 3H4a2 2 0 0 0-2 2v13a2 2 0 0 0 2 2Z" />
|
| </svg>
|
| <span>Workspace</span>
|
| </a>
|
| </nav>
|
| <header id="logbook-header">
|
| <h1 id="logbook-title"></h1>
|
| <div id="logbook-cli"></div>
|
| </header>
|
| <div id="page"></div>
|
| </main>
|
| </div>
|
|
|
| <div id="modal" hidden>
|
| <div class="modal-backdrop"></div>
|
| <div class="modal-card" role="dialog" aria-modal="true">
|
| <div class="modal-head">
|
| <div class="modal-title">
|
| <img class="modal-logo" src="./trackio-logo.png" alt="" />
|
| Collaborate with your agent
|
| </div>
|
| <div class="modal-actions">
|
| <button id="copy-agent" class="btn">Copy for agent</button>
|
| <button id="modal-close" class="btn icon" aria-label="Close">×</button>
|
| </div>
|
| </div>
|
| <div class="modal-body">
|
| <p class="modal-intro">
|
| Point your coding agent at this logbook. It reads a compact,
|
| token-efficient version — and if you've given it write access to this
|
| Space, it can add findings that sync back automatically.
|
| </p>
|
| <ol id="connect-steps"></ol>
|
| </div>
|
| </div>
|
| </div>
|
|
|
| <script src="./logbook.js"></script>
|
| </body>
|
| </html>
|
|
|
