Covenant coverage — resolved-definition demonstration
What the covenant engine resolved from a borrower’s own public credit agreement on EDGAR: the operative amendment chain, the Consolidated EBITDA definition resolved through it, and the share of that definition a lender cannot independently recompute. A signal for review, not a credit rating. Named here in a controlled one-to-one review.
Paya Holdings, Inc.
named (controlled review) · class: live-publicWhy this is the headline number
26 of the 29defined terms in this Consolidated EBITDA definition cannot be independently recomputed from public data — by the lender or anyone else. They are borrower-certified or defer to GAAP: asserted, or with no separately-reported figure to check against. Only 3 map to a separately-reported line and can be recomputed.
The denominator is the resolved Consolidated EBITDA definition closure: the definition itself and every defined term it references, 29 terms in all.
A term that defers to GAAP as a category has no single separately-reported line to recompute it from -- that GAAP-deferral is precisely why it cannot be independently checked, not a reassurance that the figure is right.
This share is a coverage measure, deliberately not a credit grade (uncalibrated).
A small, steady recomputable base is the finding, not a stub: only a handful of EBITDA components map to a public reported line, so the rest rest on the borrower’s own certification -- a low, stable recomputable share is the signal, not a shortfall.
How the spanning tree relates to this count
The NRS denominator is the full resolved-definition census of 29 defined terms. Terminals reachable only through another terminal are counted in the NRS but not expanded in this spanning tree (20 classified terminals shown), so counting terminals here does not reconstruct the denominator.
Measured, not modeled -- across three real facilities (Paya + two Redwire), the recomputable base is small and stable because these definitions are built the same way within the observed template family, not because the share was assumed.
Resolved definition tree
- Consolidated EBITDAcap: 25% of Consolidated EBITDA (determined prior giving effect)
- Acquired EBITDA
- Restricted Subsidiary
- Compliance Certificate
- Consolidated Net Incomedisclosedrecomputable
- Disposed EBITDA
- Financial Officer
- Financial Performance Covenant
- GAAPdiscloseddefers to GAAP
- Holdings Parent
- Non-Cash Chargesdiscloseddefers to GAAP
- Pro Forma Adjustmentdisclosedborrower-certified
- Pro Forma Disposal Adjustmentdisclosedborrower-certified
- Senior Secured Net Leverage Ratio
- Consolidated Senior Secured Net Indebtednessdiscloseddefers to GAAP
- Specified Transaction
- Merchant Portfolio
- Merchant Portfolio Acquisitions
- Portfolio Swaps
- Residual Buyouts
- Sponsor Management Agreement
- Sponsor Model
- Stewardship
- Tiger Acquisition
Add-back caps
| Add-back | Cap formula | Cap value | Claimed | Headroom |
|---|---|---|---|---|
| run-rate cost savings | 25% of resolved Consolidated EBITDA base | not public | cap 25% of resolved Consolidated EBITDA base; claimed not disclosed in public filings — not verifiable on public data | — |
Amendment impact
| Amendment | Date | Impact |
|---|---|---|
| amendment | 2020-07-24 | changed-terminal list and NRS before/after: pending (not in the serialized model) |
| amendment | 2020-10-07 | changed-terminal list and NRS before/after: pending (not in the serialized model) |
Resolution defects
No resolution defects surfaced for this agreement (chain complete, computation resolved).
Reproducibility receipt (capture-provenance)
These hashes were computed when this snapshot was captured from EDGAR, so a reviewer can re-fetch the same exhibits and re-run the serializer to match them. They are NOT engine-emitted receipt fields stamped at render time -- an engine-side covenant receipt is a separate, later step.
Recomputes here from the model on this page. A match confirms this report is unaltered since it was generated.
The digest of the source filing as captured. Confirming it means re-fetching the same exhibits from EDGAR and re-running the serializer — that check is not shipped.
- engine:
- covenant engine E3 inc-7
- input bytes:
- 907995
- source:
- https://www.sec.gov/Archives/edgar/data/1819881/000181988121000021/exhibit104-amendment3.htm (+2 more)
Verification, not a credit opinion. Covenant states are the engine’s, uncalibrated. A signal for review, not a rating, an accusation, or reliance advice.
How the claimed column reads
- present claimed $30M vs cap $25M — within / exceeds
- not_public cap $25M; claimed not disclosed in public filings — not verifiable on public data
- absent cap $25M; no add-back claimed under this line
“Not public” (we cannot see the claim) and “absent” (there is no claim) are distinct on purpose -- never the same cell, never a dash, never a zero.
How findings read (tone by attribution)
the agreement’s amendment chain is incomplete: a recited instrument was not retrieved
a finding about the agreement
the resolver did not locate this definition on public data
a limit of our reach, not an accusation against the borrower
Redwire Corporation
named (controlled review) · class: live-publicWhy this is the headline number
23 of the 26defined terms in this Consolidated EBITDA definition cannot be independently recomputed from public data — by the lender or anyone else. They are borrower-certified or defer to GAAP: asserted, or with no separately-reported figure to check against. Only 3 map to a separately-reported line and can be recomputed.
The denominator is the resolved Consolidated EBITDA definition closure: the definition itself and every defined term it references, 26 terms in all.
A term that defers to GAAP as a category has no single separately-reported line to recompute it from -- that GAAP-deferral is precisely why it cannot be independently checked, not a reassurance that the figure is right.
This share is a coverage measure, deliberately not a credit grade (uncalibrated).
A small, steady recomputable base is the finding, not a stub: only a handful of EBITDA components map to a public reported line, so the rest rest on the borrower’s own certification -- a low, stable recomputable share is the signal, not a shortfall.
How the spanning tree relates to this count
The NRS denominator is the full resolved-definition census of 26 defined terms. Terminals reachable only through another terminal are counted in the NRS but not expanded in this spanning tree (17 classified terminals shown), so counting terminals here does not reconstruct the denominator.
Measured, not modeled -- across three real facilities (Paya + two Redwire), the recomputable base is small and stable because these definitions are built the same way within the observed template family, not because the share was assumed.
Resolved definition tree
- Consolidated EBITDAcap: 30% of Consolidated EBITDA (determined after giving effect)
- Administrative Agent
- Loan
- Capitalized Leasesdiscloseddefers to GAAP
- Capitalized Software Expendituresdiscloseddefers to GAAP
- Consolidated Net Incomedisclosedrecomputable
- GAAPdiscloseddefers to GAAP
- Management Agreement
- Permitted Holders
- Permitted Transferee
- Relevant Public Company
- Specified Transaction
- Pro Forma Effect
- Sponsor Model
Add-back caps
| Add-back | Cap formula | Cap value | Claimed | Headroom |
|---|---|---|---|---|
| run-rate cost savings | 30% of resolved Consolidated EBITDA base | not public | cap 30% of resolved Consolidated EBITDA base; claimed not disclosed in public filings — not verifiable on public data | — |
Amendment impact
| Amendment | Date | Impact |
|---|---|---|
| amendment | 2023-12-22 | changed-terminal list and NRS before/after: pending (not in the serialized model) |
| amendment | 2024-06-18 | changed-terminal list and NRS before/after: pending (not in the serialized model) |
| amendment | 2024-08-28 | changed-terminal list and NRS before/after: pending (not in the serialized model) |
| amendment | 2025-06-04 | changed-terminal list and NRS before/after: pending (not in the serialized model) |
Resolution defects
No resolution defects surfaced for this agreement (chain complete, computation resolved).
Reproducibility receipt (capture-provenance)
These hashes were computed when this snapshot was captured from EDGAR, so a reviewer can re-fetch the same exhibits and re-run the serializer to match them. They are NOT engine-emitted receipt fields stamped at render time -- an engine-side covenant receipt is a separate, later step.
Recomputes here from the model on this page. A match confirms this report is unaltered since it was generated.
The digest of the source filing as captured. Confirming it means re-fetching the same exhibits from EDGAR and re-running the serializer — that check is not shipped.
- engine:
- covenant engine E3 inc-7
- input bytes:
- 1055135
- source:
- https://www.sec.gov/Archives/edgar/data/1819810/000181981023000079/exhibit101-sixthamendmen.htm (+4 more)
Verification, not a credit opinion. Covenant states are the engine’s, uncalibrated. A signal for review, not a rating, an accusation, or reliance advice.
Redwire Corporation
named (controlled review) · class: live-publicWhy this is the headline number
22 of the 25defined terms in this Consolidated EBITDA definition cannot be independently recomputed from public data — by the lender or anyone else. They are borrower-certified or defer to GAAP: asserted, or with no separately-reported figure to check against. Only 3 map to a separately-reported line and can be recomputed.
The denominator is the resolved Consolidated EBITDA definition closure: the definition itself and every defined term it references, 25 terms in all.
A term that defers to GAAP as a category has no single separately-reported line to recompute it from -- that GAAP-deferral is precisely why it cannot be independently checked, not a reassurance that the figure is right.
This share is a coverage measure, deliberately not a credit grade (uncalibrated).
A small, steady recomputable base is the finding, not a stub: only a handful of EBITDA components map to a public reported line, so the rest rest on the borrower’s own certification -- a low, stable recomputable share is the signal, not a shortfall.
How the spanning tree relates to this count
The NRS denominator is the full resolved-definition census of 25 defined terms. Terminals reachable only through another terminal are counted in the NRS but not expanded in this spanning tree (16 classified terminals shown), so counting terminals here does not reconstruct the denominator.
Measured, not modeled -- across three real facilities (Paya + two Redwire), the recomputable base is small and stable because these definitions are built the same way within the observed template family, not because the share was assumed.
Resolved definition tree
- Consolidated EBITDAcap: 25% of Consolidated EBITDA (determined before giving effect)
- Agreement
- Closing Date
- Code
- Indebtednessdiscloseddefers to GAAP
- Laws
- Weighted Average Life to Maturity
- Capitalized Leasesdiscloseddefers to GAAP
- Capitalized Software Expendituresdiscloseddefers to GAAP
- Compliance Certificate
- Consolidated Net Incomedisclosedrecomputable
- Equity Funded Employee Plan Costs
- Cumulative Credit
- GAAPdiscloseddefers to GAAP
- Permitted Holders
- Permitted Transferee
- Relevant Public Company
- Qualified IPOdisclosedborrower-certified
- Specified Transaction
- Pro Forma Effect
Add-back caps
| Add-back | Cap formula | Cap value | Claimed | Headroom |
|---|---|---|---|---|
| run-rate cost savings | 25% of resolved Consolidated EBITDA base | not public | cap 25% of resolved Consolidated EBITDA base; claimed not disclosed in public filings — not verifiable on public data | — |
Amendment impact
| Amendment | Date | Impact |
|---|---|---|
| amendment | 2026-07-01 | changed-terminal list and NRS before/after: pending (not in the serialized model) |
Resolution defects
No resolution defects surfaced for this agreement (chain complete, computation resolved).
Reproducibility receipt (capture-provenance)
These hashes were computed when this snapshot was captured from EDGAR, so a reviewer can re-fetch the same exhibits and re-run the serializer to match them. They are NOT engine-emitted receipt fields stamped at render time -- an engine-side covenant receipt is a separate, later step.
Recomputes here from the model on this page. A match confirms this report is unaltered since it was generated.
The digest of the source filing as captured. Confirming it means re-fetching the same exhibits from EDGAR and re-running the serializer — that check is not shipped.
- engine:
- covenant engine E3 inc-7
- input bytes:
- 1722617
- source:
- https://www.sec.gov/Archives/edgar/data/1819810/000181981026000017/exhibit101amendedandrestat.htm (+1 more)
Verification, not a credit opinion. Covenant states are the engine’s, uncalibrated. A signal for review, not a rating, an accusation, or reliance advice.