{
  "lemma": [
    "PCF (D-15)",
    "INV (D-16)"
  ],
  "reference": [
    "docs/MVPS_PCF_PROOF.txt",
    "docs/MVPS_ARCH_PROOF.txt"
  ],
  "generated_at_utc": "2026-05-25T14:38:59.094825+00:00",
  "physical_constants": {
    "c_vacuum_mps": 299792458.0,
    "n_fiber_g652": 1.467,
    "R_earth_km": 6371.0,
    "leo_altitude_km": 550.0
  },
  "rfc_defaults": {
    "bgp_holdtime_s": 90.0,
    "bgp_keepalive_s": 30.0,
    "bgp_M": 3,
    "bgp_convergence_worst_s": 300.0,
    "bfd_min_tx_s": 0.05,
    "bfd_multiplier": 3,
    "dns_ttl_min_s": 60.0,
    "tcp_rto_min_s": 1.0
  },
  "geometry": {
    "antipodal_arc_fiber_km": 20015.086796020572,
    "antipodal_arc_leo_km": 21742.96275549496,
    "tau_causal_fiber_antipodal_s": 0.1958830620733106,
    "tau_causal_leo_antipodal_s": 0.1450534339692759
  },
  "scenarios": [
    {
      "label": "Classical Internet -- BGP convergence worst case",
      "rfc": "Labovitz et al. 2001 (operational, not RFC-mandated)",
      "T_tick_s": null,
      "M": null,
      "tau_sampling_s": {
        "max": 300.0
      },
      "R_star_s": 300.0,
      "binding": "tau_sampling"
    },
    {
      "label": "Classical Internet -- BGP keepalive (RFC 4271 default)",
      "rfc": "RFC 4271 Section 10",
      "T_tick_s": 30.0,
      "M": 3,
      "tau_sampling_s": {
        "min": 60.195883062073314,
        "E": 75.1958830620733,
        "max": 90.1958830620733,
        "spread": 30.0
      },
      "R_star_s": 90.1958830620733,
      "binding": "tau_sampling"
    },
    {
      "label": "Classical Internet -- DNS TTL_min",
      "rfc": "RFC 2181 / RFC 8767",
      "T_tick_s": 60.0,
      "M": 1,
      "tau_sampling_s": {
        "max": 60.0
      },
      "R_star_s": 60.0,
      "binding": "tau_sampling"
    },
    {
      "label": "Classical Internet -- TCP RTO_min",
      "rfc": "RFC 6298 Section 2.4 / RFC 9293",
      "T_tick_s": 1.0,
      "M": 1,
      "tau_sampling_s": {
        "max": 1.0
      },
      "R_star_s": 1.0,
      "binding": "tau_sampling"
    },
    {
      "label": "Classical Internet -- BFD production",
      "rfc": "RFC 5880 Section 6.8.1",
      "T_tick_s": 0.05,
      "M": 3,
      "tau_sampling_s": {
        "min": 0.2958830620733106,
        "E": 0.32088306207331063,
        "max": 0.34588306207331065,
        "spread": 0.05
      },
      "R_star_s": 0.34588306207331065,
      "binding": "tau_sampling"
    },
    {
      "label": "MVPS V3 Echo + fiber (N = 30)",
      "T_tick_s": 0.05,
      "M": 1,
      "N": 30,
      "D_nats": 0.05,
      "beta_star": 1e-06,
      "tau_sampling_s": {
        "min": 0.1958830620733106,
        "E": 0.2208830620733106,
        "max": 0.24588306207331062,
        "spread": 0.05
      },
      "tau_information_s": 0.46051701859880917,
      "tau_consensus_s": 0.006671281903963041,
      "tau_coupling_s": 0.05,
      "tau_causal_s": 0.1958830620733106,
      "R_star_s": 0.46051701859880917,
      "binding": "tau_information"
    },
    {
      "label": "MVPS V3 Echo + fiber (N = 1000)",
      "T_tick_s": 0.05,
      "M": 1,
      "N": 1000,
      "D_nats": 0.05,
      "beta_star": 1e-06,
      "tau_sampling_s": {
        "min": 0.1958830620733106,
        "E": 0.2208830620733106,
        "max": 0.24588306207331062,
        "spread": 0.05
      },
      "tau_information_s": 0.013815510557964275,
      "tau_consensus_s": 0.006671281903963041,
      "tau_coupling_s": 0.05,
      "tau_causal_s": 0.1958830620733106,
      "R_star_s": 0.24588306207331062,
      "binding": "tau_sampling"
    },
    {
      "label": "MVPS V3 Echo + LEO mesh (N = 30)",
      "T_tick_s": 0.05,
      "M": 1,
      "N": 30,
      "D_nats": 0.05,
      "beta_star": 1e-06,
      "tau_sampling_s": {
        "min": 0.1450534339692759,
        "E": 0.17005343396927589,
        "max": 0.19505343396927588,
        "spread": 0.05
      },
      "tau_information_s": 0.46051701859880917,
      "tau_consensus_s": 0.006671281903963041,
      "tau_coupling_s": 0.05,
      "tau_causal_s": 0.1450534339692759,
      "R_star_s": 0.46051701859880917,
      "binding": "tau_information"
    },
    {
      "label": "MVPS V3 Echo + LEO mesh (N = 1000)",
      "T_tick_s": 0.05,
      "M": 1,
      "N": 1000,
      "D_nats": 0.05,
      "beta_star": 1e-06,
      "tau_sampling_s": {
        "min": 0.1450534339692759,
        "E": 0.17005343396927589,
        "max": 0.19505343396927588,
        "spread": 0.05
      },
      "tau_information_s": 0.013815510557964275,
      "tau_consensus_s": 0.006671281903963041,
      "tau_coupling_s": 0.05,
      "tau_causal_s": 0.1450534339692759,
      "R_star_s": 0.19505343396927588,
      "binding": "tau_sampling"
    }
  ],
  "world_number": {
    "R_internet_worst_s": 300.0,
    "R_mvps_fiber_n1000_s": 0.24588306207331062,
    "speedup_factor": 1220.0921749972117,
    "headline": "MVPS reactive latency floor is ~1220x lower than classical Internet (BGP-convergence worst case) at planetary antipodal scale."
  },
  "arch_conformance": {
    "D-1": {
      "draft": "draft-melegassi-ippm-mvps-bundle",
      "surface": "network observatory (RTT, fingerprint, edges)",
      "A1": "HOLDS",
      "A2": "HOLDS",
      "A3": "HOLDS",
      "A4": "HOLDS (H)",
      "A5": "HOLDS",
      "inherits_v4_catalogue": true
    },
    "D-2": {
      "draft": "draft-melegassi-mvps-incremental-be",
      "surface": "network observatory + cell partition",
      "A1": "HOLDS",
      "A2": "HOLDS",
      "A3": "HOLDS",
      "A4": "HOLDS",
      "A5": "HOLDS",
      "inherits_v4_catalogue": true
    },
    "D-3": {
      "draft": "draft-melegassi-coherence-bfd",
      "surface": "network observatory specialised to BFD wire format",
      "A1": "HOLDS (CAVEAT: V3 Echo allows N=2; full conformance recommends N>=3 per D-1 OC1)",
      "A2": "HOLDS",
      "A3": "HOLDS",
      "A4": "HOLDS (H)",
      "A5": "HOLDS",
      "inherits_v4_catalogue": true
    },
    "D-4": {
      "draft": "draft-melegassi-mvps-ddos-resilience",
      "surface": "network observatory + multi-region cell partition",
      "A1": "HOLDS",
      "A2": "HOLDS",
      "A3": "HOLDS",
      "A4": "HOLDS (H)",
      "A5": "HOLDS",
      "inherits_v4_catalogue": true
    },
    "D-5": {
      "draft": "draft-melegassi-mvps-ai-coherence",
      "surface": "AI serving (embeddings, attention, outputs)",
      "A1": "HOLDS",
      "A2": "HOLDS",
      "A3": "HOLDS",
      "A4": "HOLDS (H)",
      "A5": "HOLDS",
      "inherits_v4_catalogue": true
    },
    "D-6": {
      "draft": "draft-melegassi-ippm-mvps-coherence-leadtime",
      "surface": "network observatory specialised to rank-1 propagating signals",
      "A1": "HOLDS",
      "A2": "HOLDS",
      "A3": "HOLDS",
      "A4": "HOLDS (H)",
      "A5": "HOLDS",
      "inherits_v4_catalogue": true
    },
    "D-7": {
      "draft": "draft-melegassi-ippm-mvps-orbital-coherence",
      "surface": "ground vantages + orbital segment + TLE",
      "A1": "HOLDS",
      "A2": "HOLDS",
      "A3": "HOLDS",
      "A4": "HOLDS (H)",
      "A5": "HOLDS",
      "inherits_v4_catalogue": true
    }
  },
  "verdicts": {
    "PCF": "PASS",
    "ARCH": "PASS",
    "overall": "PASS"
  },
  "proof_sha256": {
    "docs/MVPS_PCF_PROOF.txt": {
      "sha256": "9e442f06fcb8d12d7b1ac1934c7687f3ddaccff99139cc58fab8fa8c419aeee8",
      "size_bytes": 29412
    },
    "docs/MVPS_ARCH_PROOF.txt": {
      "sha256": "ce13ed46c39fc2fbd90d3fe4434f6360d491b30c9420e18fc46ab573c30f543b",
      "size_bytes": 31454
    },
    "docs/MVPS_PLANETARY_FLOOR_PROPOSAL.txt": {
      "sha256": "2eb2e14eac8ba2c0b126b2516e59a922d54c48db54cdb0984ce5287093f96e5b",
      "size_bytes": 33476
    },
    "docs/MVPS_ARCHITECTURE_PROPOSAL.txt": {
      "sha256": "5cb0bb85324f4e2f37dc2df33b0730f4432f788aebd86da52daeced7b554c9ac",
      "size_bytes": 35783
    },
    "docs/MVPS_MATHEMATICAL_EXISTENCE_PROOF_V4.txt": {
      "sha256": "f1498db71ce71ca826582084169c89eeaac956549dac4015cc6971a55d6436aa",
      "size_bytes": 23975
    },
    "docs/MVPS_DETECTION_LATENCY_LEMMA.txt": {
      "sha256": "ad263b6a1a44af42dad45c8965c88e5805b9525c8769d07798a5b2e1665869d5",
      "size_bytes": 14829
    },
    "docs/MVPS_ORBITAL_PROOF.txt": {
      "sha256": "d8b101cd6335ea2a180b510fcad210d65189b012c059936bdbf2e436738605a2",
      "size_bytes": 17404
    }
  }
}