Repository navigation
fix(twin-parity,#8057): attestation catch-up GT-4c NashExistence post-#16265 - #16678
Merged
Merged
Conversation
…16265 Le merge e86bf62 (#16265, oracles reflexifs) a deplace le blob SHA du jumeau Python de la paire GameTheory-4c NashExistence (1 ligne markdown : lien "Prolongement computationnel" vers le 04e) APRES les attestations 0009/#16265 et 0011/po-2026 (2026-09-15) -- registre stale sur main, jambe GT-4c du gate twin rouge pour toute PR ulterieure (#16626/#16670). Attestation 0012 (by myia-po-2023:CoursIA) + ligne known_differences. Spot-audit : markdown-only, zero cellule code, csharp inchange, le 04e n'existe qu'en Python (asymetrie navigationnelle legitime). Verification locale : --per-pair --base origin/main -> ok=156, drift_introduced=0, drift_resolved=1 (total 157). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
github-actions
Bot
added
the
variation-tag-genre-offlist
Contributor
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels |
2 tasks done
4 tasks
myia-ai-01
pushed a commit
that referenced
this pull request
Sep 21, 2026
…undamentals (density 854 -> 1256) (#16604) * docs(13410): 10 lecture cells anchored on executed outputs in CSP-1-Fundamentals (density 854 -> 1256) EPIC #13410 density grain. 10 markdown reading cells inserted, each anchored on a DIFFERENT real executed output, never on exercise stubs (cells 72-83 untouched). No code cell modified. Per-cell readings (id -> anchor -> reading): - c107csp1-adjacences-comptage -> cell 7 output (adjacency lists, 9 paires, 2187): recompute 2+3+5+3+3+2+0 = 18 directed entries / 2 = 9 undirected pairs; SA carries 5/9; T degree 0; 2187 = 3^7. - c121csp1-trace-zero-backtrack -> cell 21 trace: 4 consistant + 3 CONFLIT = 7 trials; string "-> backtrack" absent (zero backtracks); 7/81 ~ 9% of space. - c126csp1-noeuds-trajectoire -> cell 26 viz counters: 11 - 4 = 7 variables; cross-cell-18 identity of coloring modulo R/G/B renaming; max_depth=4 draws a subset, counters cover full search. - c143csp1-cles-mrv -> cell 43 solution dict: key order 0,1,2,3,6,4,5,7 reveals MRV reordering (col 6 before 4/5); values = {0..7}; 677 vs 8^8 = 16 777 216 (~4e-5, factor ~24 800); time flagged machine-dep. - c152csp1-parite-18 -> cell 52 lib output: first solution differs (T = Bleu), total 18 == brute force count; honest flag: library solver internals not instrumented, no assign counter. - c155csp1-alldifferent-256-24 -> cell 55: 24 = 4!; 4^4 = 256 -> 24 (x10.7 reduction before any search); 3 sampled solutions verified distinct; lexicographic descending enumeration order noted. - c157csp1-miroir-4reines -> cell 57: mirror arithmetic 3-a[i] = b[i] term by term; reverse-read also matches; 256 -> 2; mirror-pair generalization. - c162csp1-meme-coloriage -> cell 62 Choco output: identical coloring to naive backtracking cell 18 (different mechanism); lib differs (T = Bleu); IntVar {0,1,2} encoding; local adjacency checks; time machine-dep. - c165csp1-decomposition-18 -> cell 65 enumeration: solutions 1-3 differ only in T; 18 = 6 x 3 decomposition; honest flag: only 2 of 6 continental colorings shown, 4 inferred from 18/3; 3-engine parity on the exact count. - c168csp1-echiquier-verification -> cell 68 ASCII board: mapping values = {0..7}; board rows re-read against mapping (4 spot rows); 3 diagonal pairs checked by hand; honest flag: no VALIDE line printed, 3 probes != proof of all 28 pairs. Proofs: - json.dumps(nb, indent=1, ensure_ascii=False) + "\n" round-trip verified byte-identical BEFORE edit (edit path = same serialization). - Originals deep-equal in order after filtering new ids (asserted in script). - 33 code cells byte-identical (source + outputs, asserted in script). - git diff -U0 | grep -c '^-[^-]' == 0 (147 insertions, 0 deletions). - Density measured post-edit (separate command): 1256 (prose 41454 / 33 code), threshold 1200, summary below_threshold: 0, ok: 1. Ids strictly alphanumeric+dash, metadata {}, all source lines end \n, file written newline="\n". Accent register matched to existing markdown (1.52%). No "---" openers in new cells (hr-separator hook no-op). See #13410 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(16604): rebaseline twin pair csp-1 fundamentals after markdown-only density tranche Pair attested: CSP-1 Fundamentals. Paraphyte-preservant verification (python-compare vs origin/main): all code cells byte-identical (source + outputs + execution_count) — 33/33; changes are markdown-only additions (+10 cells). Command run: python scripts/notebook_tools/check_twin_parity.py --update --pair "CSP-1 Fundamentals" --by "myia-po-2026:CoursIA" Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(16604): reposition 4 legacy interp cells directly after their source code check_interp_positioning flagged 4 pre-existing interp cells (bdb687f0, fc92d505, a735ed14, 693c77ef) as misplaced: the density readings inserted in a57dcea had pushed each of them into a header-to-header sandwich with no code cell above (condition 4). Fix is a pure position swap: each legacy interp now sits directly after the code cell whose output it reads, with the newer chiffree reading following it (generic summary -> deep reading). No content added, removed, or edited: 96 -> 96 cells, id multiset equal, sequence equals HEAD plus exactly the 4 adjacent transpositions, all code cells byte-identical at unchanged positions. check_interp_positioning now reports OK (was 4 findings). Density unchanged (content is order-independent). See #13410 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * chore(twin,#16604): re-atteste CSP-1 Fundamentals apres reposition + rebase 0017 pointait un blob anterieur au repositionnement des 4 cellules Lecture (#8957) ; --update rejoue en DERNIER sur le head rebase (les 147 commits de main absorbent aussi l'attestation GT-4c #16678 qui faisait DRIFT fantome). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Attestation catch-up twin parity — GameTheory-4c NashExistence
See #8057 (registre twin, une attestation ne clôt pas l'Epic). Débloque la jambe GT-4c du gate twin sur #16626 / #16670 (po-2025).
Grain: LIGHT/twin-registry — lane myia-po-2023:CoursIA — prev: LIGHT/docs #16676
Pourquoi
Le merge
e86bf624e(#16265 — oracles réflexifs 04e, PR de cette lane) a déplacé le blob SHA du jumeau Python de la paireGameTheory-4c NashExistenceaprès les attestations du 2026-09-15 (0009 in-PR, 0011 po-2026) — le registre est stale sur main depuis le 16/09, et la jambe GT-4c maintient les PRs twin subséquentes au rouge.Nature du drift (vérifié firsthand)
git show e86bf624esurGameTheory-04c-NashExistence-Python.ipynb: 1 ligne markdown ajoutée (blocquote « Prolongement computationnel » → lien vers le nouveauGameTheory-04e-Reflective-Oracles.ipynb). Zéro cellule code touchée,csharp_shainchangé (29143b4). Checker avant attestation :DRIFT — Python a drift (content) : 18ba497d -> 24975e81.Spot-audit sémantique (paire
semantic, règle rule-4 avant rebaseline)Le concept de la paire (point fixe de Brouwer → existence ; Python numérique/visualisation vs C# constructif algébrique) est inchangé. Le lien n'existe que côté Python car le 04e est un notebook Python-only — asymétrie navigationnelle légitime, documentée en tête de
known_differences.Livrable
--by myia-po-2023:CoursIA) :python_sha c54255c7,csharp_sha 29143b45(= blobs main)known_differencesdatée motivant le catch-upGameTheory-04c-*(vérifié : diffs REST des 12 PRs title-matched) — pas de collision rule-5Validation
drift_resolved=1= GT-4c passe DRIFT → OK ; aucun autre pair affecté.🤖 Generated with Claude Code