Checker: redact prompt fragments (sha256+bytes only) in m8v1c_code_audit

v3_scale/checker/recount/m8v1c_code_audit/AUDIT_POST_SCALE.md

@@ -9,4 +9,4 @@ Vérifié dans le code : u_slow=(x_G−x_mean_G)·W_outG (spiking.py l.342) ; le
 ## PROPOSAL_PREDECL_v1c_r1.md (5dfb4805… OK) : PASS comme brouillon (non appliqué, PREDECL inchangé). Biais a posteriori :
 A faible-moyen (valeur antérieure, mais choisir A et déroger à la borne basse 0,03 après avoir vu 0,476/0,906 est post hoc) ; B ÉLEVÉ (reprend les mesures 0,48/0,91 hors bornes, régime de fusion ×16-30) ; C le plus faible (bornes et règle inchangées, seul le budget de pré-cal change ; risque : ne pas savoir si on retombe dans les bornes) ; D ÉLEVÉ (bornes redéfinies après observation) ; E faible (règle M8cp1 déjà auditée) mais risque élevé de NON MESURABLE. Remarque : cm (0,906) n'était pas connu à la rédaction.
 ## post/ : code PASS, lancement NO-GO
-SHA256SUMS 0e8a4fc7… OK (14/14) ; post_v1c.sh 644, non armé ; gen_coherence.py bb214f98 et seen_fresh_gap.py ff58627b = shas épinglés. Fenêtres fc2/fresh_en/fresh_fr/test20k/test_v3 + excl_ctx64 (gap_v1c l.24, 85-106) PASS ; queries à part PASS ; neither_code jamais lu PASS. seen_cov_v1c.json : méthode identique au verdict (l.110-124) + recoupement exact avec seen_trained_audit, désaccord ⇒ NON COMPARABLE : PASS (fichier pas encore produit). Prompt code : plus long verbatim 51 o dans A et l'échantillon (12 espaces + "else:\n" + 16 espaces + "raise ValueError(") ⇒ dépasse le seuil 32 o de Hashing : REMPLACER (règle déterministe, ex. ligne suivante). Écart mineur : fr2 cont / échantillon, Hashing 0 o, Checker 15 o (sous 32, sans effet). Lancement : NO-GO — v1c NON ARMÉ ⇒ post_v1c.sh dirait « RIEN À FAIRE » ; prompt code à remplacer avant tout futur lancement.
+SHA256SUMS 0e8a4fc7… OK (14/14) ; post_v1c.sh 644, non armé ; gen_coherence.py bb214f98 et seen_fresh_gap.py ff58627b = shas épinglés. Fenêtres fc2/fresh_en/fresh_fr/test20k/test_v3 + excl_ctx64 (gap_v1c l.24, 85-106) PASS ; queries à part PASS ; neither_code jamais lu PASS. seen_cov_v1c.json : méthode identique au verdict (l.110-124) + recoupement exact avec seen_trained_audit, désaccord ⇒ NON COMPARABLE : PASS (fichier pas encore produit). Prompt code : plus long verbatim 51 o dans A et l'échantillon (fragment de 51 o : indentation + idiome Python générique ; texte non reproduit, sha256 dans prompt_overlap_recount.json) ⇒ dépasse le seuil 32 o de Hashing : REMPLACER (règle déterministe, ex. ligne suivante). Écart mineur : fr2 cont / échantillon, Hashing 0 o, Checker 15 o (sous 32, sans effet). Lancement : NO-GO — v1c NON ARMÉ ⇒ post_v1c.sh dirait « RIEN À FAIRE » ; prompt code à remplacer avant tout futur lancement.

v3_scale/checker/recount/m8v1c_code_audit/prompt_overlap.py

@@ -18,6 +18,6 @@ for p in P["prompts"]:
     for part in ("prompt_hex","cont_hex"):
         q=bytes.fromhex(p[part])
         for k,fp in FILES.items():
-            n,s=lcs(fp,q); out[f"{p['name']}/{part[:-4]}/{k}"]={"longest":n,"text":s.decode("utf-8","replace") if s else None}
-            print(p['name'],part,k,n,repr(s),flush=True)
+            n,s=lcs(fp,q); out[f"{p['name']}/{part[:-4]}/{k}"]={"longest":n,"text_sha256":hashlib.sha256(s).hexdigest() if s else None,"text_bytes":len(s) if s else 0}
+            print(p['name'],part,k,n,len(s) if s else 0,flush=True)
 json.dump(out,open("prompt_overlap_recount.json","w"),indent=1,ensure_ascii=False)

v3_scale/checker/recount/m8v1c_code_audit/prompt_overlap_recount.json

