Protocol, Settlement & Frame Execution

Tools

`protocol_deficit`

Measure protocol overhead as topological deficit. Compares a given framing to the paper's 10-byte self-describing binary stream frame header, and to HTTP/1.1 baseline. Returns overhead ratio, deficit,...

`settlement_band_gap`

Compute the settlement band gap for a negotiation protocol. Given a set of offers from multiple parties, determines the current gap, convergence rate, estimated rounds to settlement, and whether the s...

`frame_analysis`

Analyze a wire format for fork/race/fold nativity. Determines whether the frame format IS the execution model (protocol-as-execution closure) or merely carries data. Returns nativity score, overhead a...

`whip_wave`

Analyze whip wave duality in a signal propagation system. Given a chain of segments with varying lengths and speeds, computes total propagation time, whip amplification factor, and wave interference p...

`overhead_comparison`

Compare protocol overhead across multiple formats. Ranks by efficiency, flags head-of-line blocking risk, and recommends the best protocol for the given workload (LEDGER section 7).

`frame_header_sandwich`

Compute the frame header sandwich: ⌈log₂(N×S)/8⌉+1 ≤ header ≤ 128. Returns information-theoretic floor and protocol overhead ceiling.

`thm_q_deficit`

Quantum speedup identity in topology-matched regime [LEDGER: THM-Q-DEFICIT]

`thm_q_correspondence_boundary`

Path-integral correspondence is operationally exact only for linear full aggregation; nonlinear selection cannot preserve the same partition-additivity/order-invariance properties in general, and any ...

`thm_proto_deficit`

TCP/QUIC/Aeon deficit ordering [LEDGER: THM-PROTO-DEFICIT]

`thm_settlement`

Settlement deficit (`seq=2`, `parallel=0`) [LEDGER: THM-SETTLEMENT]

`thm_bandgap_beta2`

Band gap implies `β₂ > 0 [LEDGER: THM-BANDGAP-BETA2]

`thm_band_gap_void`

Band gap as void positivity: an allowed energy band with forbidden zones tracks band gap existence and void positivity. When forbidden energies exist between boundary levels, Beta2 > 0 -- the void mea...

`thm_protocol_deficit`

Topological deficit across protocol families: TCP has deficit = streamCount - 1 (zero Beta1), QUIC has deficit = 0 (full Beta1), Flow has deficit = 0. The deficit measures how much multiplexing topolo...

`thm_quantum_deficit`

Quantum speedup through Beta1 elimination: N = rootN^2. Classical deficit = rootN - 1. Quantum deficit = 0. Sequential rounds = N, parallel rounds = rootN, speedup = N / rootN [LEDGER: THM-QUANTUM-DEF...

`thm_settlement_deficit`

Sequential settlement has deficit = 2, parallel settlement has deficit = 0. The topological deficit measures wasted parallelism in the settlement mode [LEDGER: THM-SETTLEMENT-DEFICIT]

`thm_frame_bisim`

Frame-native execution (frameRace, frameFold) produces identical results to Stream-based execution under the canUseFrameNativePath guard: no timeout, no shared state, all handlers registered, default ...

`thm_frame_wallington_equiv`

Tick-parallel frame executor with flat pre-allocated grid produces same output as sequential Stream-based wallington for any stage/chunk decomposition [LEDGER: THM-FRAME-WALLINGTON-EQUIV]

`thm_frame_overhead_bound`

Frame-native allocates O(N) raw promises; Stream-based allocates O(7N) objects (AbortController + event listener + state machine + Promise constructor + result wrapper + vented tracker + map entry). S...

`thm_fold_increases_wave_speed`

A fold reduces mass density ρ (discharges β₁) while preserving tension T (energy conservation). Wave speed c² = T/ρ increases at every fold. Inner folds are faster than outer folds. This is why the ti...

`thm_snap_threshold`

The snap (supersonic transition) is inevitable if tension is preserved and mass decreases through enough fold stages. For any threshold c*², there exists a fold depth where wave speed exceeds it. Phys...

`thm_taper_monotonicity`

Through a sequence of nested folds, wave speed is monotonically increasing. No fold can slow the wave down (Second Law: folds are irreversible, β₁ only decreases). The taper is a one-way energy concen...

`thm_binary_encoding`

A snap sequence encodes a bitstream: snap = 1, silence = 0. Channel capacity = number of fold stages. The metronomic regime (equal spacing, zero jitter) maximizes capacity. Scale-invariant: works on p...

`thm_whip_wave_duality`

The fork/race/fold primitive is a wave on a discrete tapered medium. Fork increases ρ (creates mass across parallel paths). Fold decreases ρ (concentrates energy at the snap point). Wave speed increas...