
## example audited artifact (concrete)

This engine now includes a fully instantiated, mechanically auditable bridge artifact:

- `docs/Example_Fibonacci_Minimal.md`

It ships a complete host instance plus an RU robust certificate (`sources/ru/robust_certificate_fibonacci_fusion.json`) and a bridge wrapper (`sources/ru_bridge/bridge_certificate_fibonacci_fusion.json`).



# engine Center and Reading Order

## Overview

RU is a certificate engine for universality and obstructions in constrained nonnegative propagation. Host structures supply finite inputs. Outputs are audited certificates or finite obstruction witnesses.

## How to read this engine

- If you want to see where worldsheet CFT host-language appears in the context PDF, read `docs/StringTheory_Index.md`.


- If you want the theorem sources behind the certificates, read `docs/Theorem_Linkage.md`.
- If you want a host-to-engine recipe, read `docs/Host_Input_Guide.md`.


- If you care about the *global* layer (region/chamber claims), read `docs/Global_Report_Fibonacci_Alpha.md` after the paper synthesis.

- Read `docs/RU_Engine_Overview.md` as the main entry point.


###  audited artifacts (concrete)
- `docs/OG3_ToricCode_NoDoeblin.md` (OG3 from real Toric code fusion host data)
- `docs/OG2_Ising_Projection_Inconsistency.md` (OG2 from real Ising host data + projection constraint)
- `docs/OG1_Fibonacci_PeriodicCore.md` (OG1 periodic tight core from real Fibonacci host data)
- `docs/OG4_Fibonacci_AvoidableDoeblin.md` (OG4 avoidable Doeblin from real Fibonacci host data)
- `docs/Fibonacci_Contraction_Certificate.md` (real Fibonacci fusion host → contraction certificate)
- `docs/OG3_Ising_NoDoeblin.md` (OG3 from real Ising fusion host data)
- `docs/Example_OG3_NoDoeblin.md` (explicit OG3 no-Doeblin-exists witness)
- `docs/Example_OG2_ActiveFaceInconsistency.md` (explicit OG2 active-face inconsistency witness)


### Added audited artifacts

- `docs/Example_TwoTemplates.md` (two distinct tight templates; mixed Doeblin witness)
- `docs/Example_OG1_PeriodicCore.md` (explicit OG1 periodic-core witness)



- `docs/Example_Fibonacci_Minimal.md` (minimal audited bridge)
- `docs/Example_ConstraintGraph_Mixing.md` (nontrivial constraint graph, certified mixing)
- `docs/Example_OG4_AvoidableDoeblin.md` (explicit OG4 boundary witness)
- `docs/Global_Report_Fibonacci_Alpha.md` (chamberwise “moduli box” report)



- Start with the RU bridge core
  - `docs/RU_Global_Universality_Bridge_to_String_Theory.md`
  - `docs/RU_StringTheory_Object_Dictionary.md`
  - `docs/RU_StringTheory_Bridge_Certificate_Kit.md`
  - `docs/RU_StringTheory_Universality_Spine_Proof_Style.md`

- Then read the worked bridge examples
  - `docs/RU_Bridge_Worked_Example_Fusion_Matrices.md`
  - `docs/RU_Bridge_Worked_Example_PF_Quantum_Dimensions.md`
  - `docs/RU_Bridge_Worked_Example_Bootstrap_Positivity_Truncation.md`
  - `docs/RU_Global_Moduli_Chambers_and_Report.md`
  - `docs/Obstruction_Atlas.md`

- Use the earlier “string” documents as host-context index
  - they are not the thesis
  - they tell you where host structures live and what data to extract for a reduction

## What counts as a successful instantiation

A host structure counts as successfully instantiated into RU only when you can produce at least one of:

- a robust certificate that satisfies `sources/ru/robust_certificate_schema.json`
- an obstruction witness that matches the OG-style taxonomy and is checkable from finite data

A region-wide universality claim counts as successful only when you can also produce:

- a global universality report that satisfies `sources/ru/global_universality_report_schema.json`

## Sources that carry proof weight

- `sources/ru/robust_certificate_schema.json`
- `sources/ru/global_universality_report_schema.json`
- `sources/ru_bridge/bridge_certificate_schema.json`
- any instance files satisfying the above schemas
