# Artifact Index

This index is generated by `tools/build_artifact_index.py`.

## Counts

- Bridge certificates: 15
- Robust certificates: 14
- Global reports: 3
- Models: 13

## Audited outcomes (grouped)

### CONTRACTION_CERTIFIED

- **RCFT fusion propagation** — `sources/ru_bridge/bridge_certificate_example.json`
  - robust: `sources/ru/robust_certificate_example.json`
  - global: `sources/ru/global_universality_report_example.json`
  - conclusion: On the active face determined by the tight core, normalized constrained fusion products contract projectively with an explicit exponential rate, provided Doeblin+recurrence is certified.
- **Toy worldsheet host: two-template constrained channel alternation** — `sources/ru_bridge/bridge_certificate_fibonacci_alternation_two_templates.json`
  - robust: `sources/ru/robust_certificate_fibonacci_alternation_two_templates.json`
  - conclusion: The tight core forces alternation between two distinct templates. The length-2 word (A_tau,B_pos) is Doeblin with δ=1, U=3 and RC1 holds with B=0; therefore normalized products contract projectively with τ=tanh((2 log 3) (truncated)
- **Toy worldsheet sector: Fibonacci fusion with constrained channel scheduling** — `sources/ru_bridge/bridge_certificate_fibonacci_constraintgraph_mix.json`
  - robust: `sources/ru/robust_certificate_fibonacci_constraintgraph_mix.json`
  - conclusion: On the tight core (A-edges), the Doeblin word (A_tau,A_tau) holds with δ=1 and RC1 holds with B=0; therefore normalized products contract projectively with τ=1/3 and an explicit exponential rate from the rate_pack.
- **Toy worldsheet RCFT sector: Fibonacci fusion data** — `sources/ru_bridge/bridge_certificate_fibonacci_fusion.json`
  - robust: `sources/ru/robust_certificate_fibonacci_fusion.json`
  - conclusion: For the constrained fusion propagation generated by A_tau, the length-2 word (A_tau,A_tau) is Doeblin on the full cone; RC1 holds combinatorially; therefore normalized products contract projectively with tau=1/3 and an e (truncated)
- **Real host: Fibonacci fusion sector (RCFT/MTC)** — `sources/ru_bridge/bridge_certificate_fibonacci_realhost_contraction.json`
  - robust: `sources/ru/robust_certificate_fibonacci_realhost_contraction.json`
  - conclusion: Length-2 Doeblin witness exists (N_tau,N_tau), RC1 holds; hence normalized products contract projectively with an explicit exponential rate.

### OG1_PERIODIC_CORE

- **Real host: Fibonacci fusion strict 2-cycle (OG1)** — `sources/ru_bridge/bridge_certificate_fibonacci_realhost_og1_period2.json`
  - robust: `sources/ru/robust_certificate_fibonacci_realhost_og1_period2.json`
  - conclusion: OG1 periodic-core obstruction to aperiodic universality.
- **Host structure with incompatible boundary/selection projections (OG2 prototype)** — `sources/ru_bridge/bridge_certificate_og2_active_face_inconsistency.json`
  - robust: `sources/ru/robust_certificate_og2_active_face_inconsistency.json`
  - conclusion: OG2: despite an aperiodic tight SCC, tight propagation forces incompatible active-face supports. Therefore the universality engine correctly returns a finite obstruction witness rather than a contraction certificate.
- **Toy host: periodic tight channel system (2-cycle)** — `sources/ru_bridge/bridge_certificate_periodic_core_og1.json`
  - robust: `sources/ru/robust_certificate_periodic_core_og1.json`
  - conclusion: The tight core is periodic with period 2 (aperiodic_scc_count=0). This is an OG1-type obstruction to forced aperiodic universality on the full active face in the RU sense.

### OG2_ACTIVE_FACE_INCONSISTENCY

- **Real host-derived: Ising fusion + projection (OG2)** — `sources/ru_bridge/bridge_certificate_og2_ising_projection_inconsistency.json`
  - robust: `sources/ru/robust_certificate_og2_ising_projection_inconsistency.json`
  - conclusion: OG2 active-face inconsistency.

### OG3_NO_DOEBLIN

- **Real host: Ising fusion ring (OG3)** — `sources/ru_bridge/bridge_certificate_og3_ising_fusion.json`
  - robust: `sources/ru/robust_certificate_og3_ising_fusion.json`
  - conclusion: OG3 no-Doeblin on full cone.
- **Host structure with reducible channel propagation (OG3 prototype)** — `sources/ru_bridge/bridge_certificate_og3_no_doeblin_reducible.json`
  - robust: `sources/ru/robust_certificate_og3_no_doeblin_reducible.json`
  - conclusion: OG3: no Doeblin block exists on the full cone because every allowed product preserves a reducible zero pattern (delta(w)=0 for all w). Therefore forced universality cannot be certified and the engine outputs a finite obs (truncated)
- **Real host: Toric code fusion (OG3)** — `sources/ru_bridge/bridge_certificate_og3_toric_code_fusion.json`
  - robust: `sources/ru/robust_certificate_og3_toric_code_fusion.json`
  - conclusion: OG3: toric code fusion is permutation-only, hence no Doeblin word exists on full cone.

### OG4_AVOIDABLE_DOEBLIN

- **Toy worldsheet sector: Fibonacci fusion with free identity steps** — `sources/ru_bridge/bridge_certificate_fibonacci_constraintgraph_og4.json`
  - robust: `sources/ru/robust_certificate_fibonacci_constraintgraph_og4.json`
  - conclusion: A Doeblin block exists but is avoidable: the identity loop eI00 yields an infinite tight path avoiding all mixing blocks (OG4). Therefore forced universality does not hold in this host instance.
- **Real host: Fibonacci fusion with idle channel (OG4)** — `sources/ru_bridge/bridge_certificate_fibonacci_realhost_og4_idle_avoidable.json`
  - robust: `sources/ru/robust_certificate_fibonacci_realhost_og4_idle_avoidable.json`
  - conclusion: OG4 avoidable Doeblin via tight idle loop.

### UNCLASSIFIED

- **None** — `sources/ru_bridge/bridge_certificate_schema.json`

## Machine-readable index

- `sources/artifact_index.json`
