# RCIG Phase-I Core Index

**Frozen at Run 176 — 2026-09-13**

## Core

- Possibility / Constraint / Task quotient
- Future Distinguishability Invariant
- Infinity Support Migration
- Reopening / Completion Leakage
- Certificate Support Migration
- Language / Oracle / Computability Debt
- Truth vs Certificate vs Effective Accessibility
- Reflection / Ordinal / Rank Support
- Witness Persistence / Coherence
- Closure-Debt Calculus
- Termination / Confluence / Semantic Canonicality

## Derived Engineering

- CDIR schemas
- Reference verification kernels
- Proof-carrying closure packages
- Differential verification
- Probabilistic / scheduler / game semantics
- Strategy compiler and canonicalization
- Theorem admission cost models
- Dynamic / stochastic / Bayesian theorem schedulers

## Minimal Restart Question

> After this constraint removes the apparent source of infinity, was the obligation actually discharged, or did its support migrate elsewhere?

## Freeze Status

```text
RCIG Phase I: CLOSED
Canonical final run: 176
```