Research writeup: ordvec ordinal-routing analysis — characterized mechanism + clean negative (not a crate change)#211

Merged

Nelson Spence (Fieldnote-Echo) merged 17 commits into

Project-Navi:mainfrom

toadkicker:feature/ordinal-routing-research

Jun 19, 2026

Commits on Jun 19, 2026

Add ordinal-routing research: probes, impossibility proofs, CRT vernier formalization

Todd Baur (toadkicker)
and
Claude (claude)
committed
Close adversarial-review gaps: fix correctness bugs, withdraw unsupported probe

Todd Baur (toadkicker)
and
Claude (claude)
committed
Characterize ordvec density collapse: mechanism + recoverable permutation signal

Todd Baur (toadkicker)
and
Claude (claude)
committed
Confirm density-collapse tau-signal on REAL embeddings (nomic-embed-text, GPU)

Todd Baur (toadkicker)
and
Claude (claude)
committed
Address Gemini code review: panic-safety, perf, Lean typecheck fix

Todd Baur (toadkicker)
and
Claude (claude)
committed
Second review round: de-circularize density test, fix bucketing, harden pipeline

Todd Baur (toadkicker)
and
Claude (claude)
committed
Docs: add benchmarks/README front door, move withdrawn results to withdrawn/

Todd Baur (toadkicker)
and
Claude (claude)
committed
Run the decisive bake-off: tau-rerank does NOT beat b=4 — clean negative

Todd Baur (toadkicker)
and
Claude (claude)
committed
Move Lean formalization to ordvec-formalization; reframe as research writeup

Todd Baur (toadkicker)
and
Claude (claude)
committed
Maintainer review pass: relocate research to experiments/, fix reproducibility + honesty nits

Nelson Spence (Fieldnote-Echo)
authored and
Todd Baur (toadkicker)
committed
docs: reconcile TwoNN evidence + Lean-PR status across the writeup

Nelson Spence (Fieldnote-Echo)
authored and
Todd Baur (toadkicker)
committed
Research round 2: oblivious-directions arc — pre-registered negative across 5 encoders
Todd Baur (toadkicker)
committed
Phase B: messy multi-cone "lake" robustness — all three lake fears unfounded

Todd Baur (toadkicker)
and
Claude (claude)
committed
Path B: chunk-length-mixture lake — fear falsified, lake arc closed
Todd Baur (toadkicker)
committed
docs: graduate the messy-corpus robustness finding into product docs
Todd Baur (toadkicker)
committed
Polish ordinal-routing research hygiene

Nelson Spence (Fieldnote-Echo)
authored and
Todd Baur (toadkicker)
committed
Merge branch 'main' into feature/ordinal-routing-research
Navi Bot (project-navi-bot)
authored

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Research writeup: ordvec ordinal-routing analysis — characterized mechanism + clean negative (not a crate change)#211

Research writeup: ordvec ordinal-routing analysis — characterized mechanism + clean negative (not a crate change)#211
Nelson Spence (Fieldnote-Echo) merged 17 commits into
Project-Navi:mainfrom
toadkicker:feature/ordinal-routing-research

Commits on Jun 19, 2026

Add ordinal-routing research: probes, impossibility proofs, CRT vernier formalization

Close adversarial-review gaps: fix correctness bugs, withdraw unsupported probe

Characterize ordvec density collapse: mechanism + recoverable permutation signal

Confirm density-collapse tau-signal on REAL embeddings (nomic-embed-text, GPU)

Address Gemini code review: panic-safety, perf, Lean typecheck fix

Second review round: de-circularize density test, fix bucketing, harden pipeline

Docs: add benchmarks/README front door, move withdrawn results to withdrawn/

Run the decisive bake-off: tau-rerank does NOT beat b=4 — clean negative

Move Lean formalization to ordvec-formalization; reframe as research writeup

Maintainer review pass: relocate research to experiments/, fix reproducibility + honesty nits

docs: reconcile TwoNN evidence + Lean-PR status across the writeup

Research round 2: oblivious-directions arc — pre-registered negative across 5 encoders

Phase B: messy multi-cone "lake" robustness — all three lake fears unfounded

Path B: chunk-length-mixture lake — fear falsified, lake arc closed

docs: graduate the messy-corpus robustness finding into product docs

Polish ordinal-routing research hygiene

Merge branch 'main' into feature/ordinal-routing-research