morluto
63bf91405c
Deliver complete Evidence directly through MCP with required nullable analysis profiles and immutable per-server delivery settings. Bind selected environments at construction and require typed cleanup outcomes with retained retry ownership. Remove test-only routing, duplicate session and snapshot metadata, producer-field repairs, and ambiguous provider arguments. Separate artifact byte identity from occurrence classification and retain typed source-map and partial native facts across CLI, MCP, and verifier consumers. BREAKING CHANGE: obsolete Evidence envelopes, session aliases, incomplete snapshots, and missing normalized producer facts are no longer accepted.
182 lines
5.4 KiB
JavaScript
182 lines
5.4 KiB
JavaScript
import assert from "node:assert/strict";
|
|
import { requireMcpEvidenceResult } from "./mcp-verifier-results.mjs";
|
|
|
|
export const verifyHopperFunctionBasics = async (
|
|
client,
|
|
options,
|
|
procedure,
|
|
) => {
|
|
const containment = requireMcpEvidenceResult(
|
|
await client.callTool(
|
|
{
|
|
name: "resolve_containing_procedure",
|
|
arguments: { |