Porting
Moving systems between languages and runtimes, and showing they still behave the same.
2026
Comparing an agent’s context without copying the expected answer
What it takes to show a port builds the same model request: rebuilding each part from independently captured inputs, labelling copied parts as supplied, and reading zero differences beside zero complete requests.
SelectedAgent systemsPortingContextVerification
“Ported” is several different claims
Why a parity percentage can't describe a port of an agent toolkit: a ledger that keeps gaps as rows, and the separate proofs a behaviour needs natively, in a constrained application, when hosted and against a real provider.
PortingVerificationAgent systemsArchitecture
Porting an agent by making omissions visible
How a checklist generated from the syntax tree, clean-context reviewers and a ledger that keeps “translated” apart from “reviewed” exposed what a model-assisted port of a 340,000-line Python agent had left out.
SelectedAgent systemsPortingCode reviewFormal methodsVerification
Replaying the deterministic part of an agent
Recorded model replies and terminal output drove a port through whole sessions, so each difference could be located, classified and rechecked from a checkpoint. What the loop found, how its masks stayed honest and where live runs fit.
SelectedAgent systemsPortingReplayVerification