GPA Calculator 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

t5-040

Effect

Computation or source lookup only

Input and validation requirements

The zero-total-credit vector produces an undefined division and must be rejected. The specification also leaves scale tables and plus/minus conventions institution-specific, so accepting such inputs without an explicit configured table can produce materially different GPAs.

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": {
    "scope": "semester",
    "scale": "4.0 standard for this test",
    "grade_point_mapping": {
      "A": 4,
      "B+": 3.3,
      "C": 2
    },
    "courses": [
      {
        "course": "Calculus I",
        "grade": "A",
        "credit_hours": 3
      },
      {
        "course": "English Composition",
        "grade": "B+",
        "credit_hours": 3
      },
      {
        "course": "Biology",
        "grade": "C",
        "credit_hours": 4
      }
    ]
  },
  "expected_outputs": {
    "gpa": 2.99
  },
  "working": "A: 4.0 × 3 = 12.0; B+: 3.3 × 3 = 9.9; C: 2.0 × 4 = 8.0. Weighted points = 12.0 + 9.9 + 8.0 = 29.9. Total credits = 3 + 3 + 4 = 10. GPA = 29.9 ÷ 10 = 2.99."
}

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-tranche5/tranche5-results.json