eml-stdlib 0.4.0__py3-none-any.whl

eml_stdlib/catalog.json

@@ -0,0 +1,4209 @@
+[
+  {
+    "category": "ballistics",
+    "file": "ballistics/air_density.eml",
+    "module": "air_density",
+    "functions": [
+      {
+        "name": "density_isothermal",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "density_with_temperature",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "density_humid",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "density_ratio",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "atmospheric density model.",
+    "source": "new"
+  },
+  {
+    "category": "ballistics",
+    "file": "ballistics/ballistic_solver.eml",
+    "module": "ballistic_solver",
+    "functions": [
+      {
+        "name": "solve_tof",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "solve_drop",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "solve_wind_drift",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "solve_coriolis_horiz",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "solve_spin_drift",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "solve_impact_velocity",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "solve_hold_up_mil",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "solve_hold_off_mil",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "composes drag/gravity/wind/coriolis/spin",
+    "source": "new"
+  },
+  {
+    "category": "ballistics",
+    "file": "ballistics/coriolis.eml",
+    "module": "coriolis",
+    "functions": [
+      {
+        "name": "horizontal_accel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "vertical_accel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "horizontal_drift",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "vertical_drift",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Coriolis deflection from Earth's rotation.",
+    "source": "new"
+  },
+  {
+    "category": "ballistics",
+    "file": "ballistics/drag.eml",
+    "module": "drag",
+    "functions": [
+      {
+        "name": "drag_force",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "drag_deceleration",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "drag_decel_from_bc",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "quadratic aerodynamic drag.",
+    "source": "new"
+  },
+  {
+    "category": "ballistics",
+    "file": "ballistics/gravity.eml",
+    "module": "gravity",
+    "functions": [
+      {
+        "name": "drop",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "drop_at_zero",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "drop_earth",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "hold_up_mil",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "ballistic drop from gravity, no drag coupling.",
+    "source": "new"
+  },
+  {
+    "category": "ballistics",
+    "file": "ballistics/muzzle_velocity.eml",
+    "module": "muzzle_velocity",
+    "functions": [
+      {
+        "name": "corrected_velocity",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "corrected_default",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "percent_change",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "temperature compensation for muzzle velocity.",
+    "source": "new"
+  },
+  {
+    "category": "ballistics",
+    "file": "ballistics/spin_drift.eml",
+    "module": "spin_drift",
+    "functions": [
+      {
+        "name": "drift_inches_litz",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "drift_metres_litz",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "drift_metres_surrogate",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "hold_off_mil",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "horizontal drift from gyroscopic Magnus effect.",
+    "source": "new"
+  },
+  {
+    "category": "ballistics",
+    "file": "ballistics/time_of_flight.eml",
+    "module": "time_of_flight",
+    "functions": [
+      {
+        "name": "tof_vacuum",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "tof_constant_decel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "tof_pejsa",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "step_range",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "step_velocity",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "iterative time-of-flight under quadratic drag.",
+    "source": "new"
+  },
+  {
+    "category": "ballistics",
+    "file": "ballistics/wind.eml",
+    "module": "wind",
+    "functions": [
+      {
+        "name": "drift",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "relative_airspeed",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "perp_component",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "along_component",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "hold_off_mil",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "crosswind deflection.",
+    "source": "new"
+  },
+  {
+    "category": "biology",
+    "file": "biology/cone_l.eml",
+    "module": "cone_l",
+    "functions": [
+      {
+        "name": "cone_l_sensitivity",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "",
+    "source": "monogate-research/exploration/cat_vision/eml/cone_l.eml"
+  },
+  {
+    "category": "biology",
+    "file": "biology/cone_s.eml",
+    "module": "cone_s",
+    "functions": [
+      {
+        "name": "cone_s_sensitivity",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "",
+    "source": "monogate-research/exploration/cat_vision/eml/cone_s.eml"
+  },
+  {
+    "category": "biology",
+    "file": "biology/cryptochrome.eml",
+    "module": "cryptochrome",
+    "functions": [
+      {
+        "name": "cryptochrome_yield",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "",
+    "source": "monogate-research/exploration/pigeon_magnetoreception/eml/cryptochrome.eml"
+  },
+  {
+    "category": "biology",
+    "file": "biology/geomagnetic_field.eml",
+    "module": "geomagnetic_field",
+    "functions": [
+      {
+        "name": "geomagnetic_field",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "",
+    "source": "monogate-research/exploration/pigeon_magnetoreception/eml/geomagnetic_field.eml"
+  },
+  {
+    "category": "biology",
+    "file": "biology/goldman_equation.eml",
+    "module": "goldman_equation",
+    "functions": [
+      {
+        "name": "membrane_potential",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "nernst",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Goldman-Hodgkin-Katz voltage equation.",
+    "source": "new"
+  },
+  {
+    "category": "biology",
+    "file": "biology/hill_equation.eml",
+    "module": "hill",
+    "functions": [
+      {
+        "name": "hill_velocity",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "hill_logit",
+        "chain_order": 1,
+        "verified": false
+      }
+    ],
+    "description": "Hill equation for cooperative binding.",
+    "source": "forge/industries/chemistry/kinetics/hill.eml"
+  },
+  {
+    "category": "biology",
+    "file": "biology/hodgkin_huxley.eml",
+    "module": "hodgkin_huxley_step",
+    "functions": [
+      {
+        "name": "voltage_step",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "gating_step",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "HH neuron membrane voltage update.",
+    "source": "forge/industries/scientific/biology/hodgkin_huxley_step.eml"
+  },
+  {
+    "category": "biology",
+    "file": "biology/michaelis_menten.eml",
+    "module": "michaelis_menten",
+    "functions": [
+      {
+        "name": "velocity",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "lineweaver_burk",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "eadie_hofstee",
+        "chain_order": 0,
+        "verified": false
+      }
+    ],
+    "description": "Michaelis-Menten enzyme kinetics.",
+    "source": "forge/industries/chemistry/kinetics/michaelis_menten.eml"
+  },
+  {
+    "category": "biology",
+    "file": "biology/plume_diffusion.eml",
+    "module": "plume_diffusion",
+    "functions": [
+      {
+        "name": "plume_concentration",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "",
+    "source": "monogate-research/exploration/dog_olfaction/eml/plume_diffusion.eml"
+  },
+  {
+    "category": "biology",
+    "file": "biology/receptor_binding.eml",
+    "module": "receptor_binding",
+    "functions": [
+      {
+        "name": "receptor_binding",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "",
+    "source": "monogate-research/exploration/dog_olfaction/eml/receptor_binding.eml"
+  },
+  {
+    "category": "biology",
+    "file": "biology/rod_sensitivity.eml",
+    "module": "rod_sensitivity",
+    "functions": [
+      {
+        "name": "rod_sensitivity",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "",
+    "source": "monogate-research/exploration/cat_vision/eml/rod_sensitivity.eml"
+  },
+  {
+    "category": "biology",
+    "file": "biology/tapetum.eml",
+    "module": "tapetum",
+    "functions": [
+      {
+        "name": "tapetum_gain",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "tapetum_amplify",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "",
+    "source": "monogate-research/exploration/cat_vision/eml/tapetum.eml"
+  },
+  {
+    "category": "biology/abilities",
+    "file": "biology/abilities/ballistic_armor.eml",
+    "module": "ballistic_armor",
+    "functions": [
+      {
+        "name": "kinetic_energy",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "energy_absorbed",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "energy_penetrating",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "ricochet_probability",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "armadillo plate / ballistic vest absorption.",
+    "source": "apex-predator/eml/abilities/ballistic_armor.eml"
+  },
+  {
+    "category": "biology/abilities",
+    "file": "biology/abilities/bite_force.eml",
+    "module": "bite_force",
+    "functions": [
+      {
+        "name": "bite_force_n",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "damage_per_bite",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "stage_multiplier",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "jaw-power scaling for the beast's stage attacks.",
+    "source": "apex-predator/eml/abilities/bite_force.eml"
+  },
+  {
+    "category": "biology/abilities",
+    "file": "biology/abilities/chromatophore.eml",
+    "module": "chromatophore",
+    "functions": [
+      {
+        "name": "bragg_wavelength",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "transparency",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "detection_contrast",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "gecko / cephalopod camouflage via Bragg reflection.",
+    "source": "apex-predator/eml/abilities/chromatophore.eml"
+  },
+  {
+    "category": "biology/abilities",
+    "file": "biology/abilities/discharge.eml",
+    "module": "discharge",
+    "functions": [
+      {
+        "name": "voltage",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "voltage_default",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "pulse_energy",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "electric eel discharge waveform.",
+    "source": "apex-predator/eml/abilities/discharge.eml"
+  },
+  {
+    "category": "biology/abilities",
+    "file": "biology/abilities/elastic_energy.eml",
+    "module": "elastic_energy",
+    "functions": [
+      {
+        "name": "takeoff_velocity",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "jump_height",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "jump_range",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "flea-style elastic-jump physics.",
+    "source": "apex-predator/eml/abilities/elastic_energy.eml"
+  },
+  {
+    "category": "biology/abilities",
+    "file": "biology/abilities/locomotion.eml",
+    "module": "locomotion",
+    "functions": [
+      {
+        "name": "ground_speed",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "speed_multiplier",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "wall_climb_capable",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "many-legged speed bonus model (centipede).",
+    "source": "apex-predator/eml/abilities/locomotion.eml"
+  },
+  {
+    "category": "biology/abilities",
+    "file": "biology/abilities/muscle_power.eml",
+    "module": "muscle_power",
+    "functions": [
+      {
+        "name": "total_power",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "power_to_weight",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "top_speed_proxy",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "striated-muscle power-to-mass scaling.",
+    "source": "apex-predator/eml/abilities/muscle_power.eml"
+  },
+  {
+    "category": "biology/abilities",
+    "file": "biology/abilities/sprint.eml",
+    "module": "sprint",
+    "functions": [
+      {
+        "name": "velocity",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "distance_covered",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "cheetah-style burst-acceleration model.",
+    "source": "apex-predator/eml/abilities/sprint.eml"
+  },
+  {
+    "category": "biology/abilities",
+    "file": "biology/abilities/texture_match.eml",
+    "module": "texture_match",
+    "functions": [
+      {
+        "name": "match_score",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "detection_probability",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "ink_visibility",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "octopus chromatic + textural skin matching.",
+    "source": "apex-predator/eml/abilities/texture_match.eml"
+  },
+  {
+    "category": "biology/abilities",
+    "file": "biology/abilities/toxin.eml",
+    "module": "toxin",
+    "functions": [
+      {
+        "name": "concentration",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "damage_rate",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "total_damage",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "viper-bite damage-over-time model.",
+    "source": "apex-predator/eml/abilities/toxin.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/acoustic_cloak.eml",
+    "module": "acoustic_cloak",
+    "functions": [
+      {
+        "name": "shell_index",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "outer_boundary_index",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "shell_thickness",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 5: PHONONICS, third demo.",
+    "source": "forge/examples/carriers/phononics/acoustic_cloak.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/ferron_emission.eml",
+    "module": "ferron_emission",
+    "functions": [
+      {
+        "name": "thz_power",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "power_at_zero_drive",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "k_emit_certificate",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 6: FERRONICS, second demo.",
+    "source": "forge/examples/carriers/ferronics/ferron_emission.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/ferron_logic.eml",
+    "module": "ferron_logic",
+    "functions": [
+      {
+        "name": "output_amplitude",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "constructive_certificate",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "p_squared_witness",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "TIER 6: FERRONICS, fourth demo.",
+    "source": "forge/examples/carriers/ferronics/ferron_logic.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/ferron_propagation.eml",
+    "module": "ferron_propagation",
+    "functions": [
+      {
+        "name": "polarization",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "envelope",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "polarization_at_origin",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "envelope_at_origin",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "TIER 6: FERRONICS (ferron carrier)",
+    "source": "forge/examples/carriers/ferronics/ferron_propagation.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/mach_zehnder.eml",
+    "module": "mach_zehnder",
+    "functions": [
+      {
+        "name": "intensity_out",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "intensity_at_zero",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "cos_sq_at_zero",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "TIER 3: PHOTONICS (photon carrier)",
+    "source": "forge/examples/carriers/photonics/mach_zehnder.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/magnon_dispersion.eml",
+    "module": "magnon_dispersion",
+    "functions": [
+      {
+        "name": "omega",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "omega_at_zero_k",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "fmr_freq",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 4: SPINTRONICS (magnon carrier)",
+    "source": "forge/examples/carriers/spintronics/magnon_dispersion.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/magnon_logic.eml",
+    "module": "magnon_logic",
+    "functions": [
+      {
+        "name": "output_amplitude",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "constructive_certificate",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "intensity_witness",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "TIER 4: SPINTRONICS, third demo.",
+    "source": "forge/examples/carriers/spintronics/magnon_logic.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/optical_neuron.eml",
+    "module": "optical_neuron",
+    "functions": [
+      {
+        "name": "activation",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "dark_output",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "isat_certificate",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "TIER 3: PHOTONICS, fourth demo.",
+    "source": "forge/examples/carriers/photonics/optical_neuron.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/phonon_bandgap.eml",
+    "module": "phonon_bandgap",
+    "functions": [
+      {
+        "name": "transmission",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "transmission_at_zero",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "sin_sq_at_zero",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "TIER 5: PHONONICS (phonon carrier)",
+    "source": "forge/examples/carriers/phononics/phonon_bandgap.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/ring_resonator.eml",
+    "module": "ring_resonator",
+    "functions": [
+      {
+        "name": "transmission",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "peak_transmission",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "fsr_separation",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 3: PHOTONICS, second demo.",
+    "source": "forge/examples/carriers/photonics/ring_resonator.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/spin_torque.eml",
+    "module": "spin_torque",
+    "functions": [
+      {
+        "name": "larmor_frequency",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "damping_prefactor",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "larmor_certificate",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "prefactor_at_zero_damping",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 4: SPINTRONICS, second demo.",
+    "source": "forge/examples/carriers/spintronics/spin_torque.eml"
+  },
+  {
+    "category": "carriers",
+    "file": "carriers/thermal_rectifier.eml",
+    "module": "thermal_rectifier",
+    "functions": [
+      {
+        "name": "forward_conductance",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "rectification_ratio",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "asymmetry",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "forward_positive",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "symmetric_certificate",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 5: PHONONICS, second demo.",
+    "source": "forge/examples/carriers/phononics/thermal_rectifier.eml"
+  },
+  {
+    "category": "circuits",
+    "file": "circuits/buck_converter.eml",
+    "module": "buck_converter",
+    "functions": [
+      {
+        "name": "circuit",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "output_voltage",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "inductor_ripple",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "output_ripple",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "critical_inductance",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "step-down DC-DC buck converter (CCM).",
+    "source": "new"
+  },
+  {
+    "category": "circuits",
+    "file": "circuits/cmos_inverter.eml",
+    "module": "cmos_inverter",
+    "functions": [
+      {
+        "name": "vout_at_low_input",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "vout_at_high_input",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "switching_threshold",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "low_input_certificate",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "high_input_certificate",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "vm_certificate",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 2: ELECTRONICS, second demo.",
+    "source": "forge/examples/carriers/electronics/cmos_inverter.eml"
+  },
+  {
+    "category": "circuits",
+    "file": "circuits/h_bridge.eml",
+    "module": "h_bridge",
+    "functions": [
+      {
+        "name": "circuit",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "forward_voltage",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "reverse_voltage",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "dead_time_loss",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "DC-motor H-bridge driver.",
+    "source": "new"
+  },
+  {
+    "category": "circuits",
+    "file": "circuits/ldo.eml",
+    "module": "ldo",
+    "functions": [
+      {
+        "name": "circuit",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "output_voltage",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "efficiency",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "dissipation",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "dropout_voltage",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "low-dropout linear regulator.",
+    "source": "new"
+  },
+  {
+    "category": "circuits",
+    "file": "circuits/mosfet_iv.eml",
+    "module": "mosfet_iv",
+    "functions": [
+      {
+        "name": "drain_current_sat",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "id_at_threshold",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "id_prefactor",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 2: ELECTRONICS (electron carrier)",
+    "source": "forge/examples/carriers/electronics/mosfet_iv.eml"
+  },
+  {
+    "category": "circuits",
+    "file": "circuits/pll_loop.eml",
+    "module": "pll_loop",
+    "functions": [
+      {
+        "name": "loop_gain",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "steady_state_error_at_zero_offset",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "loop_gain_certificate",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "ss_error_certificate",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 2: ELECTRONICS, third demo.",
+    "source": "forge/examples/carriers/electronics/pll_loop.eml"
+  },
+  {
+    "category": "circuits",
+    "file": "circuits/rc_filter.eml",
+    "module": "rc_filter",
+    "functions": [
+      {
+        "name": "circuit",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "tau",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "vout_steady",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "vout_initial",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "vout_charging",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "vout_charging_at_zero",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "single-pole RC low-pass filter, the canonical",
+    "source": "forge/examples/rc_filter.eml"
+  },
+  {
+    "category": "circuits",
+    "file": "circuits/voltage_divider.eml",
+    "module": "voltage_divider",
+    "functions": [
+      {
+        "name": "circuit",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "vout_divider",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "rsum",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "vout_symmetric",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "the textbook resistive divider, the",
+    "source": "forge/examples/voltage_divider.eml"
+  },
+  {
+    "category": "control",
+    "file": "control/bangbang.eml",
+    "module": "bangbang",
+    "functions": [
+      {
+        "name": "bangbang",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "bangbang_symmetric",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "bang-bang (relay) controller.",
+    "source": "new"
+  },
+  {
+    "category": "control",
+    "file": "control/deadband.eml",
+    "module": "deadband",
+    "functions": [
+      {
+        "name": "deadband",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "deadband_asymmetric",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "two-sided dead-zone (deadband) saturation.",
+    "source": "new"
+  },
+  {
+    "category": "control",
+    "file": "control/hysteresis.eml",
+    "module": "hysteresis",
+    "functions": [
+      {
+        "name": "hysteresis_step",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Schmitt-trigger / hysteresis switching.",
+    "source": "new"
+  },
+  {
+    "category": "control",
+    "file": "control/kalman_1d.eml",
+    "module": "kalman_1d",
+    "functions": [
+      {
+        "name": "kalman1d_predict",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "kalman1d_update",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "kalman1d_step",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "one-step 1-D Kalman filter.",
+    "source": "new"
+  },
+  {
+    "category": "control",
+    "file": "control/lqr_1d.eml",
+    "module": "lqr_1d",
+    "functions": [
+      {
+        "name": "riccati",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "lqr_gain",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "lqr_control",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "1-D infinite-horizon LQR.",
+    "source": "new"
+  },
+  {
+    "category": "control",
+    "file": "control/pid.eml",
+    "module": "pid_controller",
+    "functions": [
+      {
+        "name": "pid",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "the textbook PID controller.",
+    "source": "forge/examples/pid_controller.eml"
+  },
+  {
+    "category": "gaming/animation",
+    "file": "gaming/animation/bounce.eml",
+    "module": "bounce",
+    "functions": [
+      {
+        "name": "bounce_out",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "bounce_in",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "piecewise parabolic bounce-out curve.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/animation",
+    "file": "gaming/animation/ease_in.eml",
+    "module": "ease_in",
+    "functions": [
+      {
+        "name": "ease_in_quad",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "ease_in_cubic",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "quadratic ease-in: t\u00b2.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/animation",
+    "file": "gaming/animation/ease_in_out.eml",
+    "module": "ease_in_out",
+    "functions": [
+      {
+        "name": "smoothstep",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "smootherstep",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "smoothstep: 3t\u00b2 - 2t\u00b3.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/animation",
+    "file": "gaming/animation/ease_out.eml",
+    "module": "ease_out",
+    "functions": [
+      {
+        "name": "ease_out_quad",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "ease_out_cubic",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "quadratic ease-out: 1 - (1 - t)\u00b2.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/animation",
+    "file": "gaming/animation/ik_2bone.eml",
+    "module": "ik_2bone",
+    "functions": [
+      {
+        "name": "elbow_angle",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "shoulder_offset",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "reachable",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "two-bone inverse kinematics via law of cosines.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/animation",
+    "file": "gaming/animation/spring.eml",
+    "module": "spring",
+    "functions": [
+      {
+        "name": "underdamped",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "critically_damped",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "time_constant",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "damped harmonic oscillator response.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/audio",
+    "file": "gaming/audio/distance_attenuation.eml",
+    "module": "distance_attenuation",
+    "functions": [
+      {
+        "name": "inverse",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "inverse_square",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "linear",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "3D audio falloff models.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/audio",
+    "file": "gaming/audio/doppler.eml",
+    "module": "doppler",
+    "functions": [
+      {
+        "name": "observed_frequency",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "observed_frequency_air",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Doppler frequency shift.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/audio",
+    "file": "gaming/audio/lowpass_audio.eml",
+    "module": "lowpass_audio",
+    "functions": [
+      {
+        "name": "alpha_from_cutoff",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "step",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "first-order IIR low-pass for audio.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/audio",
+    "file": "gaming/audio/reverb_delay.eml",
+    "module": "reverb_delay",
+    "functions": [
+      {
+        "name": "feedback_safe",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "delay_step",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "t60_seconds",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "single-tap delay line with feedback.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/camera",
+    "file": "gaming/camera/dof_blur.eml",
+    "module": "dof_blur",
+    "functions": [
+      {
+        "name": "circle_of_confusion",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "circle_of_confusion_clamped",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "depth-of-field circle of confusion.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/camera",
+    "file": "gaming/camera/fov_projection.eml",
+    "module": "fov_projection",
+    "functions": [
+      {
+        "name": "m00",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "m11",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "m22",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "m23",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "perspective projection matrix coefficients.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/camera",
+    "file": "gaming/camera/orbit.eml",
+    "module": "orbit",
+    "functions": [
+      {
+        "name": "position_x",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "position_y",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "position_z",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "norm_witness",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "spherical-coordinates orbit camera.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/camera",
+    "file": "gaming/camera/shake.eml",
+    "module": "shake",
+    "functions": [
+      {
+        "name": "shake1d",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "damped-noise camera shake.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/lighting",
+    "file": "gaming/lighting/ambient_occlusion.eml",
+    "module": "ambient_occlusion",
+    "functions": [
+      {
+        "name": "sample_contribution",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "ao_factor",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "hemisphere-sampling AO approximation.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/lighting",
+    "file": "gaming/lighting/area_light.eml",
+    "module": "area_light",
+    "functions": [
+      {
+        "name": "closest_on_sphere",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "solid_angle_fraction",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "\"Most Representative Point\" approximation.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/lighting",
+    "file": "gaming/lighting/fog_exp.eml",
+    "module": "fog_exp",
+    "functions": [
+      {
+        "name": "fog_factor",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "transmittance",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "exponential fog (Beer's law).",
+    "source": "new"
+  },
+  {
+    "category": "gaming/lighting",
+    "file": "gaming/lighting/fog_exp2.eml",
+    "module": "fog_exp2",
+    "functions": [
+      {
+        "name": "fog_factor",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "transmittance",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "squared-exponential fog.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/lighting",
+    "file": "gaming/lighting/point_light.eml",
+    "module": "point_light",
+    "functions": [
+      {
+        "name": "attenuation",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "inverse_square",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "inverse-square falloff with radius clamp.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/lighting",
+    "file": "gaming/lighting/spot_light.eml",
+    "module": "spot_light",
+    "functions": [
+      {
+        "name": "cone_attenuation",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "attenuation",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "point light \u00d7 cone attenuation.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/noise",
+    "file": "gaming/noise/fbm.eml",
+    "module": "fbm",
+    "functions": [
+      {
+        "name": "fbm2",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "fbm2_default",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "fbm2_unit",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "fractal Brownian motion (octave stacker).",
+    "source": "new"
+  },
+  {
+    "category": "gaming/noise",
+    "file": "gaming/noise/perlin_2d.eml",
+    "module": "perlin_2d",
+    "functions": [
+      {
+        "name": "_grad_dot",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "perlin2",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "perlin2_unit",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "classic 2D Perlin noise.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/noise",
+    "file": "gaming/noise/perlin_3d.eml",
+    "module": "perlin_3d",
+    "functions": [
+      {
+        "name": "_grad_dot3",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "perlin3",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "3D Perlin noise for volumetric effects.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/noise",
+    "file": "gaming/noise/simplex_2d.eml",
+    "module": "simplex_2d",
+    "functions": [
+      {
+        "name": "_grad_dot",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "simplex2",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "_contribution",
+        "chain_order": 1,
+        "verified": false
+      }
+    ],
+    "description": "2D simplex noise.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/noise",
+    "file": "gaming/noise/turbulence.eml",
+    "module": "turbulence",
+    "functions": [
+      {
+        "name": "turbulence2",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "turbulence2_default",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "absolute-value FBM for cloud / marble veining.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/noise",
+    "file": "gaming/noise/value_noise.eml",
+    "module": "value_noise",
+    "functions": [
+      {
+        "name": "value2",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "value2_signed",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "interpolated lattice noise.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/noise",
+    "file": "gaming/noise/voronoi_2d.eml",
+    "module": "voronoi_2d",
+    "functions": [
+      {
+        "name": "distance_to_nearest",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "_cell_distance",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "f2_minus_f1",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "2D Voronoi cell distance field.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/noise",
+    "file": "gaming/noise/white_noise.eml",
+    "module": "white_noise",
+    "functions": [
+      {
+        "name": "hash2",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "hash3",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "hash2_at_origin",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "hash-based pseudo-random scalar in [0, 1).",
+    "source": "new"
+  },
+  {
+    "category": "gaming/noise",
+    "file": "gaming/noise/worley.eml",
+    "module": "worley",
+    "functions": [
+      {
+        "name": "squared_distance",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "_cell_sq_dist",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "manhattan_distance",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "_cell_man_dist",
+        "chain_order": 0,
+        "verified": false
+      }
+    ],
+    "description": "cellular / Worley noise for organic patterns.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/particles",
+    "file": "gaming/particles/drag.eml",
+    "module": "particle_drag",
+    "functions": [
+      {
+        "name": "velocity",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "distance_covered",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "exponential velocity decay (linear drag model).",
+    "source": "new"
+  },
+  {
+    "category": "gaming/particles",
+    "file": "gaming/particles/emitter_radial.eml",
+    "module": "emitter_radial",
+    "functions": [
+      {
+        "name": "velocity_magnitude",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "disc_offset",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "radial particle emitter velocity.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/particles",
+    "file": "gaming/particles/fade.eml",
+    "module": "fade",
+    "functions": [
+      {
+        "name": "alpha",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "alpha_in_out",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "linear alpha fade over a particle's lifetime.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/particles",
+    "file": "gaming/particles/gravity_particle.eml",
+    "module": "gravity_particle",
+    "functions": [
+      {
+        "name": "position",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "velocity",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "position_earth",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "ballistic motion under gravity.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/particles",
+    "file": "gaming/particles/size_over_life.eml",
+    "module": "size_over_life",
+    "functions": [
+      {
+        "name": "radius_linear",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "radius_power",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "particle radius as a function of age.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/physics",
+    "file": "gaming/physics/aabb_overlap.eml",
+    "module": "aabb_overlap",
+    "functions": [
+      {
+        "name": "overlap_2d",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "penetration_depth_x",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "axis-aligned bounding box intersection test.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/physics",
+    "file": "gaming/physics/buoyancy.eml",
+    "module": "buoyancy",
+    "functions": [
+      {
+        "name": "force",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "force_in_water",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "sphere_submerged_volume",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Archimedes' principle for water / fluid bodies.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/physics",
+    "file": "gaming/physics/circle_collision.eml",
+    "module": "circle_collision",
+    "functions": [
+      {
+        "name": "collides",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "penetration_depth",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "inv_distance",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "circle-vs-circle intersection test.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/physics",
+    "file": "gaming/physics/impulse_resolve.eml",
+    "module": "impulse_resolve",
+    "functions": [
+      {
+        "name": "impulse_magnitude",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "velocity_a_after",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "velocity_b_after",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "collision response with restitution.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/physics",
+    "file": "gaming/physics/rigid_body_2d.eml",
+    "module": "rigid_body_2d",
+    "functions": [
+      {
+        "name": "integrate_vx",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "integrate_vy",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "integrate_omega",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "integrate_x",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "integrate_y",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "integrate_theta",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "semi-implicit Euler step for a 2D rigid body.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/physics",
+    "file": "gaming/physics/spring_damper.eml",
+    "module": "spring_damper",
+    "functions": [
+      {
+        "name": "force",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "critical_damping",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "mass-on-spring force model.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/physics",
+    "file": "gaming/physics/verlet.eml",
+    "module": "verlet",
+    "functions": [
+      {
+        "name": "step",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "distance_constraint_correction",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Verlet position-only integration step (cloth/rope).",
+    "source": "new"
+  },
+  {
+    "category": "gaming/shading",
+    "file": "gaming/shading/fresnel.eml",
+    "module": "fresnel",
+    "functions": [
+      {
+        "name": "schlick",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "schlick_at_grazing",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "schlick_at_normal",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "f0_from_ior",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Schlick's approximation to the Fresnel term.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/shading",
+    "file": "gaming/shading/matcap.eml",
+    "module": "matcap",
+    "functions": [
+      {
+        "name": "uv_u",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "uv_v",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "normal-based environment look-up (matcap shading).",
+    "source": "new"
+  },
+  {
+    "category": "gaming/shading",
+    "file": "gaming/shading/pbr_diffuse.eml",
+    "module": "pbr_diffuse",
+    "functions": [
+      {
+        "name": "lambert",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "lambert_normalised",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "half_lambert",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Lambertian diffuse shading.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/shading",
+    "file": "gaming/shading/pbr_specular.eml",
+    "module": "pbr_specular",
+    "functions": [
+      {
+        "name": "d_ggx",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "v_smith",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "specular",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "roughness_to_alpha",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Cook-Torrance microfacet specular BRDF.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/shading",
+    "file": "gaming/shading/subsurface.eml",
+    "module": "subsurface",
+    "functions": [
+      {
+        "name": "wrap",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "back_scatter",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "sss_total",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Christensen-Burley subsurface scattering approx.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/shading",
+    "file": "gaming/shading/toon.eml",
+    "module": "toon",
+    "functions": [
+      {
+        "name": "cel_diffuse",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "rim_light",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "step-based cel shading.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/terrain",
+    "file": "gaming/terrain/biome_select.eml",
+    "module": "biome_select",
+    "functions": [
+      {
+        "name": "biome_id",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "temperature \u00d7 moisture biome classification.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/terrain",
+    "file": "gaming/terrain/cliff_detect.eml",
+    "module": "cliff_detect",
+    "functions": [
+      {
+        "name": "gradient_magnitude",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "is_cliff",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "gradient-magnitude cliff detection.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/terrain",
+    "file": "gaming/terrain/erosion_hydraulic.eml",
+    "module": "erosion_hydraulic",
+    "functions": [
+      {
+        "name": "capacity",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "eroded_amount",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "deposited_amount",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "updated_water",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "water flow + sediment transport step.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/terrain",
+    "file": "gaming/terrain/erosion_thermal.eml",
+    "module": "erosion_thermal",
+    "functions": [
+      {
+        "name": "material_transfer",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "apply_self",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "apply_neighbour",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "talus-angle thermal erosion step.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/terrain",
+    "file": "gaming/terrain/heightmap.eml",
+    "module": "heightmap",
+    "functions": [
+      {
+        "name": "height",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "ridged_height",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "FBM-driven heightmap generation.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/textures",
+    "file": "gaming/textures/brick.eml",
+    "module": "brick",
+    "functions": [
+      {
+        "name": "pattern",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "modular brick grid with mortar gap + per-row offset.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/textures",
+    "file": "gaming/textures/caustics.eml",
+    "module": "caustics",
+    "functions": [
+      {
+        "name": "intensity",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "refracted-light interference pattern.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/textures",
+    "file": "gaming/textures/checkerboard.eml",
+    "module": "checkerboard",
+    "functions": [
+      {
+        "name": "checker",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "checker_tiled",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "canonical checkerboard pattern.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/textures",
+    "file": "gaming/textures/fire.eml",
+    "module": "fire",
+    "functions": [
+      {
+        "name": "intensity",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "noise-advection fire texture.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/textures",
+    "file": "gaming/textures/marble.eml",
+    "module": "marble",
+    "functions": [
+      {
+        "name": "marble",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "turbulence-perturbed sine ramp.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/textures",
+    "file": "gaming/textures/rust.eml",
+    "module": "rust",
+    "functions": [
+      {
+        "name": "mask",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Voronoi-driven rust / oxidation mask.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/textures",
+    "file": "gaming/textures/water_surface.eml",
+    "module": "water_surface",
+    "functions": [
+      {
+        "name": "height",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "height_default",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "normal_y",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "sum-of-sines water height field.",
+    "source": "new"
+  },
+  {
+    "category": "gaming/textures",
+    "file": "gaming/textures/wood.eml",
+    "module": "wood",
+    "functions": [
+      {
+        "name": "grain",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "knot_mask",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "procedural wood-grain texture.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/abs.eml",
+    "module": "abs_module",
+    "functions": [
+      {
+        "name": "abs_kernel",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "sign",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "saturate",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "softsign",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "|x|, sign, and clamp.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/atan.eml",
+    "module": "atan_module",
+    "functions": [
+      {
+        "name": "atan_kernel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "atan_at_zero",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "atan_at_one",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "arctangent.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/atan2.eml",
+    "module": "atan2_module",
+    "functions": [
+      {
+        "name": "atan2_pos_x",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "atan2_neg_x_upper",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "atan2_neg_x_lower",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "atan2_zero_x_pos_y",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "atan2_zero_x_neg_y",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "four-quadrant arctan.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/bessel_j0.eml",
+    "module": "bessel_j0_module",
+    "functions": [
+      {
+        "name": "bessel_j0_small",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "bessel_j0_large",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "bessel_j0_at_zero",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Bessel function of the first kind, order 0.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/cos.eml",
+    "module": "cos_module",
+    "functions": [
+      {
+        "name": "cos_kernel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "cos_at_zero",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "cos_sq",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "pythagorean",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "cosine, mirror of sin.eml.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/cosh.eml",
+    "module": "cosh_module",
+    "functions": [
+      {
+        "name": "cosh_kernel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "cosh_at_zero",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "hyperbolic cosine.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/erf.eml",
+    "module": "erf_module",
+    "functions": [
+      {
+        "name": "erf_kernel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "erf_at_zero",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "erfc",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "erf_as",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "the error function.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/exp.eml",
+    "module": "exp_module",
+    "functions": [
+      {
+        "name": "exp_kernel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "exp_neg",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "expm1",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "the natural exponential, wrapped as a thin EML",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/gamma.eml",
+    "module": "gamma_module",
+    "functions": [
+      {
+        "name": "ln_gamma_stirling",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "gamma_stirling",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "gamma_at_one",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "the gamma function via Stirling's approximation.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/gaussian.eml",
+    "module": "gaussian",
+    "functions": [
+      {
+        "name": "gaussian",
+        "chain_order": 1,
+        "verified": false
+      }
+    ],
+    "description": "the bell curve.",
+    "source": "forge/examples/gaussian.eml"
+  },
+  {
+    "category": "math",
+    "file": "math/log.eml",
+    "module": "log_module",
+    "functions": [
+      {
+        "name": "ln_kernel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "log2",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "log10",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "log_b",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "log1p",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "natural log + base conversion helpers.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/pow.eml",
+    "module": "pow_module",
+    "functions": [
+      {
+        "name": "pow_kernel",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "sq",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "cube",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "pow4",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "pow8",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "power via exp(b * ln(x)) plus a few hot specialisations.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/relu.eml",
+    "module": "relu",
+    "functions": [
+      {
+        "name": "relu",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "leaky_relu",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "relu6",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "prelu",
+        "chain_order": 0,
+        "verified": false
+      }
+    ],
+    "description": "rectified linear unit family.",
+    "source": "forge/industries/ml/activations/relu.eml"
+  },
+  {
+    "category": "math",
+    "file": "math/sigmoid.eml",
+    "module": "sigmoid",
+    "functions": [
+      {
+        "name": "sigmoid",
+        "chain_order": 2,
+        "verified": false
+      },
+      {
+        "name": "silu",
+        "chain_order": 2,
+        "verified": false
+      }
+    ],
+    "description": "the neural-network activation classic.",
+    "source": "forge/examples/sigmoid.eml"
+  },
+  {
+    "category": "math",
+    "file": "math/sin.eml",
+    "module": "sin_module",
+    "functions": [
+      {
+        "name": "sin_kernel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "sin_at_zero",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "sin_sq",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "sine, with an explicit chain-order-1 contract.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/sinh.eml",
+    "module": "sinh_module",
+    "functions": [
+      {
+        "name": "sinh_kernel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "sinh_at_zero",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "hyperbolic sine.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/softmax.eml",
+    "module": "softmax",
+    "functions": [
+      {
+        "name": "softmax_shift_exp",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "softmax_normalize",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "softmax_two_logit",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "log_sum_exp_pair",
+        "chain_order": 2,
+        "verified": true
+      }
+    ],
+    "description": "numerically-stable softmax kernels.",
+    "source": "forge/industries/ml/activations/softmax.eml"
+  },
+  {
+    "category": "math",
+    "file": "math/sqrt.eml",
+    "module": "sqrt_module",
+    "functions": [
+      {
+        "name": "sqrt_kernel",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "hypot2",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "hypot3",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "rsqrt",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "square root + 2D/3D Euclidean distance.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/tan.eml",
+    "module": "tan_module",
+    "functions": [
+      {
+        "name": "tan_kernel",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "tan_at_zero",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "two_tan",
+        "chain_order": 2,
+        "verified": true
+      }
+    ],
+    "description": "tangent.",
+    "source": "new"
+  },
+  {
+    "category": "math",
+    "file": "math/tanh.eml",
+    "module": "tanh_activation",
+    "functions": [
+      {
+        "name": "tanh_activation",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "tanh_from_sigmoid",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "hard_tanh",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "hyperbolic-tangent activation.",
+    "source": "forge/industries/ml/activations/tanh.eml"
+  },
+  {
+    "category": "ml",
+    "file": "ml/attention.eml",
+    "module": "attention",
+    "functions": [
+      {
+        "name": "scale_factor",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "score_qk",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "attention_step",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "causal_mask",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "padding_mask",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "scaled dot-product attention kernel.",
+    "source": "new"
+  },
+  {
+    "category": "ml",
+    "file": "ml/cross_entropy.eml",
+    "module": "cross_entropy",
+    "functions": [
+      {
+        "name": "bce_loss",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "bce_with_logits",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "categorical_ce_pair",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "bce_with_logits_grad",
+        "chain_order": 1,
+        "verified": false
+      }
+    ],
+    "description": "cross-entropy loss kernels.",
+    "source": "forge/industries/ml/loss/cross_entropy.eml"
+  },
+  {
+    "category": "ml",
+    "file": "ml/gelu.eml",
+    "module": "gelu",
+    "functions": [
+      {
+        "name": "gelu_tanh",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "quick_gelu",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Gaussian Error Linear Unit, the activation BERT",
+    "source": "forge/industries/ml/activations/gelu.eml"
+  },
+  {
+    "category": "ml",
+    "file": "ml/layernorm.eml",
+    "module": "layernorm",
+    "functions": [
+      {
+        "name": "layernorm_step",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "layernorm_default",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "rmsnorm_step",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "per-feature layer normalization kernel.",
+    "source": "new"
+  },
+  {
+    "category": "ml",
+    "file": "ml/leaky_relu.eml",
+    "module": "leaky_relu",
+    "functions": [
+      {
+        "name": "leaky_relu",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "leaky_relu_default",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "prelu",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "leaky_relu_grad",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Leaky ReLU activation.",
+    "source": "new"
+  },
+  {
+    "category": "ml",
+    "file": "ml/relu.eml",
+    "module": "relu",
+    "functions": [
+      {
+        "name": "relu",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "leaky_relu",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "relu6",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "prelu",
+        "chain_order": 0,
+        "verified": false
+      }
+    ],
+    "description": "rectified linear unit family.",
+    "source": "forge/industries/ml/activations/relu.eml"
+  },
+  {
+    "category": "ml",
+    "file": "ml/rotary_embed.eml",
+    "module": "rotary_embed",
+    "functions": [
+      {
+        "name": "theta",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "theta_default",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "rotate_pair_even",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "rotate_pair_odd",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "norm_witness",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Rotary Position Embedding (RoPE) kernel.",
+    "source": "new"
+  },
+  {
+    "category": "ml",
+    "file": "ml/silu.eml",
+    "module": "silu",
+    "functions": [
+      {
+        "name": "silu",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "swish",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "silu_grad",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "SiLU / Swish activation.",
+    "source": "new"
+  },
+  {
+    "category": "ml",
+    "file": "ml/softmax.eml",
+    "module": "softmax",
+    "functions": [
+      {
+        "name": "softmax_shift_exp",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "softmax_normalize",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "softmax_two_logit",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "log_sum_exp_pair",
+        "chain_order": 2,
+        "verified": true
+      }
+    ],
+    "description": "numerically-stable softmax kernels.",
+    "source": "forge/industries/ml/activations/softmax.eml"
+  },
+  {
+    "category": "physics",
+    "file": "physics/coulomb.eml",
+    "module": "coulomb",
+    "functions": [
+      {
+        "name": "force",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "field",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "potential_energy",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "potential",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Coulomb's law for electrostatic force / field.",
+    "source": "new"
+  },
+  {
+    "category": "physics",
+    "file": "physics/damped_oscillator.eml",
+    "module": "damped_wave",
+    "functions": [
+      {
+        "name": "damped_wave",
+        "chain_order": 2,
+        "verified": false
+      }
+    ],
+    "description": "exp * sin, the chain-2 archetype.",
+    "source": "forge/examples/damped_wave.eml"
+  },
+  {
+    "category": "physics",
+    "file": "physics/diffusion.eml",
+    "module": "diffusion",
+    "functions": [
+      {
+        "name": "concentration",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "sigma",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "fick_first_law",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "1-D diffusion (heat / mass) equation snapshot.",
+    "source": "new"
+  },
+  {
+    "category": "physics",
+    "file": "physics/gravity.eml",
+    "module": "gravity",
+    "functions": [
+      {
+        "name": "newtonian_acceleration",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "surface_gravity_step",
+        "chain_order": 0,
+        "verified": false
+      }
+    ],
+    "description": "two gravity models for game physics.",
+    "source": "forge/industries/gaming/physics/gravity.eml"
+  },
+  {
+    "category": "physics",
+    "file": "physics/hooke.eml",
+    "module": "hooke",
+    "functions": [
+      {
+        "name": "force",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "potential_energy",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "series_stiffness",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "parallel_stiffness",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "natural_frequency",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Hooke's law for springs and elastic media.",
+    "source": "new"
+  },
+  {
+    "category": "physics",
+    "file": "physics/navier_stokes_1d.eml",
+    "module": "navier_stokes_1d",
+    "functions": [
+      {
+        "name": "pressure_term",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "viscous_term",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "convective_term",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "rhs",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "reynolds",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "1-D incompressible Navier-Stokes step.",
+    "source": "new"
+  },
+  {
+    "category": "physics",
+    "file": "physics/planck_radiation.eml",
+    "module": "planck_radiation",
+    "functions": [
+      {
+        "name": "spectral_radiance",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "wien_lambda_max",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "rayleigh_jeans_radiance",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Planck blackbody spectral radiance.",
+    "source": "forge/industries/scientific/physics/planck_radiation.eml"
+  },
+  {
+    "category": "physics",
+    "file": "physics/stefan_boltzmann.eml",
+    "module": "stefan_boltzmann",
+    "functions": [
+      {
+        "name": "radiative_flux",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "net_exchange",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "wien_peak_wavelength",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "blackbody radiative flux.",
+    "source": "forge/industries/scientific/climate/stefan_boltzmann.eml"
+  },
+  {
+    "category": "physics",
+    "file": "physics/wave_propagation.eml",
+    "module": "wave_propagation",
+    "functions": [
+      {
+        "name": "wave",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "wavelength",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "frequency",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "phase_velocity",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "1-D linear wave equation snapshot.",
+    "source": "new"
+  },
+  {
+    "category": "quantum",
+    "file": "quantum/cnot.eml",
+    "module": "cnot",
+    "functions": [
+      {
+        "name": "cnot_control_zero_passes",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "cnot_self_inverse_amp",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "cnot_zero_certificate",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "cnot_involution_certificate",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "prob_witness",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 7: QUANTUM, third demo.",
+    "source": "forge/examples/carriers/quantum/cnot.eml"
+  },
+  {
+    "category": "quantum",
+    "file": "quantum/grover_oracle.eml",
+    "module": "grover_oracle",
+    "functions": [
+      {
+        "name": "reflect",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "reflect_at_mean",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "squared_witness",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "fixed_point_value",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 7: QUANTUM, fourth demo.",
+    "source": "forge/examples/carriers/quantum/grover_oracle.eml"
+  },
+  {
+    "category": "quantum",
+    "file": "quantum/hadamard.eml",
+    "module": "hadamard",
+    "functions": [
+      {
+        "name": "h_norm_2x_squared_unnormalised",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "twice_input_norm",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "h0_norm_unnormalised",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "h1_norm_unnormalised",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "squared_norm_witness",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "TIER 7: QUANTUM, second demo.",
+    "source": "forge/examples/carriers/quantum/hadamard.eml"
+  },
+  {
+    "category": "quantum",
+    "file": "quantum/pauli_x.eml",
+    "module": "pauli_x",
+    "functions": [
+      {
+        "name": "pauli_x",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Pauli X (NOT) gate",
+    "source": "monogate-research/industries/quantum/kernels/pauli_x.eml"
+  },
+  {
+    "category": "quantum",
+    "file": "quantum/pauli_z.eml",
+    "module": "pauli_z",
+    "functions": [
+      {
+        "name": "pauli_z",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Pauli Z (phase flip) gate",
+    "source": "monogate-research/industries/quantum/kernels/pauli_z.eml"
+  },
+  {
+    "category": "quantum",
+    "file": "quantum/phase_gate.eml",
+    "module": "phase_gate",
+    "functions": [
+      {
+        "name": "r_real",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "r_imag",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "r_modulus_sq",
+        "chain_order": 1,
+        "verified": false
+      },
+      {
+        "name": "r_real_at_zero",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "r_imag_at_zero",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "unitarity_witness",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "TIER 7: QUANTUM (probability-amplitude carrier)",
+    "source": "forge/examples/carriers/quantum/phase_gate.eml"
+  },
+  {
+    "category": "quantum",
+    "file": "quantum/rotation_rz.eml",
+    "module": "rx",
+    "functions": [
+      {
+        "name": "rx",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "qubit rotations Rx(\u03b8), Ry(\u03b8), Rz(\u03b8)",
+    "source": "monogate-research/industries/quantum/kernels/rotation.eml"
+  },
+  {
+    "category": "sensors",
+    "file": "sensors/accelerometer.eml",
+    "module": "accelerometer",
+    "functions": [
+      {
+        "name": "lsb_to_si",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "tilt_angle",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "tilt_two_axis",
+        "chain_order": 2,
+        "verified": true
+      },
+      {
+        "name": "magnitude",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "IMU accelerometer model.",
+    "source": "new"
+  },
+  {
+    "category": "sensors",
+    "file": "sensors/hall_effect.eml",
+    "module": "hall_effect",
+    "functions": [
+      {
+        "name": "hall_voltage",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "hall_coefficient",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "b_from_voltage",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "Hall sensor model.",
+    "source": "new"
+  },
+  {
+    "category": "sensors",
+    "file": "sensors/photodetector.eml",
+    "module": "photodetector",
+    "functions": [
+      {
+        "name": "photocurrent",
+        "chain_order": 0,
+        "verified": false
+      },
+      {
+        "name": "current_at_zero_power",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "nonneg_current",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "P1 PHOTONIC COMPONENT LIBRARY (3/8)",
+    "source": "forge/examples/photonics/components/photodetector.eml"
+  },
+  {
+    "category": "sensors",
+    "file": "sensors/rtd.eml",
+    "module": "rtd",
+    "functions": [
+      {
+        "name": "resistance_pos",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "resistance_neg",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "temperature_pos",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Pt100 / Pt1000 RTD models (Callendar-Van Dusen).",
+    "source": "new"
+  },
+  {
+    "category": "sensors",
+    "file": "sensors/strain_gauge.eml",
+    "module": "strain_gauge",
+    "functions": [
+      {
+        "name": "resistance_change",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "strain_from_dr",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "quarter_bridge_voltage",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "half_bridge_voltage",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "full_bridge_voltage",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "stress",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "foil-resistance strain gauge model.",
+    "source": "new"
+  },
+  {
+    "category": "sensors",
+    "file": "sensors/thermistor.eml",
+    "module": "thermistor",
+    "functions": [
+      {
+        "name": "resistance_beta",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "temperature_beta",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "inv_temperature_steinhart",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "temperature_steinhart",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "kelvin_from_celsius",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "NTC thermistor models.",
+    "source": "new"
+  },
+  {
+    "category": "signal",
+    "file": "signal/bandpass.eml",
+    "module": "bandpass",
+    "functions": [
+      {
+        "name": "bandpass_step",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "alphas_from_cutoffs",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "band-pass filter as a cascade of low-pass and",
+    "source": "new"
+  },
+  {
+    "category": "signal",
+    "file": "signal/chirp.eml",
+    "module": "chirp",
+    "functions": [
+      {
+        "name": "chirp_frequency",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "",
+    "source": "monogate-research/exploration/bat_sonar/eml/chirp.eml"
+  },
+  {
+    "category": "signal",
+    "file": "signal/dft_single.eml",
+    "module": "dft_single",
+    "functions": [
+      {
+        "name": "dft_single",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "bin DFT (reference, used to validate FFT)",
+    "source": "monogate-research/industries/signal_processing/kernels/dft_single.eml"
+  },
+  {
+    "category": "signal",
+    "file": "signal/fft_butterfly.eml",
+    "module": "fft_butterfly",
+    "functions": [
+      {
+        "name": "fft_butterfly",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Tukey FFT butterfly",
+    "source": "monogate-research/industries/signal_processing/kernels/fft_butterfly.eml"
+  },
+  {
+    "category": "signal",
+    "file": "signal/highpass.eml",
+    "module": "highpass",
+    "functions": [
+      {
+        "name": "hpf1_step",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "alpha_from_rc_dt",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "alpha_from_cutoff",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "1st-order RC high-pass filter step.",
+    "source": "new"
+  },
+  {
+    "category": "signal",
+    "file": "signal/lowpass.eml",
+    "module": "lowpass",
+    "functions": [
+      {
+        "name": "lpf1_step",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "alpha_from_rc_dt",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "alpha_from_cutoff",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "1st-order RC low-pass filter step.",
+    "source": "new"
+  },
+  {
+    "category": "signal",
+    "file": "signal/matched_filter.eml",
+    "module": "matched_filter",
+    "functions": [
+      {
+        "name": "matched_filter_score",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "",
+    "source": "monogate-research/exploration/bat_sonar/eml/matched_filter.eml"
+  },
+  {
+    "category": "signal",
+    "file": "signal/notch_filter.eml",
+    "module": "notch_filter",
+    "functions": [
+      {
+        "name": "notch_coeffs",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "notch_step",
+        "chain_order": 0,
+        "verified": true
+      }
+    ],
+    "description": "2nd-order biquad notch (band-reject) filter.",
+    "source": "new"
+  },
+  {
+    "category": "signal",
+    "file": "signal/window_hamming.eml",
+    "module": "window_hamming",
+    "functions": [
+      {
+        "name": "hamming",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "hamming_at_start",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "hamming_apply",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Hamming window function.",
+    "source": "new"
+  },
+  {
+    "category": "signal",
+    "file": "signal/window_hann.eml",
+    "module": "window_hann",
+    "functions": [
+      {
+        "name": "hann",
+        "chain_order": 1,
+        "verified": true
+      },
+      {
+        "name": "hann_at_start",
+        "chain_order": 0,
+        "verified": true
+      },
+      {
+        "name": "hann_apply",
+        "chain_order": 1,
+        "verified": true
+      }
+    ],
+    "description": "Hann window function for FFT framing.",
+    "source": "new"
+  }
+]