board_count_as_written / purchasable · vector 4
251.85 / 252
25.3 / 26
expected outputs contradict her own working (which correctly gets 22×1.15=25.3); 10× board-length slip when writing outputsinstrument / verified-with-binding-errata
The current ledger marks this instrument verified with errata that must be applied at binding time.
The current ledger marks this instrument verified with errata that must be applied at binding time.
No ledger note is attached.
Exact ambiguities requiring resolution: the unit for every input; whether waste_percent is entered as 10 or 0.10; which deck dimension is used in the joist formula; whether the +1 includes boundary or rim joists; board orientation and gap assumptions; final rounding policy for board count; and the missing screw-estimate formula. The first vector's expected joist count is 13 because 192 ÷ 16 = 12 and the stated formula adds 1.
BREAK_CLAIMED · SELF_FLAGGED
Zero joist spacing produces an undefined joist count, and the specification provides no formula for the required screw estimate. Nonzero waste also produces fractional board counts unless an additional rounding rule is defined.
board_count_as_written / purchasable · vector 4
251.85 / 252
25.3 / 26
expected outputs contradict her own working (which correctly gets 22×1.15=25.3); 10× board-length slip when writing outputs4 review vectors are recorded. One source-bound sample is shown below.
{
"inputs": {
"deck_width": 192,
"deck_length": 144,
"joist_spacing": 16,
"board_width": 5.5,
"board_length": 192,
"waste_percent": 10,
"units": "in"
},
"expected_outputs": {
"joist_count": 10,
"board_count_as_written": 29.7,
"purchasable_board_count_if_finally_ceiled": 30,
"screw_estimate": "not computable: no screw formula"
},
"working": "Joists: 192 ÷ 16 = 12; ceil(12) = 12; 12 + 1 = 13. Correction: using the stated deck_width of 192 gives 13 joists, not 10. Boards: deck area = 192 × 144 = 27,648 in². One board area = 5.5 × 192 = 1,056 in². Raw boards = 27,648 ÷ 1,056 = 26.181818...; ceil = 27. Waste multiplier = 1 + 10/100 = 1.10. Written formula result = 27 × 1.10 = 29.7; final purchasable count, if ceiled, = 30."
}These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
VERIFIED_LEDGER.json · VERIFIED_WITH_ERRATAevidence-tranche4/tranche4-results.jsonBOUNDARY_HAZARD_CATALOG.json