@sema-agent/core
Version:
Stateless, task-oriented AI agent core
245 lines (244 loc) • 5.12 kB
JSON
{
"repo": "core",
"version": "7.24.3",
"from": "800729adecdc333ea7b87007593b24c96714f6e3",
"to": "v7.24.3",
"added": [
{
"name": "MCP_LIVENESS_STATES",
"kind": "variable",
"tier": "advanced",
"at": [
"src/core/mcp-failure.ts:96",
"src/index.ts:351"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "McpLivenessState",
"kind": "type",
"tier": "advanced",
"at": [
"src/core/mcp-failure.ts:97",
"src/index.ts:351"
],
"criteriaCovered": false,
"breaking": false
},
{
"name": "McpServerLiveness",
"kind": "interface",
"tier": "advanced",
"at": [
"src/core/mcp-failure.ts:111",
"src/index.ts:351"
],
"criteriaCovered": false,
"breaking": false
}
],
"removed": [],
"changed": [],
"narrowed": [],
"closedSetMembers": [
{
"set": "MCP_LIVENESS_STATES",
"at": [
"src/core/mcp-failure.ts:96"
],
"newSet": true,
"added": [
"reachable",
"unknown",
"unreachable"
],
"removed": [],
"breaking": false,
"criteriaCovered": false
},
{
"set": "McpExchangeOutcome",
"at": [
"src/core/mcp-failure.ts:150"
],
"newSet": true,
"added": [
"completed",
"connect_refused",
"connection_closed",
"connection_failed",
"http_status",
"invalid_config",
"not_mcp_response",
"protocol",
"spawn_failed",
"timeout",
"unknown"
],
"removed": [],
"breaking": false,
"criteriaCovered": false
},
{
"set": "McpLivenessState",
"at": [
"src/core/mcp-failure.ts:97",
"src/index.ts:351"
],
"newSet": true,
"added": [
"reachable",
"unknown",
"unreachable"
],
"removed": [],
"breaking": false,
"criteriaCovered": false
},
{
"set": "OptionValueKind",
"at": [
"src/tools/fs/bash-readonly-classifier.ts:1477"
],
"newSet": true,
"added": [
"count",
"delimiter",
"form",
"header",
"indirect",
"label",
"name-pattern",
"path",
"pattern",
"script",
"url"
],
"removed": [],
"breaking": false,
"criteriaCovered": false
},
{
"set": "READ_CANDIDATE_PROVENANCES",
"at": [
"src/tools/fs/shell-read-plan.ts:79"
],
"newSet": true,
"added": [
"cd_target",
"env_assignment",
"operand",
"option_value",
"program_path",
"script_slot_file",
"stdin_redirect",
"traversal_root",
"unlisted_word",
"write_redirect_target"
],
"removed": [],
"breaking": false,
"criteriaCovered": false
},
{
"set": "ReadCandidateProvenance",
"at": [
"src/tools/fs/shell-read-plan.ts:91"
],
"newSet": true,
"added": [
"cd_target",
"env_assignment",
"operand",
"option_value",
"program_path",
"script_slot_file",
"stdin_redirect",
"traversal_root",
"unlisted_word",
"write_redirect_target"
],
"removed": [],
"breaking": false,
"criteriaCovered": false
}
],
"closedSetsUnreadable": [],
"typeKeys": [
{
"type": "McpServerStatus",
"at": [
"src/core/mcp.ts:394"
],
"added": [
"liveness"
],
"removed": [],
"breaking": false,
"criteriaCovered": false
},
{
"type": "WiringManifestMcpEntry",
"at": [
"src/core/wiring-manifest.ts:128"
],
"added": [
"liveness"
],
"removed": [],
"breaking": false,
"criteriaCovered": true
}
],
"declarationMoves": [],
"mintMoves": [],
"criteriaObserves": [
{
"kind": "taskEventField",
"name": "tool_end.isError",
"assertions": [
"G3.a"
]
},
{
"kind": "taskEventField",
"name": "wiring_manifest.manifest",
"assertions": [
"G1.b"
]
},
{
"kind": "typeMember",
"name": "TaskSpec.sessionId",
"assertions": [
"G2.a"
]
},
{
"kind": "typeMember",
"name": "WiringManifestMcpEntry.liveness",
"assertions": [
"G1.a"
]
}
],
"consumersHint": {
"cli": [
"McpServerStatus",
"WiringManifestMcpEntry"
],
"server": [
"McpServerStatus",
"WiringManifestMcpEntry"
],
"sdk": [
"McpServerStatus",
"WiringManifestMcpEntry"
],
"note": "scanned cli@547c2c31 server@02807610 sdk@9b6bcaa — a name listed is MENTIONED there today, which is evidence of consumption, not proof of it"
},
"breakingCount": 0,
"breakingItems": [],
"toResolvedAt": "aa2335b2f9223c8e838c8a496564058bdf972870"
}