@motionstudies/core 0.1.0-alpha.18 → 0.1.0-alpha.19

package/README.md

@@ -246,7 +246,7 @@ These transport-neutral modules came from Zugunruhe's radar-field studies and se
 
 Render support as opacity or reach, not as confidence in the underlying measurement: it says how far the nearest evidence is, nothing about that evidence's accuracy. The kernel scale is a claim about resolution and belongs in the study's provenance.
 
-`@motionstudies/core/domain/published-day` reads a published day of the national layer as the recording host compiles it: `openPublishedDay` takes a transport (`fetchTransport` over a base URL, or any pair of text and bytes readers) and returns the manifest and index up front, then slices, members and packs on demand and cached per file; `partFor` resolves an operator and vehicle to the pack part that holds it; `sliceNameAt` and `cellOf` reproduce the compiler's slice and cell rules exactly, so a position lands in the cell the compiler put it in; `positionAt` interpolates along a track only inside a tolerated gap, and `journeyAt` finds the run in force at an instant. Packs are gunzipped with the platform's `DecompressionStream` unless an inflater is supplied.
+`@motionstudies/core/domain/published-day` reads a published day of the national layer as the recording host compiles it: `openPublishedDay` takes a transport (`fetchTransport` over a base URL, or any pair of text and bytes readers) and returns the manifest and index up front, then slices, members and packs on demand and cached per file; `partFor` resolves an operator and vehicle to the pack part that holds it; `sliceNameAt` and `cellOf` reproduce the compiler's slice and cell rules exactly, so a position lands in the cell the compiler put it in; `positionAt` interpolates along a track only inside a tolerated gap, and `journeyAt` finds the run in force at an instant. Before a composition is built on a day, `checkDayManifest` reports any disagreement between the manifest's hours, slice count, file list and totals, and `reconcileSlice` reports any cell whose distinct-vehicle count differs from its members or that appears in only one of the two files; both return an empty list when consistent. A trimmed fixture fails the manifest check by design. Packs are gunzipped with the platform's `DecompressionStream` unless an inflater is supplied.
 
 `@motionstudies/core/domain/gridded-series` reads a regular latitude/longitude grid of variables at listed instants. `bracketTime` finds the adjacent frames; `sampleGriddedSeries` interpolates bilinearly in space and linearly in time; `meanGriddedSeries` returns an area-weighted mean, with an optional valid range. A missing sample with any weight makes the reading unavailable instead of bridging the gap. Values keep the source's units; the consumer converts percentages or applies its own scale.
 

package/domain/published-day.d.ts

@@ -89,6 +89,14 @@ export declare function cellOf(lon: number, lat: number): readonly [number, numb
 export declare function cellKey(cellLon: number, cellLat: number): string;
 /** The pack part holding a vehicle: the only part, or the part whose reference list names it. */
 export declare function partFor(index: DayIndex, operatorRef: string, vehicleRef: string): PackPart | null;
+/** Problems with a compiled day's manifest, empty when consistent: all 24 hours of the date accounted for once, one
+ * slice and one members file per slice, and the file list agreeing with the stated file and byte totals (the manifest
+ * itself is the one unlisted file). A trimmed fixture, whose statistics describe the whole day, fails by design. */
+export declare function checkDayManifest(manifest: PublishedDayManifest): string[];
+/** Problems reconciling a slice with its members, empty when they agree: the sea and the shoal must count the same
+ * vehicles. Each cell's distinct-vehicle count equals its distinct members, no member repeats, and neither file names
+ * a cell the other lacks. Samples are not checked here; members carry identities, not sample counts. */
+export declare function reconcileSlice(slice: SliceFile, members: MembersFile): string[];
 /** Position along a track at an instant: linear between the samples around it, null outside the track or across a
  * gap longer than the tolerance, so a vehicle that stopped reporting does not glide. */
 export declare function positionAt(track: readonly TrackPoint[], epochSeconds: number, maxGapSeconds?: number): readonly [lon: number, lat: number] | null;

package/domain/published-day.js

@@ -31,6 +31,54 @@ export function partFor(index, operatorRef, vehicleRef) {
         return op.parts[0];
     return op.parts.find(p => p.refs?.includes(vehicleRef)) ?? null;
 }
+/** Problems with a compiled day's manifest, empty when consistent: all 24 hours of the date accounted for once, one
+ * slice and one members file per slice, and the file list agreeing with the stated file and byte totals (the manifest
+ * itself is the one unlisted file). A trimmed fixture, whose statistics describe the whole day, fails by design. */
+export function checkDayManifest(manifest) {
+    const problems = [], hours = [...manifest.hours.present, ...manifest.hours.missing], distinct = new Set(hours).size;
+    if (hours.length !== 24 || distinct !== 24)
+        problems.push(`Hours present and missing account for ${distinct} distinct of 24, listed ${hours.length} times`);
+    if (hours.some(h => !h.startsWith(`${manifest.date}T`)))
+        problems.push('An hour lies outside the manifest date');
+    const count = (prefix) => manifest.list.filter(f => f.path.startsWith(prefix)).length;
+    if (manifest.stats.slices !== manifest.slices)
+        problems.push(`Statistics count ${manifest.stats.slices} slices; the manifest ${manifest.slices}`);
+    if (count('slices/') !== manifest.slices)
+        problems.push(`${count('slices/')} slice files listed for ${manifest.slices} slices`);
+    if (count('members/') !== manifest.slices)
+        problems.push(`${count('members/')} members files listed for ${manifest.slices} slices`);
+    if (manifest.list.length + 1 !== manifest.files)
+        problems.push(`${manifest.list.length} listed files and the manifest disagree with ${manifest.files} files`);
+    const bytes = manifest.list.reduce((a, f) => a + f.bytes, 0);
+    if (bytes !== manifest.bytes)
+        problems.push(`Listed files hold ${bytes} bytes; the manifest states ${manifest.bytes}`);
+    return problems;
+}
+/** Problems reconciling a slice with its members, empty when they agree: the sea and the shoal must count the same
+ * vehicles. Each cell's distinct-vehicle count equals its distinct members, no member repeats, and neither file names
+ * a cell the other lacks. Samples are not checked here; members carry identities, not sample counts. */
+export function reconcileSlice(slice, members) {
+    if (slice.slice !== members.slice)
+        return [`Slice ${slice.slice} paired with members of ${members.slice}`];
+    const problems = [], seen = new Set();
+    for (const [lon, lat, , vehicles] of slice.cells) {
+        const key = cellKey(lon, lat), refs = members.cells[key];
+        seen.add(key);
+        if (!refs) {
+            problems.push(`Cell ${key} counts ${vehicles} vehicles and has no members`);
+            continue;
+        }
+        const unique = new Set(refs.map(member => JSON.stringify(member))).size;
+        if (unique !== refs.length)
+            problems.push(`Cell ${key} repeats a member`);
+        if (unique !== vehicles)
+            problems.push(`Cell ${key} counts ${vehicles} vehicles but lists ${unique} members`);
+    }
+    for (const key of Object.keys(members.cells))
+        if (!seen.has(key))
+            problems.push(`Members name cell ${key}, absent from the slice`);
+    return problems;
+}
 /** Position along a track at an instant: linear between the samples around it, null outside the track or across a
  * gap longer than the tolerance, so a vehicle that stopped reporting does not glide. */
 export function positionAt(track, epochSeconds, maxGapSeconds = 180) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@motionstudies/core",
-  "version": "0.1.0-alpha.18",
+  "version": "0.1.0-alpha.19",
   "private": false,
   "type": "module",
   "description": "Transport contracts and motion primitives for Motion Studies.",