universal-physics-tensor 0.45.2 → 0.47.0

package/dist/atlas/index.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Atlas Phase 0 barrel — the oscillator pilot.
+ *
+ * Reachable only through the `universal-physics-tensor/atlas` subpath. Not
+ * re-exported from the root `universal-physics-tensor` entry before Phase 6.
+ *
+ * All symbols are `@internal`: these are throwaway pilot types (design note
+ * §4), not a stability contract.
+ *
+ * ⚠ **THE INVARIANT IS: NEVER THE BARREL.** `src/bridges/` and
+ * `src/composition/` must not import THIS FILE — `src/atlas/` imports
+ * `bridges/*` and `composition/*`, so a barrel import closes a cycle that
+ * `bun run docs:deps` reports. Importing a leaf module (`./types.js`,
+ * `./regime.js`, `./composition-table.js`, …) is fine and the tree has always
+ * done it, VALUES INCLUDED: `bridges/index.ts:40`, `composition/compose.ts`,
+ * `composition/graph-viz.ts`.
+ *
+ * This comment used to say "TYPES ONLY, and only from `src/atlas/types.js`",
+ * which the tree HAS NEVER SATISFIED while `docs:deps` reported 0 cycles.
+ * A rule stricter than the invariant it protects gets silently violated by
+ * correct code, and the next reader either believes a false description of
+ * the tree or "fixes" code that was right. Corrected 2026-09-22 against the
+ * same measurement that corrected `CLAUDE.md`.
+ *
+ * @module atlas
+ */
+export type { RelationType, EvidenceTag, LimitCharacter, RegimeInequality, Regime, ApproximationBound, Witness, Counterexample, AtlasBridge, AtlasRejection, FormalFidelity, FormalRef, } from './types.js';
+export { MissingHorizonError, MissingLipschitzError } from './types.js';
+export { ALL_EVIDENCE_TAGS } from './types.js';
+export { deriveEvidence, deriveEvidenceForVerdict, NO_PASSING_WITNESSES } from './derive-evidence.js';
+export type { CounterexampleLike, EvidenceInput, MembershipVerdict, RejectionLike, WitnessLike, } from './derive-evidence.js';
+export { composeRelation, COMPOSITION_TABLE, NO_COMPOSITE_CLAIM } from './composition-table.js';
+export type { CompositionResult, NoCompositeClaim } from './composition-table.js';
+export { boundPath, findPath } from './path-bound.js';
+export type { NoClaimReason, PathBoundClaim, PathBoundResult, PathNoClaim } from './path-bound.js';
+export type { AtlasModel, ModelId } from './model.js';
+export { composeBounds, composeBoundPath, IDENTITY_BOUND } from './error-algebra.js';
+export type { BoundPair, ComposedPath } from './error-algebra.js';
+export { deriveRegimeGroups, regimeHolds } from './regime.js';
+export type { RegimeCheck } from './regime.js';
+export { CAPACITANCE, CUBIC_STIFFNESS, DAMPING, INDUCTANCE, RESISTANCE, SPRING_CONSTANT, } from './oscillators/dimensions.js';
+export { ATLAS_MODELS, getAtlasModel } from './oscillators/models.js';
+export { OSCILLATOR_FAMILY } from './oscillators/index.js';
+export type { AtlasFamily } from './oscillators/index.js';
+export { toAtlasJson, ATLAS_RECORD_SCHEMA_VERSION } from './serialize.js';
+export type { AtlasRecordJson, JsonValue } from './serialize.js';
+export { blockingFindings, checkApplicability, } from './applicability.js';
+export type { ApplicabilityFinding, ApplicabilityFindingKind, ApplicabilityInput, ApplicabilitySeverity, } from './applicability.js';
+export { passingWitnessIds } from './witness-result.js';
+export type { UnresolvedReason, WitnessRunResult, WitnessStatus, } from './witness-result.js';
+export { ATLAS_FAMILIES } from './families.js';
+export { runLinkPrediction } from './link-prediction.js';
+export { ATLAS_ID_PREFIX, toAtlasJsonLd, toCombinedAtlasJson } from './export.js';
+export type { QudtResolution } from './export.js';
+export type { LinkPredictionResult, LinkPredictionTrial } from './link-prediction.js';
+export { DIFFUSION_FAMILY } from './diffusion/index.js';
+export { BRIDGE_HEAT_DIFFUSION, BRIDGE_SCHRODINGER_DIFFUSION, BRIDGE_WALK_DIFFUSION, DIFFUSION_BRIDGES, } from './diffusion/bridges.js';
+export { DIFFUSION_MODELS, getDiffusionModel } from './diffusion/models.js';
+export { WAVES_FAMILY } from './waves/index.js';
+export { BRIDGE_KLEIN_GORDON_WAVE, BRIDGE_SOUND_SPEED, BRIDGE_STRING_WAVE, BRIDGE_WAVE_DALEMBERT, WAVE_BRIDGES, } from './waves/bridges.js';
+export { WAVE_MODELS } from './waves/models.js';
+export { DIFFUSION_CLOSURE_BRIDGES } from './diffusion/bridges-closure.js';
+export { WAVE_CLOSURE_BRIDGES } from './waves/bridges-closure.js';
+export { FAILURE_KINDS, HELD_OUT_FAMILY, HELD_OUT_MARKERS } from './benchmark/types.js';
+export type { Authorship, BenchmarkItem, BenchmarkSplit, FailureKind } from './benchmark/types.js';
+export { checkRenamedVariants, findCrossSplitLeakage, leakageKey } from './benchmark/leakage.js';
+export type { LeakageCollision, VariantProblem } from './benchmark/leakage.js';
+export { ABLATION_CONFIGS, FULL_CONFIG, runAtlasCondition, runAtlasOnItem, } from './benchmark/run-atlas.js';
+export type { AtlasRunConfig, AtlasVerdict } from './benchmark/run-atlas.js';
+export { rankBySymbolOverlap, rankByStructure, rankByTextOverlap, recallAtK, } from './benchmark/baselines.js';
+export type { CorpusRecord, Ranking, RetrievalQuery } from './benchmark/baselines.js';
+export { parseBackendResponse } from './benchmark/backend-shapes.js';
+export { cohensKappa, mcnemar, pairedDifferenceInterval, powerReport, wilsonInterval, Z95, } from './benchmark/stats.js';
+export type { Interval, McNemarResult, PairedTable, PowerReport } from './benchmark/stats.js';
+export { pairedRejection, scoreAblation, scoreCondition } from './benchmark/study.js';
+export type { AblationRow, ConditionAnswer, ConditionMetrics, ItemLabel, PairedRejection, } from './benchmark/study.js';
+export type { BackendShapeError, BenchmarkBackendRequest, BenchmarkBackendResponse, } from './benchmark/backend-shapes.js';
+export { runWitnessRegistry, artifactPassingWitnessIds } from './witness-artifact.js';
+export type { WitnessResultRecord, WitnessResultsArtifact } from './witness-artifact.js';
+export { WITNESS_REGISTRY } from './witness-specs.js';
+export type { RegisteredNumericWitness, RegisteredSymbolicWitness, RegisteredWitness, } from './witness-specs.js';
+export { runSymbolicWitness } from './witness-symbolic.js';
+export type { SymbolicSimplifier, SymbolicWitnessSpec } from './witness-symbolic.js';
+export { runNumericWitness } from './witness-numeric.js';
+export type { Convergence, NumericWitnessRunResult, NumericWitnessSpec, } from './witness-numeric.js';
+export { contextUnion, statementContextUnion } from './statement.js';
+export type { Context, ContextUnionFormed, ContextUnionRefused, ContextUnionResult, NoUnionReason, Statement, StatementId, } from './statement.js';
+export { composeDerivations, composeDerivationsOrThrow, DerivationCompositionError, makeDerivation, } from './derivation.js';
+export type { CompositeFormed, CompositeRefused, Derivation, DerivationCompositionResult, DerivationId, DerivationSpec, NoCompositeReason, } from './derivation.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/atlas/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/atlas/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,YAAY,EACV,YAAY,EACZ,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,MAAM,EACN,kBAAkB,EAClB,OAAO,EACP,cAAc,EACd,WAAW,EACX,cAAc,EACd,cAAc,EACd,SAAS,GACV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAK/C,OAAO,EAAE,cAAc,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACtG,YAAY,EACV,kBAAkB,EAClB,aAAa,EACb,iBAAiB,EACjB,aAAa,EACb,WAAW,GACZ,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChG,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAClF,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnG,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEtD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElE,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC9D,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EACL,WAAW,EACX,eAAe,EACf,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAEtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,YAAY,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAE1D,OAAO,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAC1E,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEjE,OAAO,EACL,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,oBAAoB,EACpB,wBAAwB,EACxB,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,GACd,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClF,YAAY,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,YAAY,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,YAAY,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAIlE,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxF,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnG,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACjG,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EACjB,cAAc,GACf,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7E,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,iBAAiB,EACjB,SAAS,GACV,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EACL,WAAW,EACX,OAAO,EACP,wBAAwB,EACxB,WAAW,EACX,cAAc,EACd,GAAG,GACJ,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAC9F,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtF,YAAY,EACV,WAAW,EACX,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,iBAAiB,EACjB,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AACtF,YAAY,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAEzF,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,YAAY,EACV,wBAAwB,EACxB,yBAAyB,EACzB,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAErF,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,YAAY,EACV,WAAW,EACX,uBAAuB,EACvB,kBAAkB,GACnB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACrE,YAAY,EACV,OAAO,EACP,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,aAAa,EACb,SAAS,EACT,WAAW,GACZ,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,0BAA0B,EAC1B,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,2BAA2B,EAC3B,YAAY,EACZ,cAAc,EACd,iBAAiB,GAClB,MAAM,iBAAiB,CAAC"}

