codew/numbers
Toolkit
LabBuild

Aggregation-grain data contract

A runnable contract for exact, censored, and lower-bound values across detailed and coarse grains.

Data engineeringMachine learning
Use this

Download the reusable source

Read it before copying. Replace the example paths, dimensions, workflow names, and authority boundaries with those in your own system.

Primary artifact Companion 1
Why it exists

Read the reasoning before the recipe

ProofUnderstand

The arithmetic was correct. The grain was wrong.

Why censored detailed rows cannot reconstruct an exact coarse total, and how to make aggregation grain part of the product contract.

Data engineering · Machine learning
Evidence

The field note behind the artifact

PlaybookVerify

Two screenshots became a failing data contract

Data engineering · Agentic engineering