Framingham-style Cardiovascular Risk Score (education) implementation

Binding contract

This record describes what an executable surface must bind and validate. It does not claim that a public calculator, package, or production route is deployed.

Record owner

Guth Instruments

Lifecycle

verified-clean

Evidence ID

t7-054

Effect

Computation or source lookup only

Input and validation requirements

The instrument cannot produce reproducible numerical outputs from the supplied specification: it does not identify one exact Framingham or ASCVD equation, provide coefficient and baseline-survival tables, define valid input ranges, specify units, or define risk-category thresholds. It also has undefined behavior for domain-invalid values such as HDL = 0.

Required corrections

No binding erratum is attached to this unique-name record. Implementers must still preserve the declared units, domain, and failure behavior.

Inspectable interface fixture

The sample below is evidence for interface and validation tests, not a production implementation.

{
  "inputs": {
    "age_years": 50,
    "sex": "male",
    "total_cholesterol_mg_dL": 200,
    "hdl_mg_dL": 50,
    "systolic_bp_mmHg": 120,
    "bp_treated": false,
    "smoker": false,
    "diabetes": false
  },
  "expected_outputs": {
    "risk_10yr_percent": 7.24,
    "risk_category": "low"
  },
  "reference_data": {
    "equation": "Framingham 2008 general CVD, men",
    "source_convention": "widely tabulated standard value (D'Agostino et al., Circulation 2008)",
    "coefficients": {
      "ln_age": 3.06117,
      "ln_total_cholesterol": 1.1237,
      "ln_hdl": -0.93263,
      "ln_sbp_untreated": 1.93303,
      "smoker": 0.65451,
      "diabetes": 0.57367
    },
    "mean_sum": 23.9802,
    "baseline_survival": 0.88936,
    "clinical_benchmark_values": {
      "total_cholesterol_mg_dL": 200,
      "hdl_mg_dL": 50,
      "systolic_bp_mmHg": 120,
      "source_convention": "widely tabulated standard clinical benchmark values"
    },
    "risk_category_thresholds": {
      "low": "<10%",
      "intermediate": "10% to <20%",
      "high": ">=20%",
      "source_convention": "assumed illustrative convention, not part of the published equation"
    }
  },
  "working": "ln(50)=3.912023; ln(200)=5.298317; ln(50)=3.912023; ln(120)=4.787492. Linear predictor = 3.06117(3.912023) + 1.12370(5.298317) - 0.93263(3.912023) + 1.93303(4.787492) + 0 + 0 = 11.975367 + 5.953719 - 3.648470 + 9.254366 = 23.534982. Difference from mean = 23.534982 - 23.9802 = -0.445218. exp(-0.445218)=0.64070. Risk = 1 - 0.88936^0.64070 = 1 - 0.92760 = 0.07240 = 7.24%."
}

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
• evidence-tranche7/tranche7-results.json