Mining Realms provenance — recorded 2026-10-10

The pack author confirmed that the entire original mining-dimension mod was
created for this pack through conversations with Codex; it was not based on
another author's mod. The retained 1.0.1 binary is an earlier version of this
same original project. Its five compiled dev.miningrealms classes are build
bootstrap inputs. Their source is not present in this workspace; supplied
source bundles must be described as portal-extension source plus bootstrap,
not as the complete original source. Public ore IDs and world-generation
integration refer to installed third-party dependencies without claiming their
ownership or relicensing their implementations/assets.
