REVIEWER_MAP.md

Reviewer Map

Claim Scope

• Canonical-lane claim: inside the manifold_constrained lane, if the theorem chain in this repository holds and the guard certificate passes, the repository-level closure claim is satisfied.
• Standard target claim: carried by the in-repo bridge theorems tying the lane to the target statement.

Theorem Dependency Chain

1. EG1: coercive response and active control floor.
2. EG2: capture and admissible continuation.
3. EG3: compactness and no-collapse spacing.
4. EG4: rigidity and transfer.
5. Identification bridge: strict coherence on the determining class.
6. Scalar closure: SQP_G1, SQP_G2, SQP_G3, SQP_G4, SQP_G5, SQP_G6, SQP_GM all PASS.

Primary files:

• paper/N_SQUARED_PLUS_ONE_PRIMES_PREPRINT.md
• notes/EG1_public.md
• notes/EG2_public.md
• notes/EG3_public.md
• notes/EG4_public.md
• notes/IDENTIFICATION_BRIDGE.md

Closure Gates

Gate	Constant	Description
SQP_G1	kappa_polynomial	projected polynomial response has a strict positive floor
SQP_G2	sigma_distribution	distribution defect stays above capture floor across admissible congruence losses
SQP_G3	kappa_compact	normalized near-failure families are precompact and congruence windows do not collapse
SQP_G4	rho_rigidity	bad local obstruction models are excluded
SQP_G5	prime_value_transfer	rigid limit transfers to the prime-value endpoint class
SQP_G6	eps_coh	strict coherence / identification closure
SQP_GM	derived	final strict margin

Falsification Conditions

• repro/certificate_runtime.json has any non-PASS gate.
• lane.active_lane != "manifold_constrained".
• all_pass != true.
• Any manifest hash mismatch under repro/repro_manifest.json.
• A certified counterexample to any EG theorem statement used in the paper.