wip

packages/core/src/Bundle.ts

@@ -17,6 +17,7 @@ export type Bundle = {
  spaces: Map<Id, Space>
  traits: Map<Id, Trait<Id>>
  theorems: Map<Id, Theorem>
+ mathlib?: { name: string; id: string }[]
  version: Version
 }
 
@@ -26,6 +27,14 @@ export const serializedSchema = z.object({
  theorems: z.array(theoremSchema),
  traits: z.array(traitSchema(z.string())),
  version: z.object({ ref: z.string(), sha: z.string() }),
+ mathlib: z
+ .array(
+ z.object({
+ id: z.string(),
+ name: z.string(),
+ }),
+ )
+ .optional(),
 })
 
 export type Serialized = z.infer<typeof serializedSchema>
@@ -41,14 +50,16 @@ export function serialize(bundle: Bundle): Serialized {
 }
 
 export function deserialize(data: unknown): Bundle {
- const serialized = serializedSchema.parse(data)
+ const { properties, spaces, theorems, traits, version, mathlib } =
+ serializedSchema.parse(data)
 
  return {
- properties: indexBy(serialized.properties, p => p.uid),
- spaces: indexBy(serialized.spaces, s => s.uid),
- theorems: indexBy(serialized.theorems, t => t.uid),
- traits: indexBy(serialized.traits, traitId),
- version: serialized.version,
+ properties: indexBy(properties, p => p.uid),
+ spaces: indexBy(spaces, s => s.uid),
+ theorems: indexBy(theorems, t => t.uid),
+ traits: indexBy(traits, traitId),
+ mathlib,
+ version,
  }
 }
 

packages/viewer/src/gateway.ts

@@ -30,6 +30,7 @@ export function sync(
  return async (host: string, branch: string, etag?: string) => {
  trace({ event: 'remote_fetch_started', host, branch })
  const result = await pb.bundle.fetch({ host, branch, etag, fetch })
+ console.log('fetched', result)
 
  if (result) {
  trace({ event: 'remote_fetch_complete', result })