math.numerical.definite_integral

• Golden tests 3 / 3
• Boundary tests 1 / 1
• Property tests 5 / 5
• Production surface contract 4 / 4
}
• Engine tested Yes
• Source checked Yes
• Artifact integrity PASS
• Production attestation Embedded snapshot: STALE · Last attested schema matched 1.0.0 snapshot / local build · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · Public/cache ✓ · Origin ✓ · Live production status STALE (22 capabilities; 141 remain CURRENT) @ 2026-09-16T23:19:12.228Z
• Semantic contract PASS
• Evidence attested at 2026-09-16T23:18:54.751Z
• Last production check 2026-09-16T23:18:54.751Z
• Public / cache PASS
• Origin PASS
• Supplemental domain review Not performed
• Named expert review Not performed

• release artifacts aligned PASS
• schema valid input executes PASS
• engine success output validates schema PASS
• schema rejects incomplete input PASS

Fingerprint sha256:030ad6fbbf0e15be953ac684fc6b9a14275aa462ffec14916af0e1ce95a30258

Input schema sha256:eb18b90174a39a6eddf1fcef217d041603b179adb0c6921040af31a6666fb746 · Output schema sha256:c184e02d2e1be384650183910b8705308dc14d09017efc944e15c938a041eb3d · 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.

Tool

definite-integral

Engine

definite-integral

Engine build

2026-09-16

Evidence core

2026-09-16T15:14:48.779Z

Rendered

2026-09-16T22:38:08.876Z

Last reviewed

—

Assumptions

• Not indefinite CAS
• Polynomial degree ≤ 8

Limitations

• Not indefinite / symbolic CAS integrate
• n panels 2–10000; Simpson n forced even
• Polynomial degree ≤ 8