A made-up mining-company domain model for playing with domain tooling: the model graph (`/domain/overview`), the object browser (`/dom`) and the domain APIs. Converted from d1's `devdomain1claude.Spec:MiningDomain` (56 classes in 8 groups) on 2026-09-24. Conventions (d2 class syntax, spec 6.1.1a): `X*` is a list, `<>X` / `<>X*` a reference by key to another stored object, and a bare `X` is containment: a class without a `@key` is embedded by value, a class with a `@key` would be owned. Every class carries `@group` for the browser and the model graph. `@label` marks the display field. `?` marks an optional field; d1's empty-string dates became absent values on optional fields (`Officer.endDate`, `Payment.paidOn`). Storage is the prototype's in-memory inventory, reloaded from [[Story:mining-samples]] at startup. ## Shared value types $class Address ( street: String, city: String, province: String, country: String, postalCode: String, ) @group("Shared value types") $class GeoPoint ( lat: Number, lon: Number, elevationM: Number, datum: String, utmZone: String, ) @group("Shared value types") $class Payment ( due: Date, amount: Number, currency: String, paid: Boolean, paidOn: Date?, ) @group("Shared value types") ## Corporate $class Company ( @key ticker: String, @label name: String, legalName: String, exchange: String, secondaryListing: String, sector: String, stage: String, primaryCommodity: <>Commodity, headquarters: Address, website: String, incorporatedIn: <>Jurisdiction, fiscalYearEnd: String, sharesOutstanding: Number, fullyDiluted: Number, marketCap: Number, cash: Number, debt: Number, workingCapital: Number, officers: Officer*, directors: Director*, shareClasses: ShareClass*, properties: <>Property*, financings: <>Financing*, filings: <>Filing*, auditor: String, transferAgent: String, status: String, ) @group("Corporate") $class Person ( @key personId: String, firstName: String, lastName: String, email: String, phone: String, address: Address, nationality: String, linkedin: String, bio: String, credentials: String*, ) @group("Corporate") $class Officer ( person: <>Person, title: String, startDate: Date, endDate: Date?, salary: Number, bonus: Number, interim: Boolean, ) @group("Corporate") $class Director ( person: <>Person, since: Date, independent: Boolean, committees: String*, annualFee: Number, sharesHeld: Number, ) @group("Corporate") $class ShareClass ( @label name: String, votesPerShare: Number, outstanding: Number, parValue: Number, ) @group("Corporate") $class Shareholder ( @key id: String, company: <>Company, holder: <>Person, institution: String, shares: Number, percent: Number, asOf: Date, insider: Boolean, ) @group("Corporate") $class Financing ( @key id: String, company: <>Company, kind: String, announced: Date, closed: Date, grossProceeds: Number, pricePerUnit: Number, units: Number, warrants: Warrant*, agent: <>Contractor, flowThrough: Boolean, useOfProceeds: String, holdPeriodEnds: Date, status: String, ) @group("Corporate") $class Warrant ( strike: Number, expiry: Date, count: Number, accelerationPrice: Number, ratio: Number, ) @group("Corporate") $class OptionGrant ( @key id: String, company: <>Company, grantee: <>Person, grantDate: Date, strike: Number, count: Number, vesting: String, expiry: Date, cancelled: Boolean, ) @group("Corporate") $class Filing ( @key id: String, company: <>Company, kind: String, filedOn: Date, jurisdiction: <>Jurisdiction, title: String, url: String, sedarId: String, materialChange: Boolean, ) @group("Corporate") ## Land & tenure $class Jurisdiction ( @key code: String, @label name: String, country: String, miningAct: String, royaltyRatePct: Number, corporateTaxPct: Number, fraserRank: Number, permittingMonths: Number, stable: Boolean, ) @group("Land & tenure") $class Property ( @key id: String, @label name: String, owner: <>Company, jurisdiction: <>Jurisdiction, location: GeoPoint, areaHa: Number, stage: String, claims: Claim*, permits: Permit*, agreements: <>Agreement*, royalties: Royalty*, deposits: <>Deposit*, drillPrograms: <>DrillProgram*, geophysics: <>GeophysicalSurvey*, access: String, infrastructure: String, notes: String, ) @group("Land & tenure") $class Claim ( number: String, kind: String, areaHa: Number, staked: Date, expires: Date, holder: <>Company, goodStanding: Boolean, workCredits: Number, ) @group("Land & tenure") $class Permit ( number: String, kind: String, issuer: <>Jurisdiction, issued: Date, expires: Date, conditions: String, status: String, ) @group("Land & tenure") $class Agreement ( @key id: String, kind: String, property: <>Property, optionor: <>Company, optionee: <>Company, earnPercent: Number, spendRequired: Number, cashPayments: Payment*, sharePayments: Number, deadline: Date, retainedRoyalty: Royalty, status: String, ) @group("Land & tenure") $class Royalty ( kind: String, ratePct: Number, holder: <>Company, buybackPct: Number, buybackPrice: Number, commodities: <>Commodity*, areaOfInterestKm: Number, ) @group("Land & tenure") $class Stream ( @key id: String, streamer: <>Company, operator: <>Company, mine: <>Mine, commodity: <>Commodity, percent: Number, ongoingPrice: Number, upfront: Number, stepDown: String, termYears: Number, ) @group("Land & tenure") ## Geology & resources $class Commodity ( @key symbol: String, @label name: String, unit: String, spotPrice: Number, currency: String, priceSource: String, category: String, ) @group("Geology & resources") $class Mineral ( @key @label name: String, formula: String, commodity: <>Commodity, hardness: Number, specificGravity: Number, habit: String, ) @group("Geology & resources") $class Deposit ( @key id: String, @label name: String, property: <>Property, style: String, primary: <>Commodity, byproducts: <>Commodity*, minerals: <>Mineral*, zones: Zone*, location: GeoPoint, strikeLengthM: Number, depthM: Number, openAtDepth: Boolean, discoveryYear: Number, estimates: <>ResourceEstimate*, ) @group("Geology & resources") $class Zone ( @label name: String, kind: String, strikeM: Number, widthM: Number, dipDeg: Number, plungeDeg: Number, open: Boolean, ) @group("Geology & resources") $class ResourceEstimate ( @key id: String, deposit: <>Deposit, effectiveDate: Date, author: <>QualifiedPerson, cutoff: Number, cutoffUnit: String, method: String, lines: ResourceLine*, ni43101: Boolean, reportUrl: String, ) @group("Geology & resources") $class ResourceLine ( category: String, tonnesMt: Number, commodity: <>Commodity, grade: Number, gradeUnit: String, contained: Number, containedUnit: String, pitConstrained: Boolean, ) @group("Geology & resources") $class ReserveEstimate ( @key id: String, deposit: <>Deposit, study: <>TechnicalStudy, effectiveDate: Date, provenMt: Number, probableMt: Number, grade: Number, gradeUnit: String, contained: Number, dilutionPct: Number, recoveryPct: Number, lomYears: Number, ) @group("Geology & resources") ## Exploration $class DrillProgram ( @key id: String, property: <>Property, operator: <>Company, contractor: <>Contractor, season: String, plannedMetres: Number, drilledMetres: Number, budget: Number, spent: Number, holes: <>DrillHole*, lab: <>Lab, startDate: Date, endDate: Date, status: String, ) @group("Exploration") $class DrillHole ( @key holeId: String, program: <>DrillProgram, collar: GeoPoint, azimuth: Number, dip: Number, plannedDepthM: Number, finalDepthM: Number, method: String, coreSize: String, startDate: Date, endDate: Date, target: String, intervals: Interval*, surveys: Survey*, samples: <>Sample*, loggedBy: <>Person, rig: <>Equipment, abandoned: Boolean, notes: String, ) @group("Exploration") $class Interval ( fromM: Number, toM: Number, lengthM: Number, trueWidthM: Number, lithology: String, alteration: String, mineralization: String, recoveryPct: Number, rqd: Number, commodity: <>Commodity, grade: Number, gradeUnit: String, highlight: Boolean, ) @group("Exploration") $class Survey ( depthM: Number, azimuth: Number, dip: Number, method: String, magField: Number, ) @group("Exploration") $class Sample ( @key sampleId: String, hole: <>DrillHole, fromM: Number, toM: Number, kind: String, location: GeoPoint, collectedOn: Date, collectedBy: <>Person, weightKg: Number, duplicate: Boolean, blank: Boolean, standard: Boolean, standardId: String, assays: <>Assay*, chainOfCustody: String, ) @group("Exploration") $class Assay ( @key id: String, sample: <>Sample, lab: <>Lab, certificate: String, method: String, receivedOn: Date, reportedOn: Date, auGpt: Number, agGpt: Number, cuPct: Number, pbPct: Number, znPct: Number, moPct: Number, niPct: Number, coPct: Number, li2oPct: Number, u3o8Pct: Number, auDetectionLimit: Number, overLimit: Boolean, reassay: Boolean, qaqcPass: Boolean, ) @group("Exploration") $class Lab ( @key code: String, @label name: String, address: Address, accreditation: String, isoCertified: Boolean, turnaroundDays: Number, methods: String*, contact: <>Person, ) @group("Exploration") $class Contractor ( @key id: String, @label name: String, kind: String, address: Address, contact: <>Person, fleet: <>Equipment*, dayRate: Number, safetyRating: Number, preferred: Boolean, ) @group("Exploration") $class GeophysicalSurvey ( @key id: String, property: <>Property, contractor: <>Contractor, method: String, flownOn: Date, lineKm: Number, spacingM: Number, anomalies: Anomaly*, reportUrl: String, ) @group("Exploration") $class Anomaly ( @label name: String, kind: String, strength: Number, location: GeoPoint, drillTested: Boolean, testedBy: <>DrillHole, ) @group("Exploration") ## Studies & economics $class QualifiedPerson ( @key id: String, person: <>Person, designation: String, association: String, licenseNo: String, independent: Boolean, firm: String, ) @group("Studies & economics") $class TechnicalStudy ( @key id: String, kind: String, deposit: <>Deposit, published: Date, authors: <>QualifiedPerson*, priceDeck: <>PriceDeck, baseCase: EconomicCase, sensitivities: EconomicCase*, capex: CapexItem*, opex: OpexItem*, mineLifeYears: Number, throughputTpd: Number, miningMethod: String, processMethod: String, recoveryPct: Number, reportUrl: String, status: String, ) @group("Studies & economics") $class EconomicCase ( label: String, discountRatePct: Number, npvAfterTax: Number, npvPreTax: Number, irrAfterTaxPct: Number, irrPreTaxPct: Number, paybackYears: Number, aisc: Number, cashCost: Number, lomRevenue: Number, lomFreeCashFlow: Number, priceBasis: String, ) @group("Studies & economics") $class PriceDeck ( @key id: String, @label name: String, asOf: Date, prices: PricePoint*, fxCadUsd: Number, source: String, ) @group("Studies & economics") $class PricePoint ( commodity: <>Commodity, price: Number, unit: String, year: Number, ) @group("Studies & economics") $class CapexItem ( area: String, phase: String, amount: Number, currency: String, contingencyPct: Number, ) @group("Studies & economics") $class OpexItem ( area: String, perTonne: Number, perYear: Number, currency: String, ) @group("Studies & economics") ## Operations $class Mine ( @key id: String, @label name: String, deposit: <>Deposit, operator: <>Company, owners: Ownership*, method: String, plant: <>Plant, commercialProduction: Date, nameplateTpd: Number, status: String, lomEnd: Date, workforce: <>Employee*, camp: <>Camp, periods: <>ProductionPeriod*, closurePlan: String, ) @group("Operations") $class Ownership ( owner: <>Company, percent: Number, since: Date, carried: Boolean, ) @group("Operations") $class Plant ( @key id: String, @label name: String, kind: String, capacityTpd: Number, recoveryPct: Number, commissioned: Date, circuits: String*, powerSource: String, waterM3PerDay: Number, ) @group("Operations") $class ProductionPeriod ( @key id: String, mine: <>Mine, period: String, oreMinedT: Number, wasteMinedT: Number, milledT: Number, headGrade: Number, recoveryPct: Number, produced: Number, commodity: <>Commodity, sold: Number, aisc: Number, cashCost: Number, revenue: Number, shipments: <>Shipment*, downtimeHrs: Number, lostTimeInjuries: Number, ) @group("Operations") $class Shipment ( @key id: String, mine: <>Mine, offtaker: <>Offtaker, product: String, wetTonnes: Number, moisturePct: Number, payableContent: Number, shippedOn: Date, port: String, vessel: String, invoiceValue: Number, settled: Boolean, ) @group("Operations") $class Offtaker ( @key id: String, @label name: String, country: String, kind: String, contractTerms: String, treatmentCharge: Number, refiningCharge: Number, penaltyElements: String*, ) @group("Operations") $class Equipment ( @key assetTag: String, kind: String, make: String, model: String, year: Number, owner: <>Contractor, hours: Number, status: String, location: GeoPoint, ) @group("Operations") $class Employee ( @key id: String, person: <>Person, employer: <>Company, role: String, site: <>Mine, hired: Date, local: Boolean, union: String, shift: String, ) @group("Operations") $class Camp ( @key id: String, @label name: String, location: GeoPoint, capacity: Number, operator: <>Contractor, flyIn: Boolean, powerSource: String, ) @group("Operations") ## Community & ESG $class Community ( @key id: String, @label name: String, kind: String, location: GeoPoint, population: Number, agreements: <>ImpactBenefitAgreement*, contact: <>Person, ) @group("Community & ESG") $class ImpactBenefitAgreement ( @key id: String, community: <>Community, company: <>Company, mine: <>Mine, signed: Date, termYears: Number, annualPayment: Number, employmentTargetPct: Number, status: String, ) @group("Community & ESG") $class EnvironmentalIncident ( @key id: String, site: <>Mine, occurredOn: Date, kind: String, severity: String, reportedTo: <>Jurisdiction, volumeM3: Number, remediated: Boolean, fine: Number, ) @group("Community & ESG") // eol

mining-domain

Markdown⌘/Ctrl + S saves

Preview