spb/wp18_uqo

Tue, Oct 20, 2026 2

1. recompilation de vérification (main.pdf)

   …

   Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

   Simon-Pierre Boucher committed yesterday · 1 file
   8815924
2. 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
   5acecf4