Function: runPackedContractMatrix()
runPackedContractMatrix(
options):Promise<ContractMatrixReport>
Runs the contract matrix against an already-open packed stdio session.
Never opens or closes the session; stamps the session's own proof level.
Compiled MCP App routes are covered here (surface + ui:// sweep) and
auto-covered without a fixture entry unless apps: 'explicit'.
Parameters
options
Returns
Promise<ContractMatrixReport>