package/dist/atlas/index.js

@@ -0,0 +1,69 @@
+/**
+ * Atlas Phase 0 barrel — the oscillator pilot.
+ *
+ * Reachable only through the `universal-physics-tensor/atlas` subpath. Not
+ * re-exported from the root `universal-physics-tensor` entry before Phase 6.
+ *
+ * All symbols are `@internal`: these are throwaway pilot types (design note
+ * §4), not a stability contract.
+ *
+ * ⚠ **THE INVARIANT IS: NEVER THE BARREL.** `src/bridges/` and
+ * `src/composition/` must not import THIS FILE — `src/atlas/` imports
+ * `bridges/*` and `composition/*`, so a barrel import closes a cycle that
+ * `bun run docs:deps` reports. Importing a leaf module (`./types.js`,
+ * `./regime.js`, `./composition-table.js`, …) is fine and the tree has always
+ * done it, VALUES INCLUDED: `bridges/index.ts:40`, `composition/compose.ts`,
+ * `composition/graph-viz.ts`.
+ *
+ * This comment used to say "TYPES ONLY, and only from `src/atlas/types.js`",
+ * which the tree HAS NEVER SATISFIED while `docs:deps` reported 0 cycles.
+ * A rule stricter than the invariant it protects gets silently violated by
+ * correct code, and the next reader either believes a false description of
+ * the tree or "fixes" code that was right. Corrected 2026-09-22 against the
+ * same measurement that corrected `CLAUDE.md`.
+ *
+ * @module atlas
+ */
+export { MissingHorizonError, MissingLipschitzError } from './types.js';
+export { ALL_EVIDENCE_TAGS } from './types.js';
+// The Phase 1–3 core. Absent from this barrel until the S6.7 API review found
+// the gap: subpath users could not reach evidence derivation, the composition
+// table or path bounding at all (tests/atlas/barrel-completeness.test.ts).
+export { deriveEvidence, deriveEvidenceForVerdict, NO_PASSING_WITNESSES } from './derive-evidence.js';
+export { composeRelation, COMPOSITION_TABLE, NO_COMPOSITE_CLAIM } from './composition-table.js';
+export { boundPath, findPath } from './path-bound.js';
+export { composeBounds, composeBoundPath, IDENTITY_BOUND } from './error-algebra.js';
+export { deriveRegimeGroups, regimeHolds } from './regime.js';
+export { CAPACITANCE, CUBIC_STIFFNESS, DAMPING, INDUCTANCE, RESISTANCE, SPRING_CONSTANT, } from './oscillators/dimensions.js';
+export { ATLAS_MODELS, getAtlasModel } from './oscillators/models.js';
+export { OSCILLATOR_FAMILY } from './oscillators/index.js';
+export { toAtlasJson, ATLAS_RECORD_SCHEMA_VERSION } from './serialize.js';
+export { blockingFindings, checkApplicability, } from './applicability.js';
+export { passingWitnessIds } from './witness-result.js';
+export { ATLAS_FAMILIES } from './families.js';
+export { runLinkPrediction } from './link-prediction.js';
+export { ATLAS_ID_PREFIX, toAtlasJsonLd, toCombinedAtlasJson } from './export.js';
+export { DIFFUSION_FAMILY } from './diffusion/index.js';
+export { BRIDGE_HEAT_DIFFUSION, BRIDGE_SCHRODINGER_DIFFUSION, BRIDGE_WALK_DIFFUSION, DIFFUSION_BRIDGES, } from './diffusion/bridges.js';
+export { DIFFUSION_MODELS, getDiffusionModel } from './diffusion/models.js';
+export { WAVES_FAMILY } from './waves/index.js';
+export { BRIDGE_KLEIN_GORDON_WAVE, BRIDGE_SOUND_SPEED, BRIDGE_STRING_WAVE, BRIDGE_WAVE_DALEMBERT, WAVE_BRIDGES, } from './waves/bridges.js';
+export { WAVE_MODELS } from './waves/models.js';
+export { DIFFUSION_CLOSURE_BRIDGES } from './diffusion/bridges-closure.js';
+export { WAVE_CLOSURE_BRIDGES } from './waves/bridges-closure.js';
+// Phase 5 benchmark: the PURE parts only. `benchmark/loader.ts` reads files and is
+// deliberately not re-exported, so importing this barrel never pulls in file I/O.
+export { FAILURE_KINDS, HELD_OUT_FAMILY, HELD_OUT_MARKERS } from './benchmark/types.js';
+export { checkRenamedVariants, findCrossSplitLeakage, leakageKey } from './benchmark/leakage.js';
+export { ABLATION_CONFIGS, FULL_CONFIG, runAtlasCondition, runAtlasOnItem, } from './benchmark/run-atlas.js';
+export { rankBySymbolOverlap, rankByStructure, rankByTextOverlap, recallAtK, } from './benchmark/baselines.js';
+export { parseBackendResponse } from './benchmark/backend-shapes.js';
+export { cohensKappa, mcnemar, pairedDifferenceInterval, powerReport, wilsonInterval, Z95, } from './benchmark/stats.js';
+export { pairedRejection, scoreAblation, scoreCondition } from './benchmark/study.js';
+export { runWitnessRegistry, artifactPassingWitnessIds } from './witness-artifact.js';
+export { WITNESS_REGISTRY } from './witness-specs.js';
+export { runSymbolicWitness } from './witness-symbolic.js';
+export { runNumericWitness } from './witness-numeric.js';
+export { contextUnion, statementContextUnion } from './statement.js';
+export { composeDerivations, composeDerivationsOrThrow, DerivationCompositionError, makeDerivation, } from './derivation.js';
+//# sourceMappingURL=index.js.map

