Forge AgentLens instrumentation

Complete the login check before editing or initializing. If no valid login exists, send only that section's reply and stop.

Forge exports explicit agent spans through a private OTel provider. It does not auto-instrument frameworks, replace the global provider, or export that provider's spans.

After a valid login, read the Python or TypeScript reference and trace fidelity before editing. Verify the APIs against the installed SDK version.

Check login first