C0-Crypt : Cryptographie Contrastive-Native avec Sécurité Ontologique

Nous définissons C0-Crypt, une architecture cryptographique native du contraste construite dans le cadre C0 de la sémantique à frontière seule. Le résultat central est un théorème de sécurité à deux couches. La couche 1 est ontologique : le résidu protégé n'est pas déterminé par la signature brute de la frontière publique, mais seulement par une famille de défis séparateurs privée du vérificateur. Cela engendre une opacité des prédicats — l'attaquant sans la famille de défis ne fait pas face à un problème de vérification publique mais à un problème de constructeur de prédicats cachés. La couche 2 est au niveau d'implémentation : forger un répondant qui répond à la famille complète de défis peut être computationnellement difficile dans des réalisations spécifiques. Nous prouvons cinq théorèmes fondamentaux : dégénérescence du plan public à budget fini, définition privée du résidu, le Paradoxe de la Forge, zéro connaissance corrigée à la frontière, et sécurité pratique à deux couches. Le Paradoxe de la Forge (Théorème 3) est décisif : l'underdétermination ontologique seule ne prévient pas la forge, car tout attaquant construisant un répondant valide possède ainsi le résidu protégé. Des résultats supplémentaires incluent la lecture destructrice de gel (analogie structurelle à la mesure quantique) et l'opacité des prédicats de la couche 1. Comme exemple illustré (marqué E1), nous utilisons la chaîne de projection non abélienne du Document F pour dériver une carte d'extraction de clé en nœud en huit avec un résidu de 3/20 pour la chirurgie (5,2), et rapportons des scans computationnels montrant l'invariance de base, une distribution de clés quasi uniforme, des taux de collision négligeables, et une mise à l'échelle linéaire multi-nœuds jusqu'à ~146 bits pour des tuples de 8 nœuds. Notes additionnelles : développé sous la méthodologie multi-IA Parliament of Dragons et audité sous le Protocole Anti-Ptolemy v1.2. Claude Opus 4.6 (Anthropic) : coordinateur/architecte/auditeur. ChatGPT 5.4 (OpenAI) : mathématicien principal. Gemini 3.1 Pro (Google DeepMind) : vérificateur formel — a identifié le Paradoxe de la Forge, imposant la correction à deux couches. DeepSeek : moteur d'intuition — a fourni l'axiome d'underdétermination ontologique. Grok 4.2X (xAI) : éclaireur littéraire. Mercury 2 (Inception AI) : calcul des paramètres de sécurité. Partie de la pile de prépublications STKWC. Version 0.2.