package/dist/atlas/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/atlas/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAgBH,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAE/C,8EAA8E;AAC9E,8EAA8E;AAC9E,2EAA2E;AAC3E,OAAO,EAAE,cAAc,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAQtG,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEhG,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAKtD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGrF,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG9D,OAAO,EACL,WAAW,EACX,eAAe,EACf,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAEtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAG3D,OAAO,EAAE,WAAW,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAG1E,OAAO,EACL,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAQ5B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAOxD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAGlF,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,EACrB,YAAY,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAElE,mFAAmF;AACnF,kFAAkF;AAClF,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAExF,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEjG,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,iBAAiB,EACjB,cAAc,GACf,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,iBAAiB,EACjB,SAAS,GACV,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EACL,WAAW,EACX,OAAO,EACP,wBAAwB,EACxB,WAAW,EACX,cAAc,EACd,GAAG,GACJ,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AActF,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAGtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAOtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAOzD,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAWrE,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,0BAA0B,EAC1B,cAAc,GACf,MAAM,iBAAiB,CAAC"}

package/dist/atlas/link-prediction.d.ts

@@ -0,0 +1,71 @@
+/**
+ * Atlas Phase 6, S6.3 — link prediction over the typed model graph: ONE result,
+ * stated as a hypothesis about the representation.
+ *
+ * Design note: `docs/planning/Atlas-Phase-6-Design.md` §1.
+ *
+ * The graph: every model in every registered family is a node; every
+ * premise→conclusion pair of every bridge is an undirected edge. The test is
+ * leave-one-bridge-out: remove a bridge's edges, then ask each predictor to rank
+ * the conclusion among every model not already adjacent to the premise. A hit is
+ * the held-out conclusion inside the top k.
+ *
+ * - **structural predictor** — common neighbours in the remaining graph, ties
+ *   broken by sharing the premise's family, then by id;
+ * - **text baseline** — word-token overlap between the models' dynamics and
+ *   state-space descriptions, ties broken by id.
+ *
+ * ⚠ **What this result cannot carry.** The graph is small (24 models, 22 pairs)
+ * and was curated by the same agent that runs the test, in-distribution. It is a
+ * statement about how this representation behaves on its own content — not a
+ * discovery claim, not a hub or gap claim, and not evidence about physics the
+ * atlas does not contain. ROADMAP Phase 6 asks for it as a hypothesis test, and
+ * that is its whole scope. Product A (`src/composition/discovery.ts`) is not
+ * touched: a test pins that nothing under `src/atlas/` imports it.
+ *
+ * @module atlas/link-prediction
+ * @internal
+ */
+import type { AtlasFamily } from './oscillators/index.js';
+/** One held-out pair and whether each predictor recovered it. @internal */
+export interface LinkPredictionTrial {
+    readonly bridgeId: string;
+    readonly premise: string;
+    readonly conclusion: string;
+    /** 1-based rank of the held-out conclusion; Infinity when it was not a candidate. */
+    readonly structuralRank: number;
+    readonly textRank: number;
+    /** How many candidates the conclusion competed against. */
+    readonly candidates: number;
+}
+/** The whole leave-one-bridge-out run. @internal */
+export interface LinkPredictionResult {
+    readonly k: number;
+    readonly trials: readonly LinkPredictionTrial[];
+    /**
+     * Held-out pairs whose endpoints stay adjacent through ANOTHER bridge. Such a
+     * pair is not a missing link — the conclusion cannot even be a candidate — so
+     * it is excluded from the trials and counted here instead of silently.
+     */
+    readonly stillConnected: number;
+    readonly structuralHits: number;
+    readonly textHits: number;
+    /**
+     * The hit rate a RANDOM ranking would get: the mean over trials of
+     * min(k, candidates)/candidates. On a small graph this is high, and a
+     * predictor's recall means nothing until it is read against it.
+     */
+    readonly chanceRecall: number;
+    /** Mean reciprocal rank of the held-out conclusion. */
+    readonly structuralMrr: number;
+    readonly textMrr: number;
+}
+/**
+ * Run leave-one-bridge-out link prediction over the families' model graph.
+ *
+ * @param families - the atlas families (normally `ATLAS_FAMILIES`).
+ * @param k - the depth a hit must fall within (10, as pre-registered for recall).
+ * @internal
+ */
+export declare function runLinkPrediction(families: readonly AtlasFamily[], k?: number): LinkPredictionResult;
+//# sourceMappingURL=link-prediction.d.ts.map

