From 7bc538df83cb3a3bdbdc5487b48eb1c172e4547a Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Sat, 25 Nov 2023 16:56:47 +0000
Subject: [PATCH] support omitted prefix

---
 packages/core/src/Id.ts | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/packages/core/src/Id.ts b/packages/core/src/Id.ts
index 6f8c148d..187d6353 100644
--- a/packages/core/src/Id.ts
+++ b/packages/core/src/Id.ts
@@ -6,12 +6,13 @@ export type Tagged =
   | PropertyId
   | TheoremId
   | { kind: 'trait'; space: number; property: number }
+  | { kind: 'unknown'; id: number }
 
 export type SpaceId = { kind: 'space'; id: number }
 export type PropertyId = { kind: 'property'; id: number }
 export type TheoremId = { kind: 'theorem'; id: number }
 
-const pattern = /^(?<prefix>[spti])0*(?<id>\d+)/i
+const pattern = /^(?<prefix>[spti])?0*(?<id>\d+)/i
 
 export function traitId({ space, property }: TraitId): string {
   return `${space}|${property}`
@@ -33,6 +34,9 @@ export function tag(input: string): Tagged | null {
   }
 
   const id = parseInt(match.groups.id)
+  if (!match.groups.prefix) {
+    return { kind: 'unknown', id }
+  }
   switch (match.groups.prefix.toUpperCase()) {
     case 'S':
       return { kind: 'space', id }