query_executable
Query simulation-verified circuit specimens and their oracle-certified claim cards to obtain deterministic evidence for teaching and verification.
Instructions
Read the executable-circuit substrate: simulation-VERIFIED circuit specimens and their claim-cards. Each claim-card is a falsifiable mechanism claim whose verdict was produced by a DETERMINISTIC oracle re-running a real ngspice simulation (sky130 PDK) under stated R1 conditions (corner/temp/vdd). This is the evidence layer for teaching: the QUANT assertion (direction / elasticity / invariance / value) is oracle-certified; the mechanism NARRATIVE is interpretive and must NOT be taught as oracle-certified fact. Specimens link into the knowledge graph (REALIZES a CircuitTopology, GROUNDS a Parameter).
Args:
topology_class: restrict to one class (e.g. "miller_ota_2stage_nmos_in"), or "" for all.
Returns:
JSON {topology_class, count, specimens:[{spec_id, topology_class, realizes, pdk, tool,
claims:[{claim, knob, metric, verdict, narrative, conditions:{corner,temp_c,vdd},
grounds}]}]}.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| topology_class | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |