{
  "$schema": "https://verifymcp.io/schemas/changelog.json",
  "server": "com-typestate-typestate",
  "component": "mcp",
  "generated_at": "2026-10-17T04:28:10.562Z",
  "tracking_since": "2026-09-14",
  "counts": {
    "critical": 0,
    "security": 7,
    "functional": 0,
    "cosmetic": 0
  },
  "events": [
    {
      "id": "chg_01a14225-9301-7687-819b-0f8a35fb09a1",
      "kind": "check.verdict",
      "family": "stability",
      "subject_kind": "check",
      "subject": "stability",
      "subject_child": "",
      "from_code": "stability.building_history",
      "to_code": "stability.stable",
      "from_value": "0.97",
      "to_value": "pass",
      "materiality": "security",
      "direction": "neutral",
      "score_delta": null,
      "detail": {},
      "occurred_on": "2026-10-16",
      "occurred_at": "2026-10-16 00:38:35.743296+00",
      "observed_since": "2026-10-15",
      "source": "scan",
      "summary": "Stability (0.97 → pass)",
      "link": "https://verifymcp.io/servers/com-typestate-typestate/mcp#chg-chg_01a14225-9301-7687-819b-0f8a35fb09a1"
    },
    {
      "id": "chg_01a10966-45ed-7534-9d48-65c4238f8a24",
      "kind": "check.reverified",
      "family": "tool-safety-manipulation",
      "subject_kind": "check",
      "subject": "tool-safety-manipulation",
      "subject_child": "",
      "from_code": "toolsafety.manipulation_unjudged",
      "to_code": "toolsafety.manipulation_clean",
      "from_value": "unverified",
      "to_value": "pass",
      "materiality": "security",
      "direction": "improvement",
      "score_delta": null,
      "detail": {
        "units": "5",
        "judged": "5"
      },
      "occurred_on": "2026-10-05",
      "occurred_at": "2026-10-05 00:10:52.832993+00",
      "observed_since": "2026-10-04",
      "source": "scan",
      "summary": "Judged manipulation (unverified → pass)",
      "link": "https://verifymcp.io/servers/com-typestate-typestate/mcp#chg-chg_01a10966-45ed-7534-9d48-65c4238f8a24"
    },
    {
      "id": "chg_01a1043c-11fd-790d-8cf0-e23ada9f642e",
      "kind": "check.unverifiable",
      "family": "tool-safety-manipulation",
      "subject_kind": "check",
      "subject": "tool-safety-manipulation",
      "subject_child": "",
      "from_code": "toolsafety.manipulation_clean",
      "to_code": "toolsafety.manipulation_unjudged",
      "from_value": "pass",
      "to_value": "unverified",
      "materiality": "security",
      "direction": "regression",
      "score_delta": null,
      "detail": {
        "units": "5",
        "judged": "4",
        "reason": "partially_judged"
      },
      "occurred_on": "2026-10-04",
      "occurred_at": "2026-10-04 00:06:47.927907+00",
      "observed_since": "2026-10-03",
      "source": "scan",
      "summary": "Judged manipulation (pass → unverified)",
      "link": "https://verifymcp.io/servers/com-typestate-typestate/mcp#chg-chg_01a1043c-11fd-790d-8cf0-e23ada9f642e"
    },
    {
      "id": "chg_01a0a783-8caf-75cd-9a1c-5afdd489450d",
      "kind": "check.reverified",
      "family": "transport",
      "subject_kind": "check",
      "subject": "transport",
      "subject_child": "",
      "from_code": "transport.auth_gated",
      "to_code": "transport.verified",
      "from_value": "unverified",
      "to_value": "pass",
      "materiality": "security",
      "direction": "improvement",
      "score_delta": null,
      "detail": {
        "transport": "streamable-http"
      },
      "occurred_on": "2026-09-16",
      "occurred_at": "2026-09-16 00:00:10.963034+00",
      "observed_since": "2026-09-15",
      "source": "scan",
      "summary": "Transport (unverified → pass)",
      "link": "https://verifymcp.io/servers/com-typestate-typestate/mcp#chg-chg_01a0a783-8caf-75cd-9a1c-5afdd489450d"
    },
    {
      "id": "chg_01a0a783-8cd6-7566-a774-e08731bf5c82",
      "kind": "check.reverified",
      "family": "tool-safety-injection",
      "subject_kind": "check",
      "subject": "tool-safety-injection",
      "subject_child": "",
      "from_code": "toolsafety.auth_gated",
      "to_code": "toolsafety.injection_clean",
      "from_value": "unverified",
      "to_value": "pass",
      "materiality": "security",
      "direction": "improvement",
      "score_delta": null,
      "detail": {},
      "occurred_on": "2026-09-16",
      "occurred_at": "2026-09-16 00:00:10.963034+00",
      "observed_since": "2026-09-15",
      "source": "scan",
      "summary": "Injection markers (unverified → pass)",
      "link": "https://verifymcp.io/servers/com-typestate-typestate/mcp#chg-chg_01a0a783-8cd6-7566-a774-e08731bf5c82"
    },
    {
      "id": "chg_01a0a783-8ce6-724a-b0bc-55da86481835",
      "kind": "check.appeared",
      "family": "tool-safety-manipulation",
      "subject_kind": "check",
      "subject": "tool-safety-manipulation",
      "subject_child": "",
      "from_code": null,
      "to_code": "toolsafety.manipulation_clean",
      "from_value": null,
      "to_value": "pass",
      "materiality": "security",
      "direction": "neutral",
      "score_delta": null,
      "detail": {
        "units": "2",
        "judged": "2"
      },
      "occurred_on": "2026-09-16",
      "occurred_at": "2026-09-16 00:00:10.963034+00",
      "observed_since": "2026-09-15",
      "source": "scan",
      "summary": "First check of Judged manipulation (pass)",
      "link": "https://verifymcp.io/servers/com-typestate-typestate/mcp#chg-chg_01a0a783-8ce6-724a-b0bc-55da86481835"
    },
    {
      "id": "chg_01a0a783-8d02-7bf0-8394-c34b064ad988",
      "kind": "check.reason",
      "family": "auth-oauth",
      "subject_kind": "check",
      "subject": "auth-oauth",
      "subject_child": "",
      "from_code": "auth.rfc9728",
      "to_code": "auth.rfc9728_invoke",
      "from_value": "pass",
      "to_value": "pass",
      "materiality": "security",
      "direction": "neutral",
      "score_delta": null,
      "detail": {},
      "occurred_on": "2026-09-16",
      "occurred_at": "2026-09-16 00:00:10.963034+00",
      "observed_since": "2026-09-15",
      "source": "scan",
      "summary": "Authorization (Authorisation is enforced on tool calls, advertised via RFC 9728 protected-resource metadata. Discovery is public, which costs nothing: no tool can be invoked without a token.)",
      "link": "https://verifymcp.io/servers/com-typestate-typestate/mcp#chg-chg_01a0a783-8d02-7bf0-8394-c34b064ad988"
    }
  ],
  "days": [
    {
      "date": "2026-10-17",
      "total": 91,
      "delta": 0,
      "tracked": true,
      "explained": true,
      "beyond_event_horizon": false,
      "attribution": null,
      "event_count": 1
    },
    {
      "date": "2026-10-16",
      "total": 91,
      "delta": 1,
      "tracked": true,
      "explained": true,
      "beyond_event_horizon": false,
      "attribution": null,
      "event_count": 2
    },
    {
      "date": "2026-10-15",
      "total": 90,
      "delta": 0,
      "tracked": true,
      "explained": true,
      "beyond_event_horizon": false,
      "attribution": null,
      "event_count": 1
    },
    {
      "date": "2026-10-14",
      "total": 90,
      "delta": 1,
      "tracked": true,
      "explained": true,
      "beyond_event_horizon": false,
      "attribution": null,
      "event_count": 1
    },
    {
      "date": "2026-10-13",
      "total": 89,
      "delta": 0,
      "tracked": true,
      "explained": true,
      "beyond_event_horizon": false,
      "attribution": null,
      "event_count": 1
    },
    {
      "date": "2026-10-12",
      "total": 89,
      "delta": 1,
      "tracked": true,
      "explained": true,
      "beyond_event_horizon": false,
      "attribution": null,
      "event_count": 1
    },
    {
      "date": "2026-10-11",
      "total": 88,
      "delta": 0,
      "tracked": true,
      "explained": true,
      "beyond_event_horizon": false,
      "attribution": null,
      "event_count": 1
    },
    {
      "date": "2026-10-10",
      "total": 88,
      "delta": 2,
      "tracked": true,
      "explained": true,
      "beyond_event_horizon": false,
      "attribution": null,
      "event_count": 1
    }
  ]
}