Source: https://guthlabs.ai/docs/instruments/2d-shape-area-perimeter-calculator/

instrument / verified-clean

# 2D Shape Area/Perimeter Calculator

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

Status: **VERIFIED_CLEAN**Lifecycle: **verified-clean**

## Inspectable records

[01**Overview**Purpose and lifecycle](<https://guthlabs.ai/docs/instruments/2d-shape-area-perimeter-calculator/>)[02**Mechanism**Method and assumptions](<https://guthlabs.ai/docs/instruments/2d-shape-area-perimeter-calculator/mechanism/>)[03**Implementation**Binding and validation](<https://guthlabs.ai/docs/instruments/2d-shape-area-perimeter-calculator/implementation/>)[04**Qualification**Evidence and errata](<https://guthlabs.ai/docs/instruments/2d-shape-area-perimeter-calculator/qualification/>)

## 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`