Implement EigenScript Standard Library (Phase 6)

[InauguralPhysicist]

Create comprehensive standard library with three modules demonstrating geometric control theory and automatic differentiation capabilities.

Standard Library Modules:

1. control.eigs - Control systems with geometric stability

   • apply_damping: Paradox-mediated damping using oscillating/diverging predicates
   • pid_step: Adaptive proportional control with stability-based gain tuning
   • convergence_check: Explicit convergence testing

2. geometry.eigs - Euclidean operations

   • norm: Absolute value (L1 norm for scalars)
   • distance_1d: 1D distance calculation
   • lerp: Linear interpolation
   • clamp: Value constraining to [min, max]
   • smooth_step: Smoothstep interpolation function

3. robotics.eigs - Gradient-based control

   • compute_control_force: Proportional control force calculation
   • move_robot_step: Single motion step with damping
   • servo_control: Position control with proportional gain
   • gradient_step: Gradient descent using "why is" for automatic differentiation

Compiler Enhancements:

• Auto-detect stdlib path in ModuleResolver (falls back to package stdlib)
• Add Import node support in codegen (handled as no-op, linking done at compile level)
• Add MemberAccess support for module.function syntax with name mangling
• Fix predicate handling for Scalar Fast Path variables (return False for unobserved)
• Add cross-module function call support in _generate_relation

Examples:

• robot_arm.eigs: Full robot control simulation with stdlib imports
• robot_simple.eigs: Simple test demonstrating module imports
• stdlib_test.eigs: Basic compilation test

Architecture:

The stdlib demonstrates EigenScript's unique value proposition:

• Geometric predicates (oscillating, diverging, stable) integrate seamlessly with control logic
• Interrogatives (why is x) enable automatic differentiation for robotics
• Observer Effect ensures zero-cost abstraction (only pay for tracking when needed)

Individual modules compile successfully to object files. Cross-module linking infrastructure complete but needs linker optimization to avoid duplicate symbols.

[InauguralPhysicist]

@copilot run black formatter please

[Copilot]

@InauguralPhysicist I've opened a new pull request, #74, to work on those changes. Once the pull request is ready, I'll request review from you.