Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2026
|
| Online Access: | https://doi.org/10.5281/zenodo.18451634 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <p>0. Executive Summary (Audit Surface)<br>Patch ID:P21-PROPAGATION-ROBUST-MARGIN<br>Gate:G11-PROP (Margin Synthesis)<br>Type:PERIMETER_AUX (non-interfering with CORE)<br>Dependencies: G10-PROP (Theorem L-B) ≺ G11-PROP</p> <p>CORE Interface: PROPAGATION-to-P3-NDG (firewall compliant)<br>Theorem Goal (C.1): Given Frobenius error bound msafe := 2ε and gate:Ωˆ − Ωˆ approxF≤ ε, define robust margin</p> <p>PASSrobust ⇐⇒ σ2n(Ωapprox ) ≥ cΩ + 2ε. ˆThen deterministically σ2n(Ω) ≥ cΩ.</p> <p>Audit Discipline:<br><br>• Pure inequality synthesis (triangle inequality / rearrangement).<br>• No modification to frozen CORE thresholds (cΩ) or Haar constants (non-interference).<br>• Earliest-fail: Missing G10-PROP anchor → FAIL:PROP.MARGIN.INVALID.</p>