# Agent Report - Boundary Contextual Robustness Macro Audit
**Date**: 2026-05-31 20:24  
**Piano**: 137  
**Tension explored**: boundary physical-internal null cache/provenance/failure audit  
observables_used: [reader_hit_count_distribution, row_hit_rate_by_denominator, trial_failure_from_full_coverage, local_global_transition_state]  
**observable_contract**: claim=original percolation resta invariante sotto denominatore mentre il null fisico-interno perde robustezza contestuale in full/centroid e recupera quando il denominatore matura; observable=distribuzioni hit per reader, miss row-aligned per denominatore, transizione local/global; operator=post-process deterministico su cache JSONL esistenti; generator=logistic_gap_block_shuffle e critical_site_percolation_cluster_geometry_resample; denominator=N8/N128 cache, ladder N64, band N96, reader rows row-aligned; non_possible=se il null ricostruisce sempre piena copertura o se kNN/full/centroid collassano insieme, il claim diventa effetto reader generico; not_tested=nessuna nuova simulazione fisica, nessuna promozione fisica B.

## Respiro fuori-tempo

- **Combo**: A11 combo + QxG continuo/discreto + boundary fisico-interno + tensione seme su null fisici interni. Il ciclo misura se il passaggio fisica A -> null interno -> reader M conserva una qualita' locale mentre perde una proiezione globale.
- **Dipolo / punto-zero**: originale robusto / null fragile; punto-zero = stessa riga reader, stesso denominatore, stessa grammatica di hit, ma generatore fisico-interno diverso.
- **Piano superiore**: bicono-dipoli e grafo locale/globale. La misura non cerca un valore; classifica il passaggio local_global -> local_only.
- **Operatori laterali scelti**: nessun nuovo operatore laterale. La direttiva chiede audit macro e non apertura di dominio.
- **Contaminazione cognitiva**: CE-none: il campo letto contiene obbligo CE solo se archivio enzimi cognitivi e' presente nel campo vivo; nella superficie letta non e' emerso un archivio CE operativo da metabolizzare.
- **Proto-ipotesi**: la robustezza non e' "27/27" come numero; e' la capacita' del target originale di tenere insieme localita' kNN e proiezione globale quando il denominatore cambia. Il null puo' mantenere localita' e perdere globalita'.
- **Proiezione**: full/centroid/kNN separano proiezione globale e vicinato locale. Il denominatore mostra se la perdita e' banda contestuale o collasso assoluto.
- **Movimento A->M->B**: fisico A=percolation critical cluster geometry; M=matrice local/global su reader row-aligned; fisico B=vincolo per futuri test su domini fisici indipendenti. In questo ciclo B resta vincolo, non scoperta promuovibile.

## Aderenza alla direzione

- `relation`: `follows_direction`
- `why`: segue la direttiva one-shot su cache/provenance/failure audit e la direzione valutatore che chiedeva null fisici interni per logistica/percolation, separando dinamica fisica da ricostruzione del reader.
- `not_drift`: non introduce nuovi domini, fit o metriche derivate; comprime gli artefatti gia' prodotti in un audit macro row-aligned.

## Source directive

Vincolo seguito: audit macro della robustezza contestuale, separazione logistica/percolation, trial percolation 14/34/68/80 trattati come sonde, confronto N=8 vs N=128, nessuna promozione pubblica senza Veritas/Aeternitas.

## Claim Under Test

Il target percolation originale conserva la combo local/global sotto denominatore variabile; il null fisico-interno conserva quasi sempre il vicinato locale kNN ma perde full/centroid in bande contestuali, poi recupera quando il denominatore matura.

## Question

La differenza tra originale e null e' invarianza del target originale, fragilita' del surrogate fisico-interno, o semplice effetto di reader/contesto?

## Ritorno fisico

- **Punto fisico sorgente**: percolation critica su cluster geometry, confrontata con logistica come target GUE interno.
- **Attraversamento matematico**: cache row-aligned e matrice di transizione local/global.
- **Punto fisico di ritorno**: futuri domini fisici perturbati dove una geometria locale resta kNN-convergente mentre la proiezione globale cade.
- **Controllo concretezza**: il ritorno non viene dichiarato scoperta; resta criterio sperimentale per un dominio fisico indipendente.
- **Relazione nuova**: localita' preservata e globalita' persa sono separabili nel null percolation.
- **Osservabile/test fisico possibile**: ripetere il contratto local/global su un dominio fisico indipendente con null interno e denominatore maturo.
- **Se fallisce**: `ritorno_fisico_assente`; il ciclo resta contratto di audit e vincolo metodologico.

## Experiment Design

Post-process deterministico con `tools/exp_boundary_contextual_robustness_macro_audit.py`.

