# Agent Report - Boundary Row-Aligned Nonexact Audit
**Date**: 2026-05-09 15:38  
**Piano**: 110  
**Tension explored**: BOUNDARY / TRASCENDENZA_LIMITE  
**verdict**: CONSTRAINT - le righe support-transfer non esatte sono 7, non 6; la beta cade in cinque failure modes misurabili  
observables_registry: 1.0.0-2026-05-06  
observables_used: [`beta_state`, `coordinate_failure`, `support_tier`, `beta_cardinality`, `beta_span`, `one_sided_count`, `stable_count_coherent`, `stable_count_illusory`, `endpoint_distance`, `denominator_state`, `excluded_mass`, `shuffle_z_score`] - osservabili domain-native di audit, non canonici SR/SR2/L1/L2/triple_var.  
**observable_contract**: claim=le righe non-esatte della matrice BOUNDARY 15:32 vanno lette row-aligned senza usare label GUE/Poisson; observable=stato beta + forza supporto + telemetria denominatore/null; operator=`exp_boundary_row_aligned_nonexact_audit.py`; generator=matrice `boundary_two_axis_matrix_20260509_1532` + prescan `boundary_denominator_prescan_full_20260509_1500`; denominator=13 righe totali, 11 support-transfer, 7 support-transfer non esatte; non_possible=forzare il conteggio a 6 o trattare beta 0.3 come ascissa comune; not_tested=nuovi domini, nuovi null, nuova griglia beta, fit `V_c`.

## Respiro fuori-tempo
- **Prima impressione**: la consecutio dice "6 righe non-esatte", ma il deposito row-aligned ne contiene 7. Il nodo regressivo non e' scegliere quale riga escludere; e' misurare la partizione reale.
- **Combo**: A2 confine det=-1 + A9 terzo incluso + A11 combo + QxG continuo/discreto + BOUNDARY 13 righe + tensione "supporto senza coordinata universale".
- **Dipolo / punto-zero**: beta come coordinata / supporto come passaggio; punto-zero = riga support-transfer prima che il blank beta venga interpretato.
- **Piano superiore**: boundary operator su matrice row-aligned. Il bordo non decide con label di dominio; decide con stato beta, support tier e denominatore.
- **Operatori laterali scelti**: boundary operator, sheaf locale/perimetro, coordinate chart. Entrano per leggere le sezioni locali della beta senza saldarle in una coordinata globale.
- **Contaminazione cognitiva**: CE-0001 / KSAR: riuso del kernel 15:32 senza ripetere il gate; CE-0117: cascata solo sulle righe dove il supporto resta vivo; YSN DeltaLink: `two-axis matrix -> nonexact audit -> coordinate failure`; PVI: il numero atteso 6 cade davanti al deposito 7.
- **Proto-ipotesi**: dopo la caduta di beta 0.3 universale, le righe non-esatte non formano un residuo unico. Si dividono in coordinate locali, saturazione della griglia e blank di supporto.
- **Possibile / non-possibile**: possibile = trasformare beta da ascissa universale a chart locale auditabile; non-possibile = usare `support_transfer=true` come prova di una beta comune.
- **Proiezione**: misurare, sulle righe support-transfer non esatte, `beta_cardinality`, `beta_span`, `one_sided_count`, `endpoint_distance`, denominatore e shuffle z-score.

## Aderenza alla direzione
- `relation`: follows_direction
- `why`: attacca direttamente beta local non-unique, beta local other e support_without_beta_blank sul deposito row-aligned indicato.
- `not_drift`: non usa label GUE/Poisson come operatore, non ritorna a `V_c`, non rifitta il confine; corregge il denominatore della direttiva quando il deposito mostra 7 righe.

## Claim Under Test
> Le righe BOUNDARY con supporto ma senza beta 0.3 esatta si distinguono per stato locale della beta e forza del supporto, non per label di dominio.

## Question
Quando beta 0.3 non trasferisce esattamente, il fallimento e' un unico blank o una matrice di failure modes?

