starknet_transaction_prover: add manual testing guide

[avi-starkware]

Adds the deep-dive manual testing guide for the prover service — endpoints,
negative flows, the CORS matrix, compression, concurrency, load, TLS, OHTTP,
body-size limits, env-var config and observability.

Split out of #14052 so that PR stays focused on the smoke script and its
checklist, both of which reference this document for manual reproduction.

Two sections are stubs pointing at unit tests rather than manual steps: origin
normalization and incomplete-TLS-config startup are both gated by
server/cors_test.rs and server/config_test.rs, so restarting a pod to
re-check them by hand proves nothing CI has not already proven.

This is the longest PR in the stack and reads as reference material rather than
code — most of it is copy-paste curl/jq blocks per check.

[cursor]

PR Summary

Low Risk
Documentation-only change with no runtime or service behavior modifications.

Overview
Adds MANUAL_TESTING_GUIDE.md, a full manual validation playbook for deployed starknet_transaction_prover services, and points quick smoke checks to DEPLOYMENT_SMOKE_TESTING_GUIDE.md.

The guide documents setup (env vars, ConfigMap/CLI config), shell helpers to pull real chain txs, and copy-paste curl/jq checks for /health, starknet_specVersion, and starknet_proveTransaction (happy path and expected error codes).

It also covers CORS, HTTP compression, concurrency (-32005), load testing (vegeta/hey), optional TLS and OHTTP, request body size limits, env-var config, and observability expectations.

Origin normalization and incomplete TLS config at startup are explicitly deferred to unit tests (cors_test.rs, config_test.rs). Section 15 adds a PASS/FAIL/SKIP results template for deployment PRs.

^{Reviewed by Cursor Bugbot for commit 9b3f384. Bugbot is set up for automated code reviews on this repo. Configure here.}

[avi-starkware]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• starknet_transaction_prover: cover the CORS layer attachment in start_server #15036
• starknet_transaction_prover: unit-test both overload-rejection paths #15035
• starknet_transaction_prover: unit-test the JSON-RPC error mapping #15034
• starknet_transaction_prover: add deployment smoke script and guide #14052
• starknet_transaction_prover: add manual testing guide #14404 👈 (View in Graphite)
• starknet_transaction_prover: drop stale dead_code allow on RpcVirtualBlockExecutor #14740
• starknet_transaction_prover: extract shared server test utils #14739
• starknet_transaction_prover: make RPC error spec test exhaustive via enum #14051
• starknet_transaction_prover: add TLS integration tests #14050
• starknet_transaction_prover: add ServiceConfig validation tests #14049
• starknet_transaction_prover: add CORS validation unit tests #14048
• main-v0.14.4

This stack of pull requests is managed by Graphite. Learn more about stacking.

[reviewable-StarkWare]

This change is 

[github-actions]

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale.
This PR will be closed and locked in 7 days if no further activity occurs.
Thank you for your contributions!

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit ad88f40. Configure here.}