Simple questions

[microbecode]

Hey, some basic questions. couldn't find answers in the docs.

1. Is the actual proof generated somewhere or does running a program just generate a trace/witness? How could I see the proof?
2. Is there some intermediary format used and can I see it somewhere?
3. Are all component input parameters private by default, and if I want to make them public I can declare them as global inside the function?
4. Is there a way to call a component with parameters from the command line directly, without a test function?
5. Is there a way to see data returned by a function, without a test function?
6. Is there a way to console.log-kindof values?

[linear]

ZIR-254 Simple questions