lsp-max 26.7.3

Law-state LSP runtime: max LSP 3.18 coverage, process-mining conformance, receipt-chain admission
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

import type { Metadata } from "next";
import { readWorkspaceVersion } from "@/lib/project";
import Link from "next/link";
import "./globals.css";

export const metadata: Metadata = {
  title: "lsp-max — faithful representation",
  description: "Every rendered claim is witnessed by the real lsp-max project.",
};

export default async function RootLayout({
  children,
}: {
  children: React.ReactNode;
}) {
  // Version is read from the real Cargo.toml — banner breaks if the project moves.
  const version = await readWorkspaceVersion();
  return (
    <html lang="en">
      <body>
        <header className="topbar">
          <Link href="/" className="brand">
            lsp-max
          </Link>
          <span className="ver">v{version} · CalVer</span>
          <nav>
            <Link href="/receipts">Receipts</Link>
            <Link href="/cli">CLI</Link>
            <Link href="/coverage">Coverage</Link>
            <Link href="/witness">Live witnesses</Link>
            <Link href="/witnesses">Witnesses</Link>
            <Link href="/ocel">OCEL</Link>
            <Link href="/conformance">Conformance</Link>
            <Link href="/graph">Graph</Link>
            <Link href="/deps">Deps</Link>
          </nav>
        </header>
        <main className="main">{children}</main>
        <footer className="foot">
          Every value on this site is read from the lsp-max repository at request
          time. No fixtures.
        </footer>
      </body>
    </html>
  );
}