{
  "id": "build-token-value-estimate",
  "title": "Build Token Value Metamethodology",
  "version": "1.0.0",
  "asOf": "2026-07-30",
  "horizonDefault": "2025-11-01",
  "productName": "Pharosiraptor",
  "layers": [
    {
      "id": "L1",
      "name": "Cash paid",
      "meaning": "Invoices / seat fees actually charged",
      "class": "tarski-residual without billing export"
    },
    {
      "id": "L2",
      "name": "API-list equivalent",
      "meaning": "Same tokens × public API list prices",
      "class": "measured + semi-decidable proxy"
    },
    {
      "id": "L3",
      "name": "Human replacement",
      "meaning": "Opportunity cost to redo artifacts with human eng hours",
      "class": "values-question"
    }
  ],
  "pricingUsdPerMTok": {
    "asOf": "2026-07-19",
    "opus": { "input": 15, "output": 75, "cache_read": 1.5, "cache_write": 18.75 },
    "sonnet": { "input": 3, "output": 15, "cache_read": 0.3, "cache_write": 3.75 },
    "haiku": { "input": 1, "output": 5, "cache_read": 0.1, "cache_write": 1.25 },
    "grok_proxy_band": [4, 8],
    "codex_proxy_band": [3, 10]
  },
  "utilizationDefaults": {
    "claude_session_store": 0.25,
    "grok_session_store": 0.35,
    "codex_session_store": 0.35
  },
  "sources": {
    "claudePrimary": "~/.claude/stats-cache.json (modelUsage, dailyModelTokens, dailyActivity)",
    "grokProxy": "~/.grok/sessions/** bytes → tokens × util",
    "codexProxy": "~/.codex/sessions/** bytes → tokens × util"
  },
  "invariants": [
    "Multi-op fan-out when ≥2 of ClaudeCode / CodexCode / GrokBuild are ready (OTC multiset, not exclusive)",
    "Intrinsic value ≠ invoice — report L1, L2, L3 separately",
    "Never invent precision; mark measured / proxy / residual",
    "Product name is Pharosiraptor (never Pharos)"
  ],
  "residualsAlways": [
    "Cash paid without billing export",
    "Grok/Codex exact tokens without vendor usage API",
    "Subscription vs API list divergence",
    "Cache tokens dominate Claude totals",
    "Artifact market value is oracle-required",
    "Work on other machines / harnesses out of scope",
    "Double-count risk when multiple agents share one provider key",
    "Public seed certificate is one machine — not universal spend"
  ],
  "layersExtended": [
    { "id": "L4", "name": "Artifact market", "class": "oracle-required", "meaning": "IP / revenue / buyer price" }
  ]
}