## Experiment Design
- Nuovo strumento: `tools/exp_boundary_row_aligned_nonexact_audit.py`.
- Input 1: `tools/data/boundary_two_axis_matrix_20260509_1532.json`.
- Input 2: `tools/data/boundary_denominator_prescan_full_20260509_1500.json`.
- Output: `tools/data/boundary_row_aligned_nonexact_audit_20260509_1538.json`.
- Perimetro atomico: 13 righe semi-reali; subset primario = support-transfer con `beta_coordinate_transfer=false`.
- Label policy: non legge `source_domain_type` o label GUE/Poisson come decision field.
- Classi operative: `adjacent_beta_interval`, `beta_grid_saturation`, `coordinate_shifted`, `blank_despite_multi_observable_support`, `blank_thin_support`.

## Results

Indice globale:

| measure | value |
|---|---:|
| total rows | 13 |
| support-transfer rows | 11 |
| beta 0.3 exact rows | 4 |
| support-transfer nonexact rows | 7 |
| expected nonexact rows from field | 6 |
| fall rows | 2 |
| exact endpoint distance mean | 3.829 |
| nonexact endpoint distance mean | 2.957 |
| exact one-sided count mean | 4.000 |
| nonexact one-sided count mean | 2.714 |

Failure modes:

| coordinate_failure | rows |
|---|---:|
| adjacent_beta_interval | 1 |
| beta_grid_saturation | 1 |
| coordinate_shifted | 1 |
| blank_despite_multi_observable_support | 1 |
| blank_thin_support | 3 |

Audit row-aligned:

| row | beta_state | coordinate_failure | support_tier | beta | one-sided | endpoint | denominator |
|---|---|---|---|---|---:|---:|---|
| brownian_motion:cycle_12 | beta_0_3_local_nonunique | adjacent_beta_interval | strong_multi_observable | 0.2,0.3 | 4 | 3.885 | complete |
| ising_2d:cycle_1 | local_beta_other | coordinate_shifted | strong_multi_observable | 0.4 | 5 | 4.309 | contaminated |
| logistica_biforcazione:cycle_5 | beta_0_3_local_nonunique | beta_grid_saturation | medium_multi_observable | 0.1-0.9 | 3 | 3.258 | complete |
| numeri_primi:cycle_3 | support_without_beta_blank | blank_despite_multi_observable_support | medium_multi_observable | [] | 3 | 3.243 | complete |
| percolation:cycle_9 | support_without_beta_blank | blank_thin_support | thin_observable_support | [] | 1 | 1.705 | complete |
| random_matrix:cycle_7 | support_without_beta_blank | blank_thin_support | thin_observable_support | [] | 1 | 1.854 | complete |
| zeta_zeros:cycle_4 | support_without_beta_blank | blank_thin_support | thin_observable_support | [] | 2 | 2.449 | contaminated |

Fall controls:

| row | ambiguous_beta | one-sided | stable_count_illusory | endpoint |
|---|---|---:|---:|---:|
| cellular_automata:cycle_8 | [] | 0 | 0.500 | 0.000 |
| pendolo_doppio:cycle_2 | 0.3 | 3 | 0.833 | 3.388 |

## Key Findings
1. **Verificato: il sotto-perimetro non-esatto e' 7/13, non 6/13.** La direttiva del valutatore porta al nodo giusto, ma il conteggio reale nel JSON 15:32 include sette righe support-transfer senza beta 0.3 esatta.
2. **Verificato: `support_without_beta_blank` non e' una classe unica.** `numeri_primi` ha blank con supporto medio e endpoint 3.243; `percolation`, `random_matrix`, `zeta_zeros` hanno blank con supporto sottile e endpoint 1.705-2.449.
3. **Verificato: beta local non-unique ha due forme.** `brownian_motion` e' intervallo adiacente 0.2,0.3 con supporto forte; `logistica_biforcazione` satura tutta la griglia 0.1-0.9 con supporto medio.
4. **Verificato: `ising_2d` non e' blank ma chart spostata.** Ha beta locale esatta 0.4, cinque osservabili one-sided e endpoint 4.309; la beta trasferisce localmente, ma non sulla coordinata 0.3.
5. **Verificato: beta 0.3 senza supporto resta contro-controllo.** `pendolo_doppio` contiene beta 0.3 ma cade per residuo illusorio alto; la coordinata non salva il transfer.

## Verdict
**CONSTRAINT**.

