Shipped this week
- PhotonForge design-process layer: autorouter, transient/eye, photonic LVS, Verilog-A export, parametric-component registry, traceability manifest
- Mutation-guided RTL test hardening (Meta ACH adapted): unkilled mutants → minimal distinguishing testbenches, assurance-verified
- Symbolic + exact math lane (sagebrush): certified inverse, factor, derivative, root back-substitution — with the certificate recomputed in-wrapper
- Layout PNG render (CP-A executable): headless KLayout GDS→PNG under xvfb, validated output
- Analog debug-from-symptom benchmark: 6 deterministic tasks, grader-side thresholds, oracle selftest
- χ(2) frequency conversion + SPDC source design: RK4 coupled-mode, QPM poling, pair-generation rate
- Bose–Chowla Sidon sets: LEO feeder-link plans constructive to 61 channels (caught and fixed a shipped n=8 collision)
- GDS2openEMS: GDSII → openEMS FDTD → S-params for IHP SG13G2 RFIC (inductors, MIM caps, transmission lines)
- Design-object versioning: per-component edit logs, changed-since-you-looked markers
- Project edit + delete: add domains later, rename, describe, trash with recovery
Lumicule