Page actions
instrument / verified-clean
Drywall Sheet Calculator
The current ledger marks this instrument verified clean within the source-bound verification corpus.
Inspectable records
Ledger state
The current ledger marks this instrument verified clean within the source-bound verification corpus.
- Area
- Everyday & Life
- Tranche
- tranche-5
- Evidence ID
- t5-102
- Ledger rows
- 1
No ledger note is attached.
Review findings
The sheet-count formula passes under the stated unit and percentage assumptions, but the spec is not complete enough for a fully honest implementation because screw/joint-compound outputs are claimed without formulas and area treatment for openings is unspecified. The exact review blockers are: waste% encoding, mixed-unit handling, gross-versus-net area, and undefined screw/joint-compound calculations.
Formula and scope findings
- The sheet-count formula is standard and correct when area and sheet_area use the same units and waste_percent is interpreted as a percentage number converted by dividing by 100.
- The specification claims screw and joint-compound estimates but provides no formulas, input assumptions, or output definitions for either estimate.
- The specification does not define whether area is gross surface area or net area after subtracting doors, windows, and other openings.
Unit assumptions
- area and sheet_area must use identical square units before division, such as ft² with ft² or m² with m².
- sheet_area is computed as sheet_width × sheet_height.
- waste% is entered as a numeric percentage such as 10 for 10%, so the implemented multiplier is 1 + waste_percent/100.
- The metric test vector converts 500 ft² to 46.45152 m² using 1 ft² = 0.09290304 m².
- The 4×8 and 4×12 sheet sizes are nominal dimensions in feet.
Boundary hardening
BREAK_CLAIMED · SELF_FLAGGED
A zero sheet dimension produces division by zero and an undefined sheet count. The waste-percent convention also permits a large result discrepancy if the input is interpreted as a fraction instead of a percentage.
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": {
"surface": "walls",
"area": 480,
"area_unit": "ft²",
"sheet_width": 4,
"sheet_height": 8,
"sheet_dimension_unit": "ft",
"waste_percent": 10
},
"expected_outputs": {
"sheets": 17
},
"working": "sheet_area = 4 × 8 = 32 ft²\nwaste multiplier = 1 + 10/100 = 1.10\nwaste-adjusted area = 480 × 1.10 = 528 ft²\nraw sheets = 528 ÷ 32 = 16.5\nsheets = ceil(16.5) = 17"
}Related workflows
Sources and evidence
These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
VERIFIED_LEDGER.json · VERIFIED_CLEANevidence-tranche5/tranche5-results.jsonBOUNDARY_HAZARD_CATALOG.json