Yogthos 712cab5265 WP: don't let a recursive pass-through poison a param to :any ... The whole-program fixpoint collects a self-recursive call's arg types into the fn's own params. When a recursive call threads a param straight through unchanged (same arg, same position — e.g. ray-cast passing `hittables` to itself), that arg's type is the param's own current type: :any until external callers determine it. And :any is absorbing, so collecting it pinned the param at :any forever — the type a caller supplied (a vector of records) was lost, and the fn's field reads stayed generic. Skip a same-position pass-through arg in the self-recursion collection (contribute the join identity). It can't add information — param i ⊇ param i is trivial — so dropping it is sound; the param is still constrained by every external caller and by any non-pass-through recursive arg. Applies to both self-recursion paths: a `defn` recursing through its var, and a named fn literal recursing via its self-local. This is why ray-cast's `ray` typed (its recursion passes a fresh ray) but `hittables` didn't (passed through). With the fix, hittables keeps its vec<Sphere> element type, so hit-all's reduce element — and hit-sphere's reads — type without any hint: ray tracer 38.4s -> 31.3s (~1.23x) with no annotations. run-wp.ss: a recursive fn threading a vec param through keeps its element type. make test / shakesmoke green, selfhost holds, 0 new divergences.		2026-06-26 12:29:18 -04:00
..
java	Add bigdec min/max (review follow-up)	2026-06-25 20:22:26 -04:00
seed	WP: don't let a recursive pass-through poison a param to :any	2026-06-26 12:29:18 -04:00
atoms.ss	Clean up codebase: rename stdlib layer, strip porting residue, fix tooling	2026-06-22 22:18:00 -04:00
bootstrap.ss	Clean up codebase: rename stdlib layer, strip porting residue, fix tooling	2026-06-22 22:18:00 -04:00
build-smoke.sh	Source locations: reader positions, error locations, native stack traces (#218)	2026-06-26 02:14:34 +00:00
build.ss	Whole-program param-type inference (closed world) (#226)	2026-06-26 10:57:45 +00:00
cli.ss	Source locations: reader positions, error locations, native stack traces (#218)	2026-06-26 02:14:34 +00:00
collections.ss	Persistent vector as a 32-way trie (#225)	2026-06-26 06:32:18 +00:00
compile-eval.ss	Source locations: reader positions, error locations, native stack traces (#218)	2026-06-26 02:14:34 +00:00
converters.ss	Replace str-render/instance-check set! chains with registries	2026-06-23 09:05:36 -04:00
dce.ss	refactor: extract host/chez/dce.ss; tag the runtime manifest (tier 1)	2026-06-23 22:20:48 -04:00
dyn-binding.ss	refactor: registry pattern for jolt-pr-str/pr-readable + remaining arms (jolt-lmot)	2026-06-23 23:22:25 -04:00
dynamic-var-defaults.ss	Define *print-meta* as a bindable dynamic var	2026-06-24 10:22:10 -04:00
emit-image.ss	Auto-resolve ::keywords; honor clojure.edn reader opts	2026-06-24 09:13:14 -04:00
host-contract.ss	Make ^Record param hints work (resolve the record tag) (#232)	2026-06-26 16:03:57 +00:00
host-table.ss	refactor: registry pattern for jolt-pr-str/pr-readable + remaining arms (jolt-lmot)	2026-06-23 23:22:25 -04:00
lazy-bridge.ss	refactor: registry pattern for jolt-pr-str/pr-readable + remaining arms (jolt-lmot)	2026-06-23 23:22:25 -04:00
loader.ss	Source locations: reader positions, error locations, native stack traces (#218)	2026-06-26 02:14:34 +00:00
multimethods.ss	defmethod on a referred multifn resolves to its home ns	2026-06-24 09:13:28 -04:00
natives-coll.ss	Clean up codebase: rename stdlib layer, strip porting residue, fix tooling	2026-06-22 22:18:00 -04:00
natives-format.ss	read-string constructs sets; format %x lowercase; extend/extends? on nil	2026-06-24 14:03:47 -04:00
natives-meta.ss	Native record representation + inline nil?/some? (#222)	2026-06-26 05:42:24 +00:00
natives-misc.ss	Tagged literals are value-equal	2026-06-24 11:03:33 -04:00
natives-num.ss	Clean up codebase: rename stdlib layer, strip porting residue, fix tooling	2026-06-22 22:18:00 -04:00
natives-reader.ss	refactor: consolidate transducers, dissolve natives-parity.ss (jolt-jcs7)	2026-06-23 23:50:42 -04:00
natives-seq.ss	Collection fns: JVM-faithful return types + laziness (#219)	2026-06-26 03:01:36 +00:00
natives-transduce.ss	Collection fns: JVM-faithful return types + laziness (#219)	2026-06-26 03:01:36 +00:00
ns.ss	refactor: registry pattern for jolt-pr-str/pr-readable + remaining arms (jolt-lmot)	2026-06-23 23:22:25 -04:00
png.ss	Clean up codebase: rename stdlib layer, strip porting residue, fix tooling	2026-06-22 22:18:00 -04:00
post-prelude.ss	Auto-resolve ::keywords; honor clojure.edn reader opts	2026-06-24 09:13:14 -04:00
predicates.ss	Clean up codebase: rename stdlib layer, strip porting residue, fix tooling	2026-06-22 22:18:00 -04:00
printing.ss	Port real clojure.pprint (pretty-printer + cl-format)	2026-06-24 16:09:09 -04:00
reader.ss	Source locations: reader positions, error locations, native stack traces (#218)	2026-06-26 02:14:34 +00:00
records.ss	Make ^Record param hints work (resolve the record tag) (#232)	2026-06-26 16:03:57 +00:00
regex.ss	Clean up codebase: rename stdlib layer, strip porting residue, fix tooling	2026-06-22 22:18:00 -04:00
remint.sh	Pure-Chez test gates (no Janet)	2026-06-21 11:22:32 -04:00
rt.ss	Source locations: reader positions, error locations, native stack traces (#218)	2026-06-26 02:14:34 +00:00
run-corpus.ss	Clean up codebase: rename stdlib layer, strip porting residue, fix tooling	2026-06-22 22:18:00 -04:00
run-devirt.ss	Devirt: fall back to dispatch when the static tag has no direct impl (#229)	2026-06-26 13:58:23 +00:00
run-fieldnum.ss	Make ^Record param hints work (resolve the record tag) (#232)	2026-06-26 16:03:57 +00:00
run-fieldread.ss	Bare-index field reads for statically-known records (#228)	2026-06-26 11:29:14 +00:00
run-infer.ss	infer gate: cover the run-inference / take-diags! checker path	2026-06-23 09:38:13 -04:00
run-numwp.ss	Hintless whole-program double inference (#230)	2026-06-26 14:18:10 +00:00
run-sci.ss	Run core.memoize's test suite on jolt	2026-06-25 13:23:05 -04:00
run-unit.ss	Real Thread/yield + Thread/interrupted (jolt-l2gc)	2026-06-23 00:06:04 -04:00
run-wp.ss	WP: don't let a recursive pass-through poison a param to :any	2026-06-26 12:29:18 -04:00
selfcheck.sh	Pure-Chez test gates (no Janet)	2026-06-21 11:22:32 -04:00
seq.ss	Collection fns: JVM-faithful return types + laziness (#219)	2026-06-26 03:01:36 +00:00
smoke.sh	Source locations: reader positions, error locations, native stack traces (#218)	2026-06-26 02:14:34 +00:00
source-registry.ss	Source locations: reader positions, error locations, native stack traces (#218)	2026-06-26 02:14:34 +00:00
syntax-quote.ss	Clean up codebase: rename stdlib layer, strip porting residue, fix tooling	2026-06-22 22:18:00 -04:00
transients.ss	Collection ops carry the receiver's metadata	2026-06-24 13:46:58 -04:00
tree-shake-smoke.sh	Tree-shake: count #'x references; multi-app soundness smoke	2026-06-23 20:27:21 -04:00
values.ss	Native record representation + inline nil?/some? (#222)	2026-06-26 05:42:24 +00:00
vars.ss	refactor: consolidate transducers, dissolve natives-parity.ss (jolt-jcs7)	2026-06-23 23:50:42 -04:00