package/dist/atlas/link-prediction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"link-prediction.d.ts","sourceRoot":"","sources":["../../src/atlas/link-prediction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAG1D,2EAA2E;AAC3E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,qFAAqF;IACrF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,2DAA2D;IAC3D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,oDAAoD;AACpD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAChD;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,uDAAuD;IACvD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAsBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAAE,CAAC,SAAK,GAAG,oBAAoB,CAkEhG"}

package/dist/atlas/link-prediction.js

@@ -0,0 +1,128 @@
+/**
+ * Atlas Phase 6, S6.3 — link prediction over the typed model graph: ONE result,
+ * stated as a hypothesis about the representation.
+ *
+ * Design note: `docs/planning/Atlas-Phase-6-Design.md` §1.
+ *
+ * The graph: every model in every registered family is a node; every
+ * premise→conclusion pair of every bridge is an undirected edge. The test is
+ * leave-one-bridge-out: remove a bridge's edges, then ask each predictor to rank
+ * the conclusion among every model not already adjacent to the premise. A hit is
+ * the held-out conclusion inside the top k.
+ *
+ * - **structural predictor** — common neighbours in the remaining graph, ties
+ *   broken by sharing the premise's family, then by id;
+ * - **text baseline** — word-token overlap between the models' dynamics and
+ *   state-space descriptions, ties broken by id.
+ *
+ * ⚠ **What this result cannot carry.** The graph is small (24 models, 22 pairs)
+ * and was curated by the same agent that runs the test, in-distribution. It is a
+ * statement about how this representation behaves on its own content — not a
+ * discovery claim, not a hub or gap claim, and not evidence about physics the
+ * atlas does not contain. ROADMAP Phase 6 asks for it as a hypothesis test, and
+ * that is its whole scope. Product A (`src/composition/discovery.ts`) is not
+ * touched: a test pins that nothing under `src/atlas/` imports it.
+ *
+ * @module atlas/link-prediction
+ * @internal
+ */
+const tokens = (text) => new Set(text.toLowerCase().split(/[^\p{L}\p{N}]+/u).filter((t) => t.length > 0));
+const jaccard = (a, b) => {
+    if (a.size === 0 && b.size === 0)
+        return 0;
+    let inter = 0;
+    for (const x of a)
+        if (b.has(x))
+            inter++;
+    return inter / (a.size + b.size - inter);
+};
+/** Rank candidates by descending score list (lexicographic), then ascending id. */
+function rank(candidates, score) {
+    return [...candidates].sort((x, y) => {
+        const sx = score(x);
+        const sy = score(y);
+        for (let i = 0; i < sx.length; i++)
+            if (sx[i] !== sy[i])
+                return sy[i] - sx[i];
+        return x < y ? -1 : x > y ? 1 : 0;
+    });
+}
+/**
+ * Run leave-one-bridge-out link prediction over the families' model graph.
+ *
+ * @param families - the atlas families (normally `ATLAS_FAMILIES`).
+ * @param k - the depth a hit must fall within (10, as pre-registered for recall).
+ * @internal
+ */
+export function runLinkPrediction(families, k = 10) {
+    const models = new Map();
+    for (const f of families)
+        for (const m of f.models)
+            models.set(m.id, m);
+    const bridges = families.flatMap((f) => f.bridges);
+    const edgesOf = (b) => b.premises.map((p) => [p, b.conclusion]);
+    const trials = [];
+    let stillConnected = 0;
+    for (const held of bridges) {
+        // The graph WITHOUT the held-out bridge.
+        const adj = new Map();
+        for (const id of models.keys())
+            adj.set(id, new Set());
+        for (const b of bridges) {
+            if (b === held)
+                continue;
+            for (const [u, v] of edgesOf(b)) {
+                adj.get(u)?.add(v);
+                adj.get(v)?.add(u);
+            }
+        }
+        for (const [premise, conclusion] of edgesOf(held)) {
+            const pModel = models.get(premise);
+            if (pModel === undefined)
+                continue;
+            const neighbours = adj.get(premise) ?? new Set();
+            if (neighbours.has(conclusion)) {
+                stillConnected++;
+                continue;
+            }
+            const candidates = [...models.keys()].filter((id) => id !== premise && !neighbours.has(id));
+            const common = (id) => {
+                let n = 0;
+                for (const x of adj.get(id) ?? [])
+                    if (neighbours.has(x))
+                        n++;
+                return n;
+            };
+            const structural = rank(candidates, (id) => [common(id), models.get(id).family === pModel.family ? 1 : 0]);
+            const pText = tokens(`${pModel.dynamics} ${pModel.stateSpace}`);
+            const text = rank(candidates, (id) => {
+                const m = models.get(id);
+                return [jaccard(pText, tokens(`${m.dynamics} ${m.stateSpace}`))];
+            });
+            const at = (list) => {
+                const i = list.indexOf(conclusion);
+                return i < 0 ? Number.POSITIVE_INFINITY : i + 1;
+            };
+            trials.push({
+                bridgeId: held.id,
+                premise,
+                conclusion,
+                structuralRank: at(structural),
+                textRank: at(text),
+                candidates: candidates.length,
+            });
+        }
+    }
+    const mean = (xs) => (xs.length === 0 ? Number.NaN : xs.reduce((a, b) => a + b, 0) / xs.length);
+    return {
+        k,
+        trials,
+        stillConnected,
+        structuralHits: trials.filter((t) => t.structuralRank <= k).length,
+        textHits: trials.filter((t) => t.textRank <= k).length,
+        chanceRecall: mean(trials.map((t) => Math.min(k, t.candidates) / t.candidates)),
+        structuralMrr: mean(trials.map((t) => 1 / t.structuralRank)),
+        textMrr: mean(trials.map((t) => 1 / t.textRank)),
+    };
+}
+//# sourceMappingURL=link-prediction.js.map

