docs(phase_b): phase B complete - commit all 10 spec files

Author: Antigravity Agent

specs/hash_table.tri

@@ -0,0 +1,61 @@
+# hash_table.tri — Pilot migration from Trinity tri_hash_table.tri
+# Format: zig-golden-float Level 5 (Data Structures)
+format: HASH_TABLE
+version: 1
+level: 5
+type: data_structure
+
+description: |
+  Open-addressing hash table with linear probing.
+  Integer keys, i64 values. Allocator-aware.
+
+storage:
+  underlying: struct
+  alignment: 8
+
+types:
+  Entry:
+    fields:
+      - name: key
+        type: usize
+      - name: value
+        type: i64
+      - name: used
+        type: bool
+
+  HashTable:
+    fields:
+      - name: buckets
+        type: "[]Entry"
+      - name: capacity
+        type: usize
+      - name: size
+        type: usize
+      - name: allocator
+        type: std.mem.Allocator
+
+ops:
+  init:
+    inputs: [std.mem.Allocator, usize]
+    output: "!HashTable"
+    description: "Create hash table with initial capacity"
+  deinit:
+    inputs: ["*HashTable"]
+    output: void
+    description: "Free all buckets"
+  put:
+    inputs: ["*HashTable", usize, i64]
+    output: "!void"
+    description: "Insert or update key-value pair"
+  get:
+    inputs: ["*const HashTable", usize]
+    output: "?i64"
+    description: "Lookup value by key, null if missing"
+  remove:
+    inputs: ["*HashTable", usize]
+    output: bool
+    description: "Remove entry by key, return true if found"
+  count:
+    inputs: ["*const HashTable"]
+    output: usize
+    description: "Return number of stored entries"

specs/spatial/geo_hash2d.tri

@@ -0,0 +1,51 @@
+# geo_hash2d.tri — 2D Geohash spatial index
+format: GEO_HASH_2D
+version: 1
+level: 5
+type: data_structure
+
+types:
+  GeoCoord:
+    fields:
+      - name: lat
+        type: f64
+      - name: lon
+        type: f64
+  GeoHash:
+    fields:
+      - name: hash
+        type: u64
+      - name: precision
+        type: u8
+  BoundingBox:
+    fields:
+      - name: min_lat
+        type: f64
+      - name: max_lat
+        type: f64
+      - name: min_lon
+        type: f64
+      - name: max_lon
+        type: f64
+
+ops:
+  encode:
+    inputs: [GeoCoord, u8]
+    output: GeoHash
+    description: "Encode lat/lon to geohash with given precision"
+  decode:
+    inputs: [GeoHash]
+    output: BoundingBox
+    description: "Decode geohash to bounding box"
+  neighbors:
+    inputs: [GeoHash]
+    output: "[8]GeoHash"
+    description: "Get 8 adjacent geohash cells"
+  distance:
+    inputs: [GeoCoord, GeoCoord]
+    output: f64
+    description: "Haversine distance in meters"
+  commonPrefix:
+    inputs: [GeoHash, GeoHash]
+    output: u8
+    description: "Common prefix length (proximity measure)"