majit, pyre: twenty census slices — residual boundaries, unsigned-bank folds, dyn-indirect on by default by youknowone · Pull Request #873 · youknowone/pyre

majit: attach source_lines context to a mergeinputargs UnionError

youknowone

committed

0036f76

majit: quote the block's operations when a mergeinputargs union fails

youknowone

committed

3c72c90

pyre: residualize the SYS_MODULES registry read behind a marked accessor

youknowone

committed

efa25c3

pyre: residualize the fd-write and thread-identity host seams

youknowone

committed

f8f2e66

majit: name the Vec index/index_mut acceptance test and pin both integer banks

youknowone

committed

b680f11

pyre: split try_eq_w into has_eq_w_hook + eq_w_hooked leaves

youknowone

committed

b46c9d8

pyre: give IdentityDictStrategy::getitem a named residual lookup leaf

youknowone

committed

f79a0bc

pyre: residualize the module-dict entries probe, not its router

youknowone

committed

339f2a8

pyre: spell the receiver-discounted argument count without saturating_sub

youknowone

committed

6a4189f

pyre: index the optional generator-throw arguments instead of slice::get

youknowone

committed

f76a814

pyre: take the hash_str pointer/length inside the residual boundary

youknowone

committed

6c312ff

pyre: residualize both entry-table probes and the _warnings state namespace

youknowone

committed

e5edfc2

pyre: residualize the five typed-storage promotions

youknowone

committed

0817cc3

pyre: residualize the identity delete and index the extended-slice walks

youknowone

committed

cb10a54

majit(front): fold wrapping_{add,sub,mul} on the unsigned word bank too

youknowone

committed

298b3e9

pyre: residualize the three leaves on the module-dict delete path

youknowone

committed

1d8cd33

pyre: residualize the checked module-dict probe and store

youknowone

committed

af28070

majit(front): make dyn-indirect routing the default

youknowone

committed

c438ec9

pyre: spell the callable dispatch and the callback-free dict probe without closures

youknowone

committed

88dc263

pyre, majit: clear eight census walls — the underflow report, the str view, and six leaves

youknowone

committed

81d45ce

majit: register vtable_method_ptr in the production blackhole's insns map

youknowone

committed

2d87f58

Navigation Menu

majit, pyre: twenty census slices — residual boundaries, unsigned-bank folds, dyn-indirect on by default - #873

majit, pyre: twenty census slices — residual boundaries, unsigned-bank folds, dyn-indirect on by default#873
youknowone merged 21 commits into
mainfrom
rewrite-tracer

Commits on Jul 29, 2026

majit: attach source_lines context to a mergeinputargs UnionError

majit: quote the block's operations when a mergeinputargs union fails

pyre: residualize the SYS_MODULES registry read behind a marked accessor

pyre: residualize the fd-write and thread-identity host seams

majit: name the Vec index/index_mut acceptance test and pin both integer banks

pyre: split try_eq_w into has_eq_w_hook + eq_w_hooked leaves

pyre: give IdentityDictStrategy::getitem a named residual lookup leaf

pyre: residualize the module-dict entries probe, not its router

pyre: spell the receiver-discounted argument count without saturating_sub

pyre: index the optional generator-throw arguments instead of slice::get

pyre: take the hash_str pointer/length inside the residual boundary

pyre: residualize both entry-table probes and the _warnings state namespace

pyre: residualize the five typed-storage promotions

pyre: residualize the identity delete and index the extended-slice walks

majit(front): fold wrapping_{add,sub,mul} on the unsigned word bank too

pyre: residualize the three leaves on the module-dict delete path

pyre: residualize the checked module-dict probe and store

majit(front): make dyn-indirect routing the default

pyre: spell the callable dispatch and the callback-free dict probe without closures

pyre, majit: clear eight census walls — the underflow report, the str view, and six leaves

majit: register vtable_method_ptr in the production blackhole's insns map