net_income(_margin) · vector 1
220000
170000
field contradicts own working (300k−30k−100k=170k computed correctly in text)instrument / 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.
The EBITDA formula and EBITDA margin are standard under the stated exclusions. The instrument needs explicit formulas and input constraints for every listed output, a defined set of margins, a zero-revenue policy, and an explicit monetary-unit convention before it can receive PASS.
BREAK_CLAIMED · SELF_FLAGGED
The zero-revenue case produces undefined margins and should be rejected or explicitly represented as undefined. The specification also leaves expense-sign conventions undocumented and provides no actual formula branch despite a branch-switch hazard test.
net_income(_margin) · vector 1
220000
170000
field contradicts own working (300k−30k−100k=170k computed correctly in text)4 review vectors are recorded. One source-bound sample is shown below.
{
"inputs": {
"revenue": 1000000,
"COGS": 400000,
"opex": 250000,
"D&A": 50000,
"interest": 30000,
"tax": 100000,
"unit": "USD"
},
"expected_outputs": {
"gross_profit": 600000,
"EBITDA": 350000,
"operating_income": 300000,
"net_income": 220000,
"gross_margin": 0.6,
"ebitda_margin": 0.35,
"operating_margin": 0.3,
"net_income_margin": 0.22
},
"working": "Gross profit = 1,000,000 - 400,000 = 600,000. EBITDA = 1,000,000 - 400,000 - 250,000 = 350,000. Operating income = 350,000 - 50,000 = 300,000. Net income = 300,000 - 30,000 - 100,000 = 170,000. Gross margin = 600,000 / 1,000,000 = 0.60. EBITDA margin = 350,000 / 1,000,000 = 0.35. Operating margin = 300,000 / 1,000,000 = 0.30. Net-income margin = 170,000 / 1,000,000 = 0.17."
}No source-defined multi-instrument workflow membership is recorded.
These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
VERIFIED_LEDGER.json · VERIFIED_WITH_ERRATAevidence-tranche5/tranche5-results.jsonBOUNDARY_HAZARD_CATALOG.json