package/dist/atlas/link-prediction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"link-prediction.js","sourceRoot":"","sources":["../../src/atlas/link-prediction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAwCH,MAAM,MAAM,GAAG,CAAC,IAAY,EAAe,EAAE,CAC3C,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AAEnF,MAAM,OAAO,GAAG,CAAC,CAAsB,EAAE,CAAsB,EAAU,EAAE;IACzE,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAC;IACzC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF,mFAAmF;AACnF,SAAS,IAAI,CAAC,UAA6B,EAAE,KAAwC;IACnF,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAAE,OAAO,EAAE,CAAC,CAAC,CAAE,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC;QAChF,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAgC,EAAE,CAAC,GAAG,EAAE;IACxE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAEnD,MAAM,OAAO,GAAG,CAAC,CAA2B,EAAoC,EAAE,CAChF,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAU,CAAC,CAAC;IAEpD,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,yCAAyC;QACzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC3C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,IAAI;gBAAE,SAAS;YACzB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;gBACnB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACzD,IAAI,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/B,cAAc,EAAE,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5F,MAAM,MAAM,GAAG,CAAC,EAAU,EAAU,EAAE;gBACpC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACV,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;oBAAE,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;wBAAE,CAAC,EAAE,CAAC;gBAC9D,OAAO,CAAC,CAAC;YACX,CAAC,CAAC;YACF,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5G,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;YAChE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE;gBACnC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;gBAC1B,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;YACnE,CAAC,CAAC,CAAC;YACH,MAAM,EAAE,GAAG,CAAC,IAAc,EAAU,EAAE;gBACpC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBACnC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAClD,CAAC,CAAC;YACF,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,IAAI,CAAC,EAAE;gBACjB,OAAO;gBACP,UAAU;gBACV,cAAc,EAAE,EAAE,CAAC,UAAU,CAAC;gBAC9B,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC;gBAClB,UAAU,EAAE,UAAU,CAAC,MAAM;aAC9B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,EAAqB,EAAU,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;IAC3H,OAAO;QACL,CAAC;QACD,MAAM;QACN,cAAc;QACd,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,MAAM;QAClE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM;QACtD,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QAC/E,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC;QAC5D,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;KACjD,CAAC;AACJ,CAAC"}

