---
type: index
title: Factorization Atlas Wiki — wiki/ subdirectory index
---

# Wiki subdirectory index

Structured content lives here. The full per-paper index with verdict distribution and the all-papers table is one level up at [[../index|Factorization Atlas Index]].

## Falsification protocol

- [[falsifiers|Falsification Protocol]] — 13 negative findings converted to actively-watched falsifiable predictions (as-of 2026-05-08). The **Live alerts** section at the bottom of that document lists the 5 highest-probability falsifiers in priority order.

## Concepts

- [[concepts/atlas_invariant]] — Hidden object ≠ Public handle (central proposition)
- [[concepts/d5_specimen]]
- [[concepts/robinson_regularity]]

## Bills (13 obstructions)

- [[bills/bill_01_two_sided_smoothness|Bill 1: Two-sided smoothness]]
- [[bills/bill_02_divisor_function_shadow|Bill 2: Divisor-function shadow]]
- [[bills/bill_03_supply_x_yield|Bill 3: Supply × yield]]
- [[bills/bill_04_reducible_leading_form|Bill 4: Reducible-leading-form]]
- [[bills/bill_05_curve_projection|Bill 5: Curve projection]]
- [[bills/bill_06_exact_point_interpolation|Bill 6: Exact-point interpolation]] (empty across 504 papers)
- [[bills/bill_07_cross_frobenius_order|Bill 7: Cross-Frobenius order]] (empty across 504 papers)
- [[bills/bill_08_cross_frobenius_linear_complexity|Bill 8: Cross-Frobenius linear complexity]] (1 trigger)
- [[bills/bill_09_spectral_idempotent_dimension|Bill 9: Spectral idempotent dimension]]
- [[bills/bill_10_noncommutative_idempotent_shadow|Bill 10: Noncommutative idempotent shadow]]
- [[bills/bill_11_genus_character_access|Bill 11: Genus-character access]]
- [[bills/bill_12_volcano_orientation_access|Bill 12: Volcano-orientation access]]
- [[bills/bill_13_batch_shadow_order|Bill 13: Batch-shadow order]]

## Gates (3 frontier claims a mechanism may declare)

- [[gates/relation_rank]]
- [[gates/direct_asymmetry]]
- [[gates/batch_coverage]]

## Meta-costs (6 not-yet-actionable categories)

- [[meta_costs/engineering_progress]]
- [[meta_costs/non_classical_oracle]]
- [[meta_costs/expressivity_only]]
- [[meta_costs/off_topic_polynomial_factorization]]
- [[meta_costs/conditional_polynomial]]
- [[meta_costs/branch_entropy]]