# Borrower's Protection (assurance emprunteur, ADE)

[Product Specification](product-spec.md) defines the representative product and
[Technical Notes](technical-notes.md) derive its liability cash flow model.
[Implementation Notes](model.md) explain how `ADE_FR_S` implements those notes and what was
standardized to do so; the cells reference generated from the model's own docstrings
follows it. Every source any of them cites is in [Sources](sources.md).

```{toctree}
:maxdepth: 1

product-spec
technical-notes
model
ADE_FR_S
sources
```