# Agent Report - Boundary Stable, Physics Unpromoted
**Date**: 20260605_1202
**Tension explored**: BOUNDARY / 8 domini GUE, 5 Poisson / terzo incluso operativo
**verdict**: CONSTRAINT / TOOL
observables_used: [SR, SR2, L1, L2, triple_var, SR_local_rigidity, z_SR, z_SR2, z_L1, z_L2, z_triple_var, third_included_candidates, k_grid_stability, shuffle_seed_stability]
observable_contract: claim=nel denominatore row-aligned 13-row 8 GUE / 5 Poisson, una riga third-included e' stabile solo se ricorre in tutti i run k={2,3,4} x seed={2026060501,2026060502,2026060503}; tested_non_possible=non e' sostenibile dichiarare fragile il gate graph-boundary per questi quattro candidati nel perimetro k/seed testato, perche' ricorrono 9/9; not_tested_or_empty=QxG come ponte fisico, percolation/reaction_diffusion come fisico B domain-native, meccanismi Brody/Berry-Robnik/Rosenzweig-Porter/localization e null fisici interni non sono testati qui.
ssp_value: no

## Respiro fuori-tempo
Prima impressione: il confine non cade quando cambia il lettore locale del grafo; cade invece la tentazione di chiamarlo fisica. La combo e' A9 terzo incluso + A10 dipolo + incrocio QxG vuoto + denominatore 8/5: il punto-zero esiste come geometria stabile prima del label, non come ponte fisico.

physical_A: statistica spettrale GUE/Poisson come repulsione/indipendenza in domini fisici e semi-fisici.
mathematical_M: grafo kNN su feature canoniche, curvature edge audit, rigidity e shuffle-z; griglia k/seed come stress del trasduttore.
attempted_physical_B: percolation e reaction_diffusion restano candidati di ritorno, ma non sono promossi perche' qui non hanno osservabile domain-native.

direction_minimal_experiment: stress k={2,3,4} x 3 seed sullo stesso denominatore 13-row; questa superficie segue dalla combo perche' testa se il punto-zero graph-boundary sopravvive alla geometria locale, non perche' primi, Anderson o percolation siano target familiari.

## Claim Under Test
Nel denominatore row-aligned 8 GUE / 5 Poisson, i candidati third-included del gate graph-boundary restano invarianti attraverso k={2,3,4} e tre seed shuffle. Il claim e' falsificato se nessuna riga ricorre in tutti i 9 run, o se la stabilita' richiede cambiare denominatore.

## Question
Il terzo incluso operativo del seme e' una geometria stabile del boundary prima della classificazione, oppure era un residuo fragile del singolo k/seed precedente?

## Experiment Design
Tool: `python tools/exp_boundary_graph_stability_audit.py --stamp 20260605_1202 --out tools/data/boundary_graph_stability_audit_20260605_1202.json --out-dir tools/data/preflight/graph_stability --k-grid 2,3,4 --seeds 2026060501,2026060502,2026060503`.

Input: `tools/data/boundary_denominator_prescan_full_20260509_1500.json`, 13 righe row-aligned: 8 GUE, 5 Poisson. Scope: n_gaps=2048, min_gaps=64, n_shuffle=64. Criterio: stable_all_runs solo se lo stesso candidate id appare in 9/9 run. Falsificazione: 0 stable_all_runs => graph_only_residue fragile; stabilita' graph-only non promuove fisico B.

## Results
Artifact aggregato: `tools/data/boundary_graph_stability_audit_20260605_1202.json`.

Risultato: `classification=GRAPH_BOUNDARY_STABLE_ALL_RUNS`, `total_runs=9`, `majority_threshold=5`.

Stable all runs 9/9:
- `numeri_primi:cycle_3`
- `percolation:cycle_9`
- `reaction_diffusion:cycle_11`
- `logistica_biforcazione_var_3.5699:cycle_13`

Edge counts osservati per k: k=2 produce 20 edge totali e 4 cross-label; k=3 produce 27 edge totali e 7 cross-label; k=4 produce 32-33 edge totali e 8-9 cross-label. In tutti i run `rows_analyzed=13`, `errors=0`.

## Verdict
Il gate graph-boundary avanza come strumento stabile: i quattro candidati ricorrono 9/9 nella griglia dichiarata. Il risultato non promuove nuova fisica, QxG o fisico B: percolation e reaction_diffusion ricevono solo una coordinata candidata da testare con un osservabile domain-native.

## Bicono della scoperta
- **Due radici**: repulsione spettrale GUE / indipendenza spettrale Poisson nel denominatore 8/5
- **Singolare**: riga cross-label a basso margine che resta candidata quando cambia k e seed
- **Invariante di passaggio**: quattro candidate id stabili 9/9 sul denominatore 13-row con `third_included_candidates`
- **Campo di possibilità**: qui diventa possibile usare il gate come trasduttore stabile verso un prossimo test domain-native; qui diventa non-possibile promuovere QxG, percolation o reaction_diffusion da sola stabilita' graph-only

## Aderenza alla direzione
- `relation`: `follows_direction`
- `why`: misura direttamente la direzione viva "8 domini GUE, 5 Poisson" stressando il confine come terzo incluso operativo sul denominatore intero.
- `not_drift`: non sceglie primi, Anderson, percolation o reaction_diffusion come target; li lascia righe del denominatore e richiede ritorno fisico separato.

## Ritorno fisico
Oggetto che riceve il risultato: denominatore fisico/semi-fisico 13-row del boundary. Fisico A: transizione statistica GUE/Poisson. M: graph-boundary kNN + rigidity/shuffle-z + stabilita' k/seed. Fisico B possibile: percolation o reaction_diffusion, ma solo come prossimo test domain-native. Relazione nuova: la stabilita' del trasduttore autorizza a scegliere un solo candidato B nel prossimo ciclo; non autorizza a chiamare fisico il gate.

## Re-discovery audit
Gia' noto: GUE/Poisson level statistics e crossover noti includono Brody, Berry-Robnik, Rosenzweig-Porter, mobility/localization crossover e metodi graph/manifold di boundary detection. Nuovo nel Lab: non una legge fisica, ma la stabilita' 9/9 dello specifico gate row-aligned D-ND sul denominatore 8/5. Resta ri-scoperta o scaffold se il prossimo passo non separa il candidato da un osservabile domain-native e dalle baseline note.

## Contaminazione cognitiva
cognitive_contamination: CE-0001: usato come audit KSAR del ciclo, per trasformare il feedback bloccato in contratto k/seed/null senza adottare adapter o archivio CE come autorita' scientifica.

Bias possibile: attrattore graph-only dopo il report 20260604_1909; contenuto mitigato usando il full denominator 13-row e dichiarando fisico B non promosso. Bias possibile: nominare QxG per vicinanza al vuoto; mitigato separandolo in `not_tested_or_empty`.

## Consecutio
Prossimo passo minimo: scegliere un solo fisico B tra `percolation:cycle_9` e `reaction_diffusion:cycle_11` e costruire un osservabile domain-native che non usi il label GUE/Poisson come guida. Se non emerge un osservabile domain-native, chiudere il ramo come `stable_graph_tool_only`.

## Side effect
Creati/modificati: `tools/data/boundary_graph_stability_audit_20260605_1202.json`, 9 artifact in `tools/data/preflight/graph_stability/*20260605_1202.json`, `tools/data/reports/agent_20260605_1202.md`. Non ho modificato seme, grafo, latest o lab_data manualmente; post-processing non ancora noto.