Expand description
Assembly audit harness for verifying codegen quality.
Every pub fn in this module is #[inline(never)] to provide
clean symbol boundaries for cargo asm inspection:
cargo asm --lib -p nexus-rt --features codegen-audit "pipe_linear_3"These functions are NOT part of the public API. They exist solely
for codegen verification. The codegen-audit feature flag ensures
none of this compiles unless explicitly requested.
Modules§
- helpers
- Shared types, resources, and step functions for codegen audit.
Functions§
- adapt_
by_ ref - adapt_
cloned - adapt_
cloned_ string - adapt_
decode - adapt_
decode_ skip - adapt_
in_ fanout - adapt_
nested - adapt_
owned_ str - batch_
dag_ diamond - batch_
dag_ dispatch - batch_
dag_ fork4 - batch_
dag_ fork_ merge - batch_
dag_ guard - batch_
dag_ heavy - batch_
dag_ large - batch_
dag_ linear_ 3 - batch_
dag_ linear_ 10 - batch_
dag_ mixed_ arity - batch_
dag_ nested_ fork - batch_
dag_ option_ chain - batch_
dag_ result_ chain - batch_
dag_ route - batch_
dag_ splat - batch_
pipe_ buffer_ reuse - batch_
pipe_ dispatch - batch_
pipe_ drain_ codegen - batch_
pipe_ empty - batch_
pipe_ guard - batch_
pipe_ guard_ filter - batch_
pipe_ guard_ skip_ 10 - batch_
pipe_ large - batch_
pipe_ linear_ 3 - batch_
pipe_ linear_ 10 - batch_
pipe_ mixed_ arity - batch_
pipe_ option_ chain - batch_
pipe_ res_ skip_ 10 - batch_
pipe_ result_ chain - batch_
pipe_ route - batch_
pipe_ single_ item - batch_
pipe_ splat - batch_
pipe_ switch - batch_
pipe_ transition - broadcast_
2 - broadcast_
3 - broadcast_
4 - callback_
dispatch - callback_
template_ dispatch - dag_
asymmetric_ arms - dag_
bool_ chain - dag_
cloned_ bare - dag_
cloned_ option - dag_
cloned_ result - dag_
dedup - dag_
deep_ nested_ fork - dag_
diamond - dag_
dispatch - dag_
dispatch_ fanout - dag_
filter - dag_
filter_ in_ arm - dag_
fork2_ join - dag_
fork2_ merge - dag_
fork2_ merge_ consume - dag_
fork3_ join - dag_
fork3_ merge - dag_
fork3_ merge_ consume - dag_
fork4_ merge - dag_
fork_ arm_ combinators - dag_
fork_ heavy_ arms - dag_
fork_ then_ chain - dag_
fork_ with_ guard - dag_
fork_ with_ route - dag_
full_ kitchen_ sink - dag_
guard - dag_
guard_ skip_ 10 - dag_
linear_ 1 - dag_
linear_ 2 - dag_
linear_ 3 - dag_
linear_ 5 - dag_
linear_ 10 - dag_
linear_ 20 - dag_
linear_ mixed_ arity - dag_
nested_ fork - dag_
opt_ and_ then - dag_
opt_ chain - dag_
opt_ map - dag_
res_ and_ then - dag_
res_ catch - dag_
res_ chain - dag_
res_ err_ skip_ 10 - dag_
res_ map - dag_
res_ or_ else - dag_
route_ basic - dag_
route_ heavy_ arms - dag_
route_ in_ arm - dag_
route_ nested - dag_
sequential_ forks - dag_
splat2 - dag_
splat3 - dag_
splat5 - dag_
splat_ in_ arm - dag_
switch_ 3way - dag_
switch_ basic - dag_
switch_ resolve_ arm - dag_tap
- dag_tee
- dag_
tee_ heavy - dag_
transition_ guard_ ok_ or - dag_
wide_ fan_ out - dag_
world_ 3_ params - dag_
world_ mixed_ chain - dag_
world_ res - dag_
world_ res_ mut - fanout_
2 - fanout_
4 - fanout_
8 - handler_
0_ param_ dispatch - handler_
1_ param_ dispatch - handler_
2_ param_ dispatch - handler_
3_ param_ dispatch - handler_
catch_ unwind - handler_
virtual_ dispatch - pipe_
bool_ and - pipe_
bool_ chain - pipe_
bool_ guard_ integration - pipe_
bool_ not - pipe_
bool_ or - pipe_
bool_ xor - pipe_
cloned_ bare - pipe_
cloned_ copy_ type - pipe_
cloned_ large_ type - pipe_
cloned_ option - pipe_
cloned_ result - pipe_
dedup - pipe_
dedup_ chain - pipe_
dispatch_ broadcast - pipe_
dispatch_ fanout2 - pipe_
dispatch_ fanout4 - pipe_
dispatch_ fanout8 - pipe_
dispatch_ handler - pipe_
dispatch_ mid_ then_ continue - pipe_
filter_ basic - pipe_
guard_ basic - pipe_
guard_ large_ type - pipe_
guard_ then - pipe_
linear_ 0_ params - pipe_
linear_ 1 - pipe_
linear_ 2 - pipe_
linear_ 3 - pipe_
linear_ 5 - pipe_
linear_ 10 - pipe_
linear_ 20 - pipe_
linear_ mixed_ arity - pipe_
opt_ and_ then - pipe_
opt_ filter - pipe_
opt_ filter_ inspect_ unwrap - pipe_
opt_ filter_ skip_ chain - pipe_
opt_ guard_ skip_ 10 - pipe_
opt_ inspect - pipe_
opt_ map - pipe_
opt_ map_ 5x - pipe_
opt_ map_ and_ then - pipe_
opt_ map_ filter - pipe_
opt_ ok_ or - pipe_
opt_ ok_ or_ chain - pipe_
opt_ ok_ or_ else - pipe_
opt_ on_ none - pipe_
opt_ triple_ filter - pipe_
opt_ unwrap_ or - pipe_
opt_ unwrap_ or_ else - pipe_
res_ and_ then - pipe_
res_ catch - pipe_
res_ catch_ skip_ chain - pipe_
res_ catch_ then_ option - pipe_
res_ err_ skip_ 10 - pipe_
res_ inspect - pipe_
res_ inspect_ both - pipe_
res_ inspect_ err - pipe_
res_ map - pipe_
res_ map_ 5x - pipe_
res_ map_ and_ then - pipe_
res_ map_ err - pipe_
res_ map_ err_ or_ else - pipe_
res_ ok - pipe_
res_ or_ else - pipe_
res_ unwrap_ or - pipe_
res_ unwrap_ or_ else - pipe_
route_ basic - pipe_
route_ heavy_ arms - pipe_
route_ nested_ 2 - pipe_
route_ nested_ 3 - pipe_
splat3 - pipe_
splat4 - pipe_
splat5 - pipe_
splat2_ mid - pipe_
splat2_ start - pipe_
splat_ large_ types - pipe_
splat_ then_ guard - pipe_
splat_ with_ params - pipe_
start_ switch - pipe_
switch_ 3way - pipe_
switch_ basic - pipe_
switch_ resolve_ step - pipe_
tap_ basic - pipe_
tap_ multiple - pipe_
tap_ with_ world - pipe_
tee_ basic - pipe_
tee_ heavy - pipe_
trans_ full_ lifecycle - pipe_
trans_ guard_ ok_ or_ catch_ unwrap - pipe_
trans_ guard_ ok_ or_ unwrap - pipe_
trans_ guard_ unwrap - pipe_
trans_ nested_ option - pipe_
trans_ result_ catch_ unwrap - pipe_
trans_ result_ in_ option - pipe_
trans_ result_ ok_ unwrap - pipe_
world_ 3_ params - pipe_
world_ 5_ params - pipe_
world_ 8_ params - pipe_
world_ local - pipe_
world_ mixed_ chain - pipe_
world_ res - pipe_
world_ res_ branch - pipe_
world_ res_ mut - pipe_
world_ res_ res_ mut - stress_
batch_ dag_ nested - stress_
batch_ pipe_ 30_ steps - stress_
dag_ fork_ route_ mix - stress_
dag_ wide_ fork - stress_
mixed_ everything - stress_
pipe_ 30_ steps - stress_
pipe_ 50_ steps - stress_
pipe_ all_ combinators - stress_
pipe_ dedup_ in_ batch - stress_
pipe_ large_ type - stress_
pipe_ many_ closures - stress_
pipe_ route_ 4_ deep - stress_
pipe_ splat_ chain - stress_
pipe_ tee_ in_ route - stress_
pipe_ transition_ chain - template_
generate_ and_ dispatch - template_
stamp_ 5