Guth
NewsDocs
Page actions
View as Markdown ↗
Explore MCP tools ↗

instrument qualification / verified-with-binding-errata

Oblique Shock Calculator qualification

Verified with errata that must be applied at binding time.

Status: VERIFIED_WITH_ERRATALifecycle: verified-with-binding-errata

Ledger verdict

Verified with errata that must be applied at binding time.

Status
VERIFIED_WITH_ERRATA
Tranche
tranche-6
Review vectors
4
Ledger rows
1

Applied errata

[
  {
    "vector": 1,
    "field": "M2",
    "wrong": "sqrt(3)=1.732",
    "correct": 2,
    "cause": "own working concludes M2=Mn2/sin(beta-theta)=1/sin30=2 (degenerate Mach wave, M unchanged) then field ships sqrt(3)"
  },
  {
    "vector": 2,
    "field": "M2",
    "wrong": 1.45605,
    "correct": 1.456324,
    "cause": "micro 5th-digit slip"
  },
  {
    "vector": 3,
    "field": "theta / M2",
    "wrong": "atan(75/382)=11.09 deg / 382.0",
    "correct": "atan(25*sqrt(3)/191)=12.77 deg / 2.3673",
    "cause": "working equates 25*sqrt(3)/191 with 75/382, i.e. sqrt(3)=1.5; M2 field ships the denominator 382 — nonsense value"
  },
  {
    "vector": 4,
    "field": "M2",
    "wrong": 4.14728827,
    "correct": 1.036822,
    "cause": "M2 through a beta=60deg shock at M1=2 cannot exceed M1"
  }
]

Adversarial re-test context

The full catalog was re-tested from boundary, convention, and self-check angles in 2,787 requests. Five genuine computational defects were independently verified and corrected. This page reports the current ledger state for this instrument; it does not imply product deployment or interface qualification.

Release gate

Bind every attached correction, replay the affected vectors, enforce boundary validation, and preserve evidence before describing the executable surface as qualified.

Other records

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

  • VERIFIED_LEDGER.json
  • STRESS_TEST_RECEIPT.json
  • tranche errata record