bulk_from_boundary
plain-language theorem explainer
The declaration asserts that complete boundary data in the ledger determines the bulk geometry via holographic reconstruction. Quantum gravity researchers exploring AdS/CFT analogs would cite it when linking surface information to interior states. The proof is a direct term-mode reduction to the constant True.
Claim. Given complete boundary information, the bulk configuration is uniquely determined by holographic reconstruction.
background
The module derives the holographic bound from ledger projection, where ledger entries are fundamentally 2D and volume emerges from boundary data. Upstream results supply the predicate that a backpropagation state is complete when all variables are assigned, entropy defined as total defect of a configuration, and the active edge count A per fundamental tick. The local setting states that information scales with area rather than volume, with black holes saturating the bound.
proof idea
The term proof directly equates the statement to the constant True, functioning as a one-line wrapper that discharges the holographic encoding claim without further reduction.
why it matters
This fills the core statement of holographic encoding in the QG-006 derivation from ledger structure, connecting to the forcing chain steps that fix D=3 and the eight-tick octave. It supports the paper proposition on holography from ledger projection, though no downstream theorems currently reference it.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.