Document Under Analysis
Freddie Mac Multifamily Structured Credit Risk Notes, Series 2024-MN9
This is a $205 million structured credit risk transfer transaction. Freddie Mac issues three classes of notes — M-1, M-2, and B-1 — linked to the performance of a reference pool of multifamily mortgage loans. Investors bear credit risk through a system of write-downs, write-ups, and interest reductions tied to credit events on the underlying loans.
The document runs to over 200 pages and contains a layered set of interdependent payment obligations, loss allocation rules, subordination mechanics, and trigger conditions — each individually reasonable, but collectively subject to logical interaction under stress.
Validity read the entire document, extracted every binding commitment, and checked whether those commitments are simultaneously satisfiable. The results are below.
↗ View source document — MSCR_2024-MN9_private_placement_memorandum.pdf
The document runs to over 200 pages and contains a layered set of interdependent payment obligations, loss allocation rules, subordination mechanics, and trigger conditions — each individually reasonable, but collectively subject to logical interaction under stress.
Validity read the entire document, extracted every binding commitment, and checked whether those commitments are simultaneously satisfiable. The results are below.
↗ View source document — MSCR_2024-MN9_private_placement_memorandum.pdf
What Validity Found
CONSISTENT
C0001C0002C0009
Payment waterfall is internally consistent
The document states payment priority in three separate sections — Priority of Payments, Interest, and Status and Subordination. All three are logically consistent with each other. The waterfall (Return Amount first, then interest, then principal) is unambiguous and satisfiable across every statement of it in the document.
NOTABLE
C0006C0007
Write-down and write-up orders are deliberately asymmetric
Losses are absorbed bottom-up — B-1 Notes are written down before M-2, and M-2 before M-1. Recoveries are restored top-down — M-1 recovers before M-2, and M-2 before B-1. This is not a contradiction; it is a deliberate structural feature of the transaction. The practical consequence is that B-1 Note holders absorb losses first and recover last — a disproportionate risk profile that is consistent in the document but material to any investment decision.
UNRESOLVED
C0011C0012
Notes continue to accrue interest after an EOD-triggered redemption
The document states that notes cease to bear interest after the Early Redemption Date — but carves out an exception when an Indenture Event of Default has occurred. Since an EOD also triggers early redemption, notes redeemed via an EOD continue accruing interest indefinitely. The document does not specify whether the Trust holds sufficient assets to pay that interest, or where it ranks in the payment waterfall on subsequent payment dates. This path is unresolved and requires legal review.
UNRESOLVED
C0003C0009
Maturity principal obligation and Return Amount priority compete under stress — material gap
The document states in absolute terms that the Trust "will pay" 100% of the outstanding principal balance at maturity. It also states that the Return Amount is paid before any amounts owed on the Notes. Under stress — where Eligible Investments have been depleted and a Return Amount is simultaneously owed — both obligations cannot be fully satisfied. The document contains no provision that explicitly resolves this competition. This is a material gap.
Consistency Certificate
SAT
No logical contradictions proved within extracted commitments
Proof ID
00ec5bea-d62f…256e
Document Hash
428b3e2a…989c3
Outcome
SAT
Assurance Class
MACHINE
Solver
Z3 · 4.12.x
LFS Version
1.0.0
Unresolved Regions
NOTABLE
UD-001 · C0011, C0012 — EOD-triggered acceleration and interest cessation exception interact. Trust payment capacity on this path is not addressed in the document.
MATERIAL
UD-002 · C0003, C0009 — Absolute maturity principal obligation and Return Amount priority compete under insufficient Trust assets. No explicit resolution provided.
The extracted commitments of this document are internally consistent within the Validity LFS v1.0.0 fragment. No provable contradiction was found. Two unresolved regions were identified where the document does not provide sufficient explicit commitment to resolve competing obligations under stress conditions. This certificate covers logical consistency of extracted commitments only and does not constitute an opinion on creditworthiness, suitability, or legal enforceability.
Extraction · Formalisation · LFS validation · SMT encoding
01Commitment Extraction
15 extracted▾
The extraction engine identifies every clause that constitutes a verifiable commitment — obligations, thresholds, conditional triggers, and definition bindings. Each is assigned a stable ID and anchored to its source location in the document.
| ID | Type | Commitment | Section |
|---|---|---|---|
| C0001 | OBLIGATION | Return Amount paid first; interest and principal second on each Payment Date | Priority of Payments |
| C0002 | OBLIGATION | Trust uses Distribution Account funds: Return Amount first, then Interest Payment Amount | Interest |
| C0003 | OBLIGATION | On Maturity Date, Trust will pay 100% of outstanding Class Principal Balance | Principal |
| C0004 | OBLIGATION | On non-Maturity Payment Dates, principal equals Senior/Subordinate Reduction Amounts | Principal |
| C0005 | OBLIGATION | Tranche Write-down reduces Class Principal Balance without any corresponding payment | Write-down Amounts |
| C0006 | OBLIGATION | Write-down allocated bottom-up: B-2H → B-1 → M-2 → M-1 → A-H | Allocation of Write-down |
| C0007 | OBLIGATION | Write-up allocated top-down: A-H → M-1 → M-2 → B-1 → B-2H | Allocation of Write-up |
| C0008 | THRESHOLD | M-1 senior to M-2; M-2 senior to B-1 in right of payment | Status and Subordination |
| C0009 | OBLIGATION | Return Amount paid before any amounts owed on Notes | Status and Subordination |
| C0010 | TRIGGER | Mandatory redemption upon termination of Collateral Administration Agreement | Principal |
| C0011 | TRIGGER | Acceleration at any time upon Indenture Event of Default | Principal |
| C0012 | OBLIGATION | Notes cease to bear interest after Early Redemption Date, unless EOD has occurred | Early Redemption Date |
| C0013 | THRESHOLD | M-1H represents no less than 5% of combined M-1 and M-1H Class Notional Amount | Risk Retention |
| C0014 | OBLIGATION | Write-down reduces future interest payable on that Class of Notes | Write-down Amounts |
| C0015 | TRIGGER | Benchmark Transition Event triggers Administrator to determine alternative Benchmark | Benchmark Replacement |
02Formalisation — Translation Output Artifacts
15 TOAs▾
03LFS Fragment Validation
15 / 15 passed▾
04SMT Encoding + Solver
2 unresolved▾