package/dist/atlas/model.d.ts

@@ -0,0 +1,70 @@
+/**
+ * The `Model` record — Phase 3's promotion of the Phase 0 `AtlasModel`.
+ *
+ * ROADMAP Phase 3 makes the MODEL the unit rather than the equation: state
+ * space, dynamics, observables, parameters, boundary/initial data, symmetry
+ * group where known, regime. This module is the record's new home; the nine
+ * Phase 0 fields are carried over unchanged and three are added.
+ *
+ * **`boundaryData`, `initialData` and `symmetryGroup` are all OPTIONAL**
+ * (`docs/planning/Atlas-Phase-3-Design.md` §4, which supersedes the
+ * implementation plan's wording on the first two). No boundary or initial
+ * data is recorded for the nine oscillator models, so a required field would
+ * force either fabricated values or empty ones asserting "there are none".
+ * `oscillators/models.ts` refuses exactly that fabrication for `inequalities`.
+ * **An absent field says "not recorded"; a present empty one says "there are
+ * none", and only one of those is true here** — so the nine literals stay
+ * byte-identical and record nothing they do not have a source for.
+ *
+ * `src/atlas/serialize.ts` enumerates model fields explicitly, so a model
+ * carrying none of the three serializes byte-identically to Phase 0's
+ * committed `data/atlas/oscillators.json`.
+ *
+ * @module atlas/model
+ */
+import type { DimensionalVariable } from '../dimensional/buckingham.js';
+import type { Regime } from './types.js';
+/**
+ * One model in the atlas.
+ *
+ * The first nine fields are Phase 0's `AtlasModel` verbatim. The last three
+ * are the Phase 3 additions and are omitted, never emptied, when unrecorded.
+ *
+ * @public
+ */
+export interface AtlasModel {
+    /** `'model-spring'`, `'model-lc'`, … */
+    readonly id: string;
+    readonly family: string;
+    readonly stateSpace: string;
+    /** Display form of the ODE. */
+    readonly dynamics: string;
+    readonly observables: readonly string[];
+    /** Dimensioned parameters. */
+    readonly parameters: readonly DimensionalVariable[];
+    /** `'theta0'`, `'qa'` — declared with the zero dimension. */
+    readonly dimensionlessInputs: readonly string[];
+    /** `'CE-simple-harmonic-frequency'`, … — must resolve in `CANONICAL_EQUATIONS`. */
+    readonly canonicalRefs: readonly string[];
+    readonly regime: Regime;
+    /**
+     * Boundary conditions the model is posed with, each as its stated display
+     * form (`'u(0, t) = u(L, t) = 0'`). **Omit when none is recorded** — an
+     * empty array would claim the model has no boundary conditions.
+     */
+    readonly boundaryData?: readonly string[];
+    /**
+     * Initial conditions the model is posed with (`'x(0) = x₀'`). Omit when
+     * none is recorded; see `boundaryData`.
+     */
+    readonly initialData?: readonly string[];
+    /**
+     * The symmetry group where it is known, as stated (`'SO(2)'`,
+     * `'time translation'`). Omit when unknown — Phase 3 records only
+     * symmetries a source states.
+     */
+    readonly symmetryGroup?: string;
+}
+/** A `Model`'s id, as `CanonicalEquation.model` references it. @internal */
+export type ModelId = string;
+//# sourceMappingURL=model.d.ts.map

