SPB Git forge

spb/wp18_uqo

Public
6commits 1branches 0releases
5.4 MBsize
maindefault branch
yesterdaylast push
TeX 53.2% Python 46.6%

History of research/propositions.md · clear filter

  1. Tue, Oct 20, 2026 2

    1. WP18 phase 4 : audit final, réconciliation théorie-simulation, manuscrit v1.0
      …
      - research/results_audit.md final : étiquettes identité / théorie / simulation GE / PE / conjecture, décompte exact des runs et des résidus, classification des trois désaccords théorie-simulation
      - Prop. 9 restreinte (Assumption 7 : positions nominales) + Corollary 2 (créanciers nominaux nets : signe de dp = signe de Xi) ; Prop. 7 sous demande unitaire ; Prop. 2 avec contrainte LTV serrée + décision une fois pour toutes ; énoncés dans sections/equilibrium.tex, preuves dans appendix_proofs.tex (standalone : modèle + énoncés + preuves)
      - paper/main.tex v1.0 : 65 p. (45 p. de texte principal), résumé 217 mots, 7 mots-clés, JEL R21 R31 D31 D91 E31 G51 ; 13+1 figures, 5+4 tables ; chaque chiffre = macro de numbers.tex (2 571 macros)
      - Makefile : paper-inputs (copies figures/tables), simulate sauté si résultats présents ; figures sans titres dans l'image ; tables larges en resizebox ; README et progress.md Phase 4
      
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher committed yesterday · 1 file +44 −50
    2. 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 +71