test(vault): add mocked post-deployment smoke test flow (closes #399)

[Ranjeet2063]

Summary

Closes #399

Adds a deterministic, contributor-safe mocked post-deployment smoke test flow covering deployed contract ID resolution, initialization input loading, read verification, sequential lifecycle checks (initialization, deposit, reward funding, claim, and withdrawal), and emitted event validation without calling live Stellar testnet or requiring secrets.

Key Changes

1. Mocked Post-Deployment Smoke Test Flow:
   • Covers 5 distinct sequential stages: contract ID resolution, initialization parameter loading, initial state read checks, deposit accounting, and reward allocation / claim / withdrawal flow.
2. Schema & Examples:
   • schemas/mock-post-deployment-smoke.schema.json: Formal JSON Schema defining smoke test input config and report results.
   • examples/mock-post-deployment-smoke-input.json: Reference input config resolving contract ID from registry and initialization inputs from fixture.
   • examples/mock-post-deployment-smoke-output.json: Full sample execution report with all stages passing.
3. CLI & Shell Runners:
   • scripts/run-mocked-smoke-test.py: Standalone CLI supporting human-readable terminal output and structured --json reporting.
   • scripts/run-mocked-smoke-test.sh: Shell wrapper script.
4. Rust Contract Integration Test:
   • contracts/vault-contract/tests/smoke_mocked.rs: Integration tests in Soroban SDK test environment verifying fixture resolution and sequential contract lifecycle execution with event emission checks.
5. Python Regression Tests:
   • scripts/test-mocked-smoke-test.py: Automated test suite testing schema validation, CLI runs, shell runner, and negative input/file mutations.
6. Documentation & README:
   • docs/mock-post-deployment-smoke-test.md and README.md updated with execution guide and safety boundaries.

Acceptance Criteria Checklist

• Mocked post-deployment smoke flow is added.
• Mocked contract ID loading is included.
• Mocked initialization input loading is included.
• Expected lifecycle checks are documented.
• Tests validate the mocked smoke flow or fixtures.
• Example output is included.
• No live RPC calls or secrets are used.
• cargo fmt, cargo check, cargo test, and cargo clippy pass.

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

[El-swaggerito]

\nThis PR is currently blocked by merge conflicts.\n\nPlease update the branch with the latest main branch and resolve the conflicts before it can be merged.