Dear IPPM,
I would like to draw the working group's attention to the Multi-Vantage Path
Snapshot (MVPS) family of individual Internet-Drafts.
MVPS is built around a single measurement primitive: the coherence of an
observed state across multiple spatially independent vantages on a common tick.
From that primitive, the draft family explores consequences across network
measurement, routing visibility, security detection, operational observability,
AI-state consistency, constrained systems, satellite environments, and
distributed trust.
Each draft is accompanied by a constructive validator (exit 0) and a numerical
receipt. The family explicitly separates proved theorems [T] from conjectures
[C].
While several drafts target other working groups, I am posting here because the
measurement core originates in IPPM and the coherence model is shared across
the entire family.
--- Core / measurement ---
The canonical wire format: how a multi-vantage snapshot is packed so coherence
is computable.
https://datatracker.ietf.org/doc/draft-melegassi-ippm-mvps-bundle/
Bandwidth-efficient incremental bundles: coherence without re-sending full
state every tick.
https://datatracker.ietf.org/doc/draft-melegassi-mvps-incremental-be/
Sub-second coherence-loss detection by piggybacking on BFD timing.
https://datatracker.ietf.org/doc/draft-melegassi-coherence-bfd/
Detection that triggers on the coherence break, not on traffic volume:
volume-independent DDoS detection.
https://datatracker.ietf.org/doc/draft-melegassi-mvps-ddos-resilience/
Extends coherence to semantic/AI state: model and output drift measured across
vantages.
https://datatracker.ietf.org/doc/draft-melegassi-mvps-ai-coherence/
Closed-form lead time: how early multi-vantage coherence flags an anomaly
before any per-node threshold fires.
https://datatracker.ietf.org/doc/draft-melegassi-ippm-mvps-coherence-leadtime/
--- Foundations / trust ---
The invariance meta-theorem: MVPS results hold on ANY surface that satisfies
axioms A1..A5.
https://datatracker.ietf.org/doc/draft-melegassi-iab-mvps-architecture/
A lower bound on the coherence achievable across a planet-scale mesh.
https://datatracker.ietf.org/doc/draft-melegassi-iab-mvps-planetary-floor/
Coherent-Witness Trust: vantages cosign so a coherence claim is attributable
and non-repudiable.
https://datatracker.ietf.org/doc/draft-melegassi-santos-ippm-mvps-cwt/
Atomic snapshot backup of coherence state (SNAP).
https://datatracker.ietf.org/doc/draft-melegassi-dispatch-mvps-snap-backup/
Binds Coherence-BFD + DDoS + CWT into one deployable contract with joint cost
theorems.
https://datatracker.ietf.org/doc/draft-melegassi-mvps-perfsec-coupling/
Path coherence and RTT localization under MPLS camouflage.
https://datatracker.ietf.org/doc/draft-melegassi-ippm-mvps-mpls/
--- Integrity of the proofs ---
Tamper-evident binding of proofs, validators and receipts.
https://datatracker.ietf.org/doc/draft-melegassi-ippm-mvps-proof-envelope/
Detection-latency reconciliation across the family.
https://datatracker.ietf.org/doc/draft-melegassi-ippm-mvps-latency-reconciliation/
The adversarial-audit discipline (M-1..M-9).
https://datatracker.ietf.org/doc/draft-melegassi-irtf-mvps-methodology/
Append-only tamper-evident event logging.
https://datatracker.ietf.org/doc/draft-melegassi-opsawg-mvps-logging/
--- Domain profiles ---
Orbital:
https://datatracker.ietf.org/doc/draft-melegassi-ippm-mvps-orbital-coherence/
Maritime:
https://datatracker.ietf.org/doc/draft-melegassi-ippm-mvps-maritime-edge/
Terrestrial mobile:
https://datatracker.ietf.org/doc/draft-melegassi-ippm-mvps-terrestrial-mobile/
IoT/ROLL:
https://datatracker.ietf.org/doc/draft-melegassi-roll-mvps-iot/
OS/host:
https://datatracker.ietf.org/doc/draft-melegassi-opsawg-mvps-os-host/
Video surveillance:
https://datatracker.ietf.org/doc/draft-melegassi-ippm-mvps-video-surveillance/
--- Evolution ---
Capability negotiation and extensibility.
https://datatracker.ietf.org/doc/draft-melegassi-ippm-mvps-extensions/
Comments, reviews, counterexamples, theorem challenges, deployment critiques
and adversarial analysis are especially welcome.
Thank you,
Leonardo Melegassi
Catellix
mailto:[email protected]
_______________________________________________
spring mailing list -- [email protected]
To unsubscribe send an email to [email protected]
