{"host":"higher-borel-jets.grok.me","title":"Borel Jet Extensions","description":"A formal note on Borel jet extensions, their algebra, and jet-order optimization, read in ∞-groupoids and homotopy type theory.","tag":"writing","firstSeen":"2026-10-11T01:07:58.407Z","lastOk":"2026-10-11T02:05:22.905Z","probedAt":"2026-10-11T02:05:22.905Z","status":"live","httpStatus":200,"access":"public","seed":"submit","lastDeadAt":null,"failCount":0,"isTemplate":false,"isNamedSlug":true,"clusterId":null,"canonicalHost":"higher-borel-jets.grok.me","thumbnailUrl":"https://radioactive.tor1.cdn.digitaloceanspaces.com/thumbs/higher-borel-jets.grok.me.webp","titleCollisions":0,"hasOg":true,"brief":{"score":6,"scoreLabel":"Built","scoreWhy":"Detected local persistence.","summary":"Borel Jet Extensions is wired up with local persistence.","stack":[],"features":["Local persistence"],"services":[],"notable":["Ships its own share image"],"flags":{"remix":false,"auth":false,"og":true,"template":false},"source":"heuristic","generatedAt":"2026-10-11T02:05:21.414Z"}}