Source: https://guthlabs.ai/docs/instruments/codon-dna-rna-protein-translator/

instrument / verified-clean

# Codon/DNA-RNA-Protein Translator

The current ledger marks this instrument verified clean within the source-bound verification corpus.

Status: **VERIFIED_CLEAN**Lifecycle: **verified-clean**

## Inspectable records

[01**Overview**Purpose and lifecycle](<https://guthlabs.ai/docs/instruments/codon-dna-rna-protein-translator/>)[02**Mechanism**Method and assumptions](<https://guthlabs.ai/docs/instruments/codon-dna-rna-protein-translator/mechanism/>)[03**Implementation**Binding and validation](<https://guthlabs.ai/docs/instruments/codon-dna-rna-protein-translator/implementation/>)[04**Qualification**Evidence and errata](<https://guthlabs.ai/docs/instruments/codon-dna-rna-protein-translator/qualification/>)

## Ledger state

The current ledger marks this instrument verified clean within the source-bound verification corpus.

**Area**: Biology, Medicine & Pharmacology (educational estimates only — every panel labeled not-medical-advice)

**Tranche**: tranche-7

**Evidence ID**: t7-087

**Ledger rows**: 1

No ledger note is attached.

## Review findings

Core algorithm is standard and correct when the standard genetic code, strand identity, orientation, frame indexing, incomplete-codon policy, and stop behavior are explicitly defined. Verdict is NEEDS_REVIEW because those interface semantics are missing from the specification, not because the standard codon lookup itself is incorrect.

### Formula and scope findings

- Triplet codon lookup using the NCBI standard genetic code (translation table 1) is correct for standard nuclear genetic code translation.

- The specification does not state whether DNA input is the coding strand or the template strand, nor whether the input is written 5-prime-to-3-prime or 3-prime-to-5-prime.

- The specification does not define whether reading_frame is zero-based or one-based, or whether frames are counted from the displayed input direction.

- The behavior for a sequence whose usable length is not a multiple of three is unspecified; the vectors below assume a trailing incomplete codon is ignored and reported.

- The behavior after the first stop codon is unspecified; the vectors below assume translation terminates at the first in-frame stop while mRNA output retains the full transcribed sequence.

- Handling of invalid symbols, lowercase input, ambiguous IUPAC bases, and internal whitespace is unspecified.

### Unit assumptions

- There are no physical units; inputs are nucleotide strings.

- DNA coding-strand inputs are assumed to be written 5-prime-to-3-prime and are converted to mRNA by T-to-U substitution without reverse complementation.

- DNA template-strand inputs must be explicitly labeled and are assumed here to be written 3-prime-to-5-prime; mRNA is formed by complementary transcription and is written 5-prime-to-3-prime.

- RNA inputs are assumed already to be written 5-prime-to-3-prime and are not reverse-complemented.

- Reading frames in these vectors are zero-based offsets from the displayed 5-prime end for coding DNA and RNA; frame 0 starts at the first nucleotide and frame 1 at the second.

- Amino-acid output uses three-letter symbols and excludes the terminating stop codon; stop_codons identifies in-frame stop codons.

## Boundary hardening

**BREAK_CLAIMED** · SELF_FLAGGED

The specification provides no stated resource limit or rejection behavior for extreme-length inputs, so a naive lookup implementation can fail through allocation or indexing exhaustion. It also leaves DNA strand orientation ambiguous, allowing the same written sequence to translate as different amino-acid sequences.

## Errata and corrections

No applied erratum is attached to this unique-name record.

## Inspectable example

4 review vectors are recorded. One source-bound sample is shown below.

````
{
  "inputs": {
    "sequence": "ATGGCTTGGTAA",
    "sequence_type": "DNA_coding_strand",
    "orientation": "5_to_3",
    "reading_frame": 0
  },
  "expected_outputs": {
    "mrna_sequence": "AUGGCUUGGUAA",
    "codons_used": [
      "AUG",
      "GCU",
      "UGG",
      "UAA"
    ],
    "amino_acid_sequence": [
      "Met",
      "Ala",
      "Trp"
    ],
    "stop_codon_flags": [
      false,
      false,
      false,
      true
    ],
    "translation_terminated_at": "UAA"
  },
  "reference_data": {
    "standard_genetic_code": {
      "AUG": "Met",
      "GCU": "Ala",
      "UGG": "Trp",
      "UAA": "STOP",
      "source_convention": "NCBI Genetic Code, Translational Table 1, Standard Code"
    },
    "coding_DNA_to_mRNA": {
      "T": "U",
      "source_convention": "widely tabulated standard molecular-biology transcription convention"
    }
  },
  "working": "1. Coding DNA ATG GCT TGG TAA is written 5-prime-to-3-prime. 2. Replace each DNA T with RNA U: ATG GCT TGG TAA -> AUG GCU UGG UAA. 3. Look up codons: AUG -> Met; GCU -> Ala; UGG -> Trp; UAA -> STOP. 4. Emit amino acids before the stop: Met-Ala-Trp. 5. Stop flags by codon are false, false, false, true; translation terminates at UAA."
}
````

## Related workflows

No source-defined multi-instrument workflow membership is recorded.

## Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

- `VERIFIED_LEDGER.json · VERIFIED_CLEAN`

- `evidence-tranche7/tranche7-results.json`

- `BOUNDARY_HAZARD_CATALOG.json`