makeVatConsole lacks methods of the SES VirtualConsole type

[turadg]

What is the Problem Being Solved?

Some console method while coding in SDK are not available in swingset vats. The error (e.g. for console.trace) is cryptic because it doesn't mention console.trace or even console, just the outer method.

Tests of these that run in Node will work, but then fail in XS tests which are harder to debug.

Acceptance criteria

the console type while coding in agoric-sdk matches the available console object during code execution

Description of the Design

That could be by making Swingset's console support the console API or by modifying the typedef for the global console. I'd prefer to support the API as much as possible (if even with throwing "not implemented") than to create more special cases.

Security Considerations

The current approach puts console management in SDK when it would be safer to have lower in the environment.

Test Plan

TBD

[dckc]

another way to phrase this would be as a bug:

• makeVatConsole lacks trace() etc.; should match SES VirtualConsole type.

[turadg]

Fair enough. I was thinking it wouldn't merit a patch version bump but maybe so. I'll change the label.