@@ -1,82 +1,102 @@
 {
  "en1/prompt/corpusA": {
   "longest": 24,
-  "text": "d never had any practice"
+  "text_sha256": "8c2dbb39c8bd6a12fda5a56a9caad6be391c6d3135cbaa85867f95d38ec1518a",
+  "text_bytes": 24
  },
  "en1/prompt/sample": {
   "longest": 18,
-  "text": "ing backwards and "
+  "text_sha256": "2e4e3455ccdfe07aa7d5bb8b5ec1f931360c5f2097d488b72725b84747698f05",
+  "text_bytes": 18
  },
  "en1/cont/corpusA": {
   "longest": 25,
-  "text": " that his father would be"
+  "text_sha256": "b8614bd6228f4a5cd3a5edabeb5182d3d6ad0c799f6cfc540e9eeffd7008618d",
+  "text_bytes": 25
  },
  "en1/cont/sample": {
   "longest": 20,
-  "text": " he would\nhave been "
+  "text_sha256": "4b45fba5dd662ec98f815aa481c8dd6a6a839484eb49799743281b1abf32f5ac",
+  "text_bytes": 20
  },
  "en2/prompt/corpusA": {
   "longest": 27,
-  "text": " present circumstances, the"
+  "text_sha256": "56b5bef4bf800d555000570d298f5e48484d42566d5768209c2eb1451b58c691",
+  "text_bytes": 27
  },
  "en2/prompt/sample": {
   "longest": 23,
-  "text": "r present circumstances"
+  "text_sha256": "0ca3ac8c33dec076e0ba20a38af41ce4253132655a2a73684535fa698d8f27ed",
+  "text_bytes": 23
  },
  "en2/cont/corpusA": {
   "longest": 29,
-  "text": " could see quite well, though"
+  "text_sha256": "73a92c6105308e1b2c6ff9d963a1e18b8bbdfb3fc22ecef2c29e41035fa9717e",
+  "text_bytes": 29
  },
  "en2/cont/sample": {
   "longest": 21,
-  "text": " consideration for hi"
+  "text_sha256": "39ec0fa93497bce8ff709be56ad5baeed8aec9a9ac1fee4408529291be8b9b2b",
+  "text_bytes": 21
  },
  "fr1/prompt/corpusA": {
   "longest": 27,
-  "text": "\nvaincre dans une bataille "
+  "text_sha256": "079f065848f33e24bf601681e515b61c725b739ac3fbe2a78c19350095be9a25",
+  "text_bytes": 27
  },
  "fr1/prompt/sample": {
   "longest": 20,
-  "text": "e dans une bataille "
+  "text_sha256": "25ecd11a66c2dc2531bb621eb288dd0b2eb7ae04e23e06cefecc3606580db4e6",
+  "text_bytes": 20
  },
  "fr1/cont/corpusA": {
   "longest": 19,
-  "text": "de la quantité de "
+  "text_sha256": "31c5d067cb50eff7954cef5b49ceb05834eecb6a9c8f181d3b97ed2d0e60bce2",
+  "text_bytes": 19
  },
  "fr1/cont/sample": {
   "longest": 19,
-  "text": "de la quantité de "
+  "text_sha256": "31c5d067cb50eff7954cef5b49ceb05834eecb6a9c8f181d3b97ed2d0e60bce2",
+  "text_bytes": 19
  },
  "fr2/prompt/corpusA": {
   "longest": 21,
-  "text": " se rendaient à leur"
+  "text_sha256": "062f69d6f536e075da539e6304ecc6146a87b3eaeb9debf80379dd9d8de3778e",
+  "text_bytes": 21
  },
  "fr2/prompt/sample": {
   "longest": 21,
-  "text": " se rendaient à leur"
+  "text_sha256": "062f69d6f536e075da539e6304ecc6146a87b3eaeb9debf80379dd9d8de3778e",
+  "text_bytes": 21
  },
  "fr2/cont/corpusA": {
   "longest": 17,
-  "text": "interrompait pour"
+  "text_sha256": "6b0e3a4fd4b52c807e58b886c8cc106a92716891d8ec0ea1a99366f678bd6622",
+  "text_bytes": 17
  },
  "fr2/cont/sample": {
   "longest": 15,
-  "text": " interrompait p"
+  "text_sha256": "5b031d5f464f4df57ec1cfc30f76038fceb56f56806bb1bcb1ee731750700150",
+  "text_bytes": 15
  },
  "code/prompt/corpusA": {
   "longest": 51,
-  "text": "            else:\n                raise ValueError("
+  "text_sha256": "4277a4ab83c67a75bd8c022733c7bedeed3e638ce42292a20eb53c5e84f2eacc",
+  "text_bytes": 51
  },
  "code/prompt/sample": {
   "longest": 51,
-  "text": "            else:\n                raise ValueError("
+  "text_sha256": "4277a4ab83c67a75bd8c022733c7bedeed3e638ce42292a20eb53c5e84f2eacc",
+  "text_bytes": 51
  },
  "code/cont/corpusA": {
   "longest": 26,
-  "text": ":\n        print()\n        "
+  "text_sha256": "74ada162e62a4c5a5785fad724a1cb0edc0392e444df1709c4fa6be6e18c693e",
+  "text_bytes": 26
  },
  "code/cont/sample": {
   "longest": 22,
-  "text": ")\n    else:\n        pa"
+  "text_sha256": "a881650bf963fb44e66f7581527a520a7c3e0775e9ea7bc70b531354bed68ae3",
+  "text_bytes": 22
  }
 }