{
 "what": "public open artifacts under the lab's GitHub and Hugging Face accounts, every artifact URL the page links, and the five company domains",
 "measured_utc": "2026-10-03T23:22:17Z",
 "open_artifacts_total": 102,
 "github_public_repositories": 76,
 "huggingface_datasets": 14,
 "huggingface_spaces": 12,
 "huggingface_datasets_excluded": [
  {
   "id": "nickh007/Artificial-Generic-Intelligence",
   "created": "2025-03-17",
   "why": "created before 2025-12-29, the portfolio's first agent session"
  }
 ],
 "huggingface_dataset_ids": [
  "nickh007/abstain-corpus",
  "nickh007/cert-atlas",
  "nickh007/cve-proof-corpus",
  "nickh007/hw-verify",
  "nickh007/hw-verify-paths",
  "nickh007/kv-reuse-econ-traces",
  "nickh007/kv-tenant-isolation-bench",
  "nickh007/llm-precision-fingerprints",
  "nickh007/pqc-formal-corpus",
  "nickh007/pqc-mfb",
  "nickh007/protocol-bench",
  "nickh007/screening-ceiling",
  "nickh007/sparam-conformance",
  "nickh007/specforge"
 ],
 "huggingface_space_ids": [
  "nickh007/cert-verifier",
  "nickh007/certkit-demo",
  "nickh007/hw-verify",
  "nickh007/hw-verify-site",
  "nickh007/negative-results-atlas",
  "nickh007/physics-lint",
  "nickh007/pqc-explorer",
  "nickh007/protocol-bench-demo",
  "nickh007/soundnessbench-leaderboard",
  "nickh007/specforge-leaderboard",
  "nickh007/tenant-leak-demo",
  "nickh007/wait-for-visualiser"
 ],
 "page_artifact_urls": [
  {
   "url": "https://api.latticegraph.com/v1/health",
   "http_status": 200
  },
  {
   "url": "https://pypi.org/project/latticegraph/",
   "http_status": 200
  },
  {
   "url": "https://github.com/nickharris808/pqc-bounds-lean",
   "http_status": 200
  },
  {
   "url": "https://github.com/nickharris808/certkit",
   "http_status": 200
  },
  {
   "url": "https://github.com/nickharris808/certkit-js",
   "http_status": 200
  },
  {
   "url": "https://github.com/nickharris808/certkit-action",
   "http_status": 200
  },
  {
   "url": "https://github.com/nickharris808/crs-mcp",
   "http_status": 200
  },
  {
   "url": "https://github.com/nickharris808/certified-discovery",
   "http_status": 200
  },
  {
   "url": "https://github.com/nickharris808/formal-proof-mcp",
   "http_status": 200
  },
  {
   "url": "https://github.com/nickharris808/interval-core",
   "http_status": 200
  },
  {
   "url": "https://github.com/nickharris808/soundnessbench",
   "http_status": 200
  },
  {
   "url": "https://github.com/nickharris808/pqc-mfb",
   "http_status": 200
  },
  {
   "url": "https://huggingface.co/datasets/nickh007/cve-proof-corpus",
   "http_status": 200
  },
  {
   "url": "https://huggingface.co/datasets/nickh007/kv-tenant-isolation-bench",
   "http_status": 200
  },
  {
   "url": "https://huggingface.co/datasets/nickh007/pqc-formal-corpus",
   "http_status": 200
  },
  {
   "url": "https://huggingface.co/datasets/nickh007/protocol-bench",
   "http_status": 200
  },
  {
   "url": "https://huggingface.co/datasets/nickh007/screening-ceiling",
   "http_status": 200
  },
  {
   "url": "https://huggingface.co/spaces/nickh007/cert-verifier",
   "http_status": 200
  },
  {
   "url": "https://huggingface.co/spaces/nickh007/pqc-explorer",
   "http_status": 200
  },
  {
   "url": "https://huggingface.co/spaces/nickh007/physics-lint",
   "http_status": 200
  }
 ],
 "company_domains": [
  {
   "domain": "chipletos.com",
   "http_status": 200
  },
  {
   "domain": "fluxzerofluid.com",
   "http_status": 200
  },
  {
   "domain": "orbitalproof.com",
   "http_status": 200
  },
  {
   "domain": "axiomlimit.com",
   "http_status": 200
  },
  {
   "domain": "latticegraph.com",
   "http_status": 200
  }
 ]
}
