2D Shape Area/Perimeter Calculator

Inspectable records

Ledger state

The current ledger marks this instrument verified clean within the source-bound verification corpus.

Area

Mathematics — arithmetic through advanced (algebra, matrices, calculus, sequences/series, number theory, combinatorics, graphing, complex numbers, geometry, logic, sets)

Tranche

tranche-4

Evidence ID

t4-165

Ledger rows

1

No ledger note is attached.

Review findings

The honest label is empty and should state that the current specification is incomplete: only circle area, sector area, and polygon shoelace area are explicitly supplied. The advertised support for rectangle, regular polygon, trapezoid, ellipse, sector/segment, and all perimeter outputs requires additional formulas, input constraints, angle-unit handling, and an ellipse-perimeter approximation policy.

Formula and scope findings

• The specification does not provide a perimeter formula for any shape, although perimeter is listed as an output.
• The shoelace formula computes polygon area only; polygon perimeter requires summing Euclidean distances between consecutive vertices, including the closing edge.
• Rectangle formulas are missing: area = width × height and perimeter = 2(width + height).
• Trapezoid formulas are missing: area = 1/2(a + b)h and perimeter = a + b + c + d.
• Regular-polygon formulas and the required inputs, such as side length or apothem, are missing.
• Ellipse area is missing: A = πab. Ellipse perimeter has no general elementary exact formula, so an approximation method and its accuracy must be specified.

Unit assumptions

• All linear dimensions must use the same unit; areas are in the corresponding squared unit and perimeters in the corresponding linear unit.
• The circle and sector formulas require a nonnegative radius.
• Sector and segment angles must be explicitly identified as radians or converted from degrees before use; the formula A = 1/2r²θ assumes radians.
• For shoelace polygons, vertices must be ordered around the boundary, clockwise or counterclockwise, with the closing edge from the last vertex to the first.
• π is assumed to be the mathematical constant π; displayed decimal precision must be specified.

Boundary hardening

Recorded hazards

• Division by zero is not inherent in the listed formulas, but any future formulas using an apothem, height, radius, or other denominator must reject zero denominators.
• Negative radii, negative lengths, invalid polygon vertex lists, fewer than three polygon vertices, and non-finite numeric inputs require validation.
• Self-intersecting polygon vertices can produce an algebraic shoelace result that is not the intended geometric area; this case needs an explicit policy.
• A sector angle outside the valid range for the intended sector representation, such as an angle greater than 360 degrees, needs validation or a defined interpretation.
• Ellipse perimeter requires an approximation or numerical method; labeling it as exact without qualification would be misleading.

Errata and corrections

No applied erratum is attached to this unique-name record.

Inspectable example

4 review vectors are recorded. One source-bound sample is shown below.

{
  "inputs": {
    "shape": "circle",
    "radius": 5,
    "length_unit": "cm"
  },
  "expected_outputs": {
    "area": 78.53981633974483,
    "perimeter": 31.41592653589793,
    "area_unit": "cm²",
    "perimeter_unit": "cm"
  },
  "working": "Area = πr² = π × 5² = 25π = 78.53981633974483 cm². Perimeter = 2πr = 2 × π × 5 = 10π = 31.41592653589793 cm."
}

Related workflows

No source-defined multi-instrument workflow membership is recorded.

Sources and evidence

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

• VERIFIED_LEDGER.json · VERIFIED_CLEAN
• evidence-tranche4/tranche4-results.json