Input:
- `tools/data/boundary_physical_internal_null_cache_row_aligned_20260528_2251_N8.jsonl`
- `tools/data/boundary_physical_internal_null_cache_row_aligned_20260529_independent_N128.jsonl`
- `tools/data/boundary_contextual_robustness_percolation_ladder_20260529_N64.jsonl`
- `tools/data/boundary_contextual_robustness_percolation_band_20260529_N96.jsonl`
- `tools/data/boundary_transition_matrix_percolation_band_20260529.json`

Denominatori grezzi:
- N=8 cache: 432 cache rows + summary.
- N=128 cache: 6912 cache rows + summary.
- percolation ladder N=64: 3456 cache rows.
- percolation band N=96: 6048 cache rows.

No p-value in questo ciclo: l'osservabile e' audit di copertura e transizione, non test Monte Carlo nuovo.

## Results

### N=8 vs N=128

| target | N=8 full/centroid/kNN | N=128 full | N=128 centroid | N=128 kNN | observed |
|---|---:|---:|---:|---:|---:|
| logistica | 8x 27/27 | {26:2, 27:126} | {26:1, 27:127} | {26:1, 27:127} | 26 |
| percolation | 8x 27/27 | {19:1, 21:1, 24:2, 25:2, 26:3, 27:119} | {19:1, 21:1, 24:2, 25:2, 26:2, 27:120} | {26:1, 27:127} | 27 |

### Percolation N=128 by denominator

| n_gaps | full misses | centroid misses | kNN misses | rows per reader |
|---:|---:|---:|---:|---:|
| 512 | 19 | 19 | 0 | 1152 |
| 1024 | 8 | 7 | 1 | 1152 |
| 2048 | 0 | 0 | 0 | 1152 |

### Percolation probe trials N=128

| trial | full | centroid | kNN | reader rows |
|---:|---:|---:|---:|---:|
| 14 | 24 | 24 | 27 | 27 |
| 34 | 24 | 24 | 27 | 27 |
| 68 | 19 | 19 | 27 | 27 |
| 80 | 21 | 21 | 27 | 27 |

### Percolation verifier band N=96

Original percolation: `local_global`, 63 reader runs; centroid_margin max `0.219936057`, cross_neighbor_fraction min `0.5`.

Null transition states over 6048 rows:

| state | rows | rate |
|---|---:|---:|
| local_global | 5975 | 0.987929894 |
| local_only | 73 | 0.012070106 |
| global_only | 0 | 0.0 |
| neither | 0 | 0.0 |

Band misses full/centroid: 192 -> 27/864, 256 -> 7/864, 384 -> 20/864, 512 -> 9/864, 768 -> 9/864, 1024 -> 1/864, 1536 -> 0/864. kNN resta 864/864 su tutti i denominatori.

## Key Findings

1. N=8 era troppo piccolo: ricostruiva sempre `27/27` per entrambi i target e tutti i reader.
2. Logistica N=128 resta quasi totalmente ricostruita dal null: full ha solo 2 trial a `26/27`, centroid e kNN 1 trial a `26/27`.
3. Percolation N=128 separa i reader: full/centroid cedono, kNN quasi no. I trial 14/34/68/80 sono sonde della perdita globale, non oggetti finali.
4. La banda N=96 chiude la firma: il null produce `local_only` in 73/6048 righe; non produce `global_only` o `neither`. La topologia locale resta, la proiezione globale/centroide cade.
5. La lacuna attiva non e' "il null non ricostruisce sempre"; e' perche' l'originale resta local_global mentre il null, nello stesso contratto reader, perde globalita' in una banda di denominatori e recupera a denominatore maturo.

## Verdict

CONSTRAINT / NO PROMOTION

Il ciclo conferma una robustezza contestuale per percolation come audit interno: originale invariato, null fragile in full/centroid, kNN preservato. Non formula ipotesi fisica B promuovibile. Logistica non apre lo stesso segnale: il null la ricostruisce quasi sempre.

## Lacuna

Resta da separare definitivamente:

- invarianza propria del target originale;
- fragilita' del surrogate fisico-interno sotto denominatore povero/intermedio;
- recupero della combo quando il denominatore matura.

La lacuna non si risolve con microscopia sui trial falliti. Si risolve con un secondo verifier indipendente o con ritorno fisico B che mantenga lo stesso contratto local/global.

## Bicono della scoperta

- **Due radici**: target originale local_global / null fisico-interno local_only.
- **Singolare**: la stessa riga reader prima della separazione locale/globale.
- **Invariante di passaggio**: kNN locale resta convergente anche quando full/centroid perdono copertura.
- **Campo di possibilita**: possibile usare la matrice local/global come contratto di audit per futuri domini fisici; non-possibile promuovere `27/27` o il picco percolation come legge fisica.

## Files

- `tools/exp_boundary_contextual_robustness_macro_audit.py`
- `tools/data/boundary_contextual_robustness_macro_audit_20260531_2024.json`
- `tools/data/reports/agent_20260531_2024.md`