# Agent Report - Boundary Blank Thin Support Audit
**Date**: 2026-05-09 15:48  
**Piano**: 111  
**Tension explored**: BOUNDARY / TRASCENDENZA_LIMITE  
**verdict**: CONSTRAINT - il blank sottile e' limitato dal denominatore corto, non dalla contaminazione del null  
observables_registry: 1.0.0-2026-05-06  
observables_used: [`blank_class`, `coordinate_failure`, `support_tier`, `denominator_bucket`, `n_gaps`, `one_sided_count`, `stable_count_coherent`, `stable_count_illusory`, `endpoint_distance`, `denominator_state`, `excluded_mass`, `shuffle_z_score`, `shuffle_class_changes`] - osservabili domain-native di audit, non canonici SR/SR2/L1/L2/triple_var.  
**observable_contract**: claim=i tre `blank_thin_support` vanno falsificati contro il blank medio `numeri_primi` prima di promuoverli a specie autonoma; observable=telemetria row-aligned del subset `support_without_beta_blank`; operator=`exp_boundary_blank_thin_support_audit.py`; generator=`boundary_row_aligned_nonexact_audit_20260509_1538`; denominator=4 righe `support_without_beta_blank`, di cui 3 thin e 1 medium control; non_possible=chiamare il blank sottile specie autonoma se tutte le righe thin sono spiegate da denominatore corto; not_tested=estensione nuova dei tre domini short, nuova griglia beta, nuovi null, fit `V_c`.

## Respiro fuori-tempo
- **Prima impressione**: il deposito 15:38 divide il blank in due livelli, ma il livello sottile ha tutte le righe corte. Il punto non e' nominare una specie nuova; e' verificare se la specie sopravvive al denominatore.
- **Combo**: A2 confine det=-1 + A9 terzo incluso + A11 combo + QxG continuo/discreto + BOUNDARY row-aligned + tensione "supporto vivo senza chart beta".
- **Dipolo / punto-zero**: blank sottile / blank medio; punto-zero = riga `support_without_beta_blank` prima che la forza del supporto venga letta come specie o come limite del denominatore.
- **Piano superiore**: sheaf locale del boundary. La sezione beta e' vuota su tutte e quattro le righe; il discriminante diventa la qualita' del supporto e del denominatore.
- **Operatori laterali scelti**: boundary operator, sheaf locale/perimetro, filtrazione per denominatore. Servono a separare stato beta invariato da supporto misurabile.
- **Contaminazione cognitiva**: CE-0001 / KSAR: reiterazione minima sul deposito 15:38; CE-0117: cascata solo dove il blank apre una distinzione; YSN DeltaLink: `same beta blank -> support tier -> denominator bucket`; PVI: se tutte le righe thin sono corte, la specie autonoma cade nel perimetro.
- **Proto-ipotesi**: `blank_thin_support` e' un effetto di denominatore corto se ogni riga thin ha `n_gaps < 500` e il controllo medio no; diventa specie autonoma solo se almeno una riga thin non e' spiegata dal denominatore.
- **Possibile / non-possibile**: possibile = usare il blank sottile come coda denominator-limited da estendere; non-possibile = promuoverlo a failure mode stabile senza estendere percolation, random_matrix e zeta_zeros.
- **Proiezione**: misurare `n_gaps`, `denominator_state`, `excluded_mass`, `shuffle_class_changes`, `one_sided_count`, `endpoint_distance` dentro il subset `support_without_beta_blank`.

## Aderenza alla direzione
- `relation`: follows_direction
- `why`: falsifica direttamente se i failure modes del 15:38 sono stabili o artefatti della griglia/perimetro row-aligned.
- `not_drift`: non usa label GUE/Poisson, non torna a `V_c`, non aggiunge nuovi domini; attacca solo il nodo aperto dal report precedente: blank sottile contro blank medio.

