Phase 3 Budget Tables v2¶
This file freezes the current Phase 3 budget envelopes for the host, selected kernel path, and mock-backend proof blobs.
These are fixture-driven engineering budgets, not consensus limits. CI should fail if a committed worst-case scenario grows past its recorded ceiling without an intentional budget update.
Version: 2 Status: all scenarios within budget
Host Paths¶
| Scenario | Transport | tx bytes (actual / limit) | unlock bytes (actual / limit) | outputs (actual / limit) | hash digest iterations (actual / limit) | operation cost (actual / limit) | Status |
|---|---|---|---|---|---|---|---|
| zk_smoke_test | proof_only | 445 / 1004 | 324 / 384 | 2 / 9 | 38 / 64 | 68791 / 70000 | pass |
| alice_bob_pool_internal_send_v1 | wallet_transport | 2351 / 2400 | 2221 / 2300 | 1 / 2 | 67 / 80 | 52468 / 70000 | pass |
Host metric source notes:
- zk_smoke_test: buildZkSmokeFixture().localVerification.metrics
- alice_bob_pool_internal_send_v1: frozen host_v1 baseline metrics over committed internal-send fixture (legacy OFv1 snapshot)
Selected Kernel Path¶
| Scenario | unlock bytes (actual / limit) | hash digest iterations (actual / limit) | operation cost (actual / limit) | Status |
|---|---|---|---|---|
| kernel_v1_mock_backend_selected_backend | 98 / 98 | 3 / 8 | 3335 / 8000 | pass |
Kernel metric source notes:
- kernel_v1_mock_backend_selected_backend: kernel_v1_mock_backend local VM evaluation over toy_shard_v1
Mock Backend Proof Blobs¶
| Scenario | PB bytes (actual / limit) | proof bytes (actual / limit) | encrypted payload bytes (actual / limit) | hints bytes (actual / limit) | sections (actual / limit) | Status |
|---|---|---|---|---|---|---|
| toy_shard_v1 | 120 / 128 | 64 / 64 | 0 / 0 | 0 / 0 | 1 / 1 | pass |
| alice_bob_pool_internal_send_v1 | 952 / 1000 | 64 / 64 | 618 / 640 | 134 / 160 | 3 / 3 | pass |
Interpretation¶
- The proof-only smoke path remains the smallest host envelope and keeps the original MVP smoke limits.
- The confidential-send transport path is the current worst-case host path because it carries encrypted payload chunks and hints while still recomputing the transport bind on-chain.
- The selected kernel path is measured separately because it spends a backend hook plus proof, not a full host unlock.
- The mock-backend proof blob rows track off-chain blob growth that feeds the host transport and scanner paths.