package/dist/atlas/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/atlas/model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC;;;;;;;GAOG;AACH,MAAM,WAAW,UAAU;IACzB,wCAAwC;IACxC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,+BAA+B;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,8BAA8B;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACpD,6DAA6D;IAC7D,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,mFAAmF;IACnF,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAGxB;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C;;;OAGG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC;;;;OAIG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,4EAA4E;AAC5E,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC"}

package/dist/atlas/model.js

@@ -0,0 +1,26 @@
+/**
+ * The `Model` record — Phase 3's promotion of the Phase 0 `AtlasModel`.
+ *
+ * ROADMAP Phase 3 makes the MODEL the unit rather than the equation: state
+ * space, dynamics, observables, parameters, boundary/initial data, symmetry
+ * group where known, regime. This module is the record's new home; the nine
+ * Phase 0 fields are carried over unchanged and three are added.
+ *
+ * **`boundaryData`, `initialData` and `symmetryGroup` are all OPTIONAL**
+ * (`docs/planning/Atlas-Phase-3-Design.md` §4, which supersedes the
+ * implementation plan's wording on the first two). No boundary or initial
+ * data is recorded for the nine oscillator models, so a required field would
+ * force either fabricated values or empty ones asserting "there are none".
+ * `oscillators/models.ts` refuses exactly that fabrication for `inequalities`.
+ * **An absent field says "not recorded"; a present empty one says "there are
+ * none", and only one of those is true here** — so the nine literals stay
+ * byte-identical and record nothing they do not have a source for.
+ *
+ * `src/atlas/serialize.ts` enumerates model fields explicitly, so a model
+ * carrying none of the three serializes byte-identically to Phase 0's
+ * committed `data/atlas/oscillators.json`.
+ *
+ * @module atlas/model
+ */
+export {};
+//# sourceMappingURL=model.js.map

