The Argent lines are quoted from the Ticket transfer entry on this page and in Argent's own README. Argent, Silverscript, and Kaspa Script all use require, and blake2b and checkSig are Silverscript builtins, documented in its tutorial with the identical call shape Argent uses. That is the real relationship for those two lines: Argent inherits Silverscript's expressions rather than reinventing them.
The become line is different. Argent's README says become routes "lower to output validation," and that an exact continuation into the same actor "can use cheaper script-public-key checks." Silverscript's own tutorial documents the named builtin for that job:
validateOutputState(int outputIndex, object newState)
used to "validate continuation into the same contract template." The Silverscript line shown for that step names this real, documented builtin and shapes it around the Ticket example's own fields. It is not a copy of Argent's actual generated .sil output for this contract, which neither repository publishes.
Past Silverscript, compilation reaches Kaspa Script: silverc's own docs describe its compiled JSON output as carrying a bytecode field, "the compiled bytecode (as an array of bytes)." No file in either repository shows that array disassembled into opcode names for a real example, so this demo doesn't invent one. Argent's own README states the project "is still under active development and is not yet release-ready," waiting on Silverscript's audit, then its own.