{
  "repo": "core",
  "version": "7.13.0",
  "from": "064bdd41dcc8e6fb7817b103fa05c59ba7026cec",
  "to": "v7.13.0",
  "added": [
    {
      "name": "BARE_REQUEST_CODE",
      "kind": "variable",
      "tier": "advanced",
      "at": [
        "src/core/tool-registry.ts:122",
        "src/index.ts:924"
      ],
      "criteriaCovered": false,
      "breaking": false
    },
    {
      "name": "RosterBoundCode",
      "kind": "type",
      "tier": "advanced",
      "at": [
        "src/core/tool-roster.ts:368",
        "src/index.ts:958"
      ],
      "criteriaCovered": false,
      "breaking": false
    },
    {
      "name": "RosterBoundMembers",
      "kind": "interface",
      "tier": "advanced",
      "at": [
        "src/core/tool-roster.ts:355",
        "src/index.ts:957"
      ],
      "criteriaCovered": false,
      "breaking": false
    },
    {
      "name": "TOOL_CARD_ID_MAX_CHARS",
      "kind": "variable",
      "tier": "advanced",
      "at": [
        "src/core/tool-face.ts:181",
        "src/index.ts:894"
      ],
      "criteriaCovered": false,
      "breaking": false
    },
    {
      "name": "rosterMemberBoundProblem",
      "kind": "function",
      "tier": "advanced",
      "at": [
        "src/core/tool-roster.ts:378",
        "src/index.ts:956"
      ],
      "criteriaCovered": false,
      "breaking": false
    }
  ],
  "removed": [],
  "changed": [],
  "narrowed": [],
  "closedSetMembers": [
    {
      "set": "ENGINE_NOTICE_CODES",
      "at": [
        "src/core/governance-codes.ts:317"
      ],
      "newSet": false,
      "added": [
        "task.interrupt_unconsumed"
      ],
      "removed": [],
      "breaking": false,
      "criteriaCovered": true
    },
    {
      "set": "RosterBoundCode",
      "at": [
        "src/core/tool-roster.ts:368"
      ],
      "newSet": true,
      "added": [
        "config.tool_contract_too_long",
        "config.tool_name_too_long",
        "config.tool_roster_bound"
      ],
      "removed": [],
      "breaking": false,
      "criteriaCovered": false
    }
  ],
  "typeKeys": [],
  "declarationMoves": [
    {
      "name": "persistedRuleMandateOf",
      "kind": null,
      "onSurface": false,
      "from": [
        "src/core/gate-lanes.ts",
        "src/core/hooks.ts"
      ],
      "to": [
        "src/core/ask-origin.ts"
      ]
    }
  ],
  "mintMoves": [],
  "criteriaObserves": [
    {
      "kind": "engineNoticeCode",
      "name": "task.interrupt_unconsumed",
      "assertions": [
        "G7.a"
      ]
    },
    {
      "kind": "taskEventField",
      "name": "tool_end.gate",
      "assertions": [
        "G5.a"
      ]
    },
    {
      "kind": "typeMember",
      "name": "AskRequest.origin",
      "assertions": [
        "G5.a"
      ]
    },
    {
      "kind": "typeMember",
      "name": "PermissionResult.probeMandated",
      "assertions": [
        "G6.a"
      ]
    },
    {
      "kind": "typeMember",
      "name": "TaskResult.terminal",
      "assertions": [
        "G7.a",
        "G8.a",
        "G10.a"
      ]
    },
    {
      "kind": "typeMember",
      "name": "TaskStream.interrupt",
      "assertions": [
        "G9.a"
      ]
    },
    {
      "kind": "typeMember",
      "name": "ToolCallRequest.face",
      "assertions": [
        "G3.a"
      ]
    },
    {
      "kind": "typeMember",
      "name": "ToolRosterEntry.cardId",
      "assertions": [
        "G2.a"
      ]
    },
    {
      "kind": "typeMember",
      "name": "ToolRosterEntry.modelGate",
      "assertions": [
        "G1.a"
      ]
    },
    {
      "kind": "typeMember",
      "name": "ToolRosterEntry.name",
      "assertions": [
        "G4.a"
      ]
    }
  ],
  "consumersHint": {
    "cli": [
      "ENGINE_NOTICE_CODES"
    ],
    "server": [
      "ENGINE_NOTICE_CODES"
    ],
    "sdk": [],
    "note": "scanned cli@ebea1b7b server@25014878 sdk@d0b9e01 — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it"
  },
  "breakingCount": 0,
  "breakingItems": [],
  "toResolvedAt": "e8d67fca075b3b5bb0ea739f9e75003f0b8e6b0e"
}