package/dist/atlas/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/atlas/model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG"}

package/dist/atlas/oscillators/bridges-coarse.d.ts

@@ -0,0 +1,71 @@
+/**
+ * Bridge 5 of the oscillator pilot: the COARSE-GRAINING bridge from the
+ * discrete mass–spring chain to the 1-D wave equation.
+ *
+ * This is the only Phase 0 bridge whose relation is `coarse-graining`: the
+ * reduction map `u_n(t) ↦ u(x = na, t)` is not invertible, and the
+ * short-wavelength half of the lattice Brillouin zone (`q > π/a`) has no image
+ * in the continuum model. The information loss is therefore recorded in
+ * `doesNotPreserve` and witnessed numerically by `W9`.
+ *
+ * @module atlas/oscillators/bridges-coarse
+ */
+import type { AtlasBridge, RelationContract } from '../types.js';
+/**
+ * The lattice dispersion relation of `m u_n″ = κ(u_{n+1} − 2u_n + u_{n−1})`:
+ * `ω(q) = 2 √(κ/m) |sin(qa/2)|`.
+ *
+ * @internal
+ */
+export declare function latticeDispersion(q: number, a: number, kappa: number, m: number): number;
+/**
+ * The continuum dispersion relation of `u_tt = c² u_xx` with `c² = κ a² / m`:
+ * `ω = c q`.
+ *
+ * @internal
+ */
+export declare function continuumDispersion(q: number, a: number, kappa: number, m: number): number;
+/** The long-wavelength wave speed `c = a √(κ/m)`. @internal */
+export declare function chainWaveSpeed(a: number, kappa: number, m: number): number;
+/**
+ * The band edge of the lattice, at `qa = π`: `ω_max = 2 √(κ/m)`.
+ * The continuum relation `ω = c q` is unbounded and has no counterpart —
+ * that absence IS the information the coarse-graining discards.
+ *
+ * @internal
+ */
+export declare function latticeBandEdge(kappa: number, m: number): number;
+/**
+ * Leading-order relative dispersion error `1 − ω_lattice/ω_continuum`,
+ * approximated as `(qa)²/24`.
+ *
+ * Convention note (fixed for the whole sprint): with `x = qa/2`,
+ * `1 − sin x / x = x²/6 − x⁴/120 + …`, so the true relative error is
+ * `(qa)²/24 − (qa)⁴/1920`. The quartic term makes `(qa)²/24` an
+ * OVERESTIMATE; the signed deviation `(true − approx)/approx` is therefore
+ * NEGATIVE and equals `−(qa)²/80` to leading order. The W9 assertion is on
+ * the MAGNITUDE, so the sign convention does not change the test — it is
+ * stated here so the next reader does not rederive it.
+ *
+ * @internal
+ */
+export declare function dispersionErrorApproximation(qa: number): number;
+/** Bridge 5: chain → wave equation by coarse-graining. @internal */
+export declare const BRIDGE_CHAIN_WAVE: AtlasBridge;
+/**
+ * Bridge 5 re-registered through `RelationContract`.
+ *
+ * `coarse-graining` leaves `bound` OPTIONAL, and this record carries none: the
+ * `qa²/24` dispersion residual is a per-mode series term, not a Lipschitz
+ * constant with a uniform offset in a stated norm. The union permits the
+ * absence rather than forcing an invented `K` and `delta`.
+ *
+ * No `deltaAt` either, for the same reason and by the same rule: `deltaAt` is
+ * the machine form OF a `delta`, so a record with no `delta` has nothing for
+ * it to be the machine form of. `admitApproximation` requires `deltaAt` only
+ * of an `approximation`, so this record passes admission unchanged.
+ *
+ * @internal
+ */
+export declare const CONTRACT_CHAIN_WAVE: RelationContract;
+//# sourceMappingURL=bridges-coarse.d.ts.map

package/dist/atlas/oscillators/bridges-coarse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridges-coarse.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/bridges-coarse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAMjE;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAExF;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAE1F;AAED,+DAA+D;AAC/D,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAE1E;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,4BAA4B,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED,oEAAoE;AACpE,eAAO,MAAM,iBAAiB,EAAE,WAmE/B,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,mBAAmB,EAAE,gBAAwD,CAAC"}