The finite sector-label experiment

This section proves the sharp finite theorem proposed in the plan. Its sector entries are metadata, while its certificate concerns the named finite channel.