Home Developers Evidence mechanical.statics.circular_section

Public evidence

mechanical.statics.circular_section

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Open calculator API Capability Download JSON MCP Review policy

Verification

6/6 calculation tests · Production surface contract 6/6

  • Golden tests 3 / 3
  • Boundary tests 3 / 3
  • Property tests 0 / 0
  • Production surface contract 6 / 6
    • }
  • Engine tested Yes
  • Source checked Yes
  • Artifact integrity PASS
  • Production attestation Embedded snapshot: unpublished · Build schema 1.0.0 ready · Semantic contract ✓ · Attestation report not published on origin · Live production status STALE (6 capabilities; 189 remain CURRENT) @ 2026-09-23T14:00:05.385Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-23T02:27:54.588Z
  • Last production check 2026-09-23T02:27:54.588Z
  • Public / cache —
  • Origin —
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS
  • schema output required declared PASS
  • schema valid input executes PASS
  • engine success output validates schema PASS
  • schema rejects incomplete input PASS
  • rest success payload validates schema PASS

Fingerprint sha256:7472ceed350a51b6595e6e48c4c75bd7dca3290e740f768b1d5c5b9c9159a9d1

Input schema sha256:e2f9f1f1cc138ceda6c554afb5d8aa3c97623bb2328e6ffcdff8ed12f9a510a4 · Output schema sha256:e0f22a9c1d13c5b01a8c0c5e7bfcf9cf640caaff968ff0d86f08fc38b50550b6 · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Build & scope

Engine identity and declared limitations.

Tool
circular-section
Engine
circular-section
Engine build
2026-09-23
Evidence core
2026-09-23T13:51:50.665Z
Rendered
2026-09-23T14:21:08.543Z
Last reviewed
—

Limitations

  • Solid circle about centroidal diameters
  • Ix = Iy = π r⁴/4
  • Sx = Sy = π r³/4
  • kx = ky = r/2
  • Not a rectangle, a hollow circle, bending stress, or a plastic modulus

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

Published checks

Golden, boundary, and property cases included in this evidence build.

IDKindStatusDetail
golden-twogoldenpassExpected area=12.566370614359172 · Ix=12.566370614359172 · Iy=12.566370614359172 · Sx=6.283185307179586 · Sy=6.283185307179586 · kx=1 · ky=1 · model=circular_section · Actual model=circular_section · r=2 · area=12.566370614359172 · Ix=12.566370614359172 · Iy=12.566370614359172 · kx=1 · ky=1 · Sx=6.283185307179586
golden-unitgoldenpassExpected area=3.141592653589793 · Ix=0.7853981633974483 · Iy=0.7853981633974483 · Sx=0.7853981633974483 · Sy=0.7853981633974483 · kx=0.5 · ky=0.5 · Actual model=circular_section · r=1 · area=3.141592653589793 · Ix=0.7853981633974483 · Iy=0.7853981633974483 · kx=0.5 · ky=0.5 · Sx=0.7853981633974483
golden-fourgoldenpassExpected area=50.26548245743669 · Ix=201.06192982974676 · Iy=201.06192982974676 · Sx=50.26548245743669 · Sy=50.26548245743669 · kx=2 · ky=2 · Actual model=circular_section · r=4 · area=50.26548245743669 · Ix=201.06192982974676 · Iy=201.06192982974676 · kx=2 · ky=2 · Sx=50.26548245743669
boundary-zeroboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-negativeboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-missingboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT