spb/wp18_uqo

Tue, Oct 20, 2026 1

1. WP18 phase 2 : modèle, propositions, preuves, benchmark 2-3 périodes

   …

   - research/model_specification.md : Partie A (benchmark 3 étapes / générations
     de 2 périodes, hypothèque nominale FRM/ARM, prêteur, marchés segmentés) et
     Partie B (OLG complet implémentable : états, grilles, timing, Bellman, ERC
     stationnaire, transition MIT, choix numériques)
   - paper/appendix_proofs.tex (+ wrapper standalone compilé avec latexmk) :
     6 hypothèses, 2 lemmes, 9 propositions, 1 corollaire, lacunes étiquetées
   - research/propositions.md (statuts), research/failed_hypotheses.md
   - src/toy_model.py + tests/test_toy_model.py : 44 tests (identités budgétaires,
     dette nominale/réelle, Fisher, seuil fermé = optimisé, A4 vérifiée, signes,
     chaîne dynastique, apurement, comptabilité de l'inflation surprise, impact GE)
   - requirements.txt épinglé ; research/progress.md (Phase 2)
   
   Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

   Simon-Pierre Boucher committed yesterday · 1 file +277
   7301143