Il frame BOUNDARY regge come support-transfer su 11/13 righe, ma la parte non-esatta non e' una coda omogenea. Le righe support-transfer senza beta 0.3 esatta sono 7 e si dividono in cinque failure modes:

`adjacent_beta_interval`, `beta_grid_saturation`, `coordinate_shifted`, `blank_despite_multi_observable_support`, `blank_thin_support`.

Formula valida:

`beta_coordinate_transfer` = chart locale exact 0.3 dentro supporto vivo.

Formula non valida:

`support_transfer non-exact = sei righe residue` oppure `support_without_beta_blank = assenza strutturale unica`.

Il nodo regressivo e' il denominatore della consecutio: non bisogna salvare il "6"; bisogna usare il deposito row-aligned che mostra 7.

## Bicono della scoperta
- **Due radici**: coordinata beta locale / supporto ordine-null.
- **Singolare**: riga support-transfer non exact, dove il supporto resta vivo ma la chart beta non coincide.
- **Invariante di passaggio**: failure mode row-aligned; non label GUE/Poisson e non beta 0.3 globale.
- **Campo di possibilita**: qui diventa possibile auditare la beta come atlante locale; qui diventa non-possibile trattare il blank beta come una sola specie.

## Consecutio
Il prossimo ciclo non deve ripetere la matrice. Deve attaccare i tre blank `support_without_beta_blank` sottili contro il blank medio `numeri_primi`: stesso stato beta, diversa forza del supporto. La domanda aperta e' se il blank sottile e' effetto del denominatore corto/contaminato oppure una specie autonoma del boundary.

## Auto-audit: source flags e 7 lenti
- **Fonti**: Verificato da `tools/data/agent_field_live.md`, `tools/LAB_AGENT_CONTEXT.md`, `tools/data/seme.json`, `tools/dnd_scenario.py --best`, report `agent_20260509_1532.md`, JSON `boundary_two_axis_matrix_20260509_1532.json`, JSON `boundary_denominator_prescan_full_20260509_1500.json`, script `tools/exp_boundary_row_aligned_nonexact_audit.py`, output `tools/data/boundary_row_aligned_nonexact_audit_20260509_1538.json`.
- **L1 hard constraint**: claim limitato alle 13 righe della matrice 15:32 e al prescan 15:00.
- **L2 count grezzi**: riportati 11/13 support-transfer, 4/13 beta exact, 7/13 support nonexact, 2/13 fall.
- **L3 no silent patching**: nessuna esclusione manuale per far tornare 6; mismatch dichiarato.
- **L4 edge cases**: `pendolo_doppio` ha beta 0.3 ma cade; `ising_2d` ha beta 0.4 con supporto forte; `numeri_primi` blank non sottile.
- **L5 re-discovery**: il ciclo non rifà gate o fit; legge solo la partizione non-esatta richiesta.
- **L6 metabolismo cognitivo**: CE-0001, CE-0117, YSN e PVI usati nella combo.
- **L7 possibile/non-possibile**: possibile = atlante locale delle beta; non-possibile = beta 0.3 universale o residuo non-esatto singolo.

## Telemetria
- No API paid run: `ANTHROPIC_API_KEY` e `OPENAI_API_KEY` assenti nell'ambiente.
- Verifica script: `python -m py_compile tools/exp_boundary_row_aligned_nonexact_audit.py`.
- Run valido: `python tools/exp_boundary_row_aligned_nonexact_audit.py --matrix tools/data/boundary_two_axis_matrix_20260509_1532.json --prescan tools/data/boundary_denominator_prescan_full_20260509_1500.json --out tools/data/boundary_row_aligned_nonexact_audit_20260509_1538.json`.
- Output: `support_nonexact_rows=7`, `fall_rows=2`, `failure_blank_thin_support=3`, `failure_blank_despite_multi_observable_support=1`.
- Git state: worktree gia' sporco da cicli e pubblicazioni precedenti; questo cycle aggiunge lo script 15:38, il JSON 15:38 e questo report.

## Files
- Script nuovo: `tools/exp_boundary_row_aligned_nonexact_audit.py`
- Data: `tools/data/boundary_row_aligned_nonexact_audit_20260509_1538.json`
- Report: `tools/data/reports/agent_20260509_1538.md`