Commit graph

  • cb884f96b0 chore(cleanup): remove shared-data archive lean_binned from repo allaun 2026-06-22 05:01:33 -05:00
  • 513d2484a3 fix(infra): escape Gremlin properties and fix ENE shell escaping allaun 2026-06-22 04:18:24 -05:00
  • b258418782 fix(infra): escape Gremlin properties and fix ENE shell escaping allaun 2026-06-22 04:18:24 -05:00
  • 5cfa8f0898 chore(cleanup): remove ingested corpus artifacts and scratch scripts allaun 2026-06-22 04:00:32 -05:00
  • 7dfa40d754 chore(cleanup): remove ingested corpus artifacts and scratch scripts allaun 2026-06-22 04:00:32 -05:00
  • e02786e310 feat(scripts): Gremlin escaping + ENE table population from extraction allaun 2026-06-22 03:52:06 -05:00
  • faf7386bf4 feat(scripts): Gremlin escaping + ENE table population from extraction allaun 2026-06-22 03:52:06 -05:00
  • 5e7200c84f feat(infra): add optional --rrc alignment to lake_build_ingest.py allaun 2026-06-22 03:46:58 -05:00
  • 6326bd2d92 feat(infra): add optional --rrc alignment to lake_build_ingest.py allaun 2026-06-22 03:46:58 -05:00
  • 94b04ae321 docs: add rebase rules manifest and SilverSight claims manifest allaun 2026-06-22 03:28:53 -05:00
  • af80f3cfd4 docs: add rebase rules manifest and SilverSight claims manifest allaun 2026-06-22 03:28:53 -05:00
  • ea34d8a38b chore(gitignore): ignore local opencode config file allaun 2026-06-22 03:26:34 -05:00
  • 8c96f4c877 chore(gitignore): ignore local opencode config file allaun 2026-06-22 03:26:34 -05:00
  • 44688e29da chore(submodule): bump research-compute-fabric to mark RDS refs dead allaun 2026-06-22 03:23:53 -05:00
  • fe22d5d543 chore(submodule): bump research-compute-fabric to mark RDS refs dead allaun 2026-06-22 03:23:53 -05:00
  • 32d1962412 feat(opencode): enable local headroom MCP server allaun 2026-06-22 03:23:33 -05:00
  • 9f35df6932 feat(opencode): enable local headroom MCP server allaun 2026-06-22 03:23:33 -05:00
  • 1a44f890c8 fix(infra): make lake_build_ingest.py duplicate-safe allaun 2026-06-22 02:48:51 -05:00
  • b11cf417be fix(infra): make lake_build_ingest.py duplicate-safe allaun 2026-06-22 02:48:51 -05:00
  • 779f4fe413 feat(data): add DB sync scripts and infra tracking allaun 2026-06-22 02:40:13 -05:00
  • c211b0b243 feat(data): add DB sync scripts and infra tracking allaun 2026-06-22 02:40:13 -05:00
  • 762c88057a docs(infra): document build-log automation in AGENTS.md allaun 2026-06-22 02:37:00 -05:00
  • 8a46aa9229 docs(infra): document build-log automation in AGENTS.md allaun 2026-06-22 02:37:00 -05:00
  • f3d11359c6 docs(infra): document canonical database locations and lake build ingest shim allaun 2026-06-22 02:22:34 -05:00
  • 4b0cd5fd8c docs(infra): document canonical database locations and lake build ingest shim allaun 2026-06-22 02:22:34 -05:00
  • 27efd54f6d feat(infra): add lake build ingestion shim for ENE database allaun 2026-06-22 02:20:17 -05:00
  • 670667951b feat(infra): add lake build ingestion shim for ENE database allaun 2026-06-22 02:20:17 -05:00
  • 69988453bc chore(infra): stage working tree modifications allaun 2026-06-22 01:23:17 -05:00
  • 8adfe4d92f chore(infra): stage working tree modifications allaun 2026-06-22 01:23:17 -05:00
  • 1f7ec15f12 feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM allaun 2026-06-22 01:21:58 -05:00
  • c310f986a8 feat(lean): add logarithmic viscosity coordinates to NKHodgeFAMM allaun 2026-06-22 01:21:58 -05:00
  • 8079ca3a20 docs(infra): document bosonic tensor network regime discovery and fix dim formula allaun 2026-06-22 00:48:51 -05:00
  • 2a1ed114fd docs(infra): document bosonic tensor network regime discovery and fix dim formula allaun 2026-06-22 00:48:51 -05:00
  • b2b94b93c8 chore: configure WOLFRAM_APP_ID for wolfram-mcp allaun 2026-06-22 00:24:37 -05:00
  • 8bb530dd54 chore: configure WOLFRAM_APP_ID for wolfram-mcp allaun 2026-06-22 00:24:37 -05:00
  • 040b0ef61f docs(infra): document hybrid arxiv search infrastructure allaun 2026-06-21 22:32:51 -05:00
  • a996b93a4e docs(infra): document hybrid arxiv search infrastructure allaun 2026-06-21 22:32:51 -05:00
  • 88db8987b0 feat(infra): add hybrid arxiv search with pgvector HNSW + pg_trgm allaun 2026-06-21 22:31:42 -05:00
  • a3ff1f1444 feat(infra): add hybrid arxiv search with pgvector HNSW + pg_trgm allaun 2026-06-21 22:31:42 -05:00
  • d28e9de6ca fix(infra): optimize drive compression memory usage and download skip allaun 2026-06-21 20:59:24 -05:00
  • 81b6253261 fix(infra): optimize drive compression memory usage and download skip allaun 2026-06-21 20:59:24 -05:00
  • 0149a5c93d feat(infra): add MCP-only Drive GCCL compression shim allaun 2026-06-21 20:00:05 -05:00
  • cfed3d3747 feat(infra): add MCP-only Drive GCCL compression shim allaun 2026-06-21 20:00:05 -05:00
  • 2b3d255a40 feat(infra): add fast Jaccard matcher using /shm keyword index allaun 2026-06-21 18:56:30 -05:00
  • e5a96574b3 feat(infra): add fast Jaccard matcher using /shm keyword index allaun 2026-06-21 18:56:30 -05:00
  • 5a8179fe38 feat(infra): add Jaccard matcher for arxiv paper discovery allaun 2026-06-21 18:39:59 -05:00
  • 65889a189a feat(infra): add Jaccard matcher for arxiv paper discovery allaun 2026-06-21 18:39:59 -05:00
  • bc8657ff15 docs(glossary): update Jaccard Matcher with live results allaun 2026-06-21 18:39:52 -05:00
  • b2720112df docs(glossary): update Jaccard Matcher with live results allaun 2026-06-21 18:39:52 -05:00
  • 965ef8113e feat(data): expand concept map with governance, specs, receipts, infra allaun 2026-06-21 17:23:06 -05:00
  • 462689e5a3 feat(data): expand concept map with governance, specs, receipts, infra allaun 2026-06-21 17:23:06 -05:00
  • a0ec34c6fa feat(data): full Google Drive markdown inventory allaun 2026-06-21 16:57:49 -05:00
  • 298298b55f feat(data): full Google Drive markdown inventory allaun 2026-06-21 16:57:49 -05:00
  • 3cdf0d11e9 docs(glossary): add concept map, citations, PIST classifier, SilverSight entries allaun 2026-06-21 16:51:50 -05:00
  • e2da75566c docs(glossary): add concept map, citations, PIST classifier, SilverSight entries allaun 2026-06-21 16:51:50 -05:00
  • 67e77d8f24 feat(lean,infra): SilverSight-first offline PIST trace classifier allaun 2026-06-21 16:33:31 -05:00
  • 9cf0c77e4e feat(lean,infra): SilverSight-first offline PIST trace classifier allaun 2026-06-21 16:33:31 -05:00
  • 19f40d03c4 feat(data): add concept maps and academic citation grounding allaun 2026-06-21 15:44:22 -05:00
  • 61697be63f feat(data): add concept maps and academic citation grounding allaun 2026-06-21 15:44:22 -05:00
  • 7b731f87c0 feat(rrc): add offline token-free trace classifier allaun 2026-06-21 15:20:19 -05:00
  • 4521333780 feat(rrc): add offline token-free trace classifier allaun 2026-06-21 15:20:19 -05:00
  • 4dd0c18759 docs(plans): address review conditions on completion pipeline allaun 2026-06-21 14:29:38 -05:00
  • 24f552ffb1 docs(plans): address review conditions on completion pipeline allaun 2026-06-21 14:29:38 -05:00
  • f7c08f7a6a docs(plans): expand SilverSight completion pipeline to microstep level allaun 2026-06-21 14:16:57 -05:00
  • e9adcd11e0 docs(plans): expand SilverSight completion pipeline to microstep level allaun 2026-06-21 14:16:57 -05:00
  • 37d05d1a77 docs(plans): add SilverSight completion pipeline design allaun 2026-06-21 14:08:05 -05:00
  • 8640e8a99f docs(plans): add SilverSight completion pipeline design allaun 2026-06-21 14:08:05 -05:00
  • 7098ee0d64 docs(specs): add SilverSight specification draft with Core Semantics sections allaun 2026-06-21 14:01:42 -05:00
  • 2be5f319e9 docs(specs): add SilverSight specification draft with Core Semantics sections allaun 2026-06-21 14:01:42 -05:00
  • 5bea52a09a fix(infra): wrap lean-lsp-mcp to correct severity schema for Moonshot API allaun 2026-06-21 05:31:11 -05:00
  • 6811369540 fix(infra): wrap lean-lsp-mcp to correct severity schema for Moonshot API allaun 2026-06-21 05:31:11 -05:00
  • 13c640bf29 universal-encoding: chirality spaces — 4D descriptor, 1,100 lines Allaun Silverfox 2026-06-21 04:27:45 -05:00
  • 6ce7853d12 universal-encoding: chirality spaces — 4D descriptor, 1,100 lines Allaun Silverfox 2026-06-21 04:27:45 -05:00
  • a618b8de11 universal-encoding: 50-token mathematical address space, 1,000 lines Allaun Silverfox 2026-06-21 04:22:37 -05:00
  • 65fadcd353 universal-encoding: 50-token mathematical address space, 1,000 lines Allaun Silverfox 2026-06-21 04:22:37 -05:00
  • 35ad40cfae binding-site: 3 outlines, 1,300 lines, Hachimoji × protein structures Allaun Silverfox 2026-06-21 04:16:34 -05:00
  • 90bfe58cbb binding-site: 3 outlines, 1,300 lines, Hachimoji × protein structures Allaun Silverfox 2026-06-21 04:16:34 -05:00
  • a60132e0ff pvgs-dq: 8 domain experts, 6,150 lines, complete bridge Allaun Silverfox 2026-06-21 04:00:24 -05:00
  • 79b4372689 pvgs-dq: 8 domain experts, 6,150 lines, complete bridge Allaun Silverfox 2026-06-21 04:00:24 -05:00
  • 8e51acad08 audit: full codebase inspection — 6 auditors, 9,606 objects, 2,068 lines of findings Allaun Silverfox 2026-06-21 02:07:35 -05:00
  • 25eee34f46 audit: full codebase inspection — 6 auditors, 9,606 objects, 2,068 lines of findings Allaun Silverfox 2026-06-21 02:07:35 -05:00
  • b37d705065 fix(config): remove .cursor/mcp.json to prevent OpenCode duplicate MCP loads allaun 2026-06-21 01:33:04 -05:00
  • e41054128a fix(config): remove .cursor/mcp.json to prevent OpenCode duplicate MCP loads allaun 2026-06-21 01:33:04 -05:00
  • 9ecd29361b feat(skills): add headroom autoloaded skill for Research Stack allaun 2026-06-21 01:27:21 -05:00
  • 355ceda424 feat(skills): add headroom autoloaded skill for Research Stack allaun 2026-06-21 01:27:21 -05:00
  • 0b43e3b9e6 fix(infra): add headroom MCP to minimal config allaun 2026-06-21 01:26:12 -05:00
  • 8a37824ce4 fix(infra): add headroom MCP to minimal config allaun 2026-06-21 01:26:12 -05:00
  • 5bc4865424 fix(infra): deduplicate MCP servers to reduce memory pressure allaun 2026-06-21 01:24:47 -05:00
  • 00b814a1d4 fix(infra): deduplicate MCP servers to reduce memory pressure allaun 2026-06-21 01:24:47 -05:00
  • dad5d9feab conceptual-upgrade: operator-theoretic Hachimoji codec v2 Allaun Silverfox 2026-06-21 01:15:17 -05:00
  • 3160f239b7 conceptual-upgrade: operator-theoretic Hachimoji codec v2 Allaun Silverfox 2026-06-21 01:15:17 -05:00
  • 6f1987f210 chore(submodule): bump research-compute-fabric to cb73aef8 allaun 2026-06-21 01:05:41 -05:00
  • fde298a94e chore(submodule): bump research-compute-fabric to cb73aef8 allaun 2026-06-21 01:05:41 -05:00
  • daec7cd487 chore(deps): add uv.lock for reproducible Python environment allaun 2026-06-21 01:02:49 -05:00
  • 44c892b622 chore(deps): add uv.lock for reproducible Python environment allaun 2026-06-21 01:02:49 -05:00
  • 55d3c281c4 feat(infra): Semantic Scholar Cloudflare worker proxy allaun 2026-06-21 01:02:23 -05:00
  • 1d6dc950c7 feat(infra): Semantic Scholar Cloudflare worker proxy allaun 2026-06-21 01:02:23 -05:00
  • 6e9f887a02 feat(data): pyrochlore receipt v2 and complete graph loader allaun 2026-06-21 01:02:19 -05:00
  • 1ee833a621 feat(data): pyrochlore receipt v2 and complete graph loader allaun 2026-06-21 01:02:19 -05:00
  • 5d6a4765fc feat(docs): architecture and speculative materials updates allaun 2026-06-21 01:02:13 -05:00