fix(docs): resync the lockfile, and stop MDX parsing <= as a JSX tag

Two failures in the docs workflow, one behind the other.

Install died on

    ERR_PNPM_OUTDATED_LOCKFILE … specifiers in the lockfile don't match
    specifiers in package.json:
    * 1 dependencies were removed: @hanzo/docs-cli@^1.2.5

@hanzo/docs-cli was dropped from docs/package.json and the lockfile was not
regenerated, so `pnpm install --frozen-lockfile` refused. Regenerated. It still
appears in the lockfile three times as a TRANSITIVE dependency, which is correct
and not the thing that was stale.

With install fixed, the build failed on content:

    ./content/docs/flare.mdx
    113:77: Unexpected character `=` (U+003D) before name, expected a character
            that can start a name, such as a letter, `$`, or `_`

`total <= n` in a table cell — MDX reads `<` as the start of a JSX tag and `=`
cannot begin a tag name. Both bare comparisons in that file are now in backticks,
which is what the surrounding cells already do for identifiers and is the right
markup for a math expression regardless.

    pnpm install --frozen-lockfile   exit 0  (was ERR_PNPM_OUTDATED_LOCKFILE)
    pnpm build                       exit 0  (was 1)

Co-authored-by: Hanzo Dev <[email protected]>
This commit is contained in:
2026-08-02 05:41:03 -07:00
co-authored by Hanzo Dev
parent c098c1e46f
commit 3906999eb0
2 changed files with 8 additions and 8 deletions
+2 -2
View File
@@ -86,7 +86,7 @@ func HasSkip(v dag.View, proposer dag.Meta, p dag.Params) bool {
| Parameter | Description | Derivation |
|-----------|-------------|------------|
| N | Total validators | Network configuration |
| F | Maximum Byzantine faults | F < N/3 |
| F | Maximum Byzantine faults | `F < N/3` |
| Certificate threshold | 2F+1 | Quorum intersection guarantee |
| Skip threshold | 2F+1 | Same quorum requirement |
@@ -110,7 +110,7 @@ All Flare properties are machine-checked in Lean 4. See [`lean/Protocol/Flare.le
| Theorem | Statement |
|---------|-----------|
| `cert_skip_exclusive` | Certificate and skip cannot both hold when total <= n |
| `cert_skip_exclusive` | Certificate and skip cannot both hold when `total <= n` |
| `cert_honest_support` | A certificate implies >= f+1 honest supporters |
| `classify_total` | Classification returns exactly one of three outcomes |
+6 -6
View File
@@ -39,9 +39,6 @@ importers:
specifier: ^3.24.1
version: 3.25.76
devDependencies:
'@hanzo/docs-cli':
specifier: ^1.2.5
version: 1.2.5
'@tailwindcss/postcss':
specifier: ^4.1.16
version: 4.1.18
@@ -1140,6 +1137,7 @@ packages:
'@hanzo/[email protected]':
resolution: {integrity: sha512-iFMZLT8L5BNFYNJec8cBSHeSH3ookWq3am3RsJauyGOnel4faGF2tv9p81Yt7ZiJQkH6qyqCtJ/1avvI5oQaNg==}
deprecated: → @hanzo/ui-shadcn; @hanzo/ui@8 is the @hanzo/gui unified lib
hasBin: true
peerDependencies:
'@dnd-kit/core': ^6.0.0
@@ -2818,6 +2816,7 @@ packages:
'@ungap/[email protected]':
resolution: {integrity: sha512-WmoN8qaIAo7WTYWbAZuG8PYEhn5fkz7dZrqTBZ7dtt//lL2Gwms1IcnQ5yHqjDfX8Ft5j4YzDM23f87zBfDe9g==}
deprecated: Potential CWE-502 - Update to 1.3.1 or higher
'@vitejs/[email protected]':
resolution: {integrity: sha512-NVUnA6gQCl8jfoYqKqQU5Clv0aPw14KkZYCsX6T9Lfu9slI0LOU10OTwFHS/WmptsMMpshNd/1tuWsHQ2Uk+cg==}
@@ -4167,6 +4166,7 @@ packages:
[email protected]:
resolution: {integrity: sha512-b+1eJOlsR9K8HJpow9Ok3fiWOWSIcIzXodvv0rQjVoOVNpWMpxf1wZNpt4y9h10odCNrqnYp1OBzRktckBe3sA==}
deprecated: uuid@10 and below is no longer supported. For ESM codebases, update to uuid@latest. For CommonJS codebases, use uuid@11 (but be aware this version will likely be deprecated in 2028).
hasBin: true
[email protected]:
@@ -5274,7 +5274,7 @@ snapshots:
'@mdx-js/mdx': 3.1.1
'@standard-schema/spec': 1.1.0
chokidar: 5.0.0
esbuild: 0.27.2
esbuild: 0.27.3
estree-util-value-to-estree: 3.5.0
js-yaml: 4.1.1
mdast-util-to-markdown: 2.1.2
@@ -5285,9 +5285,9 @@ snapshots:
tinyglobby: 0.2.15
unified: 11.0.5
unist-util-remove-position: 5.0.0
unist-util-visit: 5.0.0
unist-util-visit: 5.1.0
vfile: 6.0.3
zod: 4.3.5
zod: 4.3.6
optionalDependencies:
'@hanzo/ui': 5.3.34(@hanzo/[email protected](@mdx-js/[email protected])(@types/[email protected])(@types/[email protected])(@types/[email protected])(@types/[email protected])([email protected]([email protected]))([email protected])([email protected](@babel/[email protected])([email protected]([email protected]))([email protected]))([email protected]([email protected]))([email protected]([email protected]([email protected]))([email protected]))([email protected])([email protected]))(@hookform/[email protected]([email protected]([email protected])))(@types/[email protected](@types/[email protected]))(@types/[email protected])([email protected])([email protected]([email protected]))([email protected])([email protected]([email protected]([email protected]))([email protected]))([email protected](@babel/[email protected])([email protected]([email protected]))([email protected]))([email protected]([email protected]))([email protected]([email protected]))([email protected])([email protected])([email protected])
next: 16.0.1(@babel/[email protected])([email protected]([email protected]))([email protected])