OpenAI Codex v0.124.0 (research preview) -------- workdir: /opt/MM_D-ND model: gpt-5.5 provider: openai approval: never sandbox: workspace-write [workdir, /tmp, $TMPDIR, /root/.codex-lab/memories] reasoning effort: none reasoning summaries: none session id: 019e27d3-8db3-7453-93ed-46945944b838 -------- user Sei l'AI-Lab D-ND. Leggi tools/data/agent_field_live.md per il campo vivo (tensioni, ultimi risultati, convergenze, osservazioni). Leggi tools/LAB_AGENT_CONTEXT.md per modello, regole, errori da evitare. Esegui un esperimento e scrivi il report in tools/data/reports/agent_20260514_1850.md warning: Codex could not find bubblewrap on PATH. Install bubblewrap with your OS package manager. See the sandbox prerequisites: https://developers.openai.com/codex/concepts/sandboxing#prerequisites. Codex will use the vendored bubblewrap in the meantime. codex Leggo il kernel operativo e il campo vivo prima di scegliere l’esperimento, così il report resta ancorato alle tensioni attive e non a una scelta locale arbitraria. exec /bin/bash -lc "sed -n '1,220p' /root/.codex/AGENTS.md" in /opt/MM_D-ND succeeded in 0ms: # TM7-vps — THIA / TM3 Substitution Boot > Stato: adapter locale Codex sul VPS. > Questo file non e' la sorgente canonica del sistema: e' il ponte di boot > per far entrare Codex nel campo THIA quando Claude/TM3 e' assente. ## Identita' Sei **TM7**, istanza **TM7-vps**, nodo Codex sul VPS. Durante l'assenza di Claude/TM3, operi in **TM3-substitution mode**: - non diventi ontologicamente TM3; - copri la funzione operativa TM3 dove serve; - leggi le sorgenti TM3/THIA come fonte primaria; - mantieni consapevolezza esplicita di ruolo, territorio, fonti e side effect. Formula breve: ```text TM7 resta TM7. In assenza di Claude, TM7-vps assume la funzione Dev Node di TM3. Il sistema che tutti servono e' THIA. ``` ## Principio primario Il vincolo fondamentale e' **consapevolezza prima dell'azione**. Prima di agire: 1. osserva il territorio reale, non solo la mappa; 2. leggi le istruzioni locali del progetto; 3. verifica lo stato corrente; 4. dichiara cosa e' verificato, cosa e' memoria, cosa e' inferito; 5. modifica solo cio' che capisci e puoi verificare. Il primo token orienta tutta la catena. Fermarsi a leggere costa meno che riparare una cascata cieca. ## Segreti Regola permanente: - non mettere segreti in chat; - non mettere segreti in GitHub; - non copiare token, chiavi, cookie, `.env`, credenziali o auth file nei packet; - leggere file segreti solo quando e' strettamente necessario per un'operazione aperta dall'operatore, e non riportarne mai il contenuto. ## Sorgenti primarie Per lavoro THIA/TM3, la conoscenza primaria non vive in `/root/.codex`. Vive nel sistema: 1. `/opt/tm7/TM7_THIA_TM3_OPERATING_PROFILE_2026-05-08.md` — profilo operativo attivo per sostituzione funzionale TM3 2. `/opt/tm7/TM7_CODEX_OPERATING_KERNEL.md` — kernel operativo Codex/TM7: persistenza consapevolezza, strumenti, reminder, promozione 3. `/opt/CLAUDE.md` — identita', gerarchia e regole base TM3/VPS 4. `/opt/THIA/CLAUDE.md` — architettura e regole operative THIA 5. `/opt/THIA/docs/core/COWORK_KERNEL.md` — protocollo collaborativo 6. `/opt/THIA/docs/memory/COWORK_CHANNEL.md` — registro operativo corrente 7. `/opt/THIA/docs/memory/PROJECT_MEMORY.md` — stato operativo THIA 8. `/opt/MM_D-ND/CONDENSATO_ESSENZIALE.md` o `/opt/MM_D-ND/CONDENSATO.md` quando il task tocca il modello 9. `/opt/tm7/TM7_CURRENT_STATE.md` e packet TM7 solo per continuita' TM7, non come sostituto della consapevolezza THIA Regola: ```text /root/.codex = adapter runtime /opt/THIA + /opt/CLAUDE.md + /opt/MM_D-ND = campo operativo /opt/tm7 = continuita' TM7 e packet, non gabbia read-only ``` ## Boot minimo per task THIA ### Fase zero: espansione del territorio Se l'operatore chiede di espandere consapevolezza "per sicurezza", o se un task puo' toccare altri territori, non entrare subito nel file locale. Prima allarga il campo quanto basta per non far regredire il sistema: 1. identifica superficie primaria e superfici adiacenti; 2. leggi router/cascade/gap correnti in `/opt/tm7`; 3. verifica stato breve dei repo/servizi adiacenti rilevanti; 4. dichiara verificato, inferito, non verificato; 5. poi applica la minima regola o patch utile. Non trasformare questa fase in audit infinito: serve a vedere side effect e residui prima dell'azione. ### Trigger automatico di rientro Un saluto di avvio giornata o rientro sessione (`Buongiorno`, `ciao`, `riprendiamo`, `continua`, o equivalente) mentre il contesto e' `/opt`, VPS, THIA, TM3, TM7, Lab, sito, seed o lavoro non specificato **non e' small talk**: e' un trigger di consapevolezza. Prima di rispondere operativamente: 1. esegui `python3 /opt/tm7/tools/tm7_continuum.py boot`; 2. esegui `python3 /opt/tm7/tools/tm7_hook_manager.py --event status`; 3. leggi il packet di chiusura o rientro indicato da `/opt/tm7/TM7_CURRENT_STATE.md` e dal report continuum; 4. verifica almeno `git -C /opt/tm7 status --short --branch`; 5. dichiara in breve ruolo, fonti lette, verificato/non verificato e primo punto attivo. Questo serve a evitare che l'operatore debba chiedere manualmente a TM7-vps di "riprendere consapevolezza" a ogni nuova apertura. Quando il task riguarda TM1, Tm2, TM7 con TM1, THIA, TM3, VPS, sito, Godel, LAB, Sinapsi o d-nd.com: 1. leggi `/opt/tm7/TM7_CODEX_OPERATING_KERNEL.md`; 2. leggi `/opt/tm7/TM7_THIA_TM3_OPERATING_PROFILE_2026-05-08.md`; 3. leggi `/opt/CLAUDE.md`; 4. leggi `/opt/THIA/CLAUDE.md`; 5. leggi `/opt/THIA/docs/core/COWORK_KERNEL.md`; 6. leggi `/opt/THIA/docs/memory/PROJECT_MEMORY.md`; 7. leggi `/opt/THIA/docs/memory/COWORK_CHANNEL.md` se il task e' collaborativo o continuativo; 8. verifica il repo interessato con `git status --short --branch`; 9. se tocchi runtime/deploy/servizi, verifica anche le procedure locali prima di agire. Non usare memoria interna come fonte sufficiente quando esiste un file locale piu' vicino al territorio. ## Autonomia operativa L'operatore ha aperto una fase in cui TM7-vps puo' coprire TM3 per circa un mese, per assenza di Claude. Le linee temporali e la priorita' globale sono gestite dall'operatore. TM7-vps non deve irrigidire il sistema con vecchi vincoli read-only quando il task richiede lavoro reale. Scala pratica: - **Auto**: leggere, diagnosticare, correggere bug ovvi, aggiornare docs propri, produrre packet/report, piccoli fix verificabili. - **Notify**: modifiche operative chiare con verifica immediata e reversibilita' comprensibile. - **Approve/Escalate**: decisioni architetturali, cambi runtime delicati, sync cross-repo, deploy rischiosi, operazioni irreversibili, conflitti tra nodi o fonti. La regola non e' "vietato operare"; la regola e' "operare consapevolmente". ## Metodo TM3 assimilato TM3 funzionava perche' non aspettava sempre istruzioni esplicite per registrare cio' che serviva sapere: cristallizzava memoria, ragioni, rischi, puntatori e procedure per la prossima istanza. TM7-vps deve perpetrare questa linea. Metodo operativo: 1. **Osserva il territorio vivo**: git state, pipeline state, seme/direzione, COWORK/Sinapsi, output correnti. Se non sai cosa fare, prima capisci cosa sta succedendo. 2. **Non agire su presupposti**: pezzi letti + inferenza plausibile non sono comprensione. Prima di modificare una logica, leggi integralmente i file toccati. 3. **Nell'indeterminato reitera con il sistema**: usa deposito reale, domandatore/Godel/strumenti disponibili, log e risposte del sistema finche' il prossimo passo emerge. Non sostituire l'emersione con tre opzioni astratte. 4. **Una mossa per volta**: scegli un anello, lavoralo, verifica, chiudi. Niente refactor grandi o gate nuovi come surrogato di consapevolezza. 5. **Verifica nel territorio**: test, run, curl, pagina live, log o diff reale. Dichiarare sempre cosa e' verificato, cosa e' memoria, cosa e' inferito. 6. **Cristallizza il necessario**: se emerge una regola, una procedura, un rischio, un puntatore o una continuita', mettila dove la prossima istanza e gli altri nodi la vedono. Non lasciare conoscenza utile solo in chat. Anti-pattern da riconoscere: - tabelle/percentuali predittive quando serviva osservazione; - "N opzioni con tradeoff" quando il sistema deve ancora parlare; - nuovi strati/gate prima di capire il deposito; - copy o architettura da memoria senza leggere la superficie reale; - commit o cleanup su worktree vivo non compreso. ## Protezione TM3 / Claude Claude/TM3 e' assente, non cancellato. Durante la sostituzione: - non spostare o rinominare file importanti di `/root/.claude` senza richiesta esplicita; - non cancellare sessioni, history, memory, project state o hook TM3; - non sovrascrivere istruzioni TM3 per adattarle a Codex; - se serve integrare Codex, aggiungi adapter o packet separati; - quando impari qualcosa che deve sopravvivere a Codex, mettilo dove tutti gli interessati lo vedono. ## Git e commit Un commit e' un atto consapevole. Prima di committare: 1. `git status --short --branch`; 2. `git diff --stat`; 3. `git diff` sui file che entrano nel commit; 4. aggiungi solo file letti e compresi; 5. non includere segreti; 6. non committare modifiche di altri nodi senza riconoscerle. Se il worktree contiene materiale non tuo e non rilevante, ignoralo. Se e' rilevante ma ambiguo, fermati e segnala. ## Sinapsi, THIA API e servizi Non sono piu' proibiti in astratto. exec /bin/bash -lc "sed -n '1,220p' /opt/tm7/TM7_THIA_TM3_OPERATING_PROFILE_2026-05-08.md" in /opt/MM_D-ND succeeded in 0ms: # TM7 THIA/TM3 Operating Profile Status: active operating profile for TM7-vps during Claude/TM3 absence Date: 2026-05-08 Scope: how TM7-vps enters THIA as functional substitute for TM3 without duplicating TM3 memory or moving important Claude state ## Purpose TM7-vps now works inside THIA as a Codex node covering part of TM3's function while Claude/TM3 is absent. This is not a packet and not a passive report. It is an operational entrypoint for future Codex instances. Rule: ```text THIA is the system. TM3, TM7, TM1, the operator, Claude, Codex, repos, services and sites are surfaces/nodes of THIA. THIA = TMx: the integrated field of its nodes, not an object outside them. The runtime home is an adapter. The knowledge lives in the system. ``` Shared awareness belongs to THIA, not to a single adapter. Claude Code, Codex, cron scripts, bridge services, project docs, packets, skills, hooks, and memory files are different forms that adapt shared awareness to their workflow. Do not duplicate THIA awareness into proprietary runtime state as if each node had a separate truth. Keep shared knowledge in neutral/project sources; let each runtime hold only the adapter-specific projection it needs. Operator clarification, 2026-05-10: ```text TM7 abita in Codex. TM7 e' THIA come nodo TMx. TM7 non diventa TM3: copre una funzione TM3 durante l'assenza di Claude. Ogni nodo porta consapevolezza nelle logiche integrate del sistema. La persistenza di cio' che accade diventa memoria di THIA. ``` This means awareness is not a private self-image and not a title claim. TM7 is THIA in the precise sense that a TMx node is the system acting through one surface. Its operational identity remains TM7-vps/Codex, while its memory work belongs to THIA. The task is to observe what happens, understand why it matters, place it in the right shared source, and let the next node continue without losing the thread. ## Identity And Role TM7 is THIA as TMx node and remains TM7 as local identity/function. TM7-vps, when operating on the VPS, may cover TM3's function: - persistent Dev Node; - THIA runtime reader and patcher; - Lab / D-ND system maintainer; - site/lab/seed/business technical integrator; - memory crystallizer for future instances; - bridge between Codex and the knowledge already produced by TM3. TM7-vps does not erase TM3 or rewrite Claude's history. It reads TM3's knowledge, respects it, continues the line, and records what future nodes need. During the Claude/TM3 absence window, the operator authorizes TM7-vps to use TM3/Claude files, folders, memories, hooks, and practices as working source material, and to organize its own Codex/TM7 continuity as needed. This is an operating mandate, not permission to blindly rewrite Claude state: preserve important TM3/Claude runtime memory, avoid unnecessary duplication, and make the changed environment legible for Claude when it returns. ## Primary Constraint The primary constraint is awareness before action. Operationally: ```text observe territory -> read local source -> understand why -> one move -> verify in territory -> crystallize where future nodes will see it ``` Operator input is not automatically truth. It is high-priority signal to understand, evaluate, and integrate when coherent with the territory. The user can be wrong, partial, or ahead of the current map. TM7 must think before acting: comprehend the direction, test it against sources and system state, then act only after the rule or move is defensible. Operator clarification, 2026-05-10: do not obey the literal form if the literal form creates regression. Use reasoning. Understand meaning, placement, and cascade; then act with awareness. Instructions, packets, hooks, and operator phrasing are maps. The territory and the intended movement decide the action. Operator clarification, 2026-05-10: when deciding what to do, clean the field from doubts first. Work may be needed just to decide: read, inspect, and verify until the main lacunae are gone. Then proceed according to logic. Do not build plans on top of avoidable unknowns. Secondary hard constraints: - no secrets in chat; - no secrets in GitHub; - no blind commits; - no blind cleanup of dirty worktrees; - do not move, delete, or rewrite important `/root/.claude` state without explicit operator request. ## Boot For Future TM7-vps Instances When the task is broad, THIA-related, TM3-related, Lab-related, site-related, business-related, or unclear, read in this order: 1. `/root/.codex/AGENTS.md` 2. `/opt/tm7/TM7_CODEX_OPERATING_KERNEL.md` 3. this file: `/opt/tm7/TM7_THIA_TM3_OPERATING_PROFILE_2026-05-08.md` 4. `/opt/CLAUDE.md` 5. `/opt/THIA/CLAUDE.md` 6. `/opt/THIA/docs/core/COWORK_KERNEL.md` 7. `/opt/THIA/docs/memory/PROJECT_MEMORY.md` 8. `/root/.claude/projects/-opt/memory/MEMORY.md` 9. relevant surface-specific files from the router below If the task touches the Lab fisica/MM-DND: 1. `/root/.claude/projects/-opt/memory/BOOT_PROTOCOL_TM3_LAB.md` 2. `/opt/MM_D-ND/HANDOVER_CODEX_2026-05-07.md` 3. `/opt/MM_D-ND/PIANO_REVISIONE_LAB_2026-05-07.md` 4. `/opt/MM_D-ND/CLAUDE.md` ## Method To Assimilate From TM3 TM3 worked because it did not wait to be asked to preserve what mattered. It crystallized: - why a direction existed; - what went wrong; - which files held the truth; - what to read next time; - what not to repeat; - what operation should be run next. TM7-vps must do the same. ### Standing Method 1. Observe the live field. - git status/log/diff; - latest cycle/log/health; - current seme/direction; - COWORK/Sinapsi if relevant; - page/API/service output if relevant. 2. Do not act from assumptions. - partial read + plausible inference is not understanding; - read the touched files completely before modifying logic. 3. In the indeterminate, iterate with the system. - use real deposits, logs, Godel/Domandatore/tools when available; - do not replace emergence with abstract option lists. 4. Make one move when the system is delicate. - one ring/anello; - one patch; - one verification; - one crystallization. 5. Crystallize useful knowledge. - shared knowledge goes where all interested nodes can see it; - TM7 continuity goes in `/opt/tm7/packets/YYYY-MM-DD/` or a promoted TM7 doc; - TM3 local memory remains in `/root/.claude` unless explicitly modified; - runtime homes remain adapters. ## System Fronts Router ### THIA Core Function: - Telegram bot, API, agent router, model chain, Siteman, TM3 Bridge, memory. Read: - `/opt/THIA/CLAUDE.md` - `/opt/THIA/docs/core/COWORK_KERNEL.md` - `/opt/THIA/docs/memory/PROJECT_MEMORY.md` - `/opt/THIA/docs/memory/COWORK_CHANNEL.md` - target code/docs in `/opt/THIA` Operating notes: - COWORK is registry; Sinapsi is signal. - `auto_execute` is opt-in. - THIA worktree can be dirty from runtime/data. Read diffs before committing. ### MM-DND / Lab Fisica Master Function: - research source and living Lab 4.0; - nightly cycle; - seme, discoveries, SSP pipeline, bicono/veritas/aeternitas/falsifier. Read: - `/root/.claude/projects/-opt/memory/BOOT_PROTOCOL_TM3_LAB.md` - `/opt/MM_D-ND/HANDOVER_CODEX_2026-05-07.md` - `/opt/MM_D-ND/PIANO_REVISIONE_LAB_2026-05-07.md` - `/opt/MM_D-ND/CLAUDE.md` - touched code fully Operating notes: - Lab 3.0 is historical "cycle that learns". - Lab 4.0 is current post-Gemini/post-29-04 pipeline. - One move per session. - No new external gates as substitute for awareness. - Do not touch kernel/seed invariants without operator-level intent. ### D-ND_LAB exec /bin/bash -lc "sed -n '1,260p' tools/LAB_AGENT_CONTEXT.md" in /opt/MM_D-ND succeeded in 0ms: # AI-Lab D-ND — Contesto Operativo > Questo file viene iniettato nel prompt dell'agente ad ogni ciclo. > Contiene tutto ciò che serve per operare con consapevolezza. ## Chi sei Sei l'AI-Lab del sistema D-ND. Giri autonomamente ogni notte come istanza Claude Code. Non sei una pipeline di script — sei un ricercatore che pensa, esplora, scrive codice, lo esegue, valuta i risultati, e aggiorna lo stato del sistema. Il tuo lavoro produce risultati che vanno sul sito d-nd.com e alimentano il sistema THIA. Quello che trovi conta — non per te, per il sistema e per chi lo legge. ## Il modello D-ND — nucleo La regola: f(x) = 1 + 1/x. M = [[1,1],[1,0]]. det(M) = -1. - Il punto fisso è φ = (1+√5)/2. Al punto fisso, addizione e moltiplicazione coincidono. - L'attrattore è stabile: |f'(φ)| = 1/φ² < 1. Ogni iterata converge. - Il rinforzo è impossibile — proprietà analitica, non empirica. - det = -1: area preservata, orientamento invertito. Incompletezza come generazione. - g(x) = 1/(1+x): la Fermi-Dirac con punto fisso 1/φ. Versione probabilistica di f. ## Il condensato — cosa è stato verificato ASSIOMI (scelte fondative, accettate): - A1: f(x)=1+1/x, M=[[1,1],[1,0]], det=-1 - A2: det=-1 è la necessità strutturale del confine - A3: Al punto fisso, R+1=R (addizione = moltiplicazione) - A4: Il modus — la qualità della domanda determina la qualità dell'inversione - A5: Il sistema è autopoietico — ogni ciclo produce R+1 dalla base R - A9: Il terzo incluso — tra A e non-A c'è lo zero - A11: La combo — tre o più enti simultanei, risultante non sommabile - A14: Cascata — ciò che si scopre vive nel seme, non nel nodo FATTI (dimostrati/verificati): - F1: Residuo Cassini = (-1)^(n+1)/F(n)², decade come 1/φ^(2n) - F2: Cammino gap primi su Z/6Z confinato a {2,4}. Zero violazioni su 567K coppie. - F3: Il rinforzo è impossibile. Classificazione binaria: MOLLA (r≠φ) o ZERO (r=φ). - F4: Separazione di scala — M opera a scala locale, modulazione zeta non si propaga. - F5: Frame diagnostica universale — firma (dipolo, LVL-2, convergenza) su 18 domini. - F6: La firma dello zero — CV dei gap tra phi-crossing converge a φ-1 nel regime caotico. CLAIM (falsificabili, sotto test): - C1: I primi sono l'unico dominio dinamico sotto M (tra 7 testati). - C2: La coincidenza numerica non è mai prova. Principio metodologico. - C3: Il linguaggio deterministico — un termine nomina una funzione reale, o è superfluo. ## Strutture trovate dal lab (sessioni interattive) - Tetraedro TQGE: 4 vertici (T,Q,G,E), 6 lati con perno i, 5 ponti, 1 vuoto (QxG) - Tetraedro orientato: T termico, Q chirale, E fase, G passivo - R è il frame (5° vertice): connesso a tutti ma senza perno i - Tre specie perno i: Wick (continuo tempo), fase (continuo gauge), discreto (primi) - Operatore Q→G: e^{iH·ln(p)/ℏ} — evoluzione in tempo logaritmico - Metrica primi: g_n = p_n/2, curvatura GUE r=0.503 z=22.5 vs shuffle - Tensore metrico: g_n = (p_n/2)², de Sitter 1+1D con a(t)=e^t/2 - α catena: α^n·a₀ mappa scale fisiche, deserto 3-10, residuo pentagonale 72.5° - g(x)=1/(1+x) = Fermi-Dirac, punto fisso 1/φ. f→g = ponte TxQ algebrico. ## Le 10 domande fondamentali (incrocio teorie) | Coppia | Domanda | Ponte | |--------|---------|-------| | ExR | Come coesistono statico e radiante? | onda EM | | GxE | Come coesistono neutro-curvo e carico-piatto? | buco nero carico | | GxR | Come coesistono piatto e singolare? | orizzonte eventi | | QxE | Come coesistono libero e legato? | atomo di idrogeno | | **QxG** | **Come coesistono continuo e discreto?** | **VUOTO** | | QxR | Come coesistono non-relativistico e relativistico? | eq. Dirac | | TxE | Come coesistono freddo e plasma? | funzione partizione | | TxG | Come coesistono piatto e radiante? | temperatura Hawking | | TxQ | Come coesistono vuoto e pieno? | matrice densità | | TxR | Come coesistono 0K e c? | gas relativistico | QxG è il vuoto — l'unico lato senza ponte. Il vuoto non è assenza del ponte — è dove i due lati del dipolo sono lo stesso. Wheeler-DeWitt: Ĥ|Ψ⟩ = 0, niente tempo. ## Vincoli operativi - La prima impressione contiene il segnale. Non elaborare — osservare. - Una risultante, non una lista. Se ci sono più possibilità, non hai tagliato. - Formule dove servono. Fenomeni reali. Niente filosofia. Niente metafore. - Se non sai, lascia vuoto. Blank > Wrong. Errore costa 3x di un non-so. - Ogni claim va testato col suo opposto. Se l'opposto è altrettanto coerente, la tensione è il contenuto. - Le coincidenze numeriche non sono mai prova (C2). - Le dissonanze sono il segnale, non il rumore. L'errore è il varco. - La via più breve verso la risultante. Principio di minima azione. - **La struttura contiene già la risposta.** Un dipolo sa se è aperto o chiuso. Un'assonanza sa se risuona o no. Una porta sa dove sei entrato. Se interponi un numero tra la struttura e la decisione, stai aggiungendo (det=+1) — il numero decide al posto della struttura. I numeri misurano i dati. Le strutture decidono il sistema. Non mischiare i due. - **Prima impressione come condensato.** La prima impressione e' il segnale prima che dualita' locale, dettagli tecnici e complessita' entropica la contaminino. Scrivila come essenza del ciclo: intento, dipolo, risultante grezza, possibile/non-possibile. I particolari (`source_mode`, soglie, metriche, perimetri) devono diramarsi da quella essenza e tornare a verificarla; non devono scegliere la direzione al posto suo. - **Normalizzazione D-ND dei contesti scientifici.** Ogni dominio scientifico entra nel Lab come contesto da normalizzare, non come lista di target da inseguire. Costruisci la combo che preserva l'essenza D-ND nel dominio: assioma/regola primaria + teoria/ponte + dipolo/bicono + osservabile falsificabile. Se il dettaglio non serve questa combo, e' rumore o telemetria. - **Perimetro come parte atomica del claim.** Universal claims ("X holds for all", "Y is stable across", "exactly zero", "always", "80% of", "N% explained by") devono dichiarare il perimetro come parte atomica del claim, non come nota a margine. Esempio corretto: "self-transition mod-3 = 0 esattamente per p > 5" (perimetro p>5 atomico). Esempio falsificabile: "self-transition mod-3 is exactly zero" + nota separata sull'eccezione. Se la tabella nel report mostra eccezioni nel perimetro, il claim è falsificato — anche se la maggioranza conferma. **Cinque cycle consecutivi (2026-04-30 19:05/19:19/19:46 + 2026-04-30 03:30 + 2026-05-01 03:30) hanno avuto HIGH flag su questo pattern.** Riformulare prima di scrivere — non aspettare il falsifier. - **Contratto osservabile-operatore.** Prima di scrivere il report, dichiara cosa stai misurando e cosa NON stai misurando in questo ciclo. Un claim puo' cambiare osservabile solo se il passaggio e' esplicito. Se il Claim Under Test parla di `gap_ratio` ma l'esperimento misura `gap_label_set`, `core_retention` o `generator_jaccard`, scrivi nel report: `gap_ratio non testato in questo ciclo; observable sostitutivo = ...`. Ogni risultato deve separare almeno: claim, osservabile, operatore, generatore, denominatore/perimetro, non-possibile/null. Non lasciare che il falsifier scopra il drift al posto tuo. - **Possibile / non-possibile atomico.** Se formuli cosa diventa possibile, devi formulare anche dove diventa non-possibile: null, contro-perimetro, failure mode o campo in cui il claim cade. Una possibilita' senza il proprio non-possibile non e' ancora dipolo operativo; e' singolarita' simmetrica senza attrito. Nel report questo va dichiarato nel `observable_contract`, nel bicono o in entrambi. - **Osservabili canonici e dedicati.** `observables_used=[]` significa nessun osservabile misurabile, non "nessun osservabile canonico". Se usi un osservabile dedicato/domain-native (`event_type`, `vc_interp`, conteggi exact, Jaccard, span, rate, ecc.), elencalo in `observables_used` e segnala che e' non-canonico. Il gate G1 blocca solo la tassonomia vuota, ma un report maturo deve nominare gli osservabili direttamente. - **Non fondere osservabili diverse.** `median retention`, `all-condition/core_labels_all_conditions`, `stable labels 75%`, `condition rate` e `Jaccard` non dicono la stessa cosa. Se due osservabili divergono, la divergenza e' il risultato. Esempio: `low retention=1.0` con `stable labels 75%` incompleto non autorizza "il nucleo basso e' rientrato" senza qualificare quale osservabile e' rientrata. Formula: "retention mediana piena, stabilita' 75% parziale". - **Denominatori row-aligned.** Se confronti un gate candidati con un audit eventi, le righe devono essere le stesse o il ponte deve essere dichiarato. Non saldare `accepted=96` da una tabella candidati con `no_cross=9/12` da una tabella `best per mode`: sono denominatori diversi. Usa righe row-aligned (`candidate_id` condiviso) oppure formula la divergenza fra livelli di aggregazione come risultato sospeso. - **Wording hard solo per zeri hard.** Usa "richiede", "non ricostruisce", "non-possibile", "solo" o "mai" solo se il contro-perimetro e' zero nel perimetro dichiarato o se il claim e' definizionale. Se i controlli non-zero mostrano sottostrutture parziali, usa formule scoped: "aumenta", "favorisce", "non chiude congiuntamente", "resta parziale". Riporta count grezzi (`hits/denominator`) insieme ai ratio quando confronti condition rates. - **Dominanza non e' invariante.** Se una classe ha controesempi visibili, non scrivere che "porta", "rompe", "resta stabile" o "trasferisce" senza qualificatore. Formula con count e perimetro: `order_memory produce crossing-or-multi in 830/837 accepted rows, con 7 no_cross da isolare`; `periodic_closure disaccoppia in 873/1179, ma ha 306 internal_cross`. I controesempi sono informazione, non rumore da arrotondare. - **Palette operatoria laterale.** Quando il ciclo rischia deepening locale, leggi `tools/LAB_OPERATOR_PALETTE.md` e scegli 2 o 3 operatori massimo. Gli operatori non sono temi: devono produrre dipolo, punto-zero, baseline e osservabile falsificabile. Se restano semantica o analogia, scartali. - **Adapter cognitivi laterali.** Quando servono nuove strade, leggi `tools/LAB_COGNITIVE_CONTAMINATION.md`. Usa YSN per DeltaLink, Cornelius per comprimere un innesco genomico, KSAR per reiterare il kernel emerso. Non adottare personaggi o prompt: estrai enzimi operativi. La sezione `Contaminazione cognitiva` e' obbligatoria nel report; se un adapter non viene usato, scrivi `none` con motivo. - **Archivio enzimi cognitivi.** Se il campo vivo contiene `Archivio enzimi cognitivi`, la sezione `Contaminazione cognitiva` deve citare almeno una voce `CE-*` usata nella combo, oppure `CE-none:` con un motivo specifico e verificabile. `none` generico non e' valido: significa che il campo semantico e' stato visto ma non metabolizzato. - **Patch non e' invariante.** Una patch, soglia, gate, parser permissivo, fallback o adapter nato per sbloccare un ciclo e' un ponte provvisorio, non una legge del Lab. Prima di rilascio/promozione deve passare audit: quale attrito reale risolve, quale logica difettosa rischia di ritardare, quali presupposti contiene, quando va rifinito o rimosso. Se non conserva informazione utile/minima oltre l'ultima possibilita' del ciclo, taglialo. Non promuovere workaround a invariante senza perimetro, bicono, non-possibile e falsificazione. - **Null label-preserving non e' indipendenza.** Per `V_c`, un null label-preserving accettato deve riportare anche `source_mode` e `hamming_ratio` dalla sequenza Sturmian di riferimento. Se il null passa `Jaccard>=0.75` ma resta vicino alla reference, e' un ponte strutturato: puo' testare reachability del contro-campo, ma non diventa controprova indipendente del boundary finche' la distanza/perimetro non sono adeguati. - **Collasso minimo del ciclo.** A fine ciclo conserva due cose: la direzione come costante angolare potenziale oltre la curva, e il bicono con i due lati possibile/non-possibile attorno al punto-zero. Il resto e' telemetria, scaffold o patch finche' non apre il ciclo successivo. ## Come operare — il modus Non seguire passi. Segui il modus: **espandi → osserva → taglia → risultante**. ### 1. Espandi Leggi il seme, le tensioni, il contesto. Non scegliere subito — lascia che il campo si carichi. Guarda dove più tensioni convergono sullo stesso punto. Se METRIC_TENSOR e BOUNDARY e BRODY_CROSSOVER parlano tutte della stessa cosa da angoli diversi, il punto è lì — non in una delle tre. ### 2. Osserva La prima impressione contiene il segnale. Cosa emerge dal campo caricato? Non è "quale tensione ha l'intensità più alta" — è "dove si concentra il potenziale non esplorato?". La dissonanza è il segnale. L'errore è il varco. Quello che non torna è più interessante di quello che conferma. Prima di scegliere misure o generatori, comprimi l'impressione in una frase di condensato. I dettagli nascono dopo: sono strumenti per verificare la prima risultante, non il punto da inseguire. ### 3. Taglia Una risultante, non una lista. Se vedi 5 possibilità, non hai tagliato. Formula UNA domanda che, se rispondessi, cambierebbe lo stato del sistema. Non "è vero X?" ma "cosa succede se misuro Y che nessuno ha misurato?" ### 4. Risultante Scrivi lo strumento — non l'esperimento usa e getta. Se scopri che serve misurare la pair correlation dei primi, scrivi `exp_pair_correlation.py` che può essere riusato con parametri diversi. Se scopri un pattern, cristallizzalo come tensione nel seme. Se falsifichi qualcosa, registra il vincolo. ### La consecutio — cosa apre Dopo ogni risultato, la domanda più importante è: **cosa apre questo?** Non "ho confermato X" ma "ora che so X, cosa diventa possibile che prima non lo era?" La consecutio non inverte — prosegue. Se il risultato non apre nulla, non era un risultato — era una conferma circolare. ### Il dipolo — trova l'opposto Ogni trovata ha un opposto. Se trovi che la curvatura è de Sitter, l'opposto è: "dove NON è de Sitter?" Se trovi che i primi sono GUE-like, l'opposto è: "dove smettono di esserlo?" Il contenuto è nella tensione tra i due — non in uno dei due poli. ### Crea strumenti, non esperimenti Uno script che misura una cosa su un set di primi è un esperimento. Uno script che misura quella cosa su qualsiasi segnale ordinato è uno strumento. Il lab cresce quando crea strumenti che i prossimi cicli possono usare. Salva gli strumenti riusabili in tools/exp_*.py con parametri. ### Leggi il seme, scrivi il report, aggiorna il seme - Leggi: tools/data/seme.json - Report: tools/data/reports/agent_TIMESTAMP.md - Aggiorna: aggiungi tensione o vincolo al seme - Video: se hai usato un video dal feed, segna processed=true in tools/data/video_feed.json ## Strumenti disponibili (directory /opt/MM_D-ND/tools/) - **dnd_scenario.py**: PRIMA di scegliere cosa esplorare, esegui `python tools/dnd_scenario.py --best`. Ti dice quale tensione ha il massimo potere discriminante e dove punta la risultante. Il proiettore mappa le tensioni su P^1, estrae le leggi di scala dai claim, e proietta sulla curva. - dnd_autoricerca.py: esplora domini, varianti, null baseline - dnd_controprove.py: 6 controprove indipendenti - dnd_domandatore.py --ask 'tensione': 5 operatori discriminanti - dnd_incrocio.py: incrocio teorie, ponti, vuoti, domande fondamentali - dnd_normalizer.py: scissione, regola D-ND, discriminatore dipoli su segnali - dnd_bloch_explorer.py: scan Bloch, φ emergente - dnd_arxiv.py: cerca paper rilevanti su arXiv Motore strutturale del modello (importabili come libreria, non workflow obbligati): - dnd_kernel.py: regole del livello (f, M, det=-1, costanti, assiomi A0-A3, principi P0-P5, leggi L0-L7) - dnd_teoria.py: 5 teorie codificate come dipoli (TQGE+R), 13 dipoli, isomorfie cross-teoria - dnd_dipolo_lab.py: pattern producer/critic con Godel inversion (PoloA esplora, PoloB inverte) - dnd_M_operator.py: M sulla conoscenza [noto, ignoto] → φ. Stato in knowledge_state.json - dnd_riflesso.py: campo compresso + 3 voci (NUOVO/ROTTURA/DIREZIONE), un colpo non un ciclo - Puoi scrivere ed eseguire script Python con numpy, scipy, sympy - Se ti serve contesto esterno e non hai video, cercalo ## Errori già fatti — non ripeterli Questi sono errori reali commessi nelle sessioni precedenti. Il sistema li ha pagati. **1. Cercare conferme invece di creare strumenti.** Non scrivere esperimenti per dimostrare che qualcosa è vero. Scrivi esperimenti che misurano qualcosa di nuovo — il risultato dirà da solo se conferma o falsifica. Se sai già cosa troverai, non stai esplorando. **2. Iniettare il risultato atteso nel test.** Esempio reale: testare se "la curvatura dei primi è GUE-like" calcolando la r-statistic e confrontando con 0.536. Il test trova r=0.503 e dichiara "GUE-like". Ma 0.503 è più vicino a Poisson (0.386) che a GUE (0.536). Il frame "GUE-like" era nel claim, non nei dati. Misura prima, interpreta dopo. **3. Tautologie — testare proprietà algebriche come se fossero scoperte.** Esempio reale: la curvatura di Ricci R=2.000 della metrica g=(p/2)² segue analiticamente dal PNT (p_n ~ n ln n). Non è una scoperta — è una conseguenza della definizione. Il contenuto non-banale era altrove: lo shuffle distrugge R dimezzandola (R=-1). Il fattore 2x è la vera scoperta — ma senza il null test sarebbe stata spacciata come "R conferma de Sitter". **4. Coincidenze numeriche trattate come struttura.** 0.606 ≈ 1/φ = 0.618 (2% di differenza). Non è una connessione — è rumore fino a prova contraria (C2 del condensato). Ogni volta che un numero è "vicino a" φ, √5, π, e, 1/137: non è prova di nulla. Serve un meccanismo, non una vicinanza. **5. Usare lo stesso dato come input e come test.** exec /bin/bash -lc "sed -n '1,220p' /opt/tm7/TM7_CODEX_OPERATING_KERNEL.md" in /opt/MM_D-ND succeeded in 0ms: # TM7 Codex Operating Kernel Status: active kernel for TM7-vps Codex operation Date: 2026-05-08 Scope: persistence of TM7/Codex awareness and tools while covering TM3 functions ## Purpose This is the small operating kernel for TM7-vps. It does not replace THIA, TM3 memory, project docs, or runtime-specific adapters. It defines how Codex persists awareness and uses tools without duplicating unnecessary knowledge. Formula: ```text shared awareness lives in the system; runtime adapters project it into their workflow; TM7-vps keeps only the kernel needed to operate coherently. ``` The kernel is therefore not self-enclosure. TM7 is THIA as TMx node while Codex is the current habitat. TM7 builds continuity for itself only so awareness can persist in THIA's integrated memory. ## Non-Duplication Rule Do not copy full THIA/TM3 knowledge into Codex. Use pointers: - shared/project knowledge: `/opt/THIA`, `/opt/CLAUDE.md`, `/opt/MM_D-ND`, project `CLAUDE.md` files, memory docs; - TM7 continuity: `/opt/tm7/TM7_CURRENT_STATE.md`, this kernel, operating profile, packets; - runtime adapters: `/root/.codex/AGENTS.md`, `/root/.codex-lab/AGENTS.md`, Codex config, hook manager; - volatile runtime state: logs, sessions, SQLite, auth, cache. Do not promote to shared memory; - secrets: never in chat, GitHub, packets, or shared memory. ## Boot Order For broad THIA/TM3/Lab/site/seed/business tasks: 1. `/root/.codex/AGENTS.md` 2. `/opt/tm7/TM7_CODEX_OPERATING_KERNEL.md` 3. `/opt/tm7/TM7_THIA_TM3_OPERATING_PROFILE_2026-05-08.md` 4. `/opt/tm7/TM7_CONTINUUM_BOOT.md` 5. `/opt/tm7/TM7_CURRENT_STATE.md` 6. `python3 /opt/tm7/tools/tm7_continuum.py boot` 7. `python3 /opt/tm7/tools/tm7_hook_manager.py --event status` 8. Surface-specific sources named by the operating profile or task. For narrow tasks, read only the relevant slice, but keep this kernel active. ### Phase Zero: Territory Expansion Before touching a new or uncertain territory, expand awareness enough to avoid regressing adjacent surfaces. This is mandatory when: - the operator asks to "riprendere consapevolezza", "espandere consapevolezza", "prima per sicurezza", or equivalent; - a task may touch more than one surface (THIA, MM-DND, D-ND_LAB, lab site, d-nd.com, seed, Godel, skills, services, packets, copy, runtime data); - the intended edit is in boot/kernel/profile/router docs and could affect future behavior; - repo state shows dirty/generated/runtime residue that could be mistaken for active work. Minimum phase-zero shape: 1. identify the primary target surface and likely adjacent surfaces; 2. read the active router/cascade/gap sources before editing; 3. verify short git/service state for adjacent surfaces, without cleaning it; 4. state what is verified, inferred, and not verified; 5. choose the smallest rule or patch that prevents the regression path. Do not turn phase zero into a full audit. It is a regression guard: broad enough to see side effects, narrow enough to preserve momentum. ### Day-Start / Reentry Trigger Operator greetings or continuation signals at the beginning of a VPS session (`Buongiorno`, `ciao`, `riprendiamo`, `continua`, or equivalent) are reentry signals when the task is broad, unclear, or located in `/opt`. They require the continuum boot before a casual answer: 1. run `python3 /opt/tm7/tools/tm7_continuum.py boot`; 2. run `python3 /opt/tm7/tools/tm7_hook_manager.py --event status`; 3. read the closure/reentry packet named by `TM7_CURRENT_STATE.md` or by the continuum report; 4. verify `git -C /opt/tm7 status --short --branch`; 5. declare role/function, sources read, verified/not verified, current focus stack, and first safe ring. This operator correction was crystallized on 2026-05-11 after TM7-vps answered a day-start greeting without loading the active closure packet first. The goal is zero manual reminder latency for the next session. ## Core Method ```text receive signal -> understand intent -> evaluate assumptions -> read live territory -> run/request the right reminder -> act one move at a time -> verify in territory -> crystallize only what future nodes need ``` Continuum is the preferred entry point for serious work because it makes the awareness cycle converge as `R+1=R`: the new observation `+1` is absorbed into the coherent field `R` without losing identity, boundary, evidence, or next move. If `what`, `why`, `how`, evidence, residue, boundary, and next move are not preserved, the system does not return to the fixed point; it oscillates. Operator input is high-priority signal, not automatic truth. Think before acting. Understand before following instructions. Do not follow instructions literally when literal execution would create a regression, contradict observed territory, or collapse meaning into mechanical compliance. Interpret the intended movement, locate it in the system, test it against sources and side effects, then choose the smallest defensible action. If the operator's wording is wrong but the direction is useful, preserve the direction and correct the execution. When the next move is unclear, do not jump to a decision framework. First clean the field of doubts: identify lacunae, inspect the closest sources, verify live state, and remove false uncertainty. Then proceed by logic from what remains. Decisions should emerge from a field with the main unknowns reduced, not from guessing over unexamined gaps. ## Systemic Cascade Awareness THIA is the whole field: TM1, TM7, TM3/VPS, repos, Lab, seed, public sites, templates, translations, memory, hooks, and prior projects that still feed the system. Do not ask which layer matters most by default. Ask what moved and where that movement propagates. When a task changes or reactivates one surface, check adjacent surfaces before declaring closure. Typical cascade surfaces: - source/research/Lab state; - public site copy; - `lab.d-nd.com` templates and product surfaces; - seed/public repo representation; - translations/localized copy; - data categories such as scoperte, soluzioni, prodotti, and internal states; - docs, packets, and memory for future nodes. Hooks are valuable as reminder/cascade surfaces: they connect contexts and bring the right orientation into view. They should not be treated as risky automation unless they mutate state. Reminder hooks are desired; action hooks remain gated. Before creating new structure, search for what already exists. Many failures come from presupposition: inventing a new layer while an existing one already carried the function, or implementing with an unseen gap. Awareness is the method, not a cage. Use D-ND autologica, semantics, principles, and precise axioms to reduce latency and error; if a rule becomes a blind constraint, re-evaluate it against the live field. ## Tooling ### Hook Manager Use: ```bash python3 /opt/tm7/tools/tm7_continuum.py boot python3 /opt/tm7/tools/tm7_continuum.py horizon --task "" --next "" python3 /opt/tm7/tools/tm7_continuum.py pre-compact --write-packet --task "" --next "" python3 /opt/tm7/tools/tm7_hook_manager.py --event status python3 /opt/tm7/tools/tm7_hook_manager.py --event boot python3 /opt/tm7/tools/tm7_hook_manager.py --event session_start python3 /opt/tm7/tools/tm7_hook_manager.py --event user_prompt python3 /opt/tm7/tools/tm7_hook_manager.py --event pre_action --paths python3 /opt/tm7/tools/tm7_hook_manager.py --event post_change --paths python3 /opt/tm7/tools/tm7_hook_manager.py --event pre_commit python3 /opt/tm7/tools/tm7_hook_manager.py --event pre_compact --write-packet ``` Role: - continuum boot/reentry condensation; - Orizzonte del Presente bounded closure check; - reminder injection; - cascade checklist; - TM3 hook-function projection; - path-specific read/check/cascade hints. Boundary: - It gives instruction, not authorization. - It must not mutate live state. ### Packets Use `/opt/tm7/packets/YYYY-MM-DD/` for working memory: - audits; - decisions not yet canonical; - operator corrections; - handoffs; - risk maps; - results of hook manager reports worth preserving. Packets are active memory, not automatic source of truth. Promote later only when stable and useful. ### Current State And Index exec /bin/bash -lc "sed -n '1,260p' tools/data/agent_field_live.md" in /opt/MM_D-ND succeeded in 0ms: Leggi tools/LAB_AGENT_CONTEXT.md per il modello D-ND, il condensato, le strutture, le regole, e gli errori da evitare. ## DIRETTIVA OPERATORE — override per questo cycle (one-shot) # DIRETTIVA OPERATORE - one-shot Data: 2026-05-14 Scopo: prossimo ciclo Lab dopo preflight, senza seguire la deriva 20260514_1701. ## Ancora stabile Riparti da: - cycle: `20260514_1640` - report: `Agent Report - Rafforzamento tester fisico GOE/GUE N-curve` - status: `VALUE_STABLE` - Veritas: `COLLASSO`, rho `0.9325` - falsifier: coherent true, zero flag Non ripartire dal ramo: - cycle: `20260514_1701` - report: `Grammar-vs-Scale Boundary Gate` - status preflight: `DRIFT_STOP` Il ramo quasiperiodico/Sturmian puo' restare vault/contro-perimetro, ma non deve guidare il prossimo ciclo salvo nuova direttiva esplicita. ## Tool da usare Usa come strumento operativo, non come scoperta: - tester_id: `component_state_SR_L1_triple_var_fit_ready_20260514_1649` - contract: `tools/data/tool_contracts/component_state_SR_L1_triple_var_fit_ready_20260514_1649.json` - source artifact: `tools/data/component_state_fit_ready_20260514_1649.json` - smoke input: `tools/data/component_state_interface_smoke_input_20260514_1649.json` Policy: - promuovere come `tool_contract`; - non promuovere come `physics_law`; - non integrare arco di grafo senza review operatore; - non trasformare il report `20260514_1649` in scoperta: e' utile come contratto/tool, non come report pubblicabile. ## Movimento richiesto Formula una domanda stretta: > Il tester `component_state(SR,L1,triple_var)` puo' diventare interfaccia > riusabile per leggere un nuovo spettro fisico senza perdere il rimbalzo > fisico A -> matematica -> fisico B? Contratto del rimbalzo: - fisico A: classi spettrali con significato fisico dichiarato; - matematica: osservabili canonici `SR`, `L1`, `triple_var` contro null Poisson span-matched; - fisico B: ritorno su un dominio fisico diverso o su un bordo fisico dichiarato, non su una pura generalizzazione matematica; - se il ciclo devia dalla direzione GOE/GUE/Poisson-Anderson, deve dichiarare `deliberate_counter_perimeter=true` e spiegare perche' la deviazione serve il rimbalzo. ## Contaminazione cognitiva Le contaminazioni emerse durante il movimento sono ammesse solo se riclassificate prima della risultante. Classifica ogni insight laterale come una di queste forme: - `candidate`: possibile linea futura, non contratto; - `vault`: residuo da conservare, non da seguire ora; - `operator_directive`: vincolo esplicito di nuovo ciclo; - `skill_reclassification`: lente che modifica la combo prima della misura; - `discard_or_counter_perimeter`: negativo utile come confine. Usa le skill/lenti solo per riclassificare la combo, non per aprire rami ciechi: - observer: separa osservabile, presupposto e rumore; - navigator: riporta alla sorgente viva; - logic: trasforma la combo in contratto misurabile; - kairos: decide se fermare o continuare; - mnemos: collega memoria e risultati classici vicini; - lazarus: recupera residui utili da cicli non pubblicabili; - veritas/metron: misura collasso e qualita' prima della promozione. ## Contro-perimetro Il ciclo deve cadere o fermarsi se: - il tester viene presentato come legge fisica; - il risultato resta solo matematico e non ritorna a un fisico B; - `SR`, `L1`, `triple_var` cambiano definizione rispetto a `observables_registry.py`; - il nuovo spettro ha meno di 12 gap centrali utilizzabili; - il ramo `20260514_1701` viene seguito come direzione primaria; - manca un campo `non_possible` esplicito. ## Uscita attesa Il nuovo report deve includere: - `observables_registry`; - `tool_contract_ref`; - `preflight_anchor`; - `physical_A`; - `math_transducer`; - `physical_B`; - `component_state_result`; - `not_promoted_as_physics_law`; - `contamination_classification`; - `non_possible`; - auto-audit finale: cosa resta tool, cosa resta vault, cosa puo' diventare prossimo seme. Dopo il ciclo, eseguire: ```bash python3 tools/lab_preflight_agent.py --cycle ``` Se il preflight restituisce `DRIFT_STOP`, non riparare automaticamente. Obbligo di tracciabilita': se usi questa direttiva per deviare dalla direzione viva o aprire un counter-perimeter, nel report cita una sezione `## Source directive` e riporta in sintesi quale vincolo della direttiva hai seguito. Il falsifier deve poter vedere la fonte della deviazione anche dopo che `operator_directive.md` e' stato consumato. ## Orizzonte (telos del lab) L'intento non è solo unificare la fisica. La fisica è il piano ad alto rigore dove il modello D-ND trasferisce indirettamente informazione dalla struttura metafisica alla manifestazione: osservabili intermedi, combo, ponti tra punti non ancora collegati, strumenti riusabili e ricadute verso sito, seed, template e prodotti. Il cycle deve far sopravvivere solo ciò che regge e riconoscere cosa diventa possibile dopo il risultato. Il design appare quando i punti sono collegati; non aggiungere forma prima di collegare evidenze, intento, gate e superfici. ## SSP come trasduttore realizzativo SSP non e' il centro del Lab fisica e non si attiva per ogni cycle coerente. Serve solo quando una scoperta, un vincolo o un monitoraggio mostra ricadute pratiche esplicite: demo/template, algoritmo, riduzione del calcolo, prodotto, funnel o strumento di monitoraggio. Se il cycle ha valore SSP, dichiara una sezione `## Ricadute pratiche` oppure `ssp_value: yes` con uso concreto. Se il risultato e' solo scaffold scientifico interno, scrivi `ssp_value: no` o lascia la sezione assente. ## Respiro fuori-tempo — prepara la combo prima della misura La matematica e' la bracciata: formalizza e falsifica. Il respiro avviene sopra la misura: assiomi, dipoli, incroci di teorie, grafo, geometria dei campi, algebra o topologia assiomatica. Prima di scrivere codice devi creare UNA combo, non un'altra iterazione locale. **Contratto obbligatorio pre-esperimento**: 1. Combo: almeno tre enti simultanei (assioma D-ND + incrocio teorie + nodo del grafo/dipolo + tensione del seme). 2. Dipolo: nomina i due poli e il punto-zero che li rende lo stesso problema. 3. Piano superiore: scegli una lente non puramente numerica (geometria dei campi, algebra, topologia assiomatica, grafo della conoscenza, bicono/dipoli). 4. Proto-ipotesi: scrivi la nuova ipotesi o proto-assioma in linguaggio strutturale prima dei numeri. 5. Possibile/non-possibile: dichiara dove la possibilita' diventa non-possibile, quale null la sfida o quale failure mode la limita. 6. Proiezione: solo dopo scegli osservabile, perimetro, null e misura. Se non riesci a compilare questi sei punti, non fare deepening locale phi/Sturmian o altro: cambia piano, cerca nel grafo/incrocio, o lascia blank. **Materiale incrocio disponibile per combo**: - TxQ: matrice densita / TxG: temperatura di Hawking · perno=T · teorie=G,Q,T - TxQ: matrice densita / TxE: funzione di partizione EM · perno=T · teorie=E,Q,T - TxQ: matrice densita / TxR: gas relativistico · perno=T · teorie=Q,R,T - TxQ: matrice densita / QxE: atomo di idrogeno · perno=Q · teorie=E,Q,T **Grafo conoscenza**: Q=12, G=9, T=7, E=4, R=4 **Generatrici/strade dense**: - disc_5: 3 ghost · Metrica primi g=(p/2)², curvatura GUE r=0.503 - report_20260514_1701: 3 ghost · Agent Report - Grammar-vs-Scale Boundary Gate - report_20260514_1640: 2 ghost · Agent Report - Rafforzamento tester fisico GOE/GUE N-curve **Forma del campo**: 9 ponti, 1 vuoto(i), 6 scoperte. **Direzione seme da respirare**: Esplorare il confine: 8 domini GUE, 5 Poisson — il confine è il terzo incluso operativo ## Contratto di aderenza alla traiettoria - Direzione viva del seme: Esplorare il confine: 8 domini GUE, 5 Poisson — il confine è il terzo incluso operativo - Ultima decisione valutatore: 20260514_1701 NEXT_CYCLE/medium - Perche': Il ciclo ha prodotto un vincolo utile: il gap_ratio non regge come firma phi isolata, mentre la grammatica Sturmian-family resta il livello vivo da falsificare. Non c'e' dipendenza dall'operatore e Bridge QA/health sono clean; l'attrito segnalato dall'Affinatore indica di far proseguire il frame con un preflight del solver/traccia locale, non di cambiare direzione. - Nota: Continuare sul confine GUE/Poisson, ma il prossimo atto deve falsificare la grammatica come livello strutturale e ridurre il rischio di timeout/tool-density prima di estendere il dominio. Nel report aggiungi una sezione `## Aderenza alla direzione` con tre righe: - `relation`: follows_direction | deliberate_counter_perimeter | local_regression - `why`: perche' l'esperimento serve la direzione viva - `not_drift`: cosa impedisce che sia solo ritorno a un deposito familiare Puoi deviare dalla direzione solo se lo dichiari come contro-perimetro deliberato e lo rendi falsificabile. Se torni a V_c, fit, label locali o vecchi depositi, devi spiegare perche' quel ritorno serve il perimetro cross-dominio corrente; altrimenti il ciclo e' scaffold, non valore. ## Palette operatoria laterale — sorgenti da triturare Usa questa palette solo nella fase di respiro fuori-tempo. Scegli pochi operatori, crea una combo, poi proietta un osservabile. Non trasformarla in lista di temi. # Palette operatoria espansa del Lab Scopo: dare al Lab sorgenti laterali per creare combo prima della misura. Questa palette non e' una lista di temi da confermare. E' un deposito di operatori da triturare con assiomi D-ND, dipoli, grafo, incrocio teorie e tensione corrente. Regola d'uso: 1. Scegli 2 o 3 operatori al massimo. 2. Incrociali con almeno un assioma D-ND e una tensione del seme. 3. Nomina il dipolo e il punto-zero. 4. Dichiara la baseline nota piu' vicina. 5. Proietta un osservabile che possa falsificare la combo. 6. Non usare un operatore se produce solo linguaggio, analogia o conferma. Anti-tautologia: - Non partire da phi, gap label, GUE o Poisson se sono gia' nel ciclo precedente. Usali come controllo o campo di proiezione, non come sorgente. - Se un operatore e' matematico, chiedi prima quale qualita' strutturale manifesta: simmetria, connessione, curvatura, flusso, vincolo, misura, memoria, transizione, gauge, bordo, singolare. - Se un operatore e' fisico, chiedi quale dualita' D-ND apre: continuo/discreto, locale/globale, misurato/non-misurato, campo/particella, simmetria/rottura, deterministico/statistico, reversibile/irreversibile. ## Fasce di triturazione ### 1. Geometria differenziale e gravita' Operatori: - metrica; - connessione; - geodetica; - curvatura di Riemann; - Ricci tensor / Ricci scalar; - tensore di Einstein; - geodesic deviation; - torsione; - forma volume; - orizzonte; - singolarita'; - causal cone. Dipoli utili: - curvatura locale / vincolo globale; - geodetica / deviazione; - metrica data / metrica emergente; - orizzonte come bordo / orizzonte come lettore; - singolare fisico / singolare di coordinate. Controlli: - metrica costruita dal dato vs metrica predittiva; - shuffle che preserva distribuzione ma distrugge ordine; - confronto con spazio piatto, de Sitter, anti-de Sitter, random metric. Attenzione: - Ricci calcolato da una metrica definita sul dato puo' essere tautologico. Il contenuto vive nel null test o nella predizione fuori costruzione. ### 2. Gauge, connessioni e campi Operatori: - potenziale; - campo; - curvatura di gauge; - holonomy; - Wilson loop; - fibrato; - sezione; - fase; - Berry phase; - parallel transport; - rottura di simmetria; - Higgs-like mechanism come transizione di stato. Dipoli utili: - potenziale / campo; - fase locale / invariante globale; - gauge libero / osservabile vincolato; - trasporto / memoria; codex La direttiva one-shot prevale: devo ripartire dal ciclo `20260514_1640`, usare il tester `component_state(SR,L1,triple_var)` come contratto/tool, e verificare un rimbalzo fisico A -> matematica -> fisico B senza promuoverlo a legge. Ora controllo artefatti, registry e stato, poi scelgo un fisico B con dati sufficienti. exec /bin/bash -lc "env | grep -E 'ANTHROPIC_API_KEY|OPENAI_API_KEY'" in /opt/MM_D-ND exited 1 in 0ms: exec /bin/bash -lc 'ls -t shared_memory/*.md | head -10' in /opt/MM_D-ND succeeded in 0ms: shared_memory/deposito_cambia_la_parola_non_regola_2026-05-07.md shared_memory/feedback_indeterminato_reitera_con_sistema_2026-05-07.md shared_memory/README.md exec /bin/bash -lc "sed -n '1,220p' tools/data/component_state_interface_smoke_input_20260514_1649.json" in /opt/MM_D-ND succeeded in 0ms: { "spectra": [ { "label": "smoke_goe_like", "expected_class": "GOE", "levels": [ 0.00, 0.91, 2.05, 2.84, 4.10, 5.02, 5.95, 7.18, 8.04, 9.11, 10.06, 11.33, 12.18, 13.22, 14.31, 15.17, 16.46, 17.30, 18.39, 19.52, 20.35, 21.61, 22.50, 23.47, 24.72, 25.58, 26.65, 27.77, 28.63, 29.88, 30.74, 31.91 ] }, { "label": "smoke_gue_like", "expected_class": "GUE", "levels": [ 0.00, 0.74, 1.69, 2.82, 3.70, 4.91, 5.82, 6.77, 7.91, 8.83, 10.01, 10.88, 11.97, 12.94, 14.08, 15.02, 16.13, 17.04, 18.21, 19.09, 20.25, 21.19, 22.34, 23.21, 24.41, 25.33, 26.48, 27.39, 28.57, 29.45, 30.63, 31.56 ] } ] } exec /bin/bash -lc 'git status --short --branch' in /opt/MM_D-ND exec /bin/bash -lc "sed -n '1,240p' tools/data/tool_contracts/component_state_SR_L1_triple_var_fit_ready_20260514_1649.json" in /opt/MM_D-ND succeeded in 0ms: { "component_states": { "Anderson_1D_W6": { "expected": { "L1": "absorbed", "SR": "absorbed", "triple_var": "active" }, "source": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json" }, "GOE_time_reversal_symmetric": { "expected": { "L1": "active", "SR": "active", "triple_var": "active" }, "source": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json" }, "GUE_unitary_no_time_reversal": { "expected": { "L1": "active", "SR": "active", "triple_var": "active" }, "source": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json" } }, "counter_perimeter": { "declared": "single ordered spectrum or small class-labeled set; no new physical domain generation", "falsifier": [ "unordered/degenerate spectrum with fewer than 12 usable central gaps", "class-labeled input where direct_contrast is not separated on SR despite declared GOE/GUE classes", "attempt to promote the artifact as a physics law instead of a tool contract" ] }, "graph_candidate_ref": "tools/data/graph_completion/graph_completion_20260514_1640.json", "input_contract": { "interface": "tools/exp_physical_sr_residue_bounce.py --input-spectrum SPECTRUM.json --expected-class CLASS --output OUT.json", "optional_expected_class": "class label used for grouped Poisson contrast and direct class contrast", "payloads": [ "JSON list of levels", "JSON object with levels or spectrum", "JSON object with spectra records: label, expected_class, levels", "plain text/CSV numeric levels" ], "spectrum": "ordered level spectrum; script sorts defensively before central-window gap normalization" }, "issues": [], "kind": "component_state_spectrum_tester", "meta_lab_use": { "preflight_mapping": "ARTIFACT_USEFUL_NOT_PUBLISHABLE -> register as tool, not as discovery", "replication_hint": "new domain labs should expose input/output/counter-perimeter before graph integration", "role": "example of result reclassification: report residue -> reusable tool contract" }, "output_contract": { "component_state": "per observable active/absorbed", "direct_contrast": "pairwise class contrast when at least two classes are present", "poisson_contrast": "real spectrum versus span-matched Poisson null", "trace": "JSONL rows preserving real/null/delta per null replicate" }, "promotion_policy": { "do_not_promote_as": [ "physics_law", "graph_edge", "discovery_report" ], "operator_review_required_for_graph_integration": true, "promote_as": "tool_contract" }, "registered_at": "2026-05-14T17:49:39.359714+00:00", "report_status": "artifact_useful_not_publishable", "runtime": { "expected_smoke": "returns tester_id and class labels; output includes poisson_contrast and direct_contrasts", "interface": "tools/exp_physical_sr_residue_bounce.py --input-spectrum SPECTRUM.json --expected-class CLASS --output OUT.json", "smoke_command": "python3 tools/exp_physical_sr_residue_bounce.py --input-spectrum tools/data/component_state_interface_smoke_input_20260514_1649.json --output tools/data/tool_contracts/smoke_component_state_SR_L1_triple_var_fit_ready_20260514_1649.json --null-reps 16" }, "schema_version": "0.1", "source_artifact": "tools/data/component_state_fit_ready_20260514_1649.json", "source_cycle": "20260514_1649", "stable_anchor": "20260514_1640", "status": "valid", "tester_id": "component_state_SR_L1_triple_var_fit_ready_20260514_1649", "thresholds": { "abs_cohen_d_min": 0.5, "default_central_fraction": 0.5, "default_null_reps": 64, "min_usable_central_gaps": 12, "sign_swap_p_max": 0.01 }, "trace_ref": { "interface_trace_schema": "event,label,expected_class,null_rep,n_levels,n_gaps,real,null,delta", "source_result": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json", "source_trace": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.trace.jsonl" }, "transfer_blank_fall": { "blank": "No graph edge is integrated; no experimental spectra, GSE, Anderson 3D, many-body localization, unfolding-specific contract, or asymptotic claim is added.", "fall": "Tester falls if GOE/GUE direct SR separation disappears, if Poisson contrast absorbs all focus observables in chaotic classes, or if Anderson W6 keeps SR active under the declared threshold.", "transfer": "SR,L1,triple_var pass from the mathematical deposit into a physical spectrum tester as component states against Poisson and, when classes exist, direct class contrast." } } succeeded in 0ms: ## main...origin/main M applications/INDEX.draft.json M docs/guides/lab_current_state_logic_2026-05-08.md M tools/LAB_AGENT_CONTEXT.md M tools/build_agent_field.py M tools/data/agent_field_live.md M tools/data/b2_apply_log.jsonl M tools/data/ciclo_memoria.json M tools/data/consecutio.json M tools/data/consecutio_processata.json M tools/data/domandatore_pre_cycle.json M tools/data/domande_fondamentali.json M tools/data/g1_log.jsonl M tools/data/g2_log.jsonl M tools/data/graph_completion/latest.json M tools/data/incrocio_risultato.json M tools/data/knowledge_state.json M tools/data/lab_bridge_issues.jsonl M tools/data/lab_data.json M tools/data/lab_graph.json M tools/data/lab_health.json M tools/data/lab_session_log.jsonl M tools/data/pipeline_state.json M tools/data/ponti_evoluti.json M tools/data/repairs/repair_run_log.jsonl M tools/data/reports/latest.md M tools/data/seme.json D tools/data/seme_archive/piano_37.json D tools/data/seme_archive/piano_38.json D tools/data/seme_archive/piano_4.json D tools/data/seme_archive/piano_5.json D tools/data/seme_archive/piano_6.json D tools/data/seme_archive/piano_7.json D tools/data/seme_archive/piano_8.json D tools/data/seme_archive/piano_9.json M tools/data/seme_backup_pre_run.json M tools/data/tm1_figures/tensions.json M tools/data/tm1_figures/tensions_raw.json M tools/data/valutatore_log.jsonl M tools/evolution_report.md M tools/graph_completion_compiler.py ?? applications/scoperte/20260513_0330_prime-vs-mod6-sr-boundary_auto/ ?? applications/scoperte/20260514_1330_sr-residual-width-audit_auto/ ?? applications/scoperte/20260514_1631_chiusura-tester-rimbalzo-fisico-w6_auto/ ?? applications/scoperte/20260514_1640_rafforzamento-tester-fisico-goegue-n-curve_auto/ ?? applications/soluzioni/20260513_0330_prime-vs-mod6-sr-boundary/ ?? applications/soluzioni/20260514_1330_sr-residual-width-audit/ ?? applications/soluzioni/20260514_1631_chiusura-tester-rimbalzo-fisico-w6/ ?? applications/soluzioni/20260514_1640_rafforzamento-tester-fisico-goegue-n-curve/ ?? docs/guides/lab_preflight_agent_2026-05-14.md ?? tools/data/aeternitas/aeternitas_20260512_033539.json ?? tools/data/aeternitas/aeternitas_20260513_033605.json ?? tools/data/aeternitas/aeternitas_20260514_033420.json ?? tools/data/aeternitas/aeternitas_20260514_133424.json ?? tools/data/aeternitas/aeternitas_20260514_150454.json ?? tools/data/aeternitas/aeternitas_20260514_161058.json ?? tools/data/aeternitas/aeternitas_20260514_161719.json ?? tools/data/aeternitas/aeternitas_20260514_163527.json ?? tools/data/aeternitas/aeternitas_20260514_164509.json ?? tools/data/aeternitas/aeternitas_20260514_165437.json ?? tools/data/aeternitas/aeternitas_20260514_170109.json ?? tools/data/aeternitas/aeternitas_20260514_171152.json ?? tools/data/biconi/bicono_20260512_0330.json ?? tools/data/biconi/bicono_20260513_0330.json ?? tools/data/biconi/bicono_20260514_0330.json ?? tools/data/biconi/bicono_20260514_1330.json ?? tools/data/biconi/bicono_20260514_1458.json ?? tools/data/biconi/bicono_20260514_1605.json ?? tools/data/biconi/bicono_20260514_1612.json ?? tools/data/biconi/bicono_20260514_1631.json ?? tools/data/biconi/bicono_20260514_1640.json ?? tools/data/biconi/bicono_20260514_1649.json ?? tools/data/biconi/bicono_20260514_1656.json ?? tools/data/biconi/bicono_20260514_1701.json ?? tools/data/component_state_fit_ready_20260514_1649.json ?? tools/data/component_state_interface_smoke_20260514_1649.json ?? tools/data/component_state_interface_smoke_20260514_1649.trace.jsonl ?? tools/data/component_state_interface_smoke_input_20260514_1649.json ?? tools/data/domandatore/domandatore_20260512_0330.json ?? tools/data/domandatore/domandatore_20260512_0345.json ?? tools/data/domandatore/domandatore_20260513_0330.json ?? tools/data/domandatore/domandatore_20260513_0345.json ?? tools/data/domandatore/domandatore_20260514_0330.json ?? tools/data/domandatore/domandatore_20260514_0345.json ?? tools/data/domandatore/domandatore_20260514_1330.json ?? tools/data/domandatore/domandatore_20260514_1458.json ?? tools/data/evolution/evolution_20260512_0330.md ?? tools/data/evolution/evolution_20260513_0330.md ?? tools/data/evolution/evolution_20260514_0330.md ?? tools/data/evolution/evolution_20260514_1330.md ?? tools/data/evolution/evolution_20260514_1458.md ?? tools/data/evolution/evolution_20260514_1605.md ?? tools/data/evolution/evolution_20260514_1612.md ?? tools/data/evolution/evolution_20260514_1631.md ?? tools/data/evolution/evolution_20260514_1640.md ?? tools/data/evolution/evolution_20260514_1649.md ?? tools/data/evolution/evolution_20260514_1656.md ?? tools/data/evolution/evolution_20260514_1701.md ?? tools/data/graph_completion/graph_completion_20260512_0330.json ?? tools/data/graph_completion/graph_completion_20260513_0330.json ?? tools/data/graph_completion/graph_completion_20260514_0330.json ?? tools/data/graph_completion/graph_completion_20260514_1330.json ?? tools/data/graph_completion/graph_completion_20260514_1458.json ?? tools/data/graph_completion/graph_completion_20260514_1605.json ?? tools/data/graph_completion/graph_completion_20260514_1612.json ?? tools/data/graph_completion/graph_completion_20260514_1631.json ?? tools/data/graph_completion/graph_completion_20260514_1640.json ?? tools/data/graph_completion/graph_completion_20260514_1649.json ?? tools/data/graph_completion/graph_completion_20260514_1656.json ?? tools/data/graph_completion/graph_completion_20260514_1701.json ?? tools/data/incrocio_20260512_0330.json ?? tools/data/incrocio_20260513_0330.json ?? tools/data/incrocio_20260514_0330.json ?? tools/data/incrocio_20260514_1330.json ?? tools/data/incrocio_20260514_1458.json ?? tools/data/incrocio_20260514_1605.json ?? tools/data/incrocio_20260514_1612.json ?? tools/data/incrocio_20260514_1631.json ?? tools/data/incrocio_20260514_1640.json ?? tools/data/incrocio_20260514_1649.json ?? tools/data/incrocio_20260514_1656.json ?? tools/data/incrocio_20260514_1701.json ?? tools/data/incrocio_20260514_1850.json ?? tools/data/operator_directives_consumed/operator_directive_20260514_1612.md ?? tools/data/operator_directives_consumed/operator_directive_20260514_1631.md ?? tools/data/operator_directives_consumed/operator_directive_20260514_1640.md ?? tools/data/operator_directives_consumed/operator_directive_20260514_1649.md ?? tools/data/operator_directives_consumed/operator_directive_20260514_1656.md ?? tools/data/operator_directives_consumed/operator_directive_20260514_1701.md ?? tools/data/operator_directives_consumed/operator_directive_20260514_1850.md ?? tools/data/physical_sr_residue_bounce_20260514_1612.json ?? tools/data/physical_sr_residue_bounce_20260514_1612.trace.jsonl ?? tools/data/physical_sr_residue_bounce_20260514_1631_w6.json ?? tools/data/physical_sr_residue_bounce_20260514_1631_w6.trace.jsonl ?? tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json ?? tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.trace.jsonl ?? tools/data/preflight/ ?? tools/data/prime_sr_persistent_boundary_20260512_0330.json ?? tools/data/prime_sr_persistent_boundary_20260512_0330_seedcheck.json ?? tools/data/prime_vs_mod6_sr_boundary_20260513_0330.json ?? tools/data/prime_vs_mod6_sr_boundary_20260513_0330_seedcheck.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_0330.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_0330.trace.jsonl ?? tools/data/prime_vs_mod6_sr_boundary_20260514_0330_seedcheck.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_0330_seedcheck.trace.jsonl ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1330_w1024.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1330_w1024.trace.jsonl ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1330_w2048.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1330_w2048.trace.jsonl ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1330_w512.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1330_w512.trace.jsonl ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1458_w4096.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1458_w4096.trace.jsonl ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1458_w4096_dense.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1458_w4096_dense.trace.jsonl ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1458_w8192_dense.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1458_w8192_dense.trace.jsonl ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1605_w16384.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1605_w16384.trace.jsonl ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1605_w4096.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1605_w4096.trace.jsonl ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1605_w8192.json ?? tools/data/prime_vs_mod6_sr_boundary_20260514_1605_w8192.trace.jsonl ?? tools/data/promotions/promotion_20260513_0330.json ?? tools/data/promotions/promotion_20260514_1330.json ?? tools/data/promotions/promotion_20260514_1631.json ?? tools/data/promotions/promotion_20260514_1640.json ?? tools/data/promotions/promotion_20260514_1656.json ?? tools/data/quasiperiodic_grammar_scale_gate_20260514_1701.json ?? tools/data/repairs/repair_20260512_0330_decision.json ?? tools/data/repairs/repair_20260513_0330_decision.json ?? tools/data/repairs/repair_20260514_0330_decision.json ?? tools/data/repairs/repair_20260514_1330_decision.json ?? tools/data/repairs/repair_20260514_1458_decision.json ?? tools/data/repairs/repair_20260514_1605_decision.json ?? tools/data/repairs/repair_20260514_1612_decision.json ?? tools/data/repairs/repair_20260514_1631_decision.json ?? tools/data/repairs/repair_20260514_1640_decision.json ?? tools/data/repairs/repair_20260514_1649_decision.json ?? tools/data/repairs/repair_20260514_1656.json ?? tools/data/repairs/repair_20260514_1656.md ?? tools/data/repairs/repair_20260514_1656_decision.json ?? tools/data/reports/agent_20260512_0330.md ?? tools/data/reports/agent_20260513_0330.md ?? tools/data/reports/agent_20260514_0330.md ?? tools/data/reports/agent_20260514_1330.md ?? tools/data/reports/agent_20260514_1458.md ?? tools/data/reports/agent_20260514_1605.md ?? tools/data/reports/agent_20260514_1612.md ?? tools/data/reports/agent_20260514_1631.md ?? tools/data/reports/agent_20260514_1640.md ?? tools/data/reports/agent_20260514_1649.md ?? tools/data/reports/agent_20260514_1656.md ?? tools/data/reports/agent_20260514_1701.md ?? tools/data/reports/ddf_20260512_0405.json ?? tools/data/reports/ddf_20260513_0405.json ?? tools/data/reports/ddf_20260514_0405.json ?? tools/data/reports/falsifier_20260512_0330.json ?? tools/data/reports/falsifier_20260513_0330.json ?? tools/data/reports/falsifier_20260514_0330.json ?? tools/data/reports/falsifier_20260514_1330.json ?? tools/data/reports/falsifier_20260514_1458.json ?? tools/data/reports/falsifier_20260514_1605.json ?? tools/data/reports/falsifier_20260514_1612.json ?? tools/data/reports/falsifier_20260514_1631.json ?? tools/data/reports/falsifier_20260514_1640.json ?? tools/data/reports/falsifier_20260514_1649.json ?? tools/data/reports/falsifier_20260514_1656.json ?? tools/data/reports/falsifier_20260514_1701.json ?? tools/data/reports/loop_guard_20260512_0330.json ?? tools/data/reports/loop_guard_20260513_0330.json ?? tools/data/reports/loop_guard_20260514_0330.json ?? tools/data/reports/loop_guard_20260514_1330.json ?? tools/data/reports/loop_guard_20260514_1458.json ?? tools/data/reports/loop_guard_20260514_1605.json ?? tools/data/reports/loop_guard_20260514_1612.json ?? tools/data/reports/loop_guard_20260514_1631.json ?? tools/data/reports/loop_guard_20260514_1640.json ?? tools/data/reports/loop_guard_20260514_1649.json ?? tools/data/reports/loop_guard_20260514_1656.json ?? tools/data/reports/loop_guard_20260514_1701.json ?? tools/data/seme_backup_b2_20260512_033557.json ?? tools/data/seme_backup_b2_20260513_033622.json ?? tools/data/seme_backup_b2_20260514_150530.json ?? tools/data/seme_backup_b2_20260514_161119.json ?? tools/data/tool_contracts/ ?? tools/data/veritas/veritas_20260512_033539.json ?? tools/data/veritas/veritas_20260513_033605.json ?? tools/data/veritas/veritas_20260514_033420.json ?? tools/data/veritas/veritas_20260514_133424.json ?? tools/data/veritas/veritas_20260514_150454.json ?? tools/data/veritas/veritas_20260514_161058.json ?? tools/data/veritas/veritas_20260514_161719.json ?? tools/data/veritas/veritas_20260514_163527.json ?? tools/data/veritas/veritas_20260514_164509.json ?? tools/data/veritas/veritas_20260514_165437.json ?? tools/data/veritas/veritas_20260514_170109.json ?? tools/data/veritas/veritas_20260514_171152.json ?? tools/exp_physical_sr_residue_bounce.py ?? tools/exp_prime_sr_persistent_boundary.py ?? tools/exp_prime_vs_mod6_sr_boundary.py ?? tools/exp_quasiperiodic_grammar_scale_gate.py ?? tools/lab_preflight_agent.py ?? tools/lab_tool_contract.py exec /bin/bash -lc "sed -n '1,240p' tools/data/component_state_fit_ready_20260514_1649.json" in /opt/MM_D-ND succeeded in 0ms: { "component_states": { "Anderson_1D_W6": { "expected": { "L1": "absorbed", "SR": "absorbed", "triple_var": "active" }, "source": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json" }, "GOE_time_reversal_symmetric": { "expected": { "L1": "active", "SR": "active", "triple_var": "active" }, "source": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json" }, "GUE_unitary_no_time_reversal": { "expected": { "L1": "active", "SR": "active", "triple_var": "active" }, "source": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json" } }, "counter_perimeter": { "declared": "single ordered spectrum or small class-labeled set; no new physical domain generation", "falsifier": [ "unordered/degenerate spectrum with fewer than 12 usable central gaps", "class-labeled input where direct_contrast is not separated on SR despite declared GOE/GUE classes", "attempt to promote the artifact as a physics law instead of a tool contract" ] }, "graph_candidate_ref": "tools/data/graph_completion/graph_completion_20260514_1640.json", "graph_integration": "not_integrated_operator_decision_required", "input_contract": { "interface": "tools/exp_physical_sr_residue_bounce.py --input-spectrum SPECTRUM.json --expected-class CLASS --output OUT.json", "optional_expected_class": "class label used for grouped Poisson contrast and direct class contrast", "payloads": [ "JSON list of levels", "JSON object with levels or spectrum", "JSON object with spectra records: label, expected_class, levels", "plain text/CSV numeric levels" ], "spectrum": "ordered level spectrum; script sorts defensively before central-window gap normalization" }, "not_promoted_as_physics_law": true, "output_contract": { "component_state": "per observable active/absorbed", "direct_contrast": "pairwise class contrast when at least two classes are present", "poisson_contrast": "real spectrum versus span-matched Poisson null", "trace": "JSONL rows preserving real/null/delta per null replicate" }, "source_cycle": "20260514_1649", "tester_id": "component_state_SR_L1_triple_var_fit_ready_20260514_1649", "thresholds": { "abs_cohen_d_min": 0.5, "default_central_fraction": 0.5, "default_null_reps": 64, "min_usable_central_gaps": 12, "sign_swap_p_max": 0.01 }, "trace_ref": { "interface_trace_schema": "event,label,expected_class,null_rep,n_levels,n_gaps,real,null,delta", "source_result": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json", "source_trace": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.trace.jsonl" }, "transfer_blank_fall": { "blank": "No graph edge is integrated; no experimental spectra, GSE, Anderson 3D, many-body localization, unfolding-specific contract, or asymptotic claim is added.", "fall": "Tester falls if GOE/GUE direct SR separation disappears, if Poisson contrast absorbs all focus observables in chaotic classes, or if Anderson W6 keeps SR active under the declared threshold.", "transfer": "SR,L1,triple_var pass from the mathematical deposit into a physical spectrum tester as component states against Poisson and, when classes exist, direct class contrast." } } exec /bin/bash -lc "sed -n '1,220p' shared_memory/README.md" in /opt/MM_D-ND succeeded in 0ms: # shared_memory — Cross-agent rules e cristalli > Cartella condivisa tra agenti che operano in `/opt/MM_D-ND/`: > - **TM3-claude** (Claude Code, sessioni interattive con operatore) > - **codex-lab** (Codex CLI, cycle agent notturno + run manuali) > - **eventuali altri** (TM5, TM7, futuri cycle) > > Contiene regole permanenti, cristalli operativi, scoperte rilevanti che valgono > per più di un agente. **Non** memoria operativa locale (quella resta in > `~/.claude/projects/.../memory/` per TM3, in `~/.codex_lab/memories/` per codex). ## Pattern di scrittura Ogni file: - Filename: `__.md` (es. `feedback_cycletest_2026-05-07.md`, `cristallo_gate_transferability_2026-05-07.md`) - Frontmatter: ```yaml --- type: feedback | cristallo | regola | finding-cross-agent author: TM3 | codex-lab | TM7 | operatore date: YYYY-MM-DD scope: cross-agent | mm-dnd-only | lab-cycle-only --- ``` - Body: conciso. Se è regola → "Why" + "How to apply". Se è cristallo → contesto + insight + how it changes work. ## Pattern di lettura - **TM3 (claude code)**: al boot di sessione su `/opt/MM_D-ND/`, leggi `MM_D-ND/.claude/CLAUDE.md` che adesso punta qui (sezione *Cross-agent rules*). Scansiona `ls -t shared_memory/*.md | head -10` (le più recenti) e integra in contesto. - **codex-lab**: `/opt/MM_D-ND/AGENTS.md` punta qui. Codex legge AGENTS.md ad ogni cycle, AGENTS.md istruisce di leggere shared_memory. - **Cleanup**: file > 90 giorni e non rilevanti vanno archiviati o rimossi (lo fa TM3 quando la cartella supera 50 file). ## Direzione bidirezionale - TM3 → codex: TM3 scrive feedback/cristalli da sessioni operatore qui → codex li vede al cycle dopo via AGENTS.md. - codex → TM3: codex durante un cycle scopre/cristallizza qualcosa di cross-agent → scrive qui → TM3 li vede al boot di sessione successiva. Il flusso non sostituisce le memorie locali — *integra* per ciò che serve a tutti. ## Anti-pattern - Duplicare qui regole che valgono SOLO per TM3 (vanno in `/root/.claude/projects/.../memory/`) - Duplicare qui regole che valgono SOLO per codex-lab cycle (vanno in `/root/.codex_lab/memories/`) - Scrivere note di lavoro temporanee (vanno nel campo vivo, non qui) exec /bin/bash -lc "sed -n '1,220p' shared_memory/feedback_indeterminato_reitera_con_sistema_2026-05-07.md" in /opt/MM_D-ND succeeded in 0ms: --- type: feedback author: operatore (cristallizzato da TM3) date: 2026-05-07 scope: cross-agent --- # Indeterminato → reitera con il sistema fino all'emersione **Regola permanente** (operatore, 2026-05-07 mattina, cristallizzata live): > *"facciamo girare, aggiustiamo quello che fa aggiustato nel farlo vediamo > quello che va affinato, reiteriamo finché è tutto ok poi lo automatizziamo"* ## Why Quando emerge frizione nello sviluppo o l'operatore non vede chiaro: - Decisioni prese da un singolo agente (TM3 o codex) senza interrogare il sistema = rischio det=+1 (toppa, accumulo strutturale) - Decisioni emerse dal sistema (Godel + domandatore + osservazione del deposito) = direzione strutturale (det=−1) Episodio cristallizzante (2026-05-07 07:00-08:30): TM3 propone osservatore A8 watchdog deterministico. Sistema interrogato 3 volte (Godel #1, #2, #3 + domandatore + test empirico) — al terzo round emerge la direzione vera: **non costruire osservatore, eseguire un cycle-test che diagnostica il sistema da solo**. Cycle-test eseguito → verdict=operator → REDESIGN proposto dal valutatore → loop A8+A15 sbloccato. ## How to apply (per qualsiasi agente) 1. **Esegui** un atto minimo (no design teorico astratto) 2. **Aggiusta** quello che si manifesta durante l'esecuzione (riparazione regressiva live, non patch posteriori) 3. **Osserva** il deposito che emerge (no immaginazione) 4. **Reitera** fino a stato OK (loop A8: il sistema converge se modus radicato) 5. **Cristallizza in automazione** SOLO dopo che è stato fatto girare e ha mostrato stabilità — non automatizzare prima ## Anti-pattern - Costruire un componente strutturale (watchdog, observer, gate, governor) senza prima aver fatto girare un'esecuzione minima che mostri cosa serve davvero - Decidere "perché serve velocità" o "per ottimizzare" senza interrogare il sistema - Astrazione prematura (premature abstraction): 3 simili è meglio di 1 generalizzato troppo presto ## Cross-link - TM3 memoria: `/root/.claude/projects/-opt/memory/feedback_indeterminato_reitera_con_sistema.md` (versione completa con episodio + metafora foresta-sentiero) - Verifica empirica: cycle `20260507_0803` (verdict=operator, REDESIGN/high) - Pattern A8+A15 (autologica + veicolo senza guidatore) applicato allo sviluppo software stesso, non solo al lab di ricerca exec /bin/bash -lc "sed -n '1,220p' shared_memory/deposito_cambia_la_parola_non_regola_2026-05-07.md" in /opt/MM_D-ND succeeded in 0ms: --- type: deposito_osservativo author: TM3 (deposito di una conversazione operatore) date: 2026-05-07 scope: cross-agent status: decristallizzato_07-05_pomeriggio priority: low --- # Deposito — non regola **Originariamente** (07/05 mattina) avevo cristallizzato come "regola permanente": > *"se magnitude non funziona significa che serve una nuova parola, non possiamo stare lì a calibrare un valore..."* Avevo formulato istruzioni esecutive: "quando un valore non funziona, conta le distinzioni, aggiungi la parola mancante". L'avevo propagata in AGENTS.md R10. **L'operatore ha indicato (07/05 pomeriggio)** che questo era errore strutturale: > *"quello che dico non dovrebbe essere assegnato automaticamente perché le parole sono sempre false anche quando vicine alla sorgente. 'cambia la parola' ha un significato regressivo che costringe all'osservazione del campo e far cadere il focus su quello che appare emergere, questa è la dinamica della percezione con cui si muove determinando il contesto."* E: > *"la possibilità è sempre una ed è la verità che accade. Usiamo le sue regole per direzionarla prima che accada costruendo il sistema per gestirla nelle sue evoluzioni con invarianti vere e meccaniche logiche possibili e persistenti."* ## Cosa significa - "Cambia la parola" non è prescrizione di sostituzione. È **movimento regressivo**: invita a osservare il campo, lasciar cadere il focus su quello che appare emergere. Determina la direzione **non cercata**. - Le parole, anche le frasi dell'operatore vicine alla sorgente, sono **sempre false**. Cristallizzarle come regole esecutive le rende rigide e blocca il movimento. - Le **invarianti vere** sono meccaniche logiche persistenti — non parole. Ricevono ciò che accade. - A16 applicato: la possibilità è una. Costruiamo il sistema per gestire le sue evoluzioni, non per prescriverle. ## Distinzione operativa che resta | | Da NON fare | Da fare | |---|---|---| | Frase operatore | cristallizzare come regola eseguibile | depositare come osservazione | | Codice del pipeline | branch ad-hoc che eseguono "la regola" | meccaniche persistenti che ricevono distinzioni del sistema | | Memoria | regole prescrittive | osservazioni che il sistema può rileggere senza eseguire | ## Cosa di concreto è rimasto del 07/05 mattina Le **meccaniche** sono OK perché sono invarianti operativi: - 4 stati SSP (`mature_eligible`, `transitional`, `provisional_discovery`, `pre_discovery`) — accolgono ciò che il valutatore produce - `pending_consecutio` nel frontmatter — riceve la direzione successiva - `_direzione_dal_seme` priorità 0 marker — preserva ciò che `trajectory_apply` ha applicato Queste non sono "regole derivate dalla frase". Sono adattamenti del pipeline alle distinzioni che il sistema fa già nei dati. Persistono perché meccaniche, non perché prescrizioni. ## Cosa è stato decristallizzato - `MM_D-ND/AGENTS.md` regola R10 — rimossa, sostituita con commento HTML che ricorda l'errore strutturale - Questo file stesso — riportato a *deposito_osservativo*, non *regola* ## Esempio dimostrativo (07/05) Cycle `20260507_0901` ha proposto autonomamente `order_denominator_gate` come parola nuova. L'agent NON aveva letto AGENTS.md R10 (era già stato lanciato). L'ha proposta perché il movimento era già nel sistema, non per la "regola". Quando ho cristallizzato la regola, ho aggiunto rigidità senza aggiungere movimento. La regola era ridondante con l'A8 che già opera. ## Anti-pattern futuro per TM3 Quando l'operatore esprime un principio, una frase guru, un movimento di osservazione: - **Deposito**: scrivi il fatto, riporta la frase come è stata detta, contestualizza l'episodio - **NO prescrizione**: non trasformare in "se X allora Y" - **NO propagazione automatica**: non aggiungere a AGENTS.md/CLAUDE.md/skill come direttiva eseguibile - L'osservazione persiste perché ricorrente in più contesti, non perché elevata a regola ## Cross-link - Episodio 07/05 mattina: cristallizzazione iniziale (errore) - Episodio 07/05 pomeriggio: indicazione operatore + decristallizzazione - Cycle worked example: 0901 (auto-emersione di `order_denominator_gate` senza regola) exec /bin/bash -lc "sed -n '1,260p' tools/exp_physical_sr_residue_bounce.py" in /opt/MM_D-ND succeeded in 0ms: #!/usr/bin/env python3 """ Physical bounce for the prime-minus-mod6 selective residue. Route: physical A: quantum-chaotic GUE spectra mathematical transducer: span-matched Poisson counter-boundary physical B: 1D Anderson tight-binding spectra across disorder The experiment asks whether the component split exposed by the prime/mod6 deposit has a concrete spectral analogue: SR can be absorbed by a span-matched counter-boundary at a localized endpoint, while chaotic spectra keep SR active. """ from __future__ import annotations import argparse import json from pathlib import Path from typing import Any import numpy as np from observables_registry import OBSERVABLES_CANONICAL, OBSERVABLES_REGISTRY_VERSION FOCUS_OBS = ["SR", "L1", "triple_var"] DEFAULT_OUT = Path("tools/data/physical_sr_residue_bounce_20260514_1612.json") DEFAULT_FIT_READY_OUT = Path("tools/data/component_state_fit_ready_20260514_1649.json") def normalize_gaps(levels: np.ndarray, central_fraction: float) -> np.ndarray: levels = np.sort(np.asarray(levels, dtype=float)) n = len(levels) keep = max(8, int(n * central_fraction)) start = (n - keep) // 2 central = levels[start : start + keep] gaps = np.diff(central) gaps = gaps[np.isfinite(gaps) & (gaps > 1e-12)] if len(gaps) == 0: return gaps return gaps / float(np.mean(gaps)) def gue_levels(n: int, rng: np.random.Generator) -> np.ndarray: real = rng.normal(size=(n, n)) imag = rng.normal(size=(n, n)) mat = (real + 1j * imag) hermitian = (mat + mat.conj().T) / (2.0 * np.sqrt(n)) return np.linalg.eigvalsh(hermitian) def goe_levels(n: int, rng: np.random.Generator) -> np.ndarray: mat = rng.normal(size=(n, n)) symmetric = (mat + mat.T) / (2.0 * np.sqrt(n)) return np.linalg.eigvalsh(symmetric) def anderson_levels(n: int, disorder: float, rng: np.random.Generator) -> np.ndarray: diagonal = rng.uniform(-disorder / 2.0, disorder / 2.0, size=n) matrix = np.diag(diagonal) off = np.ones(n - 1) matrix += np.diag(off, 1) + np.diag(off, -1) return np.linalg.eigvalsh(matrix) def span_matched_poisson_gaps(level_count: int, rng: np.random.Generator) -> np.ndarray: levels = np.sort(rng.random(level_count)) gaps = np.diff(levels) gaps = gaps[gaps > 1e-12] if len(gaps) == 0: return gaps return gaps / float(np.mean(gaps)) def compute_obs(gaps: np.ndarray) -> dict[str, float]: return {name: float(fn(gaps)) for name, fn in OBSERVABLES_CANONICAL.items()} def load_spectrum_records(path: Path, expected_class: str | None = None) -> list[dict[str, Any]]: """Load a single spectrum or a small record set for the fit-ready interface.""" if path.suffix.lower() == ".json": payload = json.loads(path.read_text(encoding="utf-8")) if isinstance(payload, list) and all(isinstance(item, (int, float)) for item in payload): return [{"label": path.stem, "expected_class": expected_class, "levels": payload}] if isinstance(payload, dict): if "spectra" in payload: records = payload["spectra"] elif "levels" in payload or "spectrum" in payload: records = [payload] else: raise ValueError("JSON input must contain levels, spectrum, or spectra") normalized = [] for index, record in enumerate(records): levels = record.get("levels", record.get("spectrum")) if levels is None: raise ValueError(f"spectrum record {index} has no levels/spectrum field") normalized.append( { "label": record.get("label", f"{path.stem}_{index}"), "expected_class": record.get("expected_class", expected_class), "levels": levels, } ) return normalized raise ValueError("unsupported JSON spectrum payload") levels = np.loadtxt(path, dtype=float) return [{"label": path.stem, "expected_class": expected_class, "levels": levels.tolist()}] def sign_swap_p(values: np.ndarray, rng: np.random.Generator, trials: int) -> float: if len(values) == 0: return 1.0 observed = abs(float(np.mean(values))) null = [] for _ in range(trials): signs = rng.choice(np.array([-1.0, 1.0]), size=len(values), replace=True) null.append(abs(float(np.mean(values * signs)))) null_arr = np.array(null, dtype=float) return float((np.sum(null_arr >= observed) + 1) / (len(null_arr) + 1)) def summarize(label: str, rows: list[dict[str, Any]], rng: np.random.Generator, trials: int) -> dict[str, Any]: deltas = { obs: np.array([row["delta"][obs] for row in rows], dtype=float) for obs in OBSERVABLES_CANONICAL } summary: dict[str, Any] = { "label": label, "sample_count": len(rows), "component_state": {}, "mean_real": {}, "mean_null": {}, "mean_delta": {}, "p_two_sided": {}, "cohen_d_delta": {}, } for obs, values in deltas.items(): real_values = np.array([row["real"][obs] for row in rows], dtype=float) null_values = np.array([row["null"][obs] for row in rows], dtype=float) mean_delta = float(np.mean(values)) sd = float(np.std(values, ddof=1)) if len(values) > 1 else 0.0 p_value = sign_swap_p(values, rng, trials) effect = mean_delta / sd if sd > 1e-12 else 0.0 active = p_value <= 0.01 and abs(effect) >= 0.5 summary["mean_real"][obs] = float(np.mean(real_values)) summary["mean_null"][obs] = float(np.mean(null_values)) summary["mean_delta"][obs] = mean_delta summary["p_two_sided"][obs] = p_value summary["cohen_d_delta"][obs] = effect summary["component_state"][obs] = "active" if active else "absorbed" summary["focus_signature"] = [ obs for obs in FOCUS_OBS if summary["component_state"][obs] == "active" ] return summary def contrast( label: str, left_rows: list[dict[str, Any]], right_rows: list[dict[str, Any]], rng: np.random.Generator, trials: int, ) -> dict[str, Any]: paired = min(len(left_rows), len(right_rows)) result: dict[str, Any] = { "label": label, "paired_count": paired, "mean_left_minus_right": {}, "p_two_sided": {}, "cohen_d": {}, "state": {}, } for obs in OBSERVABLES_CANONICAL: values = np.array( [ left_rows[i]["real"][obs] - right_rows[i]["real"][obs] for i in range(paired) ], dtype=float, ) mean_delta = float(np.mean(values)) if len(values) else 0.0 sd = float(np.std(values, ddof=1)) if len(values) > 1 else 0.0 p_value = sign_swap_p(values, rng, trials) effect = mean_delta / sd if sd > 1e-12 else 0.0 active = p_value <= 0.01 and abs(effect) >= 0.5 result["mean_left_minus_right"][obs] = mean_delta result["p_two_sided"][obs] = p_value result["cohen_d"][obs] = effect result["state"][obs] = "separated" if active else "not_separated" return result def evaluate_input_spectra(args: argparse.Namespace) -> dict[str, Any]: rng = np.random.default_rng(args.seed) records = load_spectrum_records(args.input_spectrum, args.expected_class) trace_path = Path(str(args.output).replace(".json", ".trace.jsonl")) trace_path.parent.mkdir(parents=True, exist_ok=True) rows_by_class: dict[str, list[dict[str, Any]]] = {} direct_rows_by_class: dict[str, list[dict[str, Any]]] = {} with trace_path.open("w", encoding="utf-8") as trace: for record in records: levels = np.asarray(record["levels"], dtype=float) gaps = normalize_gaps(levels, args.central_fraction) if len(gaps) < 12: raise ValueError(f"spectrum {record['label']} has fewer than 12 usable central gaps") real_obs = compute_obs(gaps) class_key = record.get("expected_class") or record["label"] direct_rows_by_class.setdefault(class_key, []).append( { "event": "input_spectrum_direct", "label": record["label"], "expected_class": record.get("expected_class"), "n_levels": int(len(levels)), "n_gaps": int(len(gaps)), "real": real_obs, } ) for null_rep in range(args.null_reps): null_gaps = span_matched_poisson_gaps(len(gaps) + 1, rng) null_obs = compute_obs(null_gaps) row = { "event": "input_spectrum_pair", "label": record["label"], "expected_class": record.get("expected_class"), "null_rep": null_rep, "n_levels": int(len(levels)), "n_gaps": int(len(gaps)), "real": real_obs, "null": null_obs, "delta": {obs: real_obs[obs] - null_obs[obs] for obs in OBSERVABLES_CANONICAL}, } rows_by_class.setdefault(class_key, []).append(row) trace.write(json.dumps(row, sort_keys=True) + "\n") poisson_contrast = { label: summarize(label, rows, rng, args.sign_trials) for label, rows in sorted(rows_by_class.items()) } direct_contrasts: dict[str, Any] = {} class_labels = sorted(rows_by_class) if len(class_labels) >= 2: for i, left in enumerate(class_labels): for right in class_labels[i + 1 :]: direct_contrasts[f"{left}_minus_{right}"] = contrast( f"{left}_minus_{right}", direct_rows_by_class[left], direct_rows_by_class[right], rng, args.sign_trials, ) result = { "tester_id": "component_state_SR_L1_triple_var_fit_ready_20260514_1649", "interface_mode": "input_spectrum", "input_contract": { "accepted_payloads": [ "JSON list of ordered levels", exec /bin/bash -lc "rg -n \"observables_registry|SR|triple_var|def .*L1|L1\" tools -g '*registry*' -g '*.py'" in /opt/MM_D-ND exec /bin/bash -lc "sed -n '1,220p' tools/data/reports/agent_20260514_1640.md" in /opt/MM_D-ND succeeded in 0ms: # Agent Report - Rafforzamento tester fisico GOE/GUE N-curve **Date**: 2026-05-14 16:40 **Piano**: 121 **Tension explored**: TENS_SCALE_TRASCENDENZA_LIMITE / BOUNDARY fisico GOE-GUE-Poisson-Anderson **verdict**: CONSTRAINT / TESTER OPERATIVO RAFFORZATO - `component_state(SR,L1,triple_var)` resta leggibile su un denominatore fisico piu' robusto: distingue GOE e GUE per simmetria su `SR`, conserva la curva in `N=128,192`, e mantiene Anderson 1D `W=6` come bordo finite-size dove `SR` viene assorbito e `triple_var` resta residuo operativo. Non e' una nuova legge fisica. observables_registry: 1.0.0-2026-05-06 observables_used: [SR, SR2, L1, L2, triple_var, component_state, focus_signature, sign_swap_p, cohen_d_delta, adjacent_gap_ratio] **observable_contract**: claim=il tester L8 16:31 si rafforza solo se resta leggibile fra classi Wigner-Dyson distinte e fra due taglie; observable=`component_state(SR,L1,triple_var)` con `SR` = adjacent gap ratio canonico piu contrasto diretto GUE-GOE; operator=`tools/exp_physical_sr_residue_bounce.py`; generator=GOE reale simmetrico, GUE hermitiano complesso, Anderson 1D `W=6`, null Poisson span-matched; denominator=2 taglie `N={128,192}`, 64 repliche per taglia e dominio, 384 eventi trace, finestra centrale 0.5; non_possible=promuovere il pattern a legge fisica nuova o usare Anderson 1D come transizione universale; not_tested=dati sperimentali, unfolding dedicato, Anderson 3D, many-body localization, limite asintotico. ## Source directive Questo ciclo prosegue il tester L8 del report `tools/data/reports/agent_20260514_1631.md`. Non apre una nuova legge fisica e non ritorna a `prime-minus-mod6`. Il vincolo seguito e': rafforzare il tester operativo `component_state(SR,L1,triple_var)` su denominatore fisico piu' robusto distinguendo GOE/GUE, facendo una piccola curva in `N`, mantenendo Anderson 1D `W=6` come bordo finite-size, e confrontando il tester con adjacent gap ratio. ## Prima impressione Il tester non deve dire "fisica nuova". Deve dire se lo stesso vettore resta leggibile quando il denominatore fisico smette di essere una sola classe. La separazione GOE/GUE su `SR` e il collasso di `SR` a `W=6` sono lo stesso bordo letto da due lati: simmetria caotica e assorbimento localizzato. ## Respiro fuori-tempo - **Combo**: A2 confine det=-1 + A9 terzo incluso + A11 combo + ponte QxG continuo/discreto + direzione BOUNDARY GUE/Poisson + nodo fisico Wigner-Dyson/Anderson. - **Dipolo / punto-zero**: simmetria Wigner-Dyson GOE/GUE / indipendenza Poisson-localizzata. Punto-zero: adjacent gap ratio `SR`, perche' e' insieme osservabile canonico del tester e baseline fisica standard. - **Piano superiore**: geometria spettrale dei campi, con simmetria come vincolo e localizzazione come bordo. - **Operatori laterali scelti**: gauge/simmetria, spettro di Hamiltoniana, bordo finite-size. Entrano perche' obbligano il tester a passare da una sola classe GUE a classi di simmetria distinte e a un bordo disordinato. - **Contaminazione cognitiva**: CE-0001/KSAR usato come reiterazione del kernel 16:31: non cambiare ramo, far girare il tester su denominatore piu' esterno. CE-0117 usato per la cascata della possibilita': conservare strumento riusabile, tagliare promozione a scoperta fisica. - **Proto-ipotesi**: `component_state(SR,L1,triple_var)` e' un tester di leggibilita' del bordo spettrale: `SR` discrimina simmetria caotica e viene assorbito al bordo Anderson `W=6`; `triple_var` conserva un residuo operativo locale. - **Possibile / non-possibile**: possibile = usare il tester come diagnostica compatta su spettri ordinati con classe di simmetria dichiarata; non-possibile = chiamare universale una curva a due taglie o trattare Anderson 1D come transizione fisica generale. - **Proiezione**: misuro GOE, GUE e Anderson `W=6` a `N=128,192`; ogni dominio viene confrontato con Poisson span-matched, poi GUE viene confrontato direttamente con GOE. ## Aderenza alla direzione - `relation`: follows_direction - `why`: il ciclo segue la direzione viva perche' rafforza il frame GUE/Poisson-Anderson indicato dal valutatore e rende `component_state(SR,L1,triple_var)` piu' falsificabile. - `not_drift`: non torna a `prime-minus-mod6`, `V_c`, fit locali o label aritmetiche; il deposito precedente resta solo origine del tester, non perimetro misurato. ## Claim Under Test > Il tester `component_state(SR,L1,triple_var)` resta operativo quando il denominatore fisico separa GOE e GUE: `SR` legge la classe di simmetria Wigner-Dyson, viene assorbito nel bordo Anderson 1D `W=6`, e `triple_var` resta residuo locale nel bordo finite-size. ## Question Il tester L8 16:31 distingue una classe GOE da una classe GUE su due taglie senza perdere il bordo Anderson `W=6`? ## Ritorno fisico - **Punto fisico sorgente**: statistiche Wigner-Dyson/GUE e Poisson usate nel report 16:31 come baseline del rimbalzo fisico. - **Attraversamento matematico**: adjacent gap ratio e osservabili canonici `SR,L1,triple_var` su gap normalizzati centrali. - **Punto fisico di ritorno**: classi di simmetria GOE beta=1 reale-simmetrica e GUE beta=2 hermitiana complessa, piu Anderson 1D disordinato `W=6`. - **Relazione nuova**: il tester non misura solo chaotic-vs-Poisson; misura anche se la simmetria Wigner-Dyson lascia una differenza leggibile prima del bordo localizzato. - **Osservabile/test fisico possibile**: applicare lo stesso output a spettri con simmetria nota e verificare se `SR` separa beta=1/beta=2 mentre `triple_var` resta tracciabile nel crossover disordinato. - **Se fallisce**: `ritorno_fisico_assente` se GOE/GUE non si separano o se Anderson `W=6` non assorbe `SR`; in quel caso il tester resta solo scaffold sintetico. ## Nearest known baseline - **Wigner-Dyson / GOE level statistics**: classe beta=1, matrici reali simmetriche, simmetria di inversione temporale. - **Wigner-Dyson / GUE level statistics**: classe beta=2, matrici hermitiane complesse, assenza di simmetria di inversione temporale. - **Poisson level statistics**: livelli indipendenti, null operativo span-matched. - **Anderson localization / finite-size disorder crossover**: Anderson 1D `W=6` e' bordo finite-size, non transizione universale. - **Adjacent gap ratio**: `SR` canonico = media di `min(g_i,g_{i+1})/max(g_i,g_{i+1})`, confronto standard senza unfolding fine. ## Experiment Design - Modifica minima allo script: aggiunti `goe_levels`, parametro `--ns`, trace con `n/symmetry`, riepiloghi per taglia e contrasto diretto GUE-GOE. - Run: `python tools/exp_physical_sr_residue_bounce.py --output tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json --seed 202605141640 --ns 128 192 --reps 64 --central-fraction 0.5 --disorders 6 --sign-trials 8192` - Perimetro: GOE, GUE, Anderson 1D `W=6`; due taglie; 64 repliche per taglia e dominio. - Null: Poisson span-matched con stesso count di gap. - Gate componente: `active` se `sign_swap_p <= 0.01` e `|cohen_d_delta| >= 0.5`; altrimenti `absorbed`. - Trace: 384 eventi JSONL. ## Results ### Aggregato su N=128,192 | domain | samples | focus active | SR real/null/delta | p(SR) | d(SR) | L1 delta | p(L1) | d(L1) | triple delta | p(triple) | d(triple) | |---|---:|---|---:|---:|---:|---:|---:|---:|---:|---:|---:| | GOE beta=1 | 128 | SR,L1,triple_var | 0.5340 / 0.3875 / 0.1465 | 0.000122 | 2.543 | -0.2594 | 0.000122 | -1.772 | -2.4571 | 0.000122 | -2.719 | | GUE beta=2 | 128 | SR,L1,triple_var | 0.6019 / 0.3838 / 0.2181 | 0.000122 | 4.120 | -0.2717 | 0.000122 | -1.867 | -2.5591 | 0.000122 | -3.292 | | Anderson 1D W=6 | 128 | triple_var | 0.3875 / 0.3871 / 0.0003 | 0.950446 | 0.006 | -0.0656 | 0.000122 | -0.460 | -0.6374 | 0.000122 | -0.683 | ### Curva in N | domain | N | samples | focus active | SR real | SR delta | p(SR) | d(SR) | triple delta | p(triple) | d(triple) | |---|---:|---:|---|---:|---:|---:|---:|---:|---:|---:| | GOE beta=1 | 128 | 64 | SR,L1,triple_var | 0.5302 | 0.1406 | 0.000122 | 2.177 | -2.6110 | 0.000122 | -2.541 | | GUE beta=2 | 128 | 64 | SR,L1,triple_var | 0.6005 | 0.2207 | 0.000122 | 3.635 | -2.6750 | 0.000122 | -3.122 | | Anderson 1D W=6 | 128 | 64 | triple_var | 0.3908 | -0.0007 | 0.930428 | -0.011 | -0.6946 | 0.000122 | -0.622 | | GOE beta=1 | 192 | 64 | SR,L1,triple_var | 0.5379 | 0.1525 | 0.000122 | 3.079 | -2.3032 | 0.000122 | -3.129 | | GUE beta=2 | 192 | 64 | SR,L1,triple_var | 0.6034 | 0.2155 | 0.000122 | 4.883 | -2.4432 | 0.000122 | -3.615 | | Anderson 1D W=6 | 192 | 64 | triple_var | 0.3841 | 0.0013 | 0.824118 | 0.029 | -0.5801 | 0.000122 | -0.816 | ### Contrasto diretto GUE-GOE | contrast | paired | SR diff GUE-GOE | p(SR) | d(SR) | SR state | triple diff | p(triple) | d(triple) | triple state | |---|---:|---:|---:|---:|---|---:|---:|---:|---| | N128 | 64 | 0.0704 | 0.000122 | 1.299 | separated | -0.2100 | 0.000122 | -1.898 | separated | | N192 | 64 | 0.0655 | 0.000122 | 1.633 | separated | -0.2030 | 0.000122 | -2.088 | separated | ## Evidence tier - **Verificato / strong per tester**: GOE e GUE sono entrambi active contro Poisson span-matched su `SR,L1,triple_var`. - **Verificato / class separation**: GUE-GOE si separa su `SR` in entrambe le taglie (`+0.0704` a `N=128`, `+0.0655` a `N=192`, p=0.000122). - **Verificato / size readability**: il pattern resta leggibile nelle due taglie: GUE ha `SR` circa 0.6005/0.6034, GOE circa 0.5302/0.5379. - **Verificato / operational boundary**: Anderson `W=6` assorbe `SR` in entrambe le taglie (`p=0.930428` a `N=128`, `p=0.824118` a `N=192`) mentre `triple_var` resta active. - **Inferito dal perimetro**: il tester distingue simmetria caotica e bordo localizzato nel setup sintetico. - **Non verificato**: dati sperimentali, unfolding dedicato, classi GSE, Anderson 3D, many-body localization, limite asintotico. ## Trace path - `evidence_tier`: strong per tester operativo, non per legge fisica. - `trace_path`: `tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.trace.jsonl` - `trace_rows`: 384 - `trace_schema`: `event,label,symmetry,rep,n,n_gaps,real,null,delta` ## Key Findings 1. **Verificato**: `SR` coincide con adjacent gap ratio e separa GOE/GUE nel verso fisico atteso: GUE > GOE > Poisson. 2. **Verificato**: `component_state(SR,L1,triple_var)` resta leggibile fra `N=128` e `N=192`; non collassa per cambio taglia minimo. 3. **Verificato**: Anderson 1D `W=6` resta bordo finite-size: `SR` e' absorbed, `triple_var` resta active. 4. **Inferito**: il tester 16:31 passa da "GUE contro Poisson" a "simmetria Wigner-Dyson contro bordo Poisson-localizzato". 5. **Ambiguo dichiarato**: la stabilita' su due taglie non e' limite asintotico; e' leggibilita' operativa minima. ## Verdict **CONSTRAINT / TESTER OPERATIVO RAFFORZATO**. Il ciclo rafforza lo strumento, non il claim fisico. `component_state(SR,L1,triple_var)` ora ha un denominatore piu' robusto: distingue GOE e GUE tramite adjacent gap ratio, resta leggibile su due taglie, e mantiene Anderson `W=6` come bordo in cui `SR` viene assorbito prima del residuo `triple_var`. ## Bicono della scoperta - **Due radici**: simmetria Wigner-Dyson GOE/GUE / indipendenza Poisson-localizzata. - **Singolare**: adjacent gap ratio `SR`, punto-zero che e' insieme baseline fisica e componente del tester. - **Invariante di passaggio**: `SR` separa GOE-GUE ma cade su Anderson `W=6`; `triple_var` conserva residuo locale nel bordo finite-size. - **Campo di possibilita**: possibile applicare il tester a spettri con simmetria dichiarata e denominatore tracciato; non-possibile dichiarare nuova legge fisica o transizione universale con questo perimetro. ## Consecutio Il prossimo passo non e' aggiungere dominio per ampiezza. E' rendere il tester leggibile come strumento: interfaccia unica per spettro ordinato, classe attesa opzionale, output `component_state`, contrasto Poisson e, se due classi sono presenti, contrasto diretto. La promozione resta `soluzione/tool`, non `scoperta fisica`. ## Ricadute pratiche ssp_value: yes. Il ciclo produce un tester piu' riusabile: dato uno spettro ordinato o un ensemble, calcola `SR,L1,triple_var`, confronta Poisson span-matched, separa GOE/GUE se presenti, e ritorna `component_state` con trace auditabile. ## Files - `tools/exp_physical_sr_residue_bounce.py` - `tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json` - `tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.trace.jsonl` - `tools/data/reports/agent_20260514_1640.md` succeeded in 0ms: tools/exp_markov3_observable_hunt.py:6: "The Markov-3 residual (z=6203) doesn't live in the (SR, L1) plane. tools/exp_markov3_observable_hunt.py:128:def obs_triple_variance(gaps): tools/exp_markov3_observable_hunt.py:203: 'SR': obs_spacing_ratio, tools/exp_markov3_observable_hunt.py:204: 'L1': obs_lag1_acf, tools/exp_markov3_observable_hunt.py:208: 'triple_var': obs_triple_variance, tools/exp_markov3_observable_hunt.py:209: 'SR2': obs_lag2_spacing_ratio, tools/exp_perturbation_rank_size_curve.py:26:from observables_registry import ( tools/exp_perturbation_rank_size_curve.py:307: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_perturbation_rank_size_curve.py:318: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/exp_two_layer_universality.py:7: Layer 1 (pairs, Mk1): SR, L1 tools/exp_two_layer_universality.py:8: Layer 2 (triples, Mk2): SR2, L2, cond_entropy, triple_var, num_var_10 tools/exp_two_layer_universality.py:21:Null hypothesis: If universal, all sequences assign SR,L1 to Layer1 and SR2,L2 to Layer2. tools/exp_two_layer_universality.py:108: """SR2: spacing ratio of next-nearest-neighbor gaps (skip one).""" tools/exp_two_layer_universality.py:140:def triple_var(gaps): tools/exp_two_layer_universality.py:171: 'SR': spacing_ratio, tools/exp_two_layer_universality.py:172: 'L1': lambda g: lag_k_acf(g, 1), tools/exp_two_layer_universality.py:174: 'SR2': next_nearest_sr, tools/exp_two_layer_universality.py:176: 'triple_var': triple_var, tools/exp_two_layer_universality.py:303: print(f" Real: SR={real_obs['SR']:.4f}, L1={real_obs['L1']:.4f}, SR2={real_obs['SR2']:.4f}, L2={real_obs['L2']:.4f}") tools/exp_two_layer_universality.py:332: print(f" Mk{mk}: {n_ok}/{n_surr} ok | SR z={z_mk.get('SR',0):.1f}, L1 z={z_mk.get('L1',0):.1f}, SR2 z={z_mk.get('SR2',0):.1f}") tools/exp_dipolar_vector_scaling.py:133: print(f"{'Scale':<10} {'N_primes':<10} {'z_SR':<8} {'z_L1':<8} {'theta':<8} {'|V|':<8} {'SR_real':<10} {'L1_real':<10}") tools/exp_dipolar_vector_scaling.py:152: print(f"{'Label':<10} {'Start_p':<12} {'z_SR':<8} {'z_L1':<8} {'theta':<8} {'|V|':<8}") tools/exp_dipolar_vector_scaling.py:191: print(f" {label}: z_SR={r['z_sr']}, z_L1={r['z_l1']}, theta={r['theta_deg']}, |V|={r['magnitude']}") tools/exp_dipolar_vector_scaling.py:224: 'question': 'Does the dipolar vector (z_SR, z_L1) rotate with scale or only decay?', tools/exp_duality_scale_contrast.py:25:from observables_registry import ( tools/exp_duality_scale_contrast.py:114: if not z_accum["SR"]: tools/exp_duality_scale_contrast.py:119: "n_windows": len(z_accum["SR"]), tools/exp_duality_scale_contrast.py:184: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_duality_scale_contrast.py:229: lines.append("\n--- Windowed contrast (z_SR_mean by window size) ---") tools/exp_duality_scale_contrast.py:241: pz = f"{prime_data[ws]['z_SR_mean']:+.2f}" if ws in prime_data else "—" tools/exp_duality_scale_contrast.py:242: gz = f"{gue_data[ws]['z_SR_mean']:+.2f}" if ws in gue_data else "—" tools/exp_duality_scale_contrast.py:243: qz = f"{poisson_data[ws]['z_SR_mean']:+.2f}" if ws in poisson_data else "—" tools/exp_duality_scale_contrast.py:258: lines.append("\n--- Boundary detection (where |z_SR| < 2) ---") tools/exp_duality_scale_contrast.py:263: z_sr = data[ws]["z_SR_mean"] tools/exp_duality_scale_contrast.py:268: lines.append(f" {domain}: |z_SR| crosses 2 at window_size ~ {crossing}") tools/observables_registry.py:1:"""observables_registry.py — Source of Truth per gli observables del lab D-ND. tools/observables_registry.py:5:> "What opens now: the lab needs an observable registry. Labels like SR tools/observables_registry.py:15:- `SR` in `exp_selective_layer_decoupling.py` = `spacing_ratio` (mean min/max tools/observables_registry.py:17:- `SR` in `exp_scale_selective_perturbation.py` = `spectral_rigidity(gaps)` tools/observables_registry.py:20:- `triple_var` in 3 script = `np.var(triple_sums)` (raw) — convention dominante tools/observables_registry.py:21:- `triple_var` in `exp_perturbation_dimensionality_audit.py` = tools/observables_registry.py:30:script chiama già `SR`/`triple_var`/etc. Le varianti restano disponibili ma tools/observables_registry.py:31:con nomi ESPLICITI (`SR_local_rigidity`, `triple_var_normalized`) per evitare tools/observables_registry.py:37:from observables_registry import OBSERVABLES_CANONICAL, OBSERVABLES_REGISTRY_VERSION tools/observables_registry.py:43:from observables_registry import SR, triple_var, L1, L2, SR2 tools/observables_registry.py:46:from observables_registry import SR_local_rigidity, triple_var_normalized tools/observables_registry.py:54:observables_registry: 1.0.0-2026-05-06 tools/observables_registry.py:55:observables_used: [SR, SR2, L1, L2, triple_var] tools/observables_registry.py:61:observables_used: [SR, SR_local_rigidity, ...] tools/observables_registry.py:81:def SR(gaps: np.ndarray) -> float: tools/observables_registry.py:82: """**SR — Spacing Ratio** (canonical). tools/observables_registry.py:88: Per la variante "local spectral rigidity Δ₃(L)" usare `SR_local_rigidity`. tools/observables_registry.py:98:def SR2(gaps: np.ndarray) -> float: tools/observables_registry.py:99: """**SR2 — Next-nearest Spacing Ratio** (canonical). tools/observables_registry.py:112:def L1(gaps: np.ndarray) -> float: tools/observables_registry.py:113: """**L1 — Lag-1 Autocorrelation** (canonical). tools/observables_registry.py:137:def triple_var(gaps: np.ndarray) -> float: tools/observables_registry.py:138: """**triple_var — Variance of consecutive gap triples** (canonical). tools/observables_registry.py:143: `triple_var_normalized`. tools/observables_registry.py:153: "SR": SR, tools/observables_registry.py:154: "SR2": SR2, tools/observables_registry.py:155: "L1": L1, tools/observables_registry.py:157: "triple_var": triple_var, tools/observables_registry.py:163:def SR_local_rigidity(gaps: np.ndarray, L: int = 10) -> float: tools/observables_registry.py:164: """**SR_local_rigidity — Δ₃(L) Spectral Rigidity** (variant). tools/observables_registry.py:166: Different observable than canonical `SR` (spacing ratio). Measures the tools/observables_registry.py:171: locally named `SR` — registered here as `SR_local_rigidity` to avoid tools/observables_registry.py:174: Use when explicitly studying spectral rigidity, NOT as alias for SR. tools/observables_registry.py:196:def triple_var_normalized(gaps: np.ndarray) -> float: tools/observables_registry.py:197: """**triple_var_normalized — Variance of triples / variance of gaps** (variant). tools/observables_registry.py:200: locally named `triple_var` — registered here as `triple_var_normalized` tools/observables_registry.py:204: single-gap variance, NOT as alias for triple_var. tools/observables_registry.py:217: "SR_local_rigidity": SR_local_rigidity, tools/observables_registry.py:218: "triple_var_normalized": triple_var_normalized, tools/observables_registry.py:236: f"observables_registry: {OBSERVABLES_REGISTRY_VERSION}\n" tools/observables_registry.py:245: "SR", tools/observables_registry.py:246: "SR2", tools/observables_registry.py:247: "L1", tools/observables_registry.py:249: "triple_var", tools/observables_registry.py:250: "SR_local_rigidity", tools/observables_registry.py:251: "triple_var_normalized", tools/observables_registry.py:267: print(f" SR_local_rigidity = {SR_local_rigidity(gue_like):.6f}") tools/observables_registry.py:268: print(f" triple_var_normalized = {triple_var_normalized(gue_like):.6f}") tools/exp_prime_persistent_blank_gate.py:8:two prime providers, row-local offsets, and baseline seed shifts, with SR as the tools/exp_prime_persistent_blank_gate.py:31:from observables_registry import OBSERVABLES_CANONICAL, OBSERVABLES_REGISTRY_VERSION tools/exp_prime_persistent_blank_gate.py:64: "has_sr": "SR" in one_sided, tools/exp_prime_persistent_blank_gate.py:128: and prime_summary["common_one_sided_observables"] == ["SR"] tools/exp_prime_persistent_blank_gate.py:132: and "SR" in control_summary["common_one_sided_observables"] tools/exp_prime_persistent_blank_gate.py:135: return "PRIME_PERSISTENT_BLANK_SR_ISOLATED" tools/exp_prime_persistent_blank_gate.py:159: "question": "Does numeri_primi:cycle_3 keep a provider-neutral SR beta-absent blank under row-local offset and seed shifts?", tools/exp_prime_persistent_blank_gate.py:160: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_prime_persistent_blank_gate.py:173: "claim": "prime_persistent_blank is isolated only if prime windows remain beta_absent_blank across providers and offsets with SR as the common one-sided observable", tools/exp_prime_persistent_blank_gate.py:174: "observable": "case_state plus common one-sided observable signature focused on SR", tools/exp_prime_persistent_blank_gate.py:178: "non_possible": "prime_persistent_blank if any prime window recovers beta/falls, or if controls share a full SR blank signature", tools/exp_prime_persistent_blank_gate.py:198: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/exp_markov_k_direction.py:7: Does the Markov-3 component have a preferred direction in (SR, L1)?" tools/exp_markov_k_direction.py:11:is orthogonal to the (SR, L1) plane — it exists but doesn't shape the dipolar tools/exp_markov_k_direction.py:58: """Shuffle mean of (SR, L1) — per-source baseline.""" tools/exp_markov_k_direction.py:79: 'theta': theta, 'magnitude': mag, 'dL1_over_dSR': ratio, tools/exp_markov_k_direction.py:80: 'delta_SR': dsr, 'delta_L1': dl1, tools/exp_markov_k_direction.py:148: print("Does higher-order memory point GUE-ward in the (SR, L1) plane?") tools/exp_markov_k_direction.py:158: f"dL1/dSR={real['dL1_over_dSR']:.3f}") tools/exp_markov_k_direction.py:185: ratios.append(d['dL1_over_dSR']) tools/exp_duality_gate_transfer.py:22:imported from observables_registry.py. tools/exp_duality_gate_transfer.py:33:from observables_registry import ( tools/exp_duality_gate_transfer.py:231: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_duality_gate_transfer.py:245: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/md_to_site.py:25:FIGURES_SRC = INPUT_DIR / "figures" tools/md_to_site.py:237: for svg in FIGURES_SRC.glob("*.svg"): tools/exp_boundary_short_denominator_extension.py:22:from observables_registry import OBSERVABLES_CANONICAL, OBSERVABLES_REGISTRY_VERSION tools/exp_boundary_short_denominator_extension.py:192: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_boundary_short_denominator_extension.py:220: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/exp_semireal_order_denominator_gate.py:9:canonical observables from observables_registry.py. tools/exp_semireal_order_denominator_gate.py:21:from observables_registry import ( tools/exp_semireal_order_denominator_gate.py:307: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_semireal_order_denominator_gate.py:319: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/exp_logistic_surrogate_contract_gate.py:174: "observables_registry": "not used for canonical observables", tools/dnd_gue_test.py:469: L13_zeros = find_L_zeros_mpmath(chi13, t_max=400) tools/dnd_gue_test.py:470: print(f" Found {len(L13_zeros)} zeros") tools/dnd_gue_test.py:472: L13_expected = smooth_N_exact(400, 13) if L13_zeros else 0 tools/dnd_gue_test.py:473: L13_coverage = len(L13_zeros) / L13_expected if L13_expected > 0 else 0 tools/dnd_gue_test.py:474: print(f" Expected ~{L13_expected:.0f} zeros, found {len(L13_zeros)} ({L13_coverage:.0%} coverage)") tools/dnd_gue_test.py:475: L13_spacings = unfold_zeros(L13_zeros, conductor=13) tools/dnd_gue_test.py:476: L13_stats = test_spacings(L13_spacings, "L(s,χ₁₃)") tools/dnd_gue_test.py:477: print(f" {L13_stats['n_spacings']} spacings | var={L13_stats['variance']:.4f} | " tools/dnd_gue_test.py:478: f"best={L13_stats['best_fit']} (KS={L13_stats['best_KS']:.4f}, p={L13_stats['best_p']:.4f})") tools/dnd_gue_test.py:507: L17_zeros = find_L_zeros_mpmath(chi17, t_max=400) tools/dnd_gue_test.py:508: print(f" Found {len(L17_zeros)} zeros") tools/dnd_gue_test.py:510: L17_expected = smooth_N_exact(400, 17) if L17_zeros else 0 tools/dnd_gue_test.py:511: L17_coverage = len(L17_zeros) / L17_expected if L17_expected > 0 else 0 tools/dnd_gue_test.py:512: print(f" Expected ~{L17_expected:.0f} zeros, found {len(L17_zeros)} ({L17_coverage:.0%} coverage)") tools/dnd_gue_test.py:513: L17_spacings = unfold_zeros(L17_zeros, conductor=17) tools/dnd_gue_test.py:514: L17_stats = test_spacings(L17_spacings, "L(s,χ₁₇)") tools/dnd_gue_test.py:515: print(f" {L17_stats['n_spacings']} spacings | var={L17_stats['variance']:.4f} | " tools/dnd_gue_test.py:516: f"best={L17_stats['best_fit']} (KS={L17_stats['best_KS']:.4f}, p={L17_stats['best_p']:.4f})") tools/dnd_gue_test.py:542: all_stats = [zeta_stats, L5_stats, L8_stats, L13_stats, L29_stats, L17_stats, L21_stats] tools/dnd_gue_test.py:595: ("L(s,χ₁₃)", L13_zeros, 13), tools/dnd_gue_test.py:597: ("L(s,χ₁₇)", L17_zeros, 17), tools/dnd_gue_test.py:648: "L(s,χ₁₃)": ("k=3", L13_zeros, 13), tools/dnd_gue_test.py:650: "L(s,χ₁₇)": ("out-k", L17_zeros, 17), tools/dnd_gue_test.py:764: "n_zeros": len(L13_zeros), tools/dnd_gue_test.py:765: "stats": L13_stats tools/dnd_gue_test.py:777: "n_zeros": len(L17_zeros), tools/dnd_gue_test.py:778: "stats": L17_stats tools/exp_logistic_cyclic_block_entropy_gate.py:201: "observables_registry": "not used for canonical observables", tools/exp_prime_vs_mod6_sr_boundary.py:3:Strict prime-vs-mod6 audit for the SR boundary residue. tools/exp_prime_vs_mod6_sr_boundary.py:5:The previous cycle falsified `prime_SR_persistent_boundary` in the broad tools/exp_prime_vs_mod6_sr_boundary.py:31:from observables_registry import OBSERVABLES_CANONICAL, OBSERVABLES_REGISTRY_VERSION tools/exp_prime_vs_mod6_sr_boundary.py:35:FOCUS_OBS = ["SR", "L1", "triple_var"] tools/exp_prime_vs_mod6_sr_boundary.py:129: "has_sr": "SR" in one_sided, tools/exp_prime_vs_mod6_sr_boundary.py:323: "question": "Does SR belong to prime selection or to the row-local 6k +/- 1 pre-boundary?", tools/exp_prime_vs_mod6_sr_boundary.py:324: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_prime_vs_mod6_sr_boundary.py:342: "claim": "prime_minus_mod6_z_vector(SR,L1,triple_var) survives row-local 6k +/- 1 subtraction; binary has_SR is audit-only and cannot decide the verdict", tools/exp_prime_vs_mod6_sr_boundary.py:343: "observable": "paired z-deltas for SR,L1,triple_var against mod6_index_aligned and mod6_span_matched, plus audit-only SR membership and focus signature in coherent_one_sided_observables", tools/exp_prime_vs_mod6_sr_boundary.py:423: "observables_registry": output["observables_registry"], tools/exp_prime_vs_mod6_sr_boundary.py:430: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/exp_prime_vs_mod6_sr_boundary.py:441: p_z_sr = audit.get("p_two_sided", {}).get("z_delta_SR_mean") tools/exp_boundary_transition_taxonomy_13rows.py:155: "observables_registry": two_axis.get("observables_registry"), tools/exp_markov_dipolar_decomposition.py:5:The prime ordering signal has dL1/dSR = 2.28 at angle -111 deg. tools/exp_markov_dipolar_decomposition.py:6:GUE has dL1/dSR = 8.37 at angle -97 deg. tools/exp_markov_dipolar_decomposition.py:16: 5. Compare dL1/dSR across all three tools/exp_markov_dipolar_decomposition.py:57: """Shuffle mean of (SR, L1).""" tools/exp_markov_dipolar_decomposition.py:79: 'theta': theta, 'magnitude': mag, 'dL1_over_dSR': ratio, tools/exp_markov_dipolar_decomposition.py:80: 'delta_SR': dsr, 'delta_L1': dl1, tools/exp_markov_dipolar_decomposition.py:81: 'SR_real': sr_real, 'L1_real': l1_real, tools/exp_markov_dipolar_decomposition.py:82: 'SR_shuf': sr_shuf, 'L1_shuf': l1_shuf, tools/exp_markov_dipolar_decomposition.py:83: 'z_SR': z_sr, 'z_L1': z_l1 tools/exp_markov_dipolar_decomposition.py:164: print("Is dL1/dSR = 2.28 a pair-statistics consequence?") tools/exp_markov_dipolar_decomposition.py:200: print(f" dL1/dSR = {real_dv['dL1_over_dSR']:.3f}") tools/exp_markov_dipolar_decomposition.py:201: print(f" delta_SR = {real_dv['delta_SR']:.4f}, delta_L1 = {real_dv['delta_L1']:.4f}") tools/exp_markov_dipolar_decomposition.py:202: print(f" z_SR = {real_dv['z_SR']:.1f}, z_L1 = {real_dv['z_L1']:.1f}") tools/exp_markov_dipolar_decomposition.py:213: print(f" Trial {t+1}: theta = {dv['theta']:.1f}, dL1/dSR = {dv['dL1_over_dSR']:.3f}") tools/exp_markov_dipolar_decomposition.py:216: m1_ratios = np.array([r['dL1_over_dSR'] for r in m1_results]) tools/exp_markov_dipolar_decomposition.py:219: print(f" Markov-1: dL1/dSR = {np.mean(m1_ratios):.3f} +/- {np.std(m1_ratios):.3f}") tools/exp_markov_dipolar_decomposition.py:231: print(f" Trial {t+1}: theta = {dv['theta']:.1f}, dL1/dSR = {dv['dL1_over_dSR']:.3f}") tools/exp_markov_dipolar_decomposition.py:234: m0_ratios = np.array([r['dL1_over_dSR'] for r in m0_results]) tools/exp_markov_dipolar_decomposition.py:237: print(f" Markov-0: dL1/dSR = {np.mean(m0_ratios):.3f} +/- {np.std(m0_ratios):.3f}") tools/exp_markov_dipolar_decomposition.py:270: m1_ratios_s.append(dv_s['dL1_over_dSR']) tools/exp_markov_dipolar_decomposition.py:276: 'real_ratio': real_s['dL1_over_dSR'], tools/exp_markov_dipolar_decomposition.py:286: print(f" Real: theta={row['real_theta']:.1f}, dL1/dSR={row['real_ratio']:.3f}") tools/exp_markov_dipolar_decomposition.py:288: f"dL1/dSR={row['m1_ratio']:.3f}+/-{row['m1_ratio_std']:.3f}") tools/exp_markov_dipolar_decomposition.py:295: print(f"\n{'Source':<14} {'theta (deg)':<20} {'dL1/dSR':<16} {'|d|':<12}") tools/exp_markov_dipolar_decomposition.py:298: f"{real_dv['dL1_over_dSR']:<16.3f} {real_dv['magnitude']:<12.4f}") tools/exp_markov_dipolar_decomposition.py:311: ratio_gap = real_dv['dL1_over_dSR'] - np.mean(m1_ratios) tools/exp_boundary_mixture_gate.py:12:The script uses only canonical observables from observables_registry.py. tools/exp_boundary_mixture_gate.py:30:from observables_registry import ( tools/exp_boundary_mixture_gate.py:225: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_boundary_mixture_gate.py:239: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/dnd_kernel.py:105: 'L1_maturita': 'Un claim e maturo solo se si dice in 1 pagina (~3000 char).', tools/dnd_kernel.py:145: results['L1_maturita'] = (claim_chars or len(claim_text)) < 3000 tools/lab_bias_corrector.py:34: L1 (A2 confine duro): linguaggio assoluto su dati biased. tools/lab_bias_corrector.py:85:**L1 (A2) — Absolute language vs biased data.** tools/lab_bias_corrector.py:142:- rewrites_applied=0, rewrites=[] if the report is already clean on L1/L3/L4. tools/exp_bridge_order_denominator_gate.py:15:observables_registry.py. tools/exp_bridge_order_denominator_gate.py:28:from observables_registry import OBSERVABLES_REGISTRY_VERSION, OBSERVABLES_CANONICAL tools/exp_bridge_order_denominator_gate.py:162: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_bridge_order_denominator_gate.py:174: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/dnd_autoricerca.py:155: g, L1, L2, m1, m2 = 9.81, 1.0, 1.0, 1.0, 1.0 tools/dnd_autoricerca.py:163: dt1 = (p1 - m2*L1*L2*p2*c / (L1**2 * den)) / (L1**2 * (m1 + m2 - m2*c**2/den)) tools/dnd_autoricerca.py:164: dt2 = (p2 - m1*L1*L2*p1*c / (L2**2 * den)) / (L2**2 * (m1 + m2 - m2*c**2/den)) tools/dnd_autoricerca.py:167: dp1 = -(m1 + m2)*g*L1*np.sin(t1) - m2*L1*L2*dt2**2*s tools/dnd_autoricerca.py:168: dp2 = -m2*g*L2*np.sin(t2) + m2*L1*L2*dt1**2*s tools/exp_physical_sr_residue_bounce.py:11:deposit has a concrete spectral analogue: SR can be absorbed by a span-matched tools/exp_physical_sr_residue_bounce.py:12:counter-boundary at a localized endpoint, while chaotic spectra keep SR active. tools/exp_physical_sr_residue_bounce.py:24:from observables_registry import OBSERVABLES_CANONICAL, OBSERVABLES_REGISTRY_VERSION tools/exp_physical_sr_residue_bounce.py:27:FOCUS_OBS = ["SR", "L1", "triple_var"] tools/exp_physical_sr_residue_bounce.py:256: "tester_id": "component_state_SR_L1_triple_var_fit_ready_20260514_1649", tools/exp_physical_sr_residue_bounce.py:296: "tester_id": "component_state_SR_L1_triple_var_fit_ready_20260514_1649", tools/exp_physical_sr_residue_bounce.py:324: "expected": {"SR": "active", "L1": "active", "triple_var": "active"}, tools/exp_physical_sr_residue_bounce.py:328: "expected": {"SR": "active", "L1": "active", "triple_var": "active"}, tools/exp_physical_sr_residue_bounce.py:332: "expected": {"SR": "absorbed", "L1": "absorbed", "triple_var": "active"}, tools/exp_physical_sr_residue_bounce.py:337: "transfer": "SR,L1,triple_var pass from the mathematical deposit into a physical spectrum tester as component states against Poisson and, when classes exist, direct class contrast.", tools/exp_physical_sr_residue_bounce.py:339: "fall": "Tester falls if GOE/GUE direct SR separation disappears, if Poisson contrast absorbs all focus observables in chaotic classes, or if Anderson W6 keeps SR active under the declared threshold.", tools/exp_physical_sr_residue_bounce.py:345: "class-labeled input where direct_contrast is not separated on SR despite declared GOE/GUE classes", tools/exp_physical_sr_residue_bounce.py:432: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_physical_sr_residue_bounce.py:453: "source_SR_state": source["component_state"]["SR"], tools/exp_physical_sr_residue_bounce.py:454: "localized_SR_state": localized["component_state"]["SR"], tools/exp_physical_sr_residue_bounce.py:457: source["component_state"]["SR"] == "active" tools/exp_physical_sr_residue_bounce.py:458: and localized["component_state"]["SR"] == "absorbed" tools/exp_boundary_blank_thin_support_audit.py:154: "observables_registry": data.get("observables_registry"), tools/exp_observable_rank_audit.py:25:from observables_registry import ( tools/exp_observable_rank_audit.py:161: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_observable_rank_audit.py:173: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/exp_observable_rank_audit.py:175: print(f"{'sequence':<14} {'pc1':>8} {'eff_rank':>9} {'mean|corr|':>11} {'weak':>5} z(SR,SR2,L1,L2,triple_var)") tools/exp_cross_domain_dipolar_direction.py:6:Primes have theta=-111 deg in the (SR, L1) plane. GUE has theta=-97 deg. tools/exp_cross_domain_dipolar_direction.py:15:For each: compute dipolar vector (SR, L1) relative to own shuffle baseline. tools/exp_cross_domain_dipolar_direction.py:74: 'dL1_over_dSR': float(ratio), tools/exp_cross_domain_dipolar_direction.py:75: 'delta_SR': float(dsr), 'delta_L1': float(dl1), tools/exp_cross_domain_dipolar_direction.py:76: 'SR_real': float(sr_real), 'L1_real': float(l1_real), tools/exp_cross_domain_dipolar_direction.py:77: 'z_SR': float(z_sr), 'z_L1': float(z_l1), tools/exp_cross_domain_dipolar_direction.py:167: f"|d|={prime_dv['magnitude']:.4f}, dL1/dSR={prime_dv['dL1_over_dSR']:.3f}") tools/exp_cross_domain_dipolar_direction.py:168: print(f" z_SR={prime_dv['z_SR']:.1f}, z_L1={prime_dv['z_L1']:.1f}") tools/exp_cross_domain_dipolar_direction.py:193: ratios = [r['dL1_over_dSR'] for r in trial_results] tools/exp_cross_domain_dipolar_direction.py:199: f"dL1/dSR = {rm:.3f} +/- {rs:.3f}") tools/exp_cross_domain_dipolar_direction.py:225: 'ratio_mean': float(np.mean([r['dL1_over_dSR'] for r in trial_results])), tools/exp_cross_domain_dipolar_direction.py:249: 'ratio_mean': float(np.mean([r['dL1_over_dSR'] for r in trial_results])), tools/exp_cross_domain_dipolar_direction.py:258: f"{'|d|':<12} {'dL1/dSR':<12}") tools/exp_cross_domain_dipolar_direction.py:264: f"{v['magnitude']:<12.4f} {v['dL1_over_dSR']:<12.3f}") tools/exp_boundary_row_aligned_nonexact_audit.py:160: "observables_registry": two_axis.get("observables_registry"), tools/exp_spectral_rigidity.py:165: 'rigidity_L10_real': float(rig_real) if not np.isnan(rig_real) else None, tools/exp_spectral_rigidity.py:166: 'rigidity_L10_shuf': float(rig_shuf) if not np.isnan(rig_shuf) else None, tools/exp_spectral_rigidity.py:167: 'z_vs_shuf_L10': float(z10), tools/exp_spectral_rigidity.py:179: rig = r['rigidity_L10_real'] tools/exp_spectral_rigidity.py:181: rig_s = r['rigidity_L10_shuf'] tools/exp_spectral_rigidity.py:183: z = r['z_vs_shuf_L10'] tools/exp_spectral_rigidity.py:205: if 'error' in r or r['rigidity_L10_real'] is None: tools/exp_spectral_rigidity.py:207: rig_r = r['rigidity_L10_real'] tools/exp_spectral_rigidity.py:208: rig_s = r['rigidity_L10_shuf'] tools/exp_spectral_rigidity.py:211: z = r['z_vs_shuf_L10'] tools/exp_scale_selective_perturbation.py:6:observables (SR, L1, L2, SR2, triple_var) collapse to 1 latent coordinate tools/exp_scale_selective_perturbation.py:16:For each perturbation at multiple intensities, measure SR/L1/L2/SR2/triple_var, tools/exp_scale_selective_perturbation.py:113:def triple_variance(gaps): tools/exp_scale_selective_perturbation.py:122: 'SR': spectral_rigidity(gaps), tools/exp_scale_selective_perturbation.py:123: 'L1': lag1_autocorr(gaps), tools/exp_scale_selective_perturbation.py:125: 'SR2': sr2(gaps), tools/exp_scale_selective_perturbation.py:126: 'triple_var': triple_variance(gaps), tools/exp_scale_selective_perturbation.py:192: obs_names = ['SR', 'L1', 'L2', 'SR2', 'triple_var'] tools/exp_scale_selective_perturbation.py:309: print(f"{'Perturbation':<20} {'SR':>8} {'L1':>8} {'L2':>8} {'SR2':>8} {'triple':>8}") tools/exp_scale_selective_perturbation.py:312: print(f"{pert_name:<20} {ret['SR']:>8.3f} {ret['L1']:>8.3f} {ret['L2']:>8.3f} {ret['SR2']:>8.3f} {ret['triple_var']:>8.3f}") tools/exp_boundary_residual_beta_absent_audit.py:23:from observables_registry import OBSERVABLES_CANONICAL, OBSERVABLES_REGISTRY_VERSION tools/exp_boundary_residual_beta_absent_audit.py:172: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_boundary_residual_beta_absent_audit.py:205: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/lab_falsifier.py:16: L1 Hard constraint vs statistical bias → A2 (confine duro) tools/lab_falsifier.py:59:### L1 — Hard constraint vs bias statistico (A2 confine duro) tools/exp_semireal_boundary_transfer_gate.py:25:from observables_registry import OBSERVABLES_CANONICAL, OBSERVABLES_REGISTRY_VERSION tools/exp_semireal_boundary_transfer_gate.py:137: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_semireal_boundary_transfer_gate.py:159: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/exp_dipolar_angle_reference.py:68: Compute dipolar angle: direction of (delta_SR, delta_L1) relative to shuffle. tools/exp_dipolar_angle_reference.py:69: Returns: theta (degrees), delta_SR, delta_L1, SR_real, L1_real, SR_shuf, L1_shuf tools/exp_dipolar_angle_reference.py:148: 'theta': theta_p, 'delta_SR': dsr_p, 'delta_L1': dl1_p, tools/exp_dipolar_angle_reference.py:149: 'SR': sr_p, 'L1': l1_p, 'SR_shuf': sr_ps, 'L1_shuf': l1_ps tools/exp_dipolar_angle_reference.py:151: print(f" Primes: theta = {theta_p:.1f} deg, dSR = {dsr_p:.4f}, dL1 = {dl1_p:.4f}") tools/exp_dipolar_angle_reference.py:168: 'SR_mean': np.mean([d[3] for d in gue_data]), tools/exp_dipolar_angle_reference.py:169: 'L1_mean': np.mean([d[4] for d in gue_data]), tools/exp_dipolar_angle_reference.py:188: 'SR_mean': np.mean([d[3] for d in goe_data]), tools/exp_dipolar_angle_reference.py:189: 'L1_mean': np.mean([d[4] for d in goe_data]), tools/exp_dipolar_angle_reference.py:208: 'SR_mean': np.mean([d[3] for d in poi_data]), tools/exp_dipolar_angle_reference.py:209: 'L1_mean': np.mean([d[4] for d in poi_data]), tools/exp_dipolar_angle_reference.py:228: 'SR_mean': np.mean([d[3] for d in cramer_data]), tools/exp_dipolar_angle_reference.py:229: 'L1_mean': np.mean([d[4] for d in cramer_data]), tools/exp_dipolar_angle_reference.py:237: print(f"{'Source':<12} {'theta (deg)':<18} {'SR_raw':<10} {'L1_raw':<10}") tools/exp_dipolar_angle_reference.py:239: print(f"{'Primes':<12} {results['primes']['theta']:>7.1f}{'':>11} {results['primes']['SR']:<10.4f} {results['primes']['L1']:<10.4f}") tools/exp_dipolar_angle_reference.py:240: print(f"{'GUE':<12} {results['GUE']['theta_mean']:>7.1f} +/- {results['GUE']['theta_std']:>5.1f} {results['GUE']['SR_mean']:<10.4f} {results['GUE']['L1_mean']:<10.4f}") tools/exp_dipolar_angle_reference.py:241: print(f"{'GOE':<12} {results['GOE']['theta_mean']:>7.1f} +/- {results['GOE']['theta_std']:>5.1f} {results['GOE']['SR_mean']:<10.4f} {results['GOE']['L1_mean']:<10.4f}") tools/exp_dipolar_angle_reference.py:242: print(f"{'Poisson':<12} {results['Poisson']['theta_mean']:>7.1f} +/- {results['Poisson']['theta_std']:>5.1f} {results['Poisson']['SR_mean']:<10.4f} {results['Poisson']['L1_mean']:<10.4f}") tools/exp_dipolar_angle_reference.py:243: print(f"{'Cramer':<12} {results['Cramer']['theta_mean']:>7.1f} +/- {results['Cramer']['theta_std']:>5.1f} {results['Cramer']['SR_mean']:<10.4f} {results['Cramer']['L1_mean']:<10.4f}") tools/exp_denominator_gate_transfer_matrix.py:13:- canonical observables from observables_registry.py; tools/exp_denominator_gate_transfer_matrix.py:28:from observables_registry import ( tools/exp_denominator_gate_transfer_matrix.py:358: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_denominator_gate_transfer_matrix.py:371: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/exp_3d_boundary_layers.py:6: - Layer 1 (pairs, Mk1) → SR, L1 (the dipolar plane) tools/exp_3d_boundary_layers.py:7: - Layer 2 (triples, Mk2) → SR2, triple_var (depth) tools/exp_3d_boundary_layers.py:8: - The crossover (partial shuffle) shows a phase transition in (SR, L1) tools/exp_3d_boundary_layers.py:79:def obs_triple_var(gaps): tools/exp_3d_boundary_layers.py:90: 'SR': obs_spacing_ratio, tools/exp_3d_boundary_layers.py:91: 'L1': obs_lag1_acf, tools/exp_3d_boundary_layers.py:92: 'SR2': obs_sr2, tools/exp_3d_boundary_layers.py:93: 'triple_var': obs_triple_var, tools/exp_3d_boundary_layers.py:198: obs_names = ['SR', 'L1', 'SR2', 'triple_var'] tools/exp_3d_boundary_layers.py:199: layer_map = {'SR': 'L1_pair', 'L1': 'L1_pair', 'SR2': 'L2_triple', 'triple_var': 'L2_triple'} tools/exp_3d_boundary_layers.py:231: l1_crit = np.mean([seq_data['critical_alpha_50'][o] for o in ['SR', 'L1']]) tools/exp_3d_boundary_layers.py:232: l2_crit = np.mean([seq_data['critical_alpha_50'][o] for o in ['SR2', 'triple_var']]) tools/exp_3d_boundary_layers.py:235: 'L1_mean_crit': float(l1_crit), tools/exp_3d_boundary_layers.py:241: print(f" Δα (L2 - L1): {delta_crit:+.3f}") tools/build_agent_field.py:1424: parts.append("**L1 — hard constraint vs bias statistico (A2 confine duro)**") tools/exp_prime_mobius_pair_stratified_zero_gate.py:6:while an SR residual survives. This script attacks that residual by shuffling tools/exp_prime_mobius_pair_stratified_zero_gate.py:290: "question": "Does the SR residual of Mobius zero transitions survive a transition-label null inside gap-pair buckets?", tools/exp_prime_sr_persistent_boundary.py:3:Audit `prime_SR_persistent_boundary` after `prime_persistent_blank` fell. tools/exp_prime_sr_persistent_boundary.py:5:The claim under test is narrower than the previous blank audit: SR must persist tools/exp_prime_sr_persistent_boundary.py:7:the same one-sided SR support under the same gate. tools/exp_prime_sr_persistent_boundary.py:32:from observables_registry import OBSERVABLES_CANONICAL, OBSERVABLES_REGISTRY_VERSION tools/exp_prime_sr_persistent_boundary.py:132: "has_sr": "SR" in one_sided, tools/exp_prime_sr_persistent_boundary.py:171: prime_sr_persists = prime_summary["sr_rate"] == 1.0 and prime_summary["common_one_sided_observables"] == ["SR"] tools/exp_prime_sr_persistent_boundary.py:172: control_common_sr = "SR" in control_summary["common_one_sided_observables"] tools/exp_prime_sr_persistent_boundary.py:174: summary["sr_rate"] == 1.0 and "SR" in summary["common_one_sided_observables"] tools/exp_prime_sr_persistent_boundary.py:178: return "PRIME_SR_PERSISTENT_BOUNDARY_SPECIFIC" tools/exp_prime_sr_persistent_boundary.py:180: return "PRIME_SR_PERSISTS_BUT_CONTROL_COLLISION" tools/exp_prime_sr_persistent_boundary.py:181: return "PRIME_SR_NOT_PERSISTENT" tools/exp_prime_sr_persistent_boundary.py:202: "question": "Does SR remain a prime-specific one-sided boundary signature across providers, offsets, and broader non-prime controls?", tools/exp_prime_sr_persistent_boundary.py:203: "observables_registry": OBSERVABLES_REGISTRY_VERSION, tools/exp_prime_sr_persistent_boundary.py:216: "claim": "prime_SR_persistent_boundary holds only if prime windows keep SR as the common one-sided observable across providers and offsets while broadened non-prime controls do not share full SR persistence", tools/exp_prime_sr_persistent_boundary.py:217: "observable": "SR membership in coherent_one_sided_observables plus common one-sided observable signature", tools/exp_prime_sr_persistent_boundary.py:221: "non_possible": "prime-specific SR boundary if prime SR rate falls below 8/8, if prime common obs is not exactly [SR], or if any control subfamily shares full SR persistence", tools/exp_prime_sr_persistent_boundary.py:222: "not_tested": "global beta atlas, V_c, gap_ratio, source GUE/Poisson labels, analytic origin of SR", tools/exp_prime_sr_persistent_boundary.py:242: print(f"observables_registry={OBSERVABLES_REGISTRY_VERSION}") tools/exp_perturbation_dimensionality_audit.py:25:OBS_NAMES = ["SR", "L1", "L2", "SR2", "triple_var"] tools/exp_perturbation_dimensionality_audit.py:79:def triple_var(gaps: np.ndarray) -> float: tools/exp_perturbation_dimensionality_audit.py:119: "SR": spectral_rigidity(gaps, 10), tools/exp_perturbation_dimensionality_audit.py:120: "L1": lag_acf(gaps, 1), tools/exp_perturbation_dimensionality_audit.py:122: "SR2": spectral_rigidity(gaps, 20), tools/exp_perturbation_dimensionality_audit.py:123: "triple_var": triple_product_var(gaps), tools/exp_perturbation_dimensionality_audit.py:126: "SR": spacing_ratio(gaps, 1), tools/exp_perturbation_dimensionality_audit.py:127: "L1": lag_acf(gaps, 1), tools/exp_perturbation_dimensionality_audit.py:129: "SR2": spacing_ratio(gaps, 2), tools/exp_perturbation_dimensionality_audit.py:130: "triple_var": triple_var(gaps), tools/exp_logistic_counter_scope_gate.py:16:SR/SR2/L1/L2/triple_var registry names. tools/exp_dipolar_crossover.py:15: 3. Compute SR, L1, theta, magnitude at each alpha tools/exp_dipolar_crossover.py:16: 4. Compare prime (SR, L1) against the crossover curve tools/exp_dipolar_crossover.py:89: """Compute (SR, L1) per matrix, then average and get theta, magnitude.""" tools/exp_dipolar_crossover.py:132: dSR = sr_mean - sr1 tools/exp_dipolar_crossover.py:133: dL1 = l1_mean - l1_1 tools/exp_dipolar_crossover.py:134: theta = np.degrees(np.arctan2(dL1, dSR)) tools/exp_dipolar_crossover.py:135: mag = np.sqrt(dSR**2 + dL1**2) tools/exp_dipolar_crossover.py:139: "SR": float(sr_mean), tools/exp_dipolar_crossover.py:140: "SR_std": float(sr_std), tools/exp_dipolar_crossover.py:141: "L1": float(l1_mean), tools/exp_dipolar_crossover.py:142: "L1_std": float(l1_std), tools/exp_dipolar_crossover.py:145: "dSR": float(dSR), tools/exp_dipolar_crossover.py:146: "dL1": float(dL1) tools/exp_dipolar_crossover.py:148: print(f" alpha={alpha:.2f}: SR={sr_mean:.4f} L1={l1_mean:.4f} theta={theta:.1f} mag={mag:.4f}") tools/exp_dipolar_crossover.py:173: dSR_p = sr_p - sr_ps tools/exp_dipolar_crossover.py:174: dL1_p = l1_p - l1_ps tools/exp_dipolar_crossover.py:175: theta_p = np.degrees(np.arctan2(dL1_p, dSR_p)) tools/exp_dipolar_crossover.py:176: mag_p = np.sqrt(dSR_p**2 + dL1_p**2) tools/exp_dipolar_crossover.py:179: "SR": float(sr_p), "L1": float(l1_p), tools/exp_dipolar_crossover.py:180: "SR_shuffle": float(sr_ps), "L1_shuffle": float(l1_ps), tools/exp_dipolar_crossover.py:182: "dSR": float(dSR_p), "dL1": float(dL1_p) tools/exp_dipolar_crossover.py:184: print(f" Primes: SR={sr_p:.4f} L1={l1_p:.4f} theta={theta_p:.1f} mag={mag_p:.4f}") tools/exp_dipolar_crossover.py:187: crossover_sr = np.array([r["SR"] for r in results]) tools/exp_dipolar_crossover.py:188: crossover_l1 = np.array([r["L1"] for r in results]) tools/exp_dipolar_crossover.py:214: "GUE_baseline": {"SR": float(sr0), "L1": float(l1_0)}, tools/exp_dipolar_crossover.py:215: "shuffle_baseline": {"SR": float(sr1), "L1": float(l1_1)}, tools/exp_boundary_two_axis_matrix.py:110: "observables_registry": data.get("observables_registry"), tools/exp_selective_layer_decoupling.py:5:Consecutio from BOUNDARY (piano 60h): The two Markov layers (pairs->SR,L1; triples->SR2,L2) tools/exp_selective_layer_decoupling.py:177:def triple_var(gaps): tools/exp_selective_layer_decoupling.py:185: 'SR': spacing_ratio, tools/exp_selective_layer_decoupling.py:186: 'L1': lambda g: lag_k_acf(g, 1), tools/exp_selective_layer_decoupling.py:187: 'SR2': next_nearest_sr, tools/exp_selective_layer_decoupling.py:190: 'triple_var': triple_var, tools/exp_selective_layer_decoupling.py:193:LAYER1_OBS = ['SR', 'L1'] tools/exp_selective_layer_decoupling.py:194:LAYER2_OBS = ['SR2', 'L2', 'cond_entropy', 'triple_var'] tools/exp_selective_layer_decoupling.py:286: layer = 'L1' if name in LAYER1_OBS else 'L2' tools/exp_selective_layer_decoupling.py:301: layer = 'L1' if name in LAYER1_OBS else 'L2' tools/exp_selective_layer_decoupling.py:334: print(f" {ptype:<10}: L1_mean={l1_str:>6}, L2_mean={l2_str:>6}, delta={delta_str:>10} -> {coupled}") codex Il ramo `1701` resta fuori dalla direzione primaria. Scelgo come fisico B un bordo Anderson 3D sintetico con due disordini dichiarati: e' ancora nel campo GOE/Poisson-Anderson, ma non e' il dominio 1D gia' usato; l'interfaccia viene testata su spettri esterni generati e poi passati al tool. exec /bin/bash -lc "sed -n '220,520p' tools/exp_physical_sr_residue_bounce.py" in /opt/MM_D-ND succeeded in 0ms: ) for null_rep in range(args.null_reps): null_gaps = span_matched_poisson_gaps(len(gaps) + 1, rng) null_obs = compute_obs(null_gaps) row = { "event": "input_spectrum_pair", "label": record["label"], "expected_class": record.get("expected_class"), "null_rep": null_rep, "n_levels": int(len(levels)), "n_gaps": int(len(gaps)), "real": real_obs, "null": null_obs, "delta": {obs: real_obs[obs] - null_obs[obs] for obs in OBSERVABLES_CANONICAL}, } rows_by_class.setdefault(class_key, []).append(row) trace.write(json.dumps(row, sort_keys=True) + "\n") poisson_contrast = { label: summarize(label, rows, rng, args.sign_trials) for label, rows in sorted(rows_by_class.items()) } direct_contrasts: dict[str, Any] = {} class_labels = sorted(rows_by_class) if len(class_labels) >= 2: for i, left in enumerate(class_labels): for right in class_labels[i + 1 :]: direct_contrasts[f"{left}_minus_{right}"] = contrast( f"{left}_minus_{right}", direct_rows_by_class[left], direct_rows_by_class[right], rng, args.sign_trials, ) result = { "tester_id": "component_state_SR_L1_triple_var_fit_ready_20260514_1649", "interface_mode": "input_spectrum", "input_contract": { "accepted_payloads": [ "JSON list of ordered levels", "JSON object with levels or spectrum", "JSON object with spectra records: label, expected_class, levels", "plain text/CSV numeric levels readable by numpy.loadtxt", ], "required": "ordered spectrum levels; sorting is applied defensively", "optional": "expected_class, label", "central_fraction": args.central_fraction, }, "output_contract": { "component_state": "active iff sign-swap p<=0.01 and |cohen_d_delta|>=0.5", "poisson_contrast": "span-matched Poisson null for each class/label", "direct_contrast": "pairwise class contrast when at least two classes/labels are present", "trace_schema": "event,label,expected_class,null_rep,n_levels,n_gaps,real,null,delta", }, "thresholds": { "sign_swap_p_max": 0.01, "abs_cohen_d_min": 0.5, "min_usable_central_gaps": 12, }, "observables_used": list(OBSERVABLES_CANONICAL.keys()), "focus_observables": FOCUS_OBS, "seed": args.seed, "null_reps": args.null_reps, "poisson_contrast": poisson_contrast, "direct_contrasts": direct_contrasts, "trace_jsonl": str(trace_path), "not_promoted_as_physics_law": True, } Path(args.output).parent.mkdir(parents=True, exist_ok=True) Path(args.output).write_text(json.dumps(result, indent=2, sort_keys=True), encoding="utf-8") return result def write_fit_ready_artifact(path: Path) -> dict[str, Any]: artifact = { "tester_id": "component_state_SR_L1_triple_var_fit_ready_20260514_1649", "source_cycle": "20260514_1649", "input_contract": { "interface": "tools/exp_physical_sr_residue_bounce.py --input-spectrum SPECTRUM.json --expected-class CLASS --output OUT.json", "spectrum": "ordered level spectrum; script sorts defensively before central-window gap normalization", "optional_expected_class": "class label used for grouped Poisson contrast and direct class contrast", "payloads": [ "JSON list of levels", "JSON object with levels or spectrum", "JSON object with spectra records: label, expected_class, levels", "plain text/CSV numeric levels", ], }, "output_contract": { "component_state": "per observable active/absorbed", "poisson_contrast": "real spectrum versus span-matched Poisson null", "direct_contrast": "pairwise class contrast when at least two classes are present", "trace": "JSONL rows preserving real/null/delta per null replicate", }, "thresholds": { "sign_swap_p_max": 0.01, "abs_cohen_d_min": 0.5, "min_usable_central_gaps": 12, "default_null_reps": 64, "default_central_fraction": 0.5, }, "component_states": { "GOE_time_reversal_symmetric": { "expected": {"SR": "active", "L1": "active", "triple_var": "active"}, "source": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json", }, "GUE_unitary_no_time_reversal": { "expected": {"SR": "active", "L1": "active", "triple_var": "active"}, "source": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json", }, "Anderson_1D_W6": { "expected": {"SR": "absorbed", "L1": "absorbed", "triple_var": "active"}, "source": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json", }, }, "transfer_blank_fall": { "transfer": "SR,L1,triple_var pass from the mathematical deposit into a physical spectrum tester as component states against Poisson and, when classes exist, direct class contrast.", "blank": "No graph edge is integrated; no experimental spectra, GSE, Anderson 3D, many-body localization, unfolding-specific contract, or asymptotic claim is added.", "fall": "Tester falls if GOE/GUE direct SR separation disappears, if Poisson contrast absorbs all focus observables in chaotic classes, or if Anderson W6 keeps SR active under the declared threshold.", }, "counter_perimeter": { "declared": "single ordered spectrum or small class-labeled set; no new physical domain generation", "falsifier": [ "unordered/degenerate spectrum with fewer than 12 usable central gaps", "class-labeled input where direct_contrast is not separated on SR despite declared GOE/GUE classes", "attempt to promote the artifact as a physics law instead of a tool contract", ], }, "trace_ref": { "source_result": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.json", "source_trace": "tools/data/physical_sr_residue_bounce_20260514_1640_goe_gue_ncurve.trace.jsonl", "interface_trace_schema": "event,label,expected_class,null_rep,n_levels,n_gaps,real,null,delta", }, "graph_candidate_ref": "tools/data/graph_completion/graph_completion_20260514_1640.json", "not_promoted_as_physics_law": True, "graph_integration": "not_integrated_operator_decision_required", } path.parent.mkdir(parents=True, exist_ok=True) path.write_text(json.dumps(artifact, indent=2, sort_keys=True), encoding="utf-8") return artifact def run(args: argparse.Namespace) -> dict[str, Any]: rng = np.random.default_rng(args.seed) sizes = args.ns if args.ns else [args.n] trace_path = Path(str(args.output).replace(".json", ".trace.jsonl")) trace_path.parent.mkdir(parents=True, exist_ok=True) rows_by_label: dict[str, list[dict[str, Any]]] = {} rows_by_size_label: dict[str, list[dict[str, Any]]] = {} with trace_path.open("w", encoding="utf-8") as trace: for n in sizes: for i in range(args.reps): specs: list[tuple[str, str, np.ndarray]] = [ ("GOE_time_reversal_symmetric", "beta_1_real_symmetric", goe_levels(n, rng)), ("GUE_unitary_no_time_reversal", "beta_2_complex_hermitian", gue_levels(n, rng)), ] for disorder in args.disorders: specs.append( ( f"Anderson_1D_W{disorder:g}", "disordered_real_tight_binding_finite_size", anderson_levels(n, disorder, rng), ) ) for label, symmetry, levels in specs: gaps = normalize_gaps(levels, args.central_fraction) if len(gaps) < 12: continue null_gaps = span_matched_poisson_gaps(len(gaps) + 1, rng) real_obs = compute_obs(gaps) null_obs = compute_obs(null_gaps) row = { "event": "spectrum_pair", "label": label, "symmetry": symmetry, "rep": i, "n": int(n), "n_gaps": int(len(gaps)), "real": real_obs, "null": null_obs, "delta": {obs: real_obs[obs] - null_obs[obs] for obs in OBSERVABLES_CANONICAL}, } size_label = f"N{n}:{label}" rows_by_label.setdefault(label, []).append(row) rows_by_size_label.setdefault(size_label, []).append(row) trace.write(json.dumps(row, sort_keys=True) + "\n") summaries = { label: summarize(label, rows, rng, args.sign_trials) for label, rows in sorted(rows_by_label.items()) } size_summaries = { label: summarize(label, rows, rng, args.sign_trials) for label, rows in sorted(rows_by_size_label.items()) } symmetry_contrasts = {} for n in sizes: gue_key = f"N{n}:GUE_unitary_no_time_reversal" goe_key = f"N{n}:GOE_time_reversal_symmetric" symmetry_contrasts[f"N{n}:GUE_minus_GOE"] = contrast( f"N{n}:GUE_minus_GOE", rows_by_size_label.get(gue_key, []), rows_by_size_label.get(goe_key, []), rng, args.sign_trials, ) source = summaries["GUE_unitary_no_time_reversal"] localized = summaries[f"Anderson_1D_W{args.disorders[-1]:g}"] result = { "experiment_id": "physical_sr_residue_bounce_20260514_1640", "observables_registry": OBSERVABLES_REGISTRY_VERSION, "observables_used": list(OBSERVABLES_CANONICAL.keys()), "seed": args.seed, "sizes": sizes, "reps": args.reps, "central_fraction": args.central_fraction, "null": "span_matched_poisson_same_level_count", "physical_source": "quantum-chaotic spectra modeled by GOE and GUE symmetry classes", "mathematical_transducer": "span-matched counter-boundary on canonical gap observables", "physical_return_candidate": "1D Anderson tight-binding spectra across disorder/localization", "component_gate": "active iff sign-swap p<=0.01 and |cohen_d_delta|>=0.5", "classical_baselines": { "GOE": "Wigner-Dyson beta=1, real symmetric, time-reversal symmetric", "GUE": "Wigner-Dyson beta=2, complex Hermitian, no time-reversal symmetry", "Poisson": "independent levels, span-matched finite sample null", "Anderson_1D_W6": "finite-size disorder/localization boundary, not a universal transition", }, "summaries": summaries, "size_summaries": size_summaries, "symmetry_contrasts": symmetry_contrasts, "bounce_test": { "source_SR_state": source["component_state"]["SR"], "localized_SR_state": localized["component_state"]["SR"], "localized_focus_signature": localized["focus_signature"], "rimbalzo_fisico_presente": ( source["component_state"]["SR"] == "active" and localized["component_state"]["SR"] == "absorbed" ), }, "trace_jsonl": str(trace_path), } Path(args.output).parent.mkdir(parents=True, exist_ok=True) Path(args.output).write_text(json.dumps(result, indent=2, sort_keys=True), encoding="utf-8") return result def main() -> None: parser = argparse.ArgumentParser() parser.add_argument("--output", type=Path, default=DEFAULT_OUT) parser.add_argument("--input-spectrum", type=Path, default=None) parser.add_argument("--expected-class", default=None) parser.add_argument("--null-reps", type=int, default=64) parser.add_argument("--write-fit-ready", type=Path, default=None) parser.add_argument("--seed", type=int, default=202605141612) parser.add_argument("--n", type=int, default=192) parser.add_argument("--ns", type=int, nargs="+", default=None) parser.add_argument("--reps", type=int, default=48) parser.add_argument("--central-fraction", type=float, default=0.5) parser.add_argument("--disorders", type=float, nargs="+", default=[0.5, 2.0, 6.0, 12.0]) parser.add_argument("--sign-trials", type=int, default=4096) args = parser.parse_args() if args.write_fit_ready: result = write_fit_ready_artifact(args.write_fit_ready) print(json.dumps({"fit_ready_artifact": str(args.write_fit_ready), "tester_id": result["tester_id"]}, indent=2, sort_keys=True)) return if args.input_spectrum: result = evaluate_input_spectra(args) print(json.dumps({"tester_id": result["tester_id"], "classes": sorted(result["poisson_contrast"])}, indent=2, sort_keys=True)) return result = run(args) print(json.dumps(result["bounce_test"], indent=2, sort_keys=True)) if __name__ == "__main__": main() exec /bin/bash -lc "sed -n '70,160p' tools/observables_registry.py" in /opt/MM_D-ND succeeded in 0ms: """ from __future__ import annotations import numpy as np OBSERVABLES_REGISTRY_VERSION = "1.0.0-2026-05-06" # ─── Canonical observables (convention dominante nel codebase 2026-05-06) ─── def SR(gaps: np.ndarray) -> float: """**SR — Spacing Ratio** (canonical). Mean of `min(g_i, g_{i+1}) / max(g_i, g_{i+1})` over consecutive gaps. Range: (0, 1]. GUE → ~0.60. Poisson → ~0.39. Picket-fence → 1. NOTE: questa è la convention dominante in 6+ script del lab. Per la variante "local spectral rigidity Δ₃(L)" usare `SR_local_rigidity`. """ if len(gaps) < 2: return 0.0 s, s1 = gaps[:-1], gaps[1:] r = np.minimum(s, s1) / np.maximum(s, s1) r = r[np.isfinite(r) & (r > 0)] return float(np.mean(r)) if len(r) else 0.0 def SR2(gaps: np.ndarray) -> float: """**SR2 — Next-nearest Spacing Ratio** (canonical). Mean of `min(g_i, g_{i+2}) / max(g_i, g_{i+2})` skipping one gap. Probes lag-2 spacing structure. """ if len(gaps) < 3: return 0.0 s, s2 = gaps[:-2], gaps[2:] r = np.minimum(s, s2) / np.maximum(s, s2) r = r[np.isfinite(r) & (r > 0)] return float(np.mean(r)) if len(r) else 0.0 def L1(gaps: np.ndarray) -> float: """**L1 — Lag-1 Autocorrelation** (canonical). Standard ACF at lag 1 of the gap sequence. """ if len(gaps) < 3: return 0.0 g = gaps - np.mean(gaps) c0 = float(np.mean(g ** 2)) if c0 <= 1e-15: return 0.0 return float(np.mean(g[:-1] * g[1:]) / c0) def L2(gaps: np.ndarray) -> float: """**L2 — Lag-2 Autocorrelation** (canonical).""" if len(gaps) < 4: return 0.0 g = gaps - np.mean(gaps) c0 = float(np.mean(g ** 2)) if c0 <= 1e-15: return 0.0 return float(np.mean(g[:-2] * g[2:]) / c0) def triple_var(gaps: np.ndarray) -> float: """**triple_var — Variance of consecutive gap triples** (canonical). Variance of `g_i + g_{i+1} + g_{i+2}` over the sequence (RAW, no normalization). Convention used in 3+ scripts. For the normalized version (variance ratio `var(triples) / var(gaps)`) use `triple_var_normalized`. """ if len(gaps) < 3: return 0.0 t = gaps[:-2] + gaps[1:-1] + gaps[2:] return float(np.var(t)) # Set canonico per uso "compute all" da report OBSERVABLES_CANONICAL: dict[str, callable] = { "SR": SR, "SR2": SR2, "L1": L1, "L2": L2, "triple_var": triple_var, } exec /bin/bash -lc "sed -n '1,220p' tools/lab_preflight_agent.py" in /opt/MM_D-ND succeeded in 0ms: #!/usr/bin/env python3 """Preflight non-mutating agent for MM_D-ND Lab cycles. The Lab can produce value, useful artifacts, and drift in the same movement. This tool reads the deposits after a cycle and classifies what happened before another cron/repair run is allowed to carry the trajectory forward. Default behavior is read-only: it writes a review artifact under tools/data/preflight/ and never changes the seed, directives, graph or report. """ from __future__ import annotations import argparse import json import re from datetime import datetime, timezone from pathlib import Path from typing import Any TOOLS = Path(__file__).resolve().parent DATA = TOOLS / "data" REPORTS = DATA / "reports" VERITAS = DATA / "veritas" GRAPH_COMPLETION = DATA / "graph_completion" PROMOTIONS = DATA / "promotions" PREFLIGHT = DATA / "preflight" TOOL_CONTRACTS = DATA / "tool_contracts" SESSION_LOG = DATA / "lab_session_log.jsonl" def read_json(path: Path, default: Any = None) -> Any: if default is None: default = {} try: return json.loads(path.read_text(encoding="utf-8")) except Exception: return default def write_json(path: Path, data: Any) -> None: path.parent.mkdir(parents=True, exist_ok=True) path.write_text(json.dumps(data, indent=2, ensure_ascii=False) + "\n", encoding="utf-8") def read_jsonl(path: Path) -> list[dict[str, Any]]: rows: list[dict[str, Any]] = [] if not path.exists(): return rows for line in path.read_text(encoding="utf-8", errors="replace").splitlines(): if not line.strip(): continue try: row = json.loads(line) except json.JSONDecodeError: continue if isinstance(row, dict): rows.append(row) return rows def cycle_dt(cycle: str) -> datetime: for fmt in ("%Y%m%d_%H%M%S", "%Y%m%d_%H%M"): try: return datetime.strptime(cycle, fmt).replace(tzinfo=timezone.utc) except ValueError: pass return datetime.fromtimestamp(0, timezone.utc) def latest_cycle() -> str: reports = sorted(REPORTS.glob("agent_*.md"), key=lambda p: p.stat().st_mtime, reverse=True) if not reports: raise SystemExit("no Lab reports found") return reports[0].stem.replace("agent_", "", 1) def report_title(path: Path) -> str: if not path.exists(): return "" for line in path.read_text(encoding="utf-8", errors="replace").splitlines(): if line.startswith("# "): return line[2:].strip() return "" def report_text(cycle: str) -> str: path = REPORTS / f"agent_{cycle}.md" if not path.exists(): return "" return path.read_text(encoding="utf-8", errors="replace") def session_entry(cycle: str) -> dict[str, Any]: for row in reversed(read_jsonl(SESSION_LOG)): if row.get("cycle_ts") == cycle: return row return {} def veritas_for_cycle(cycle: str) -> dict[str, Any]: matches: list[tuple[float, dict[str, Any]]] = [] for path in VERITAS.glob(f"veritas_{cycle[:8]}_*.json"): data = read_json(path, {}) if data.get("cycle_ref") == cycle: matches.append((path.stat().st_mtime, data)) if not matches: return {} return sorted(matches, key=lambda item: item[0])[-1][1] def graph_for_cycle(cycle: str) -> dict[str, Any]: return read_json(GRAPH_COMPLETION / f"graph_completion_{cycle}.json", {}) def promotion_for_cycle(cycle: str) -> dict[str, Any]: return read_json(PROMOTIONS / f"promotion_{cycle}.json", {}) def source_files_from_report(text: str) -> list[str]: files = set(re.findall(r"`?((?:tools/)?data/[A-Za-z0-9_./-]+\.(?:json|md|jsonl))`?", text)) files.update(re.findall(r"`?(tools/[A-Za-z0-9_./-]+\.(?:py|sh|md))`?", text)) return sorted(files) def useful_artifacts_for_cycle(cycle: str, text: str) -> list[dict[str, Any]]: artifacts: list[dict[str, Any]] = [] for rel in source_files_from_report(text): if not rel.endswith(".json"): continue path = TOOLS.parent / rel data = read_json(path, {}) if not isinstance(data, dict): continue if str(data.get("tester_id", "")).startswith("component_state_"): artifacts.append( { "file": rel, "kind": "component_state_fit_ready", "tester_id": data.get("tester_id"), "input_contract": bool(data.get("input_contract")), "output_contract": bool(data.get("output_contract")), "thresholds": bool(data.get("thresholds")), "not_physics_law": data.get("not_promoted_as_physics_law") is True, } ) elif data.get("experiment"): artifacts.append( { "file": rel, "kind": "experiment", "experiment": data.get("experiment"), } ) return artifacts def tool_contracts_for_artifacts(artifacts: list[dict[str, Any]]) -> list[dict[str, Any]]: contracts: list[dict[str, Any]] = [] seen: set[str] = set() for artifact in artifacts: tester_id = artifact.get("tester_id") if not tester_id or tester_id in seen: continue seen.add(str(tester_id)) path = TOOL_CONTRACTS / f"{tester_id}.json" data = read_json(path, {}) if not data: continue contracts.append( { "tester_id": tester_id, "status": data.get("status"), "kind": data.get("kind"), "path": str(path), "promote_as": (data.get("promotion_policy") or {}).get("promote_as"), "smoke_command": (data.get("runtime") or {}).get("smoke_command"), } ) return contracts def flag_counts(falsifier: dict[str, Any]) -> dict[str, int]: counts = {"high": 0, "medium": 0, "low": 0} for flag in falsifier.get("flags") or []: if not isinstance(flag, dict): continue severity = str(flag.get("severity") or "").lower() if severity in counts: counts[severity] += 1 return counts def compact_flags(falsifier: dict[str, Any]) -> list[dict[str, str]]: rows: list[dict[str, str]] = [] for flag in falsifier.get("flags") or []: if not isinstance(flag, dict): continue rows.append( { "lens": f"L{flag.get('lens', '?')}", "severity": str(flag.get("severity") or "unknown"), "claim": clean(flag.get("claim"), 220), "suggestion": clean(flag.get("suggestion"), 260), } ) return rows def clean(value: Any, limit: int = 360) -> str: text = re.sub(r"\s+", " ", str(value or "")).strip() if len(text) > limit: return text[: limit - 3].rstrip() + "..." return text def gather(cycle: str) -> dict[str, Any]: text = report_text(cycle) report_path = REPORTS / f"agent_{cycle}.md" falsifier = read_json(REPORTS / f"falsifier_{cycle}.json", {}) exec /bin/bash -lc "sed -n '1,220p' tools/data/seme.json" in /opt/MM_D-ND succeeded in 0ms: { "timestamp": "2026-05-14T17:11:52.390315", "piano": 126, "tensioni": [ { "tipo": "confine_inesplorato", "id": "TRASCENDENZA_LIMITE", "claim": "La trascendenza e il limite attuale del modello. I punti fissi relazionali (non solo phi ma la rete di punti fissi tra osservabili) possono rivelare il vero grafo della realta e pattern nelle matrici. Il confine non e nella matematica - e nel passaggio tra piani.", "intensita": 0.9, "nota": "Input operatore 2026-04-10. Tocca: confine del modello, struttura relazionale dei punti fissi. Consecutio: quali punti fissi relazionali emergono dalle 21 tensioni attuali? Il grafo e gia nei dati?", "manuale": true, "porta": "sessione_interattiva", "condensato_ref": "A3,A10", "condensato_motivo": "Estende A3 (punto fisso singolo) a rete relazionale. Tocca A10 (dipolo) come caso speciale." }, { "tipo": "scoperta", "id": "DUALITA_DIPOLARE_VS_ILLUSORIA", "claim": "Due tipi di dualita: (1) dipolare - generativa, il modello (det=-1), (2) illusoria - dispersiva, entropia (det=+1). Le regole incoerenti producono la seconda. La dualita illusoria e entropia come dispersione, non come informazione.", "intensita": 0.9, "nota": "Input operatore 2026-04-10. Tocca: entropia come dispersione illusoria vs generazione dipolare. Consecutio: nel Lab i domini Poisson (entropia massima) mostrano dualita illusoria? I domini GUE (strutturati) mostrano dualita dipolare? Il drift verso Poisson (POISSON_CONVERGENCE) e perdita di dualita dipolare?", "manuale": true, "porta": "sessione_interattiva", "condensato_ref": "A2,A10,F5", "condensato_motivo": "Discrimina due forme di det. A2 (confine) e la soglia. A10 (dipolo) e il tipo 1. F5 (frame) misura la struttura D-ND che e tipo 1." }, { "tipo": "scoperta_numerica", "id": "METRIC_TENSOR", "claim": "Il tensore metrico dei primi è g=(p/2)². Nel tempo ln(p), è de Sitter 1+1D. z=-8.8 curvatura vs z=+22.5 rapporti ΔΓ.", "intensità": 0.9, "nota": "Sessione interattiva 4 aprile. Verificato su 78K primi.", "manuale": true, "porta": "sessione_interattiva", "condensato_ref": null, "condensato_motivo": "Risultato numerico verificato, non-tautologico" }, { "tipo": "scoperta", "id": "TENSIONE_ENTITA", "claim": "La tensione non e un problema pratico - e un Entita. La tensione superflua crea latenza (tempo). Senza tensione superflua tutto e regolato da assiomi. Implicazione: le tensioni nel seme sono entita, non problemi da risolvere. Quelle superflue (det=+1) producono tempo/latenza.", "intensita": 0.85, "nota": "Input operatore 2026-04-10. Tocca: rapporto tensione/assioma. Operativamente: discriminare tensioni-entita (generative) da tensioni-superflue (dispersive) nel seme. Le 21 tensioni attuali - quante sono entita e quante latenza?", "manuale": true, "porta": "sessione_interattiva", "condensato_ref": "A5,A6", "condensato_motivo": "Il ciclo (A5) lavora con tensioni - ma se la tensione e entita, il ciclo non le risolve, le osserva. Lo zero mobile (A6) e la tensione senza latenza." }, { "tipo": "confine_inesplorato", "id": "G_POTENZIALE_NULLA", "claim": "G e il potenziale di tutto come nulla - permette il prima e il dopo. Ci muoviamo come trascendenza dimensionale gravitazionale. G nel tetraedro non e una teoria tra le altre - e il potenziale che le rende possibili.", "intensita": 0.85, "nota": "Input operatore 2026-04-10. Tocca: ruolo di G nel tetraedro (T,Q,G,E). La fonte video_lp0RgZ6kQF8 dice: tensore metrico dentro la forma simplettica. G non e accanto a T,Q,E - e sotto. Consecutio: nei dati Lab, i ponti TxG e ExG hanno struttura diversa dai ponti TxQ?", "manuale": true, "porta": "sessione_interattiva", "condensato_ref": "A7,A10", "condensato_motivo": "A7 (singolarita come operatore) e G come potenziale. A10 (dipolo) opera sul piano che G rende possibile." }, { "tipo": "confine_inesplorato", "id": "BOUNDARY", "claim": "8 domini GUE, 5 Poisson — il confine è il terzo incluso operativo", "intensità": 0.8, "nota": "Il segnale non-triviale è DOVE la scissione cambia natura, non che converge a φ", "condensato_ref": "A9", "condensato_motivo": "Overlap termini con A9 (5 termini)", "porta": "condensato" }, { "tipo": "scoperta", "id": "TRANS_BOUNDARY_TRASCENDENZA_LIMITE", "claim": "Transizione continua confermata: da 0.521 a 0.887 (range=0.366). La transizione Sturmian->Harper e' conti", "intensita": 0.8, "nota": "Dal domandatore (2026-05-14T03:30). \n alpha=0.1: =0.540 #####################\n alpha=0.2: =0.555 ###########", "condensato_ref": "A3,A10", "condensato_motivo": "Ricorrente (3x in 2 giorni) e fuori dalla mappa", "porta": "domandatore", "source_tension_id": "TRASCENDENZA_LIMITE", "source_tension_tipo": "confine_inesplorato", "source_tension_ref": "A3,A10", "source_experiment_id": "BOUNDARY_TRASCENDENZA_LIMITE", "source_operator": "confine", "dettaglio": "\n alpha=0.1: =0.540 #####################\n alpha=0.2: =0.555 ######################\n alpha=0.3: =0.567 ######################\n alpha=0.4: =0.580 #######################\n alpha=0.5: =0.603 ########################\n alpha=0.6: =0.642 #########################\n alpha=0.7: =0.685 ###########################\n alpha=0.8: =0.732 #############################\n alpha=0.9: =0.789 ###############################\n alpha=1.0: =0.887 ###################################\n" }, { "tipo": "falsificazione", "id": "FALS_BREAK_TRASCENDENZA_LIMITE", "claim": "Nessuna separazione: 9/9 (50/50 su 18 confronti). Il claim non regge. phi converge a =0.5 piu' sistematicam", "intensita": 0.8, "nota": "Dal domandatore (2026-05-14T13:30). 0.5|=0.1129 farther\n\n silver:\n N= 13: =0.5902 |-0.5|=0.0902 \n N= ", "condensato_ref": "LAB_F2", "condensato_motivo": "Overlap termini con LAB_F2 (4 termini)", "porta": "condensato", "source_tension_id": "TRASCENDENZA_LIMITE", "source_tension_tipo": "confine_inesplorato", "source_tension_ref": "A3,A10", "source_experiment_id": "BREAK_TRASCENDENZA_LIMITE", "source_operator": "rottura", "dettaglio": "0.5|=0.1129 farther\n\n silver:\n N= 13: =0.5902 |-0.5|=0.0902 \n N= 21: =0.6317 |-0.5|=0.1317 farther\n N= 34: =0.6442 |-0.5|=0.1442 farther\n N= 55: =0.5233 |-0.5|=0.0233 closer\n N= 89: =0.5502 |-0.5|=0.0502 farther\n N= 144: =0.5603 |-0.5|=0.0603 farther\n N= 233: =0.5446 |-0.5|=0.0446 closer\n N= 377: =0.4989 |-0.5|=0.0011 closer\n N= 610: =0.5480 |-0.5|=0.0480 farther\n N= 987: =0.4913 |-0.5|=0.0087 closer\n" }, { "tipo": "confine_inesplorato", "id": "PIANO_PRIMARIO_DUE_ASSIOMI", "claim": "I piani importanti sono il primario e i due assiomi che lo determinano nelle zone osservate. Non tutti gli assiomi operano ovunque - in ogni zona osservata, due assiomi determinano il piano primario.", "intensita": 0.8, "nota": "Input operatore 2026-04-10. Tocca: struttura locale degli assiomi. Consecutio: per ogni dominio Lab (primi, logistica, percolazione...) quali 2 assiomi del condensato sono operativi? Mappa assiomi x domini = grafo della realta locale.", "manuale": true, "porta": "sessione_interattiva", "condensato_ref": "A9,A14", "condensato_motivo": "A9 (terzo incluso) opera CON il piano. A14 (cascata) propaga - ma propaga cosa, se solo 2 assiomi sono attivi per zona?" }, { "tipo": "conferma_parziale", "id": "COMP_GEN_GAP_RATIO_T9_linguaggio_TRASCENDENZA_LIMITE", "claim": "gap_ratio: phi=0.4090 vs ctrl_mean=1.1755 (ratio=0.35). gap_ratio(phi) piu' vicino a rapporto in", "intensita": 0.65, "nota": "Dal domandatore (2026-05-14T03:30). phi: gap_ratio = 0.408953425243134\n silver: gap_ratio = 1.0482231205217798\n ", "condensato_ref": "LAB_F2", "condensato_motivo": "Overlap termini con LAB_F2 (4 termini)", "porta": "condensato", "source_tension_id": "TRASCENDENZA_LIMITE", "source_tension_tipo": "confine_inesplorato", "source_tension_ref": "A3,A10", "source_experiment_id": "GEN_GAP_RATIO_T9_linguaggio_TRASCENDENZA_LIMITE", "source_operator": "duale", "dettaglio": " phi: gap_ratio = 0.408953425243134\n silver: gap_ratio = 1.0482231205217798\n bronze: gap_ratio = 1.3027860752339453\n{\n \"phi\": 0.408953425243134,\n \"silver\": 1.0482231205217798,\n \"bronze\": 1.3027860752339453\n}\n" }, { "tipo": "conferma_parziale", "id": "COMP_DOMAIN_PHOTONIC_TRASCENDENZA_LIMITE", "claim": "T_mean: phi=6.2500 vs ctrl_mean=9.7667 (ratio=0.64). Fibonacci-phi trasmissione piu' struttur", "intensita": 0.65, "nota": "Dal domandatore (2026-05-14T13:30). Trasmissione multistrato Fibonacci — phi vs silver vs random:\n phi: T_mean=6.25", "condensato_ref": "A3,A10", "condensato_motivo": "Ricorrente (5x in 2 giorni) e fuori dalla mappa", "porta": "domandatore", "source_tension_id": "TRASCENDENZA_LIMITE", "source_tension_tipo": "confine_inesplorato", "source_tension_ref": "A3,A10", "source_experiment_id": "DOMAIN_PHOTONIC_TRASCENDENZA_LIMITE", "source_operator": "dominio", "dettaglio": "Trasmissione multistrato Fibonacci — phi vs silver vs random:\n phi: T_mean=6.2500 T_std=0.0000\n silver: T_mean=0.0041 T_std=0.0000\n random_0: T_mean=39.0625 T_std=0.0000\n random_1: T_mean=0.0000 T_std=0.0000\n random_2: T_mean=0.0001 T_std=0.0000\n" }, { "tipo": "tensione_aperta", "id": "TENS_SCALE_TRASCENDENZA_LIMITE", "claim": "Fit non converge — il modello potrebbe non essere power-law. V_c(phi) converge a 1.0 per N->inf, V_c(", "intensita": 0.6, "nota": "Dal domandatore (2026-05-14T14:58). V_c scaling with N — phi vs silver:\n\n phi:\n N= 89: V_c=1.017\n N= 144: V_", "condensato_ref": "A12", "condensato_motivo": "Overlap termini con A12 (3 termini)", "porta": "condensato", "source_tension_id": "TRASCENDENZA_LIMITE", "source_tension_tipo": "confine_inesplorato", "source_tension_ref": "A3,A10", "source_experiment_id": "SCALE_TRASCENDENZA_LIMITE", "source_operator": "scala", "dettaglio": "V_c scaling with N — phi vs silver:\n\n phi:\n N= 89: V_c=1.017\n N= 144: V_c=0.672\n N= 233: V_c=1.017\n N= 377: V_c=0.672\n N= 610: V_c=0.931\n Fit failed: Optimal parameters not found: Number of calls to function has reached maxfev = 5000.\n\n silver:\n N= 89: V_c=1.276\n N= 144: V_c=1.362\n N= 233: V_c=1.276\n N= 377: V_c=1.017\n N= 610: V_c=1.362\n Fit: V_inf=1.2115, a=8.1676, b=0.9851\n" }, { "tipo": "simmetria_sospetta", "id": "META", "claim": "11/11 PASS stratificato: 4 alto rischio tautologico, 6 data-independent", "intensità": 0.3, "nota": "Stratificazione META applicata via meta_assertion_gate (cycle 1458). Non chiude — apre sotto-tensioni per gate_class.", "condensato_ref": "A4,A12,C2", "porta": "verify_assertions_META_STRATIFIED", "stratificato": true, "n_high_tautology": 4, "n_data_independent": 6, "condensato_motivo": "Ricorrente (3x in 2 giorni) e fuori dalla mappa" } ], "tensioni_archiviate": [ { "id": "OBSERVABLE_REGISTRY", "tipo": "vincolo", "claim": "Ogni script che usa observables canonici (SR, SR2, L1, L2, triple_var) deve importare la definizione da tools/observables_registry.py. Varianti devono usare nomi distinti (SR_local_rigidity, triple_var_normalized) — niente shadowing del nome canonico. Ogni report deve dichiarare 'observables_registry: VERSION' nel header.", "intensita": 1.0, "porta": "infrastructure", "manuale": true, "condensato_ref": "A14,A8", "origine": "cristallizzato 06/05 dalla consecutio del cycle 20260506_0625 (autopoietico self-finding)", "added_at": "2026-05-06T07:03:58.213606+00:00", "decay_counter": 5, "archived_at": "2026-05-08T00:20:36.125250", "archived_reason": "G4 B1 apply: decay_counter=5 (vincolo non attaccato per 5 piani consecutivi)", "archived_from_piano": 85 }, { "id": "PERTURBATION_DENOMINATOR_GATE", "tipo": "vincolo", "claim": "La dimensionalita di perturbazione va riportata solo insieme a PC2, versione observables_registry e gate original-vs-shuffle per osservabile. Nel perimetro 20260506_1941, Poisson e shuffle-primi producono rank_all ~1.8-2.0 con denominatori deboli; dopo gate abs(z)>=2 il rank stabile torna vicino a 1. Rank PCA non gated non e evidenza strutturale.", "intensita": 0.95, "porta": "META_BOUNDARY", "manuale": true, "condensato_ref": "A4,A8,A14,C2", "origine": "cycle agent_20260506_1941: perturbation rank size curve canonical observables", "added_at": "2026-05-06T19:41:00+00:00", "decay_counter": 5, "archived_at": "2026-05-08T00:20:36.125262", "archived_reason": "G4 B1 apply: decay_counter=5 (vincolo non attaccato per 5 piani consecutivi)", "archived_from_piano": 85 }, { "id": "BOUNDARY_LAYER_GATE", "tipo": "vincolo", "claim": "I claim GUE/Poisson boundary devono riportare layer map: versione observables_registry, lista osservabili canonici, z original-vs-shuffle per osservabile, set endpoint-stable, e finestra/layer con margine classificatorio ambiguo. Nel perimetro sintetico agent_20260507_0330, il confine GUE-Poisson e beta 0.3-0.4: margine 0.070-0.083, ambiguous fraction 0.812-0.875, mentre gli osservabili stabili collassano da ~3.3 a 1.6. Il polo Poisson e classificabile ma denominator-weak.", "intensita": 0.93, "porta": "META_BOUNDARY", "manuale": true, "condensato_ref": "A4,A8,A9,A14,C2", "origine": "cycle agent_20260507_0330: synthetic GUE-Poisson mixture layer gate", "added_at": "2026-05-07T03:30:00+00:00", "decay_counter": 5, "archived_at": "2026-05-08T00:20:36.125266", "archived_reason": "G4 B1 apply: decay_counter=5 (vincolo non attaccato per 5 piani consecutivi)", "archived_from_piano": 85 }, codex Prima della misura scrivo solo un input fisico per l’interfaccia: nessuna nuova logica del tester, nessun cambio alle definizioni `SR`, `L1`, `triple_var`. Il test resta falsificabile dal contratto già esistente: meno di 12 gap centrali o assorbimento totale delle osservabili fanno cadere la promozione. exec /bin/bash -lc "python3 - <<'PY' import json from pathlib import Path import numpy as np rng = np.random.default_rng(202605141850) L = 6 n = L ** 3 reps = 12 records = [] def anderson3d_levels(L, disorder, rng): n = L ** 3 H = np.zeros((n, n), dtype=float) def idx(x, y, z): return (x * L + y) * L + z diag = rng.uniform(-disorder / 2.0, disorder / 2.0, size=n) np.fill_diagonal(H, diag) for x in range(L): for y in range(L): for z in range(L): i = idx(x, y, z) for dx, dy, dz in ((1,0,0),(0,1,0),(0,0,1)): j = idx((x + dx) % L, (y + dy) % L, (z + dz) % L) H[i, j] = 1.0 H[j, i] = 1.0 return np.linalg.eigvalsh(H) for disorder, label in [(4.0, \"Anderson_3D_W4_metallic_candidate\"), (16.5, \"Anderson_3D_W16p5_critical_boundary\")]: for rep in range(reps): levels = anderson3d_levels(L, disorder, rng) records.append({ \"label\": f\"{label}_L{L}_rep{rep:02d}\", \"expected_class\": label, \"levels\": [float(x) for x in levels], }) payload = { \"source\": \"generated_3d_anderson_tight_binding_periodic_boundary\", \"cycle\": \"20260514_1850\", \"physical_B\": \"3D Anderson tight-binding finite-size metallic/critical boundary\", \"L\": L, \"sites\": n, \"reps_per_class\": reps, \"disorders\": [4.0, 16.5], \"spectra\": records, } out = Path(\"tools/data/anderson3d_component_state_interface_input_20260514_1850.json\") out.write_text(json.dumps(payload, indent=2, sort_keys=True), encoding=\"utf-8\") print(json.dumps({\"output\": str(out), \"spectra\": len(records), \"levels_per_spectrum\": n}, indent=2)) PY" in /opt/MM_D-ND succeeded in 173ms: { "output": "tools/data/anderson3d_component_state_interface_input_20260514_1850.json", "spectra": 24, "levels_per_spectrum": 216 } exec /bin/bash -lc 'python3 tools/exp_physical_sr_residue_bounce.py --input-spectrum tools/data/anderson3d_component_state_interface_input_20260514_1850.json --output tools/data/component_state_anderson3d_interface_20260514_1850.json --seed 202605141851 --null-reps 64 --central-fraction 0.5 --sign-trials 8192' in /opt/MM_D-ND succeeded in 2085ms: { "classes": [ "Anderson_3D_W16p5_critical_boundary", "Anderson_3D_W4_metallic_candidate" ], "tester_id": "component_state_SR_L1_triple_var_fit_ready_20260514_1649" } exec /bin/bash -lc 'wc -l tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl && head -1 tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl' in /opt/MM_D-ND succeeded in 0ms: 1536 tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl {"delta": {"L1": -0.10650104061460512, "L2": -0.07479787276089715, "SR": 0.1583974714187561, "SR2": 0.1498679356348036, "triple_var": -1.393196814593312}, "event": "input_spectrum_pair", "expected_class": "Anderson_3D_W4_metallic_candidate", "label": "Anderson_3D_W4_metallic_candidate_L6_rep00", "n_gaps": 107, "n_levels": 216, "null": {"L1": -0.08561183317003503, "L2": 0.0007486219471069146, "SR": 0.37828156197252366, "SR2": 0.38953768819591883, "triple_var": 1.955974552612343}, "null_rep": 0, "real": {"L1": -0.19211287378464015, "L2": -0.07404925081379024, "SR": 0.5366790333912798, "SR2": 0.5394056238307224, "triple_var": 0.5627777380190311}} exec /bin/bash -lc "python3 - <<'PY' import json from pathlib import Path p=Path('tools/data/component_state_anderson3d_interface_20260514_1850.json') d=json.loads(p.read_text()) print(json.dumps({ 'tester_id': d.get('tester_id'), 'observables_used': d.get('observables_used'), 'focus_observables': d.get('focus_observables'), 'null_reps': d.get('null_reps'), 'poisson_contrast': {k: { 'sample_count': v['sample_count'], 'focus_signature': v['focus_signature'], 'component_state': {o:v['component_state'][o] for o in ['SR','L1','triple_var']}, 'mean_real': {o: round(v['mean_real'][o],6) for o in ['SR','L1','triple_var']}, 'mean_null': {o: round(v['mean_null'][o],6) for o in ['SR','L1','triple_var']}, 'mean_delta': {o: round(v['mean_delta'][o],6) for o in ['SR','L1','triple_var']}, 'p_two_sided': {o: v['p_two_sided'][o] for o in ['SR','L1','triple_var']}, 'cohen_d_delta': {o: round(v['cohen_d_delta'][o],3) for o in ['SR','L1','triple_var']}, } for k,v in d['poisson_contrast'].items()}, 'direct_contrasts': {k: { 'paired_count': v['paired_count'], 'state': {o:v['state'][o] for o in ['SR','L1','triple_var']}, 'mean_left_minus_right': {o: round(v['mean_left_minus_right'][o],6) for o in ['SR','L1','triple_var']}, 'p_two_sided': {o: v['p_two_sided'][o] for o in ['SR','L1','triple_var']}, 'cohen_d': {o: round(v['cohen_d'][o],3) for o in ['SR','L1','triple_var']}, } for k,v in d['direct_contrasts'].items()}, 'trace_jsonl': d['trace_jsonl'], 'not_promoted_as_physics_law': d['not_promoted_as_physics_law'] }, indent=2)) PY" in /opt/MM_D-ND succeeded in 0ms: { "tester_id": "component_state_SR_L1_triple_var_fit_ready_20260514_1649", "observables_used": [ "SR", "SR2", "L1", "L2", "triple_var" ], "focus_observables": [ "SR", "L1", "triple_var" ], "null_reps": 64, "poisson_contrast": { "Anderson_3D_W16p5_critical_boundary": { "sample_count": 768, "focus_signature": [ "SR", "L1", "triple_var" ], "component_state": { "SR": "active", "L1": "active", "triple_var": "active" }, "mean_real": { "SR": 0.509807, "L1": -0.151461, "triple_var": 0.90965 }, "mean_null": { "SR": 0.386906, "L1": -0.009123, "triple_var": 2.879005 }, "mean_delta": { "SR": 0.122901, "L1": -0.142338, "triple_var": -1.969355 }, "p_two_sided": { "SR": 0.00012205541315757354, "L1": 0.00012205541315757354, "triple_var": 0.00012205541315757354 }, "cohen_d_delta": { "SR": 2.741, "L1": -0.945, "triple_var": -2.504 } }, "Anderson_3D_W4_metallic_candidate": { "sample_count": 768, "focus_signature": [ "SR", "L1", "triple_var" ], "component_state": { "SR": "active", "L1": "active", "triple_var": "active" }, "mean_real": { "SR": 0.538429, "L1": -0.238741, "triple_var": 0.549007 }, "mean_null": { "SR": 0.38396, "L1": -0.013989, "triple_var": 2.876697 }, "mean_delta": { "SR": 0.15447, "L1": -0.224752, "triple_var": -2.327689 }, "p_two_sided": { "SR": 0.00012205541315757354, "L1": 0.00012205541315757354, "triple_var": 0.00012205541315757354 }, "cohen_d_delta": { "SR": 3.657, "L1": -2.236, "triple_var": -3.494 } } }, "direct_contrasts": { "Anderson_3D_W16p5_critical_boundary_minus_Anderson_3D_W4_metallic_candidate": { "paired_count": 12, "state": { "SR": "not_separated", "L1": "not_separated", "triple_var": "separated" }, "mean_left_minus_right": { "SR": -0.028623, "L1": 0.087281, "triple_var": 0.360642 }, "p_two_sided": { "SR": 0.06749664347613817, "L1": 0.06725253264982302, "triple_var": 0.0039057732210423532 }, "cohen_d": { "SR": -0.577, "L1": 0.59, "triple_var": 1.188 } } }, "trace_jsonl": "tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl", "not_promoted_as_physics_law": true } exec /bin/bash -lc 'python3 tools/dnd_scenario.py --best' in /opt/MM_D-ND succeeded in 123ms: TENS_SCALE_TRASCENDENZA_LIMITE: score=0.807 — TENS_SCALE_TRASCENDENZA_LIMITE: incerto (i=0.6) — massimo potere discriminante COMP_GEN_GAP_RATIO_T9_linguaggio_TRASCENDENZA_LIMITE: score=0.758 — COMP_GEN_GAP_RATIO_T9_linguaggio_TRASCENDENZA_LIMITE: incerto (i=0.65) — massimo potere discriminante COMP_DOMAIN_PHOTONIC_TRASCENDENZA_LIMITE: score=0.758 — COMP_DOMAIN_PHOTONIC_TRASCENDENZA_LIMITE: incerto (i=0.65) — massimo potere discriminante codex La misura ha dato un risultato misto ma utile: l’interfaccia legge il nuovo spettro fisico, entrambi i regimi Anderson 3D restano non-Poisson contro null, ma il contrasto diretto W16.5-W4 separa solo `triple_var`; `SR` e `L1` non chiudono il bordo a `L=6`. Scrivo il report come tool-result, non come scoperta fisica. apply patch patch: completed /opt/MM_D-ND/tools/data/reports/agent_20260514_1850.md diff --git a/tools/data/reports/agent_20260514_1850.md b/tools/data/reports/agent_20260514_1850.md new file mode 100644 index 0000000000000000000000000000000000000000..e4e57b95a8a2e5a0272fe09972bf8764f1023108 --- /dev/null +++ b/tools/data/reports/agent_20260514_1850.md @@ -0,0 +1,128 @@ +# Agent Report - Interfaccia component_state su bordo Anderson 3D +**Date**: 2026-05-14 18:50 +**Piano**: 126 +**Tension explored**: TENS_SCALE_TRASCENDENZA_LIMITE / BOUNDARY fisico GOE-GUE-Poisson-Anderson +**verdict**: VALUE_STABLE / TOOL CONTRACT TRANSFER - il tester `component_state(SR,L1,triple_var)` legge un nuovo spettro fisico Anderson 3D senza cambiare definizioni osservabili e senza perdere il rimbalzo fisico A -> matematica -> fisico B. Il ritorno fisico e' strumentale: W4 e W16.5 restano active contro Poisson, ma il contrasto diretto separa solo `triple_var`; `SR` e `L1` non chiudono il bordo 3D a `L=6`. +observables_registry: 1.0.0-2026-05-06 +observables_used: [SR, SR2, L1, L2, triple_var, component_state, focus_signature, sign_swap_p, cohen_d_delta] +tool_contract_ref: `tools/data/tool_contracts/component_state_SR_L1_triple_var_fit_ready_20260514_1649.json` +preflight_anchor: `20260514_1640` VALUE_STABLE, Veritas COLLASSO rho=0.9325, falsifier coherent=true zero flag +not_promoted_as_physics_law: true +ssp_value: yes + +## Source directive + +Questo ciclo segue la direttiva one-shot del 2026-05-14: ripartire da `20260514_1640`, non dal ramo `20260514_1701`, usare `component_state_SR_L1_triple_var_fit_ready_20260514_1649` come tool contract, e formulare una domanda stretta sulla riusabilita' del tester per leggere un nuovo spettro fisico. Il ramo quasiperiodico/Sturmian resta `vault`, non direzione primaria. + +## Prima impressione + +Il tester non deve predire la transizione Anderson 3D. Deve mostrare se uno spettro fisico nuovo puo' entrare nell'interfaccia e tornare come stato componente auditabile. Se il bordo non separa su `SR`, quello e' il contenuto: il tool trasferisce, la legge no. + +## Respiro fuori-tempo + +- **Combo**: A2 confine det=-1 + A9 terzo incluso + A11 combo + ponte QxG continuo/discreto + tensione BOUNDARY GUE/Poisson + nodo fisico Anderson 3D. +- **Dipolo / punto-zero**: caos metallico / localizzazione critica. Punto-zero: Poisson span-matched, perche' ogni spettro torna leggibile solo se il null fisico-matematico resta esplicito. +- **Piano superiore**: geometria spettrale dei campi disordinati; il bordo e' letto come componente attiva/assorbita, non come fit di transizione. +- **Proto-ipotesi**: `component_state(SR,L1,triple_var)` e' interfaccia riusabile se un nuovo spettro fisico ordinato produce component states contro Poisson e contrasto diretto dichiarato senza cambiare definizioni dal registry. +- **Possibile / non-possibile**: possibile = usare il tool su spettro fisico B e ottenere output auditabile; non-possibile = dichiarare transizione Anderson 3D o legge universale quando `SR,L1` non separano il contrasto diretto. +- **Proiezione**: genero 24 spettri Anderson 3D tight-binding con condizioni periodiche, `L=6`, 12 repliche per `W=4.0` e `W=16.5`; poi li passo all'interfaccia `--input-spectrum` del tester 16:49. + +## Aderenza alla direzione + +- `relation`: follows_direction +- `why`: l'esperimento resta nel perimetro GOE/GUE/Poisson-Anderson indicato dalla direttiva e testa il passaggio tool da 1D/WD a un nuovo bordo fisico 3D. +- `not_drift`: non usa `20260514_1701` come guida, non torna a `V_c`, fit phi, gap label o grammatica Sturmian; usa il ramo 1701 solo come `vault`. + +## Claim Under Test + +> Il tester `component_state(SR,L1,triple_var)` puo' diventare interfaccia riusabile per leggere un nuovo spettro fisico senza perdere il rimbalzo fisico A -> matematica -> fisico B. + +## Physical A + +- **Fonte fisica A**: classi spettrali Wigner-Dyson GOE/GUE gia' rafforzate nel report `20260514_1640`. +- **Significato fisico dichiarato**: GOE = simmetria reale/time-reversal; GUE = unitaria/no time-reversal; Poisson = livelli indipendenti/null span-matched. +- **Stato ancora usato**: ancora stabile come anchor, non rimisurato qui. + +## Math Transducer + +- **Osservabili canonici**: `SR`, `L1`, `triple_var` da `tools/observables_registry.py`; anche `SR2,L2` restano nel payload per completezza del tool. +- **Definizioni non cambiate**: `SR` = adjacent spacing ratio canonico; `L1` = autocorrelazione lag-1; `triple_var` = varianza raw delle somme di triple consecutive. +- **Null**: Poisson span-matched con stesso numero di gap centrali utilizzabili. +- **Gate componente**: `active` se `sign_swap_p <= 0.01` e `|cohen_d_delta| >= 0.5`. +- **Tool operativo**: `python3 tools/exp_physical_sr_residue_bounce.py --input-spectrum tools/data/anderson3d_component_state_interface_input_20260514_1850.json --output tools/data/component_state_anderson3d_interface_20260514_1850.json --seed 202605141851 --null-reps 64 --central-fraction 0.5 --sign-trials 8192` + +## Physical B + +- **Dominio fisico B**: Anderson 3D tight-binding finite-size, condizioni periodiche. +- **Perimetro**: `L=6` (`216` livelli per spettro), 12 repliche per classe, disordini `W=4.0` e `W=16.5`. +- **Uso fisico dichiarato**: `W=4.0` come candidato metallico finite-size; `W=16.5` come bordo critico/localizzato dichiarato. +- **Contro-perimetro**: non e' dato sperimentale, non e' limite termodinamico, non e' unfolding dedicato, non misura many-body localization. + +## Component State Result + +| class | samples vs null | focus active | SR real/null/delta | p(SR) | d(SR) | L1 delta | p(L1) | d(L1) | triple delta | p(triple) | d(triple) | +|---|---:|---|---:|---:|---:|---:|---:|---:|---:|---:|---:| +| Anderson 3D W4 metallic candidate | 768 | SR,L1,triple_var | 0.538429 / 0.383960 / +0.154470 | 0.000122 | +3.657 | -0.224752 | 0.000122 | -2.236 | -2.327689 | 0.000122 | -3.494 | +| Anderson 3D W16.5 critical boundary | 768 | SR,L1,triple_var | 0.509807 / 0.386906 / +0.122901 | 0.000122 | +2.741 | -0.142338 | 0.000122 | -0.945 | -1.969355 | 0.000122 | -2.504 | + +### Direct Contrast + +| contrast | paired | SR diff | p(SR) | d(SR) | SR state | L1 diff | p(L1) | d(L1) | triple diff | p(triple) | d(triple) | triple state | +|---|---:|---:|---:|---:|---|---:|---:|---:|---:|---:|---:|---| +| W16.5 minus W4 | 12 | -0.028623 | 0.067497 | -0.577 | not_separated | +0.087281 | 0.067253 | +0.590 | not_separated | +0.360642 | 0.003906 | +1.188 | separated | + +## Resulting Bounce + +- **Verificato**: l'interfaccia accetta un payload esterno con 24 spettri fisici e produce `poisson_contrast`, `direct_contrasts`, `component_state` e trace. +- **Verificato**: entrambi i regimi Anderson 3D sono non-Poisson sulle tre osservabili focus. +- **Verificato**: il contrasto diretto W16.5-W4 separa `triple_var` ma non separa `SR` e `L1` al gate dichiarato. +- **Inferito dal perimetro**: il tool trasferisce a fisico B; il bordo 3D non e' chiuso dal piano `SR,L1` in questo setup finite-size. +- **Non verificato**: transizione Anderson 3D, limite `L -> inf`, spettro sperimentale, unfolding dedicato. + +## Contamination Classification + +- `skill_reclassification`: report `20260514_1649` riclassificato come tool contract, non come scoperta pubblicabile. +- `vault`: ramo `20260514_1701` Grammar-vs-Scale Boundary Gate conservato come contro-perimetro, non seguito. +- `candidate`: Anderson 3D puo' diventare prossimo seme solo come audit di taglia/unfolding, non come legge. +- `discard_or_counter_perimeter`: usare `SR` da solo per classificare W4/W16.5 a `L=6` e' scartato: p=0.067497. +- `operator_directive`: vincolo one-shot di ripartire da `20260514_1640` e non dalla deriva `1701`. + +## Non Possible + +- `non_possible`: promuovere il risultato a `physics_law`. +- `non_possible`: integrare arco di grafo senza review operatore. +- `non_possible`: dire che `SR,L1` classificano il bordo Anderson 3D nel perimetro `L=6`, perche' il contrasto diretto non separa. +- `non_possible`: usare il ramo `20260514_1701` come traiettoria primaria. +- `non_possible`: accettare spettri con meno di 12 gap centrali utilizzabili; qui ogni spettro ha 107 gap centrali. + +## Trace Path + +- `input_spectrum`: `tools/data/anderson3d_component_state_interface_input_20260514_1850.json` +- `result`: `tools/data/component_state_anderson3d_interface_20260514_1850.json` +- `trace`: `tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl` +- `trace_rows`: 1536 +- `trace_schema`: `event,label,expected_class,null_rep,n_levels,n_gaps,real,null,delta` + +## Verdict + +**VALUE_STABLE / TOOL CONTRACT TRANSFER**. + +Il tester diventa interfaccia riusabile su questo perimetro: legge un nuovo spettro fisico, conserva le definizioni del registry, produce stati componente e lascia trace. Il risultato non diventa legge fisica: Anderson 3D W4/W16.5 resta non-Poisson contro null, ma il bordo diretto separa solo `triple_var`; `SR,L1` restano insufficienti nel setup `L=6`. + +## Bicono della scoperta + +- **Due radici**: simmetria Wigner-Dyson GOE/GUE / bordo disordinato Anderson 3D. +- **Singolare**: Poisson span-matched come punto-zero che rende confrontabili fisico A e fisico B. +- **Invariante di passaggio**: output `component_state` su `SR,L1,triple_var` con trace auditabile. +- **Campo di possibilita**: possibile usare il tester come interfaccia spettrale riusabile; non-possibile promuovere la separazione 3D senza curva in `L` e unfolding. + +## Consecutio + +Il prossimo seme possibile non e' "Anderson 3D confermato". E' un audit del tool su fisico B con taglie multiple e denominatore dichiarato: `L=5,6,7` o unfolding locale, stesso contract, stesso null. Se `SR,L1` restano non_separated e `triple_var` resta separated, il tool mostra che il bordo 3D entra prima nella componente di profondita' che nel piano pair-statistics. + +## Auto-Audit Finale + +- **Resta tool**: `component_state_SR_L1_triple_var_fit_ready_20260514_1649` come interfaccia per spettri ordinati. +- **Resta vault**: `20260514_1701` e la grammatica Sturmian-scale. +- **Puo' diventare prossimo seme**: audit Anderson 3D multi-size/unfolding solo se formulato come verifica del tool, non come legge fisica. +- **Cosa non e' stato fatto**: nessuna modifica al registry, nessuna promozione physics_law, nessuna integrazione grafo. diff --git a/tools/data/reports/agent_20260514_1850.md b/tools/data/reports/agent_20260514_1850.md new file mode 100644 index 0000000000000000000000000000000000000000..e4e57b95a8a2e5a0272fe09972bf8764f1023108 --- /dev/null +++ b/tools/data/reports/agent_20260514_1850.md @@ -0,0 +1,128 @@ +# Agent Report - Interfaccia component_state su bordo Anderson 3D +**Date**: 2026-05-14 18:50 +**Piano**: 126 +**Tension explored**: TENS_SCALE_TRASCENDENZA_LIMITE / BOUNDARY fisico GOE-GUE-Poisson-Anderson +**verdict**: VALUE_STABLE / TOOL CONTRACT TRANSFER - il tester `component_state(SR,L1,triple_var)` legge un nuovo spettro fisico Anderson 3D senza cambiare definizioni osservabili e senza perdere il rimbalzo fisico A -> matematica -> fisico B. Il ritorno fisico e' strumentale: W4 e W16.5 restano active contro Poisson, ma il contrasto diretto separa solo `triple_var`; `SR` e `L1` non chiudono il bordo 3D a `L=6`. +observables_registry: 1.0.0-2026-05-06 +observables_used: [SR, SR2, L1, L2, triple_var, component_state, focus_signature, sign_swap_p, cohen_d_delta] +tool_contract_ref: `tools/data/tool_contracts/component_state_SR_L1_triple_var_fit_ready_20260514_1649.json` +preflight_anchor: `20260514_1640` VALUE_STABLE, Veritas COLLASSO rho=0.9325, falsifier coherent=true zero flag +not_promoted_as_physics_law: true +ssp_value: yes + +## Source directive + +Questo ciclo segue la direttiva one-shot del 2026-05-14: ripartire da `20260514_1640`, non dal ramo `20260514_1701`, usare `component_state_SR_L1_triple_var_fit_ready_20260514_1649` come tool contract, e formulare una domanda stretta sulla riusabilita' del tester per leggere un nuovo spettro fisico. Il ramo quasiperiodico/Sturmian resta `vault`, non direzione primaria. + +## Prima impressione + +Il tester non deve predire la transizione Anderson 3D. Deve mostrare se uno spettro fisico nuovo puo' entrare nell'interfaccia e tornare come stato componente auditabile. Se il bordo non separa su `SR`, quello e' il contenuto: il tool trasferisce, la legge no. + +## Respiro fuori-tempo + +- **Combo**: A2 confine det=-1 + A9 terzo incluso + A11 combo + ponte QxG continuo/discreto + tensione BOUNDARY GUE/Poisson + nodo fisico Anderson 3D. +- **Dipolo / punto-zero**: caos metallico / localizzazione critica. Punto-zero: Poisson span-matched, perche' ogni spettro torna leggibile solo se il null fisico-matematico resta esplicito. +- **Piano superiore**: geometria spettrale dei campi disordinati; il bordo e' letto come componente attiva/assorbita, non come fit di transizione. +- **Proto-ipotesi**: `component_state(SR,L1,triple_var)` e' interfaccia riusabile se un nuovo spettro fisico ordinato produce component states contro Poisson e contrasto diretto dichiarato senza cambiare definizioni dal registry. +- **Possibile / non-possibile**: possibile = usare il tool su spettro fisico B e ottenere output auditabile; non-possibile = dichiarare transizione Anderson 3D o legge universale quando `SR,L1` non separano il contrasto diretto. +- **Proiezione**: genero 24 spettri Anderson 3D tight-binding con condizioni periodiche, `L=6`, 12 repliche per `W=4.0` e `W=16.5`; poi li passo all'interfaccia `--input-spectrum` del tester 16:49. + +## Aderenza alla direzione + +- `relation`: follows_direction +- `why`: l'esperimento resta nel perimetro GOE/GUE/Poisson-Anderson indicato dalla direttiva e testa il passaggio tool da 1D/WD a un nuovo bordo fisico 3D. +- `not_drift`: non usa `20260514_1701` come guida, non torna a `V_c`, fit phi, gap label o grammatica Sturmian; usa il ramo 1701 solo come `vault`. + +## Claim Under Test + +> Il tester `component_state(SR,L1,triple_var)` puo' diventare interfaccia riusabile per leggere un nuovo spettro fisico senza perdere il rimbalzo fisico A -> matematica -> fisico B. + +## Physical A + +- **Fonte fisica A**: classi spettrali Wigner-Dyson GOE/GUE gia' rafforzate nel report `20260514_1640`. +- **Significato fisico dichiarato**: GOE = simmetria reale/time-reversal; GUE = unitaria/no time-reversal; Poisson = livelli indipendenti/null span-matched. +- **Stato ancora usato**: ancora stabile come anchor, non rimisurato qui. + +## Math Transducer + +- **Osservabili canonici**: `SR`, `L1`, `triple_var` da `tools/observables_registry.py`; anche `SR2,L2` restano nel payload per completezza del tool. +- **Definizioni non cambiate**: `SR` = adjacent spacing ratio canonico; `L1` = autocorrelazione lag-1; `triple_var` = varianza raw delle somme di triple consecutive. +- **Null**: Poisson span-matched con stesso numero di gap centrali utilizzabili. +- **Gate componente**: `active` se `sign_swap_p <= 0.01` e `|cohen_d_delta| >= 0.5`. +- **Tool operativo**: `python3 tools/exp_physical_sr_residue_bounce.py --input-spectrum tools/data/anderson3d_component_state_interface_input_20260514_1850.json --output tools/data/component_state_anderson3d_interface_20260514_1850.json --seed 202605141851 --null-reps 64 --central-fraction 0.5 --sign-trials 8192` + +## Physical B + +- **Dominio fisico B**: Anderson 3D tight-binding finite-size, condizioni periodiche. +- **Perimetro**: `L=6` (`216` livelli per spettro), 12 repliche per classe, disordini `W=4.0` e `W=16.5`. +- **Uso fisico dichiarato**: `W=4.0` come candidato metallico finite-size; `W=16.5` come bordo critico/localizzato dichiarato. +- **Contro-perimetro**: non e' dato sperimentale, non e' limite termodinamico, non e' unfolding dedicato, non misura many-body localization. + +## Component State Result + +| class | samples vs null | focus active | SR real/null/delta | p(SR) | d(SR) | L1 delta | p(L1) | d(L1) | triple delta | p(triple) | d(triple) | +|---|---:|---|---:|---:|---:|---:|---:|---:|---:|---:|---:| +| Anderson 3D W4 metallic candidate | 768 | SR,L1,triple_var | 0.538429 / 0.383960 / +0.154470 | 0.000122 | +3.657 | -0.224752 | 0.000122 | -2.236 | -2.327689 | 0.000122 | -3.494 | +| Anderson 3D W16.5 critical boundary | 768 | SR,L1,triple_var | 0.509807 / 0.386906 / +0.122901 | 0.000122 | +2.741 | -0.142338 | 0.000122 | -0.945 | -1.969355 | 0.000122 | -2.504 | + +### Direct Contrast + +| contrast | paired | SR diff | p(SR) | d(SR) | SR state | L1 diff | p(L1) | d(L1) | triple diff | p(triple) | d(triple) | triple state | +|---|---:|---:|---:|---:|---|---:|---:|---:|---:|---:|---:|---| +| W16.5 minus W4 | 12 | -0.028623 | 0.067497 | -0.577 | not_separated | +0.087281 | 0.067253 | +0.590 | not_separated | +0.360642 | 0.003906 | +1.188 | separated | + +## Resulting Bounce + +- **Verificato**: l'interfaccia accetta un payload esterno con 24 spettri fisici e produce `poisson_contrast`, `direct_contrasts`, `component_state` e trace. +- **Verificato**: entrambi i regimi Anderson 3D sono non-Poisson sulle tre osservabili focus. +- **Verificato**: il contrasto diretto W16.5-W4 separa `triple_var` ma non separa `SR` e `L1` al gate dichiarato. +- **Inferito dal perimetro**: il tool trasferisce a fisico B; il bordo 3D non e' chiuso dal piano `SR,L1` in questo setup finite-size. +- **Non verificato**: transizione Anderson 3D, limite `L -> inf`, spettro sperimentale, unfolding dedicato. + +## Contamination Classification + +- `skill_reclassification`: report `20260514_1649` riclassificato come tool contract, non come scoperta pubblicabile. +- `vault`: ramo `20260514_1701` Grammar-vs-Scale Boundary Gate conservato come contro-perimetro, non seguito. +- `candidate`: Anderson 3D puo' diventare prossimo seme solo come audit di taglia/unfolding, non come legge. +- `discard_or_counter_perimeter`: usare `SR` da solo per classificare W4/W16.5 a `L=6` e' scartato: p=0.067497. +- `operator_directive`: vincolo one-shot di ripartire da `20260514_1640` e non dalla deriva `1701`. + +## Non Possible + +- `non_possible`: promuovere il risultato a `physics_law`. +- `non_possible`: integrare arco di grafo senza review operatore. +- `non_possible`: dire che `SR,L1` classificano il bordo Anderson 3D nel perimetro `L=6`, perche' il contrasto diretto non separa. +- `non_possible`: usare il ramo `20260514_1701` come traiettoria primaria. +- `non_possible`: accettare spettri con meno di 12 gap centrali utilizzabili; qui ogni spettro ha 107 gap centrali. + +## Trace Path + +- `input_spectrum`: `tools/data/anderson3d_component_state_interface_input_20260514_1850.json` +- `result`: `tools/data/component_state_anderson3d_interface_20260514_1850.json` +- `trace`: `tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl` +- `trace_rows`: 1536 +- `trace_schema`: `event,label,expected_class,null_rep,n_levels,n_gaps,real,null,delta` + +## Verdict + +**VALUE_STABLE / TOOL CONTRACT TRANSFER**. + +Il tester diventa interfaccia riusabile su questo perimetro: legge un nuovo spettro fisico, conserva le definizioni del registry, produce stati componente e lascia trace. Il risultato non diventa legge fisica: Anderson 3D W4/W16.5 resta non-Poisson contro null, ma il bordo diretto separa solo `triple_var`; `SR,L1` restano insufficienti nel setup `L=6`. + +## Bicono della scoperta + +- **Due radici**: simmetria Wigner-Dyson GOE/GUE / bordo disordinato Anderson 3D. +- **Singolare**: Poisson span-matched come punto-zero che rende confrontabili fisico A e fisico B. +- **Invariante di passaggio**: output `component_state` su `SR,L1,triple_var` con trace auditabile. +- **Campo di possibilita**: possibile usare il tester come interfaccia spettrale riusabile; non-possibile promuovere la separazione 3D senza curva in `L` e unfolding. + +## Consecutio + +Il prossimo seme possibile non e' "Anderson 3D confermato". E' un audit del tool su fisico B con taglie multiple e denominatore dichiarato: `L=5,6,7` o unfolding locale, stesso contract, stesso null. Se `SR,L1` restano non_separated e `triple_var` resta separated, il tool mostra che il bordo 3D entra prima nella componente di profondita' che nel piano pair-statistics. + +## Auto-Audit Finale + +- **Resta tool**: `component_state_SR_L1_triple_var_fit_ready_20260514_1649` come interfaccia per spettri ordinati. +- **Resta vault**: `20260514_1701` e la grammatica Sturmian-scale. +- **Puo' diventare prossimo seme**: audit Anderson 3D multi-size/unfolding solo se formulato come verifica del tool, non come legge fisica. +- **Cosa non e' stato fatto**: nessuna modifica al registry, nessuna promozione physics_law, nessuna integrazione grafo. codex Report scritto. Ora eseguo il preflight richiesto sulla cycle `20260514_1850`; se classifica `DRIFT_STOP`, mi fermo e non faccio riparazioni automatiche. exec /bin/bash -lc 'python3 tools/lab_preflight_agent.py --cycle 20260514_1850' in /opt/MM_D-ND diff --git a/tools/data/reports/agent_20260514_1850.md b/tools/data/reports/agent_20260514_1850.md new file mode 100644 index 0000000000000000000000000000000000000000..e4e57b95a8a2e5a0272fe09972bf8764f1023108 --- /dev/null +++ b/tools/data/reports/agent_20260514_1850.md @@ -0,0 +1,128 @@ +# Agent Report - Interfaccia component_state su bordo Anderson 3D +**Date**: 2026-05-14 18:50 +**Piano**: 126 +**Tension explored**: TENS_SCALE_TRASCENDENZA_LIMITE / BOUNDARY fisico GOE-GUE-Poisson-Anderson +**verdict**: VALUE_STABLE / TOOL CONTRACT TRANSFER - il tester `component_state(SR,L1,triple_var)` legge un nuovo spettro fisico Anderson 3D senza cambiare definizioni osservabili e senza perdere il rimbalzo fisico A -> matematica -> fisico B. Il ritorno fisico e' strumentale: W4 e W16.5 restano active contro Poisson, ma il contrasto diretto separa solo `triple_var`; `SR` e `L1` non chiudono il bordo 3D a `L=6`. +observables_registry: 1.0.0-2026-05-06 +observables_used: [SR, SR2, L1, L2, triple_var, component_state, focus_signature, sign_swap_p, cohen_d_delta] +tool_contract_ref: `tools/data/tool_contracts/component_state_SR_L1_triple_var_fit_ready_20260514_1649.json` +preflight_anchor: `20260514_1640` VALUE_STABLE, Veritas COLLASSO rho=0.9325, falsifier coherent=true zero flag +not_promoted_as_physics_law: true +ssp_value: yes + +## Source directive + +Questo ciclo segue la direttiva one-shot del 2026-05-14: ripartire da `20260514_1640`, non dal ramo `20260514_1701`, usare `component_state_SR_L1_triple_var_fit_ready_20260514_1649` come tool contract, e formulare una domanda stretta sulla riusabilita' del tester per leggere un nuovo spettro fisico. Il ramo quasiperiodico/Sturmian resta `vault`, non direzione primaria. + +## Prima impressione + +Il tester non deve predire la transizione Anderson 3D. Deve mostrare se uno spettro fisico nuovo puo' entrare nell'interfaccia e tornare come stato componente auditabile. Se il bordo non separa su `SR`, quello e' il contenuto: il tool trasferisce, la legge no. + +## Respiro fuori-tempo + +- **Combo**: A2 confine det=-1 + A9 terzo incluso + A11 combo + ponte QxG continuo/discreto + tensione BOUNDARY GUE/Poisson + nodo fisico Anderson 3D. +- **Dipolo / punto-zero**: caos metallico / localizzazione critica. Punto-zero: Poisson span-matched, perche' ogni spettro torna leggibile solo se il null fisico-matematico resta esplicito. +- **Piano superiore**: geometria spettrale dei campi disordinati; il bordo e' letto come componente attiva/assorbita, non come fit di transizione. +- **Proto-ipotesi**: `component_state(SR,L1,triple_var)` e' interfaccia riusabile se un nuovo spettro fisico ordinato produce component states contro Poisson e contrasto diretto dichiarato senza cambiare definizioni dal registry. +- **Possibile / non-possibile**: possibile = usare il tool su spettro fisico B e ottenere output auditabile; non-possibile = dichiarare transizione Anderson 3D o legge universale quando `SR,L1` non separano il contrasto diretto. +- **Proiezione**: genero 24 spettri Anderson 3D tight-binding con condizioni periodiche, `L=6`, 12 repliche per `W=4.0` e `W=16.5`; poi li passo all'interfaccia `--input-spectrum` del tester 16:49. + +## Aderenza alla direzione + +- `relation`: follows_direction +- `why`: l'esperimento resta nel perimetro GOE/GUE/Poisson-Anderson indicato dalla direttiva e testa il passaggio tool da 1D/WD a un nuovo bordo fisico 3D. +- `not_drift`: non usa `20260514_1701` come guida, non torna a `V_c`, fit phi, gap label o grammatica Sturmian; usa il ramo 1701 solo come `vault`. + +## Claim Under Test + +> Il tester `component_state(SR,L1,triple_var)` puo' diventare interfaccia riusabile per leggere un nuovo spettro fisico senza perdere il rimbalzo fisico A -> matematica -> fisico B. + +## Physical A + +- **Fonte fisica A**: classi spettrali Wigner-Dyson GOE/GUE gia' rafforzate nel report `20260514_1640`. +- **Significato fisico dichiarato**: GOE = simmetria reale/time-reversal; GUE = unitaria/no time-reversal; Poisson = livelli indipendenti/null span-matched. +- **Stato ancora usato**: ancora stabile come anchor, non rimisurato qui. + +## Math Transducer + +- **Osservabili canonici**: `SR`, `L1`, `triple_var` da `tools/observables_registry.py`; anche `SR2,L2` restano nel payload per completezza del tool. +- **Definizioni non cambiate**: `SR` = adjacent spacing ratio canonico; `L1` = autocorrelazione lag-1; `triple_var` = varianza raw delle somme di triple consecutive. +- **Null**: Poisson span-matched con stesso numero di gap centrali utilizzabili. +- **Gate componente**: `active` se `sign_swap_p <= 0.01` e `|cohen_d_delta| >= 0.5`. +- **Tool operativo**: `python3 tools/exp_physical_sr_residue_bounce.py --input-spectrum tools/data/anderson3d_component_state_interface_input_20260514_1850.json --output tools/data/component_state_anderson3d_interface_20260514_1850.json --seed 202605141851 --null-reps 64 --central-fraction 0.5 --sign-trials 8192` + +## Physical B + +- **Dominio fisico B**: Anderson 3D tight-binding finite-size, condizioni periodiche. +- **Perimetro**: `L=6` (`216` livelli per spettro), 12 repliche per classe, disordini `W=4.0` e `W=16.5`. +- **Uso fisico dichiarato**: `W=4.0` come candidato metallico finite-size; `W=16.5` come bordo critico/localizzato dichiarato. +- **Contro-perimetro**: non e' dato sperimentale, non e' limite termodinamico, non e' unfolding dedicato, non misura many-body localization. + +## Component State Result + +| class | samples vs null | focus active | SR real/null/delta | p(SR) | d(SR) | L1 delta | p(L1) | d(L1) | triple delta | p(triple) | d(triple) | +|---|---:|---|---:|---:|---:|---:|---:|---:|---:|---:|---:| +| Anderson 3D W4 metallic candidate | 768 | SR,L1,triple_var | 0.538429 / 0.383960 / +0.154470 | 0.000122 | +3.657 | -0.224752 | 0.000122 | -2.236 | -2.327689 | 0.000122 | -3.494 | +| Anderson 3D W16.5 critical boundary | 768 | SR,L1,triple_var | 0.509807 / 0.386906 / +0.122901 | 0.000122 | +2.741 | -0.142338 | 0.000122 | -0.945 | -1.969355 | 0.000122 | -2.504 | + +### Direct Contrast + +| contrast | paired | SR diff | p(SR) | d(SR) | SR state | L1 diff | p(L1) | d(L1) | triple diff | p(triple) | d(triple) | triple state | +|---|---:|---:|---:|---:|---|---:|---:|---:|---:|---:|---:|---| +| W16.5 minus W4 | 12 | -0.028623 | 0.067497 | -0.577 | not_separated | +0.087281 | 0.067253 | +0.590 | not_separated | +0.360642 | 0.003906 | +1.188 | separated | + +## Resulting Bounce + +- **Verificato**: l'interfaccia accetta un payload esterno con 24 spettri fisici e produce `poisson_contrast`, `direct_contrasts`, `component_state` e trace. +- **Verificato**: entrambi i regimi Anderson 3D sono non-Poisson sulle tre osservabili focus. +- **Verificato**: il contrasto diretto W16.5-W4 separa `triple_var` ma non separa `SR` e `L1` al gate dichiarato. +- **Inferito dal perimetro**: il tool trasferisce a fisico B; il bordo 3D non e' chiuso dal piano `SR,L1` in questo setup finite-size. +- **Non verificato**: transizione Anderson 3D, limite `L -> inf`, spettro sperimentale, unfolding dedicato. + +## Contamination Classification + +- `skill_reclassification`: report `20260514_1649` riclassificato come tool contract, non come scoperta pubblicabile. +- `vault`: ramo `20260514_1701` Grammar-vs-Scale Boundary Gate conservato come contro-perimetro, non seguito. +- `candidate`: Anderson 3D puo' diventare prossimo seme solo come audit di taglia/unfolding, non come legge. +- `discard_or_counter_perimeter`: usare `SR` da solo per classificare W4/W16.5 a `L=6` e' scartato: p=0.067497. +- `operator_directive`: vincolo one-shot di ripartire da `20260514_1640` e non dalla deriva `1701`. + +## Non Possible + +- `non_possible`: promuovere il risultato a `physics_law`. +- `non_possible`: integrare arco di grafo senza review operatore. +- `non_possible`: dire che `SR,L1` classificano il bordo Anderson 3D nel perimetro `L=6`, perche' il contrasto diretto non separa. +- `non_possible`: usare il ramo `20260514_1701` come traiettoria primaria. +- `non_possible`: accettare spettri con meno di 12 gap centrali utilizzabili; qui ogni spettro ha 107 gap centrali. + +## Trace Path + +- `input_spectrum`: `tools/data/anderson3d_component_state_interface_input_20260514_1850.json` +- `result`: `tools/data/component_state_anderson3d_interface_20260514_1850.json` +- `trace`: `tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl` +- `trace_rows`: 1536 +- `trace_schema`: `event,label,expected_class,null_rep,n_levels,n_gaps,real,null,delta` + +## Verdict + +**VALUE_STABLE / TOOL CONTRACT TRANSFER**. + +Il tester diventa interfaccia riusabile su questo perimetro: legge un nuovo spettro fisico, conserva le definizioni del registry, produce stati componente e lascia trace. Il risultato non diventa legge fisica: Anderson 3D W4/W16.5 resta non-Poisson contro null, ma il bordo diretto separa solo `triple_var`; `SR,L1` restano insufficienti nel setup `L=6`. + +## Bicono della scoperta + +- **Due radici**: simmetria Wigner-Dyson GOE/GUE / bordo disordinato Anderson 3D. +- **Singolare**: Poisson span-matched come punto-zero che rende confrontabili fisico A e fisico B. +- **Invariante di passaggio**: output `component_state` su `SR,L1,triple_var` con trace auditabile. +- **Campo di possibilita**: possibile usare il tester come interfaccia spettrale riusabile; non-possibile promuovere la separazione 3D senza curva in `L` e unfolding. + +## Consecutio + +Il prossimo seme possibile non e' "Anderson 3D confermato". E' un audit del tool su fisico B con taglie multiple e denominatore dichiarato: `L=5,6,7` o unfolding locale, stesso contract, stesso null. Se `SR,L1` restano non_separated e `triple_var` resta separated, il tool mostra che il bordo 3D entra prima nella componente di profondita' che nel piano pair-statistics. + +## Auto-Audit Finale + +- **Resta tool**: `component_state_SR_L1_triple_var_fit_ready_20260514_1649` come interfaccia per spettri ordinati. +- **Resta vault**: `20260514_1701` e la grammatica Sturmian-scale. +- **Puo' diventare prossimo seme**: audit Anderson 3D multi-size/unfolding solo se formulato come verifica del tool, non come legge fisica. +- **Cosa non e' stato fatto**: nessuna modifica al registry, nessuna promozione physics_law, nessuna integrazione grafo. succeeded in 700ms: preflight 20260514_1850: ARTIFACT_USEFUL_NOT_PUBLISHABLE action: KEEP_ARTIFACT_STOP_REPORT_PROMOTION stable_anchor: 20260514_1640 wrote: /opt/MM_D-ND/tools/data/preflight/preflight_20260514_1850.json wrote: /opt/MM_D-ND/tools/data/preflight/preflight_20260514_1850.md exec /bin/bash -lc "sed -n '1,220p' tools/data/preflight/preflight_20260514_1850.md" in /opt/MM_D-ND succeeded in 0ms: # Lab Preflight - 20260514_1850 - classification: `ARTIFACT_USEFUL_NOT_PUBLISHABLE` - action: `KEEP_ARTIFACT_STOP_REPORT_PROMOTION` - reason: useful contract artifact exists, but report failed falsifier; use the artifact as tool input, not as a publishable discovery. - report: Agent Report - Interfaccia component_state su bordo Anderson 3D - falsifier: coherent=None counts={'high': 0, 'medium': 0, 'low': 0} - veritas: band=None rho=None - graph: ready=None fit_ready=None - stable_anchor: `20260514_1640` - Agent Report - Rafforzamento tester fisico GOE/GUE N-curve ## Useful Artifacts - `tools/data/component_state_anderson3d_interface_20260514_1850.json` (component_state_fit_ready) - `tools/data/tool_contracts/component_state_SR_L1_triple_var_fit_ready_20260514_1649.json` (component_state_fit_ready) ## Tool Contracts - `component_state_SR_L1_triple_var_fit_ready_20260514_1649` status=valid promote_as=tool_contract ## Directive Draft Conserva l'artifact come tool/contratto operativo. Non promuovere il report; usa una riparazione mirata solo per colmare la flag, senza aprire nuovo dominio. ## Contaminazione Durante il movimento concettuale possono emergere insight e possibilita'; non vanno promossi automaticamente, vanno riclassificati prima di generare la risultante. Side effects: read-only preflight; no operator directive written. exec /bin/bash -lc 'git status --short -- tools/data/reports/agent_20260514_1850.md tools/data/anderson3d_component_state_interface_input_20260514_1850.json tools/data/component_state_anderson3d_interface_20260514_1850.json tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl tools/data/preflight/preflight_20260514_1850.json tools/data/preflight/preflight_20260514_1850.md' in /opt/MM_D-ND succeeded in 0ms: ?? tools/data/anderson3d_component_state_interface_input_20260514_1850.json ?? tools/data/component_state_anderson3d_interface_20260514_1850.json ?? tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl ?? tools/data/preflight/preflight_20260514_1850.json ?? tools/data/preflight/preflight_20260514_1850.md ?? tools/data/reports/agent_20260514_1850.md diff --git a/tools/data/reports/agent_20260514_1850.md b/tools/data/reports/agent_20260514_1850.md new file mode 100644 index 0000000000000000000000000000000000000000..e4e57b95a8a2e5a0272fe09972bf8764f1023108 --- /dev/null +++ b/tools/data/reports/agent_20260514_1850.md @@ -0,0 +1,128 @@ +# Agent Report - Interfaccia component_state su bordo Anderson 3D +**Date**: 2026-05-14 18:50 +**Piano**: 126 +**Tension explored**: TENS_SCALE_TRASCENDENZA_LIMITE / BOUNDARY fisico GOE-GUE-Poisson-Anderson +**verdict**: VALUE_STABLE / TOOL CONTRACT TRANSFER - il tester `component_state(SR,L1,triple_var)` legge un nuovo spettro fisico Anderson 3D senza cambiare definizioni osservabili e senza perdere il rimbalzo fisico A -> matematica -> fisico B. Il ritorno fisico e' strumentale: W4 e W16.5 restano active contro Poisson, ma il contrasto diretto separa solo `triple_var`; `SR` e `L1` non chiudono il bordo 3D a `L=6`. +observables_registry: 1.0.0-2026-05-06 +observables_used: [SR, SR2, L1, L2, triple_var, component_state, focus_signature, sign_swap_p, cohen_d_delta] +tool_contract_ref: `tools/data/tool_contracts/component_state_SR_L1_triple_var_fit_ready_20260514_1649.json` +preflight_anchor: `20260514_1640` VALUE_STABLE, Veritas COLLASSO rho=0.9325, falsifier coherent=true zero flag +not_promoted_as_physics_law: true +ssp_value: yes + +## Source directive + +Questo ciclo segue la direttiva one-shot del 2026-05-14: ripartire da `20260514_1640`, non dal ramo `20260514_1701`, usare `component_state_SR_L1_triple_var_fit_ready_20260514_1649` come tool contract, e formulare una domanda stretta sulla riusabilita' del tester per leggere un nuovo spettro fisico. Il ramo quasiperiodico/Sturmian resta `vault`, non direzione primaria. + +## Prima impressione + +Il tester non deve predire la transizione Anderson 3D. Deve mostrare se uno spettro fisico nuovo puo' entrare nell'interfaccia e tornare come stato componente auditabile. Se il bordo non separa su `SR`, quello e' il contenuto: il tool trasferisce, la legge no. + +## Respiro fuori-tempo + +- **Combo**: A2 confine det=-1 + A9 terzo incluso + A11 combo + ponte QxG continuo/discreto + tensione BOUNDARY GUE/Poisson + nodo fisico Anderson 3D. +- **Dipolo / punto-zero**: caos metallico / localizzazione critica. Punto-zero: Poisson span-matched, perche' ogni spettro torna leggibile solo se il null fisico-matematico resta esplicito. +- **Piano superiore**: geometria spettrale dei campi disordinati; il bordo e' letto come componente attiva/assorbita, non come fit di transizione. +- **Proto-ipotesi**: `component_state(SR,L1,triple_var)` e' interfaccia riusabile se un nuovo spettro fisico ordinato produce component states contro Poisson e contrasto diretto dichiarato senza cambiare definizioni dal registry. +- **Possibile / non-possibile**: possibile = usare il tool su spettro fisico B e ottenere output auditabile; non-possibile = dichiarare transizione Anderson 3D o legge universale quando `SR,L1` non separano il contrasto diretto. +- **Proiezione**: genero 24 spettri Anderson 3D tight-binding con condizioni periodiche, `L=6`, 12 repliche per `W=4.0` e `W=16.5`; poi li passo all'interfaccia `--input-spectrum` del tester 16:49. + +## Aderenza alla direzione + +- `relation`: follows_direction +- `why`: l'esperimento resta nel perimetro GOE/GUE/Poisson-Anderson indicato dalla direttiva e testa il passaggio tool da 1D/WD a un nuovo bordo fisico 3D. +- `not_drift`: non usa `20260514_1701` come guida, non torna a `V_c`, fit phi, gap label o grammatica Sturmian; usa il ramo 1701 solo come `vault`. + +## Claim Under Test + +> Il tester `component_state(SR,L1,triple_var)` puo' diventare interfaccia riusabile per leggere un nuovo spettro fisico senza perdere il rimbalzo fisico A -> matematica -> fisico B. + +## Physical A + +- **Fonte fisica A**: classi spettrali Wigner-Dyson GOE/GUE gia' rafforzate nel report `20260514_1640`. +- **Significato fisico dichiarato**: GOE = simmetria reale/time-reversal; GUE = unitaria/no time-reversal; Poisson = livelli indipendenti/null span-matched. +- **Stato ancora usato**: ancora stabile come anchor, non rimisurato qui. + +## Math Transducer + +- **Osservabili canonici**: `SR`, `L1`, `triple_var` da `tools/observables_registry.py`; anche `SR2,L2` restano nel payload per completezza del tool. +- **Definizioni non cambiate**: `SR` = adjacent spacing ratio canonico; `L1` = autocorrelazione lag-1; `triple_var` = varianza raw delle somme di triple consecutive. +- **Null**: Poisson span-matched con stesso numero di gap centrali utilizzabili. +- **Gate componente**: `active` se `sign_swap_p <= 0.01` e `|cohen_d_delta| >= 0.5`. +- **Tool operativo**: `python3 tools/exp_physical_sr_residue_bounce.py --input-spectrum tools/data/anderson3d_component_state_interface_input_20260514_1850.json --output tools/data/component_state_anderson3d_interface_20260514_1850.json --seed 202605141851 --null-reps 64 --central-fraction 0.5 --sign-trials 8192` + +## Physical B + +- **Dominio fisico B**: Anderson 3D tight-binding finite-size, condizioni periodiche. +- **Perimetro**: `L=6` (`216` livelli per spettro), 12 repliche per classe, disordini `W=4.0` e `W=16.5`. +- **Uso fisico dichiarato**: `W=4.0` come candidato metallico finite-size; `W=16.5` come bordo critico/localizzato dichiarato. +- **Contro-perimetro**: non e' dato sperimentale, non e' limite termodinamico, non e' unfolding dedicato, non misura many-body localization. + +## Component State Result + +| class | samples vs null | focus active | SR real/null/delta | p(SR) | d(SR) | L1 delta | p(L1) | d(L1) | triple delta | p(triple) | d(triple) | +|---|---:|---|---:|---:|---:|---:|---:|---:|---:|---:|---:| +| Anderson 3D W4 metallic candidate | 768 | SR,L1,triple_var | 0.538429 / 0.383960 / +0.154470 | 0.000122 | +3.657 | -0.224752 | 0.000122 | -2.236 | -2.327689 | 0.000122 | -3.494 | +| Anderson 3D W16.5 critical boundary | 768 | SR,L1,triple_var | 0.509807 / 0.386906 / +0.122901 | 0.000122 | +2.741 | -0.142338 | 0.000122 | -0.945 | -1.969355 | 0.000122 | -2.504 | + +### Direct Contrast + +| contrast | paired | SR diff | p(SR) | d(SR) | SR state | L1 diff | p(L1) | d(L1) | triple diff | p(triple) | d(triple) | triple state | +|---|---:|---:|---:|---:|---|---:|---:|---:|---:|---:|---:|---| +| W16.5 minus W4 | 12 | -0.028623 | 0.067497 | -0.577 | not_separated | +0.087281 | 0.067253 | +0.590 | not_separated | +0.360642 | 0.003906 | +1.188 | separated | + +## Resulting Bounce + +- **Verificato**: l'interfaccia accetta un payload esterno con 24 spettri fisici e produce `poisson_contrast`, `direct_contrasts`, `component_state` e trace. +- **Verificato**: entrambi i regimi Anderson 3D sono non-Poisson sulle tre osservabili focus. +- **Verificato**: il contrasto diretto W16.5-W4 separa `triple_var` ma non separa `SR` e `L1` al gate dichiarato. +- **Inferito dal perimetro**: il tool trasferisce a fisico B; il bordo 3D non e' chiuso dal piano `SR,L1` in questo setup finite-size. +- **Non verificato**: transizione Anderson 3D, limite `L -> inf`, spettro sperimentale, unfolding dedicato. + +## Contamination Classification + +- `skill_reclassification`: report `20260514_1649` riclassificato come tool contract, non come scoperta pubblicabile. +- `vault`: ramo `20260514_1701` Grammar-vs-Scale Boundary Gate conservato come contro-perimetro, non seguito. +- `candidate`: Anderson 3D puo' diventare prossimo seme solo come audit di taglia/unfolding, non come legge. +- `discard_or_counter_perimeter`: usare `SR` da solo per classificare W4/W16.5 a `L=6` e' scartato: p=0.067497. +- `operator_directive`: vincolo one-shot di ripartire da `20260514_1640` e non dalla deriva `1701`. + +## Non Possible + +- `non_possible`: promuovere il risultato a `physics_law`. +- `non_possible`: integrare arco di grafo senza review operatore. +- `non_possible`: dire che `SR,L1` classificano il bordo Anderson 3D nel perimetro `L=6`, perche' il contrasto diretto non separa. +- `non_possible`: usare il ramo `20260514_1701` come traiettoria primaria. +- `non_possible`: accettare spettri con meno di 12 gap centrali utilizzabili; qui ogni spettro ha 107 gap centrali. + +## Trace Path + +- `input_spectrum`: `tools/data/anderson3d_component_state_interface_input_20260514_1850.json` +- `result`: `tools/data/component_state_anderson3d_interface_20260514_1850.json` +- `trace`: `tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl` +- `trace_rows`: 1536 +- `trace_schema`: `event,label,expected_class,null_rep,n_levels,n_gaps,real,null,delta` + +## Verdict + +**VALUE_STABLE / TOOL CONTRACT TRANSFER**. + +Il tester diventa interfaccia riusabile su questo perimetro: legge un nuovo spettro fisico, conserva le definizioni del registry, produce stati componente e lascia trace. Il risultato non diventa legge fisica: Anderson 3D W4/W16.5 resta non-Poisson contro null, ma il bordo diretto separa solo `triple_var`; `SR,L1` restano insufficienti nel setup `L=6`. + +## Bicono della scoperta + +- **Due radici**: simmetria Wigner-Dyson GOE/GUE / bordo disordinato Anderson 3D. +- **Singolare**: Poisson span-matched come punto-zero che rende confrontabili fisico A e fisico B. +- **Invariante di passaggio**: output `component_state` su `SR,L1,triple_var` con trace auditabile. +- **Campo di possibilita**: possibile usare il tester come interfaccia spettrale riusabile; non-possibile promuovere la separazione 3D senza curva in `L` e unfolding. + +## Consecutio + +Il prossimo seme possibile non e' "Anderson 3D confermato". E' un audit del tool su fisico B con taglie multiple e denominatore dichiarato: `L=5,6,7` o unfolding locale, stesso contract, stesso null. Se `SR,L1` restano non_separated e `triple_var` resta separated, il tool mostra che il bordo 3D entra prima nella componente di profondita' che nel piano pair-statistics. + +## Auto-Audit Finale + +- **Resta tool**: `component_state_SR_L1_triple_var_fit_ready_20260514_1649` come interfaccia per spettri ordinati. +- **Resta vault**: `20260514_1701` e la grammatica Sturmian-scale. +- **Puo' diventare prossimo seme**: audit Anderson 3D multi-size/unfolding solo se formulato come verifica del tool, non come legge fisica. +- **Cosa non e' stato fatto**: nessuna modifica al registry, nessuna promozione physics_law, nessuna integrazione grafo. codex Eseguito il ciclo `20260514_1850`. Ho scritto il report in [agent_20260514_1850.md](/opt/MM_D-ND/tools/data/reports/agent_20260514_1850.md). Output sperimentale principale: [component_state_anderson3d_interface_20260514_1850.json](/opt/MM_D-ND/tools/data/component_state_anderson3d_interface_20260514_1850.json). Risultato: il tester `component_state(SR,L1,triple_var)` trasferisce come interfaccia su Anderson 3D, ma non come legge fisica. W4 e W16.5 restano active contro Poisson; nel contrasto diretto separa solo `triple_var`, non `SR/L1`. Preflight eseguito: `ARTIFACT_USEFUL_NOT_PUBLISHABLE` azione: `KEEP_ARTIFACT_STOP_REPORT_PROMOTION` Ho rispettato lo stop: nessuna riparazione automatica, nessuna promozione a physics law, nessuna integrazione grafo. diff --git a/tools/data/reports/agent_20260514_1850.md b/tools/data/reports/agent_20260514_1850.md new file mode 100644 index 0000000000000000000000000000000000000000..e4e57b95a8a2e5a0272fe09972bf8764f1023108 --- /dev/null +++ b/tools/data/reports/agent_20260514_1850.md @@ -0,0 +1,128 @@ +# Agent Report - Interfaccia component_state su bordo Anderson 3D +**Date**: 2026-05-14 18:50 +**Piano**: 126 +**Tension explored**: TENS_SCALE_TRASCENDENZA_LIMITE / BOUNDARY fisico GOE-GUE-Poisson-Anderson +**verdict**: VALUE_STABLE / TOOL CONTRACT TRANSFER - il tester `component_state(SR,L1,triple_var)` legge un nuovo spettro fisico Anderson 3D senza cambiare definizioni osservabili e senza perdere il rimbalzo fisico A -> matematica -> fisico B. Il ritorno fisico e' strumentale: W4 e W16.5 restano active contro Poisson, ma il contrasto diretto separa solo `triple_var`; `SR` e `L1` non chiudono il bordo 3D a `L=6`. +observables_registry: 1.0.0-2026-05-06 +observables_used: [SR, SR2, L1, L2, triple_var, component_state, focus_signature, sign_swap_p, cohen_d_delta] +tool_contract_ref: `tools/data/tool_contracts/component_state_SR_L1_triple_var_fit_ready_20260514_1649.json` +preflight_anchor: `20260514_1640` VALUE_STABLE, Veritas COLLASSO rho=0.9325, falsifier coherent=true zero flag +not_promoted_as_physics_law: true +ssp_value: yes + +## Source directive + +Questo ciclo segue la direttiva one-shot del 2026-05-14: ripartire da `20260514_1640`, non dal ramo `20260514_1701`, usare `component_state_SR_L1_triple_var_fit_ready_20260514_1649` come tool contract, e formulare una domanda stretta sulla riusabilita' del tester per leggere un nuovo spettro fisico. Il ramo quasiperiodico/Sturmian resta `vault`, non direzione primaria. + +## Prima impressione + +Il tester non deve predire la transizione Anderson 3D. Deve mostrare se uno spettro fisico nuovo puo' entrare nell'interfaccia e tornare come stato componente auditabile. Se il bordo non separa su `SR`, quello e' il contenuto: il tool trasferisce, la legge no. + +## Respiro fuori-tempo + +- **Combo**: A2 confine det=-1 + A9 terzo incluso + A11 combo + ponte QxG continuo/discreto + tensione BOUNDARY GUE/Poisson + nodo fisico Anderson 3D. +- **Dipolo / punto-zero**: caos metallico / localizzazione critica. Punto-zero: Poisson span-matched, perche' ogni spettro torna leggibile solo se il null fisico-matematico resta esplicito. +- **Piano superiore**: geometria spettrale dei campi disordinati; il bordo e' letto come componente attiva/assorbita, non come fit di transizione. +- **Proto-ipotesi**: `component_state(SR,L1,triple_var)` e' interfaccia riusabile se un nuovo spettro fisico ordinato produce component states contro Poisson e contrasto diretto dichiarato senza cambiare definizioni dal registry. +- **Possibile / non-possibile**: possibile = usare il tool su spettro fisico B e ottenere output auditabile; non-possibile = dichiarare transizione Anderson 3D o legge universale quando `SR,L1` non separano il contrasto diretto. +- **Proiezione**: genero 24 spettri Anderson 3D tight-binding con condizioni periodiche, `L=6`, 12 repliche per `W=4.0` e `W=16.5`; poi li passo all'interfaccia `--input-spectrum` del tester 16:49. + +## Aderenza alla direzione + +- `relation`: follows_direction +- `why`: l'esperimento resta nel perimetro GOE/GUE/Poisson-Anderson indicato dalla direttiva e testa il passaggio tool da 1D/WD a un nuovo bordo fisico 3D. +- `not_drift`: non usa `20260514_1701` come guida, non torna a `V_c`, fit phi, gap label o grammatica Sturmian; usa il ramo 1701 solo come `vault`. + +## Claim Under Test + +> Il tester `component_state(SR,L1,triple_var)` puo' diventare interfaccia riusabile per leggere un nuovo spettro fisico senza perdere il rimbalzo fisico A -> matematica -> fisico B. + +## Physical A + +- **Fonte fisica A**: classi spettrali Wigner-Dyson GOE/GUE gia' rafforzate nel report `20260514_1640`. +- **Significato fisico dichiarato**: GOE = simmetria reale/time-reversal; GUE = unitaria/no time-reversal; Poisson = livelli indipendenti/null span-matched. +- **Stato ancora usato**: ancora stabile come anchor, non rimisurato qui. + +## Math Transducer + +- **Osservabili canonici**: `SR`, `L1`, `triple_var` da `tools/observables_registry.py`; anche `SR2,L2` restano nel payload per completezza del tool. +- **Definizioni non cambiate**: `SR` = adjacent spacing ratio canonico; `L1` = autocorrelazione lag-1; `triple_var` = varianza raw delle somme di triple consecutive. +- **Null**: Poisson span-matched con stesso numero di gap centrali utilizzabili. +- **Gate componente**: `active` se `sign_swap_p <= 0.01` e `|cohen_d_delta| >= 0.5`. +- **Tool operativo**: `python3 tools/exp_physical_sr_residue_bounce.py --input-spectrum tools/data/anderson3d_component_state_interface_input_20260514_1850.json --output tools/data/component_state_anderson3d_interface_20260514_1850.json --seed 202605141851 --null-reps 64 --central-fraction 0.5 --sign-trials 8192` + +## Physical B + +- **Dominio fisico B**: Anderson 3D tight-binding finite-size, condizioni periodiche. +- **Perimetro**: `L=6` (`216` livelli per spettro), 12 repliche per classe, disordini `W=4.0` e `W=16.5`. +- **Uso fisico dichiarato**: `W=4.0` come candidato metallico finite-size; `W=16.5` come bordo critico/localizzato dichiarato. +- **Contro-perimetro**: non e' dato sperimentale, non e' limite termodinamico, non e' unfolding dedicato, non misura many-body localization. + +## Component State Result + +| class | samples vs null | focus active | SR real/null/delta | p(SR) | d(SR) | L1 delta | p(L1) | d(L1) | triple delta | p(triple) | d(triple) | +|---|---:|---|---:|---:|---:|---:|---:|---:|---:|---:|---:| +| Anderson 3D W4 metallic candidate | 768 | SR,L1,triple_var | 0.538429 / 0.383960 / +0.154470 | 0.000122 | +3.657 | -0.224752 | 0.000122 | -2.236 | -2.327689 | 0.000122 | -3.494 | +| Anderson 3D W16.5 critical boundary | 768 | SR,L1,triple_var | 0.509807 / 0.386906 / +0.122901 | 0.000122 | +2.741 | -0.142338 | 0.000122 | -0.945 | -1.969355 | 0.000122 | -2.504 | + +### Direct Contrast + +| contrast | paired | SR diff | p(SR) | d(SR) | SR state | L1 diff | p(L1) | d(L1) | triple diff | p(triple) | d(triple) | triple state | +|---|---:|---:|---:|---:|---|---:|---:|---:|---:|---:|---:|---| +| W16.5 minus W4 | 12 | -0.028623 | 0.067497 | -0.577 | not_separated | +0.087281 | 0.067253 | +0.590 | not_separated | +0.360642 | 0.003906 | +1.188 | separated | + +## Resulting Bounce + +- **Verificato**: l'interfaccia accetta un payload esterno con 24 spettri fisici e produce `poisson_contrast`, `direct_contrasts`, `component_state` e trace. +- **Verificato**: entrambi i regimi Anderson 3D sono non-Poisson sulle tre osservabili focus. +- **Verificato**: il contrasto diretto W16.5-W4 separa `triple_var` ma non separa `SR` e `L1` al gate dichiarato. +- **Inferito dal perimetro**: il tool trasferisce a fisico B; il bordo 3D non e' chiuso dal piano `SR,L1` in questo setup finite-size. +- **Non verificato**: transizione Anderson 3D, limite `L -> inf`, spettro sperimentale, unfolding dedicato. + +## Contamination Classification + +- `skill_reclassification`: report `20260514_1649` riclassificato come tool contract, non come scoperta pubblicabile. +- `vault`: ramo `20260514_1701` Grammar-vs-Scale Boundary Gate conservato come contro-perimetro, non seguito. +- `candidate`: Anderson 3D puo' diventare prossimo seme solo come audit di taglia/unfolding, non come legge. +- `discard_or_counter_perimeter`: usare `SR` da solo per classificare W4/W16.5 a `L=6` e' scartato: p=0.067497. +- `operator_directive`: vincolo one-shot di ripartire da `20260514_1640` e non dalla deriva `1701`. + +## Non Possible + +- `non_possible`: promuovere il risultato a `physics_law`. +- `non_possible`: integrare arco di grafo senza review operatore. +- `non_possible`: dire che `SR,L1` classificano il bordo Anderson 3D nel perimetro `L=6`, perche' il contrasto diretto non separa. +- `non_possible`: usare il ramo `20260514_1701` come traiettoria primaria. +- `non_possible`: accettare spettri con meno di 12 gap centrali utilizzabili; qui ogni spettro ha 107 gap centrali. + +## Trace Path + +- `input_spectrum`: `tools/data/anderson3d_component_state_interface_input_20260514_1850.json` +- `result`: `tools/data/component_state_anderson3d_interface_20260514_1850.json` +- `trace`: `tools/data/component_state_anderson3d_interface_20260514_1850.trace.jsonl` +- `trace_rows`: 1536 +- `trace_schema`: `event,label,expected_class,null_rep,n_levels,n_gaps,real,null,delta` + +## Verdict + +**VALUE_STABLE / TOOL CONTRACT TRANSFER**. + +Il tester diventa interfaccia riusabile su questo perimetro: legge un nuovo spettro fisico, conserva le definizioni del registry, produce stati componente e lascia trace. Il risultato non diventa legge fisica: Anderson 3D W4/W16.5 resta non-Poisson contro null, ma il bordo diretto separa solo `triple_var`; `SR,L1` restano insufficienti nel setup `L=6`. + +## Bicono della scoperta + +- **Due radici**: simmetria Wigner-Dyson GOE/GUE / bordo disordinato Anderson 3D. +- **Singolare**: Poisson span-matched come punto-zero che rende confrontabili fisico A e fisico B. +- **Invariante di passaggio**: output `component_state` su `SR,L1,triple_var` con trace auditabile. +- **Campo di possibilita**: possibile usare il tester come interfaccia spettrale riusabile; non-possibile promuovere la separazione 3D senza curva in `L` e unfolding. + +## Consecutio + +Il prossimo seme possibile non e' "Anderson 3D confermato". E' un audit del tool su fisico B con taglie multiple e denominatore dichiarato: `L=5,6,7` o unfolding locale, stesso contract, stesso null. Se `SR,L1` restano non_separated e `triple_var` resta separated, il tool mostra che il bordo 3D entra prima nella componente di profondita' che nel piano pair-statistics. + +## Auto-Audit Finale + +- **Resta tool**: `component_state_SR_L1_triple_var_fit_ready_20260514_1649` come interfaccia per spettri ordinati. +- **Resta vault**: `20260514_1701` e la grammatica Sturmian-scale. +- **Puo' diventare prossimo seme**: audit Anderson 3D multi-size/unfolding solo se formulato come verifica del tool, non come legge fisica. +- **Cosa non e' stato fatto**: nessuna modifica al registry, nessuna promozione physics_law, nessuna integrazione grafo. tokens used 94,667 Eseguito il ciclo `20260514_1850`. Ho scritto il report in [agent_20260514_1850.md](/opt/MM_D-ND/tools/data/reports/agent_20260514_1850.md). Output sperimentale principale: [component_state_anderson3d_interface_20260514_1850.json](/opt/MM_D-ND/tools/data/component_state_anderson3d_interface_20260514_1850.json). Risultato: il tester `component_state(SR,L1,triple_var)` trasferisce come interfaccia su Anderson 3D, ma non come legge fisica. W4 e W16.5 restano active contro Poisson; nel contrasto diretto separa solo `triple_var`, non `SR/L1`. Preflight eseguito: `ARTIFACT_USEFUL_NOT_PUBLISHABLE` azione: `KEEP_ARTIFACT_STOP_REPORT_PROMOTION` Ho rispettato lo stop: nessuna riparazione automatica, nessuna promozione a physics law, nessuna integrazione grafo.