submissions(htlc, linear_vesting): refresh from plinth-cape-submissions#5

[Unisay]

Summary

Paired update for Unisay/plinth-cape-submissions#5 (merge commit fbb37dd).

• HTLC compile splice moved into lib/HTLC.hs with a per-module inliner pragma (inline-unconditional-growth=110), selected by a CPU-sum × script-size sweep.
• LinearVesting compile splice moved into lib/LinearVesting.hs. The old "splice lives in Main.hs" workaround dated from the 1.45 line's parallel lib/Preview/LinearVesting.hs tree; when preview was collapsed into a cabal flag, the workaround stayed by inertia and was actively suppressing BuiltinCasing on the preview line.

Apples-to-apples (same measure / measure-preview binaries as the previous metrics):

Submission	cpu_units.sum	memory_units.sum	script_size_bytes	term_size
htlc/Plinth_1.64.0.0_Unisay	421 244 729 → 356 473 569 (-15.4%)	1 311 150 → 1 034 842 (-21.1%)	1 554 → 4 135 (+166%)	1 230 → 4 580 (+272%)
htlc/Plinth_1.64.0.0_Unisay_builtincasing	421 234 306 → 206 281 649 (-51.0%)	1 311 150 → 681 069 (-48.1%)	1 554 → 4 198 (+170%)	1 230 → 4 584 (+273%)
linear_vesting/Plinth_1.64.0.0_Unisay	2 290 868 647 → 2 293 227 790 (+0.10%)	7 858 775 → 7 859 242 (~0)	2 207 → 1 569 (-28.9%)	1 901 → 1 757 (-7.6%)
linear_vesting/Plinth_1.64.0.0_Unisay_builtincasing	2 290 874 204 → 1 519 946 425 (-33.6%)	7 858 775 → 5 597 371 (-28.8%)	2 207 → 1 304 (-40.9%)	1 901 → 1 467 (-22.8%)

HTLC's script size growth is the deliberate trade-off from the inliner sweep (uncond=110 was the leftmost value on the CPU plateau; the script-size curve is documented in lib/HTLC.hs in the source repo).

All 25 HTLC + 29 LinearVesting cape-tests pass on each variant.

source_commit_hash and the corresponding source/README.md pointers bumped to fbb37ddd6ba6ea6fd29312494a32a3074ba332b0 across all four submissions.

Test plan

• cape submission measure on the production submissions (1.45 evaluator) — 25/25 + 29/29 pass
• measure-preview on the BuiltinCasing submissions (1.64 evaluator) — 25/25 + 29/29 pass
• metadata.json + source/README.md commit pointers point at a stable merged-to-main SHA on Unisay/plinth-cape-submissions
• CI green

[github-actions]

🚀 PR Preview Deployed

Preview URL: https://intersectmbo.github.io/UPLC-CAPE/pr-207/

The preview site is automatically updated on every push to this PR and will be removed when the PR is closed.

[Copilot]

Pull request overview

Refreshes the HTLC and Linear Vesting Plinth submissions to match plinth-cape-submissions commit fbb37ddd6ba6ea6fd29312494a32a3074ba332b0, updating the tracked source pointers and regenerated artifacts (UPLC + metrics) for both production and BuiltinCasing (preview) variants.

Changes:

• Bump source_commit_hash and source/README.md reproduction instructions to fbb37ddd6ba6ea6fd29312494a32a3074ba332b0 across the affected submissions.
• Update metrics.json for HTLC + Linear Vesting (production + BuiltinCasing) to reflect new measurements.
• Refresh linear_vesting.uplc to the newly generated program.

Reviewed changes

Copilot reviewed 12 out of 16 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
submissions/linear_vesting/Plinth_1.64.0.0_Unisay/source/README.md	Updates tracked upstream source commit + checkout instructions.
submissions/linear_vesting/Plinth_1.64.0.0_Unisay/metrics.json	Refreshes production-line measurement outputs (1.45 evaluator).
submissions/linear_vesting/Plinth_1.64.0.0_Unisay/metadata.json	Bumps source_commit_hash and notes to the new upstream commit.
submissions/linear_vesting/Plinth_1.64.0.0_Unisay/linear_vesting.uplc	Updates the compiled UPLC artifact to match the new upstream source.
submissions/linear_vesting/Plinth_1.64.0.0_Unisay_builtincasing/source/README.md	Updates tracked upstream source commit + checkout instructions.
submissions/linear_vesting/Plinth_1.64.0.0_Unisay_builtincasing/metrics.json	Refreshes preview-line measurement outputs (1.64 evaluator).
submissions/linear_vesting/Plinth_1.64.0.0_Unisay_builtincasing/metadata.json	Bumps source_commit_hash and notes to the new upstream commit.
submissions/htlc/Plinth_1.64.0.0_Unisay/source/README.md	Updates tracked upstream source commit + checkout instructions.
submissions/htlc/Plinth_1.64.0.0_Unisay/metrics.json	Refreshes production-line measurement outputs (1.45 evaluator).
submissions/htlc/Plinth_1.64.0.0_Unisay/metadata.json	Bumps source_commit_hash and notes to the new upstream commit.
submissions/htlc/Plinth_1.64.0.0_Unisay_builtincasing/source/README.md	Updates tracked upstream source commit + checkout instructions.
submissions/htlc/Plinth_1.64.0.0_Unisay_builtincasing/metrics.json	Refreshes preview-line measurement outputs (1.64 evaluator).
submissions/htlc/Plinth_1.64.0.0_Unisay_builtincasing/metadata.json	Bumps source_commit_hash and notes to the new upstream commit.