[devin-ai-integration]

What and why

The maintainer cut release/0.11.0 from develop at 5cd37f288fef171d62737d6045f4caff772b6014 (merge of #1387, 2026-10-22), 32 first-parent merges after the head the 0.11.0 record measures (5db0f7415, #1371). This updates docs/project/performance-release-0.11.0-vs-0.10.1.md so that it names the cut point as the candidate and adds The cut point: the rows those 32 merges could move, re-probed six rounds interleaved over v0.10.1, the measured head with #1368 and #1369, and the cut point (internal/exec/runtime and internal/frontend/lsp whole; the tests/perf instantiation, constraint, import, workspace, REPL, gRPC, executor and analysis rows; the 32-satellite stress rows), plus whole-binary validation, start-up and sizes on the cut point's binaries.

What the probe found, stated in the record:

• One row moved beyond noise: runtime AssignmentLoopStep 7 329 → 10 532 allocs/op (+44%, 831 KiB → 1 156 KiB), introduced by fix(runtime): hold a calculation's result in its effective multiplicity on every surface #1308 (a calculation's result held in its effective multiplicity, so every step reads a one-element sequence into a unique feature and uniquenessRefusal built a Set to judge repeats in one value). Its fix is perf(runtime): judge one value written to a unique feature without building a set #1396, kept out of this record as before; the three allocations per held result that remain are fix(runtime): hold a calculation's result in its effective multiplicity on every surface #1308's shape and are carried as that correctness change's cost.
• Every other row is within 1.5% of the measured head to the allocation (Instantiate, BatchSatisfy, FeaturesOf, GRPCVerifyConstraint, ReferencesCold, RenameWarm, NewRootFrame, the executor statement rows and the stress rows identical or within 1.1%; GRPCEvaluate +7 allocations, also fix(runtime): hold a calculation's result in its effective multiplicity on every surface #1308's held result), and no row is slower at p < 0.05 — the record's attributions hold on the cut point.
• Whole binary at parity on time at every size (0.12 / 0.18 / 0.32 s on 3 254 / 6 198 / 12 086 declarations, Apollo 11 0.35 s both), resident set +3–5 MiB as before, sysml 47.60 → 49.53 MiB and sysml-lsp 26.00 → 27.41 MiB.

The tables that measured 5db0f7415 are unchanged; the header says what they measure and points to the new section, and What this does not measure names the packages not re-run on the cut point. The changelog fragment of the record gains the cut-point sentence.

How it was verified

Documentation only, no code. python3 scripts/check-doc-ids.py, python3 scripts/check-doc-figures.py, python3 scripts/changelog.py check, make diagnostics-check and scripts/mkdocs_census-test.py pass. make docs-check passes with the landing assets built (docs/assets/landing/ is gitignored build output; check-doc-links.py reports third-party-notices.md → libavoid-js.LICENSE.txt broken only in a checkout without them).

The measurements: six interleaved rounds (-count 1 per round, -benchmem, GOMAXPROCS=8, benchstat over the six), the whole-binary pass nine interleaved runs per model with /usr/bin/time -f "%e %M", every run exiting 0. Machine and toolchain as the record states (8-CPU Xeon, 31 GiB, Go 1.25.11).

Checklist

• make test and make lint pass locally (documentation only; the doc gates above)
• Tests added or updated for the change (none: documentation)
• Documentation extended where it already covers the surface (see CONTRIBUTING.md)
• Changelog entry added as changes/unreleased/<slug>.<section>.md, not as an edit to CHANGELOG.md
• baselines regenerated and make docs-counts run if a gate count moved (none moved)
• No internal work-item labels (waves, slices, F4, K5) in the body, docs, or changelog

Link to Devin session: https://nasa-jpl-demo.devinenterprise.com/sessions/cf22d7a746814d20b2f0eaf11682fef9
Open in Devin Desktop: https://nasa-jpl-demo.devinenterprise.com/desktop/session/cf22d7a746814d20b2f0eaf11682fef9?variant=devin
Requested by: @HuiJun

[devin-ai-integration]

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

• Disable automatic comment, CI, and merge conflict monitoring

[devin-ai-integration]

🔍 Devin Review: 2 flags

Not posted on this PR by your GitHub settings — view them in Devin Review. (Configure)