Skip to content

docs(benchmarks): the fresh-process table says it times a build handed to the solver, not a solve - #2041

Merged
FBumann merged 4 commits into
mainfrom
claude/bench-fresh-heading
Oct 14, 2026
Merged

FBumann merged 4 commits into
mainfrom
claude/bench-fresh-heading

Conversation

@FBumann

@FBumann FBumann commented Oct 14, 2026

Copy link
Copy Markdown
Collaborator

Prompt: Is this still correct? … Solve time. Every number stops when the model reaches the solver.

Note

The following content was generated by AI.

The benchmarks page's "A script that solves one model" table times a process that builds the model, hands it to HiGHS and exits, without a solve. The heading, the sentence under the table and the README now say that.

What changed, and the evidence

bench/fresh.py times one build_and_emit. bench/arms/specsolve.py's build_and_emit builds, hands the model to the solver, and its docstring says "the solver never runs". So the page contradicted its own "Not measured yet: Solve time. Every number stops when the model reaches the solver", which is correct.

  • docs/about/benchmarks.md: the heading becomes "A script that builds one model". The intro says the process builds the model, hands it to HiGHS and exits without a solve. The closing sentence says "builds one small model … and hands it to the solver".
  • README.md: "Fast from the first call" says the same.
  • bench/report.py: the docstring of fresh(), which writes the table.

The two CHANGELOG.md entries from #1947 and #1971 that say "solves" are history and stay as they are. Nothing links to the old heading's anchor.

The "Not measured yet" section was checked against the code too, and stays: nodal, network and sector are built at density 0.25; pixi run density sweeps only nodal, from 1.0 to 0.083; the published run takes no density rung; and no density.json is committed.

Verified: pixi run check (lint, format, typecheck; 5601 passed, 566 skipped, 4 xfailed), pixi run -e docs docs-build (strict, no issues), tests/test_docs_site.py (10 passed).

🤖 Generated with Claude Code

https://claude.ai/code/session_01NTByC5UJJWvcFj3mvmv83v


Generated by Claude Code

…d to the solver, not a solve

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTByC5UJJWvcFj3mvmv83v
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTByC5UJJWvcFj3mvmv83v
@read-the-docs-community

read-the-docs-community Bot commented Oct 14, 2026 •

Copy link
Copy Markdown

Documentation build overview

📚 specsolve | 🛠️ Build #35146760 | 📁 Comparing 280fe61 against latest (2588883)

  🔍 Preview build  

3 files changed
± index.html
± about/benchmarks/index.html
± about/changelog/index.html

@codspeed

codspeed Bot commented Oct 14, 2026 •

Copy link
Copy Markdown

Merging this PR will not alter performance

✅ 104 untouched benchmarks
⏩ 307 skipped benchmarks1


Comparing claude/bench-fresh-heading (280fe61) with main (2588883)2

Open in CodSpeed

Footnotes

  1. 307 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

  2. No successful run was found on main (875fc49) during the generation of this report, so 2588883 was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

@FBumann
FBumann enabled auto-merge (squash) October 14, 2026 15:52
@FBumann
FBumann merged commit 61172a8 into main Oct 14, 2026
14 checks passed
@FBumann
FBumann deleted the claude/bench-fresh-heading branch October 14, 2026 16:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants