design_genetic_circuit
Design a genetic circuit that computes: give it a logic function and it synthesizes a NOR/NOT netlist, assigns real characterized repressor gates from a Cello UCF library, predicts the dynamic range between ON and OFF, and emits the construct's DNA.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| logic | No | the function the circuit computes: a named gate (NOT, AND, OR, NAND, NOR, XOR, XNOR, AND3, OR3, MAJORITY-3), or a truth table as one bit per input combination with the first input most significant (AND is `0001`). | AND |
| _files | No | The project: record references shaped like _subject. Their records become library documents a tool names in sequences/parts/document; a trace or alignment is found by file name. | |
| groups | No | comma-separated repressor groups the search may draw on. Narrowing this is how a large search is made tractable — and how a gate you cannot obtain is kept out of the design. Advanced. | |
| library | No | the characterized gate library to build from. Each was measured in one host under one growth condition, and the prediction inherits both. | Eco1C1G1T1 |
| sensors | No | comma-separated input sensors the search may use. Leave unset to consider every sensor the library carries. Advanced. | |
| _subject | No | The record to act on: exactly one of sequence, accession (+source), sample (an id from list_samples) or file ({name, text} or {name, base64}); record_index picks one record of several. | |
| reporters | No | comma-separated output reporters the search may use. Leave unset to consider all of them. Advanced. | |
| max_assignments | No | refuse rather than search past this many assignments. A ceiling, not a target: the search is EXHAUSTIVE, so it is never sampled — a best-of-some reported as a best-of-all is a wrong answer rather than a slow one. Advanced. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| dna | Yes | the construct broken into devices and parts, each with its own sequence, plus the solved device order and every placement constraint the library declares | |
| score | Yes | the predicted dynamic range: the dimmest ON output divided by the brightest OFF, across every input combination | |
| curves | Yes | each assigned gate's transfer function sampled around its own midpoint, with this design's operating points on it — one curve per physical gate that won a row, so a group won by two gates gives two curves | |
| netlist | Yes | the NOR/NOT netlist synthesized from the logic function, and the table it was checked to compute | |
| sequence | Yes | the construct's DNA, the devices concatenated in the order the library's placement rules put them | |
| toxicity | Yes | what the circuit costs the host: relative growth per truth-table row, the worst row, and per-gate detail — plus how many of the assigned gates actually carried a measured growth table, because a growth of 1.00 means something different when nothing was measured | |
| libraries | Yes | every shipped library with its host, growth conditions and gate count, so a caller can choose one | |
| placement | Yes | how the device order was solved: the arrangement including the library's landing pads, how many of its placement constraints bound this construct, and any rule whose operator is not implemented | |
| assignment | Yes | which sensors, gate groups and reporters the winning design uses | |
| truthTable | Yes | every input combination with its logic values and its analog levels in RPU, per node | |
| explanation | Yes | the derivation chain: conclusion, interpretation, earned cautions and machinery, generated from this run | |
| curvesFigure | Yes | the curves above drawn as the panel draws them: one panel per gate, all on the same log-log axes, the response as a line and this design's operating points on it, ON in bluish green and OFF in vermillion |