Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Recurso digital |
| Lingua: | |
| Pubblicazione: |
Zenodo
2026
|
| Accesso online: | https://doi.org/10.5281/zenodo.18451634 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866901236982218752 |
|---|---|
| author | Lin, Jian |
| author_facet | Lin, Jian |
| 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> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18451634 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | CDIP v2.0 Phase B Patch P21—Robust Margin Theorem (G11-PROP) Lin, Jian <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> |
| title | CDIP v2.0 Phase B Patch P21—Robust Margin Theorem (G11-PROP) |
| url | https://doi.org/10.5281/zenodo.18451634 |