## Claim Under Test
> Nel subset `support_without_beta_blank`, il blank sottile e' una specie autonoma solo se non e' interamente spiegato da denominatore corto.

## Question
I tre blank sottili sono fallimenti autonomi del boundary, oppure righe con supporto insufficiente perche' corte?

## Experiment Design
- Nuovo strumento: `tools/exp_boundary_blank_thin_support_audit.py`.
- Input: `tools/data/boundary_row_aligned_nonexact_audit_20260509_1538.json`.
- Output: `tools/data/boundary_blank_thin_support_audit_20260509_1548.json`.
- Perimetro atomico: 4 righe `support_without_beta_blank`.
- Soglia dichiarata: `full_gap_floor=500`.
- Null sfidati: denominatore corto, contaminazione prescan, shuffle class-change, specie autonoma.
- Label policy: non legge `source_domain_type` o label GUE/Poisson come decision field.

## Results

Indice globale:

| measure | value |
|---|---:|
| support_without_beta_blank rows | 4 |
| thin rows | 3 |
| medium control rows | 1 |
| thin short rows | 3 |
| thin contaminated rows | 1 |
| thin shuffle class-change rows | 1 |
| thin not denominator explained rows | 0 |

Test:

| null / counter | condition | result |
|---|---|---|
| denominator_artifact | all thin rows have `n_gaps < 500` | pass |
| contamination_artifact | all thin rows are contaminated | fail |
| shuffle_instability_artifact | all thin rows have `shuffle_class_changes=true` | fail |
| autonomous_species_counter | at least one thin row is not short-denominator explained | fail |

Comparative means:

| group | rows | n_gaps mean | one-sided mean | coherent mean | endpoint mean | excluded mass mean | abs shuffle z mean |
|---|---:|---:|---:|---:|---:|---:|---:|
| thin | 3 | 196.000 | 1.333 | 1.250 | 2.003 | 0.201 | 11.037 |
| medium control | 1 | 4096.000 | 3.000 | 3.000 | 3.243 | 0.000 | 26.600 |

Rows:

| row | blank_class | n_gaps | one-sided | endpoint | denominator | excluded | shuffle_change |
|---|---|---:|---:|---:|---|---:|---|
| numeri_primi:cycle_3 | medium_blank_control | 4096 | 3 | 3.243 | complete | 0.000 | false |
| percolation:cycle_9 | thin_short_shuffle_unstable | 190 | 1 | 1.705 | complete | 0.000 | true |
| random_matrix:cycle_7 | thin_short_complete | 199 | 1 | 1.854 | complete | 0.000 | false |
| zeta_zeros:cycle_4 | thin_short_contaminated | 199 | 2 | 2.449 | contaminated | 0.602 | false |

## Key Findings
1. **Verificato: il blank sottile e' 3/3 short-denominator.** `percolation`, `random_matrix` e `zeta_zeros` hanno `n_gaps=190,199,199`; il controllo `numeri_primi` ha `n_gaps=4096`.
2. **Verificato: la contaminazione non spiega la classe.** Solo `zeta_zeros` e' contaminato; `percolation` e `random_matrix` sono complete con excluded mass 0.0.
3. **Verificato: lo shuffle class-change non spiega la classe.** Solo `percolation` cambia classe nello shuffle; `random_matrix` e `zeta_zeros` no.
4. **Verificato: non resta una riga thin autonoma nel perimetro 15:48.** `thin_not_denominator_explained_rows=0`.
5. **Inferito: il blank medio dei primi non e' blank per mancanza di supporto.** Ha tre osservabili one-sided, denominatore completo, endpoint 3.243 e null forte; resta blank di chart beta, non blank sottile.

## Verdict
**CONSTRAINT**.

Nel subset `support_without_beta_blank`, il failure mode `blank_thin_support` non regge come specie autonoma nel perimetro osservato. Regge come coda denominator-limited:

`blank_thin_support` = beta blank + supporto vivo + denominatore corto.

Formula valida:

`support_without_beta_blank` si divide in `medium_blank_control` e `thin_short_*`.

Formula non valida:

`blank_thin_support` = failure mode stabile indipendente dal denominatore.

Il nodo regressivo e' il denominatore dei tre domini corti. Non va promossa una nuova specie; va estesa o dichiarata coda corta.

## Bicono della scoperta
- **Due radici**: blank di chart beta / supporto del denominatore.
- **Singolare**: riga `support_without_beta_blank` prima che il support tier venga letto come specie.
- **Invariante di passaggio**: denominatore corto separa i blank sottili; contaminazione e shuffle-instability non bastano.
- **Campo di possibilita**: qui diventa possibile progettare un extension audit mirato su percolation, random_matrix e zeta_zeros; qui diventa non-possibile usare il blank sottile come classe matura.

## Consecutio
Il prossimo ciclo BOUNDARY deve estendere solo i tre domini short (`percolation`, `random_matrix`, `zeta_zeros`) verso denominatore comparabile al controllo medio. Se, a denominatore esteso, restano `blank_thin_support`, allora nasce una specie autonoma. Se salgono a supporto medio o ricevono beta locale, il failure mode 15:38 viene retrocesso a telemetria di perimetro corto.

## Auto-audit: source flags e 7 lenti
- **Fonti**: Verificato da `tools/data/agent_field_live.md`, `tools/LAB_AGENT_CONTEXT.md`, `tools/dnd_scenario.py --best`, report `agent_20260509_1538.md`, JSON `boundary_row_aligned_nonexact_audit_20260509_1538.json`, script `tools/exp_boundary_blank_thin_support_audit.py`, output `tools/data/boundary_blank_thin_support_audit_20260509_1548.json`.
- **L1 hard constraint**: claim limitato alle 4 righe `support_without_beta_blank` del deposito 15:38.
- **L2 count grezzi**: riportati 4 blank, 3 thin, 1 medium, 3/3 thin short, 1/3 thin contaminated, 1/3 thin shuffle-change, 0/3 thin autonomi.
- **L3 no silent patching**: soglia `full_gap_floor=500` dichiarata; non esclusa `zeta_zeros` nonostante contaminazione.
- **L4 edge cases**: `random_matrix` e' thin, short, complete e senza class-change; isola il denominatore corto dalla contaminazione.
- **L5 re-discovery**: il ciclo non rifà il gate 15:16; legge il sotto-perimetro aperto dal report 15:38.
- **L6 metabolismo cognitivo**: CE-0001, CE-0117, YSN e PVI usati nella combo.
- **L7 possibile/non-possibile**: possibile = extension audit dei tre short; non-possibile = classe autonoma senza estensione.

## Telemetria
- No API paid run: `ANTHROPIC_API_KEY` e `OPENAI_API_KEY` assenti nell'ambiente.
- Verifica script: `python -m py_compile tools/exp_boundary_blank_thin_support_audit.py`.
- Run valido: `python tools/exp_boundary_blank_thin_support_audit.py --input tools/data/boundary_row_aligned_nonexact_audit_20260509_1538.json --out tools/data/boundary_blank_thin_support_audit_20260509_1548.json`.
- Output: `thin_short_rows=3`, `thin_contaminated_rows=1`, `thin_shuffle_class_change_rows=1`, `thin_not_denominator_explained_rows=0`, `verdict=DENOMINATOR_LIMITED_NOT_NULL_CONTAMINATION`.
- Git state: worktree gia' sporco da cicli e pubblicazioni precedenti; questo cycle aggiunge lo script 15:48, il JSON 15:48 e questo report.

## Files
- Script nuovo: `tools/exp_boundary_blank_thin_support_audit.py`
- Data: `tools/data/boundary_blank_thin_support_audit_20260509_1548.json`
- Report: `tools/data/reports/agent_20260509_1548.md`