The Baum-Connes Conjecture via Assembly-K-Persistence

Canonical Lane (defined term): the manifold-constrained local-to-global closure architecture (BC1-BC8)

Canonical Lane research workspace for a flagship problem in operator K-theory, noncommutative geometry, and geometric group theory: proving persistence of the topological-to-analytic assembly package through an admissible operator-theoretic closure architecture.

Main Manuscript

• paper/BAUM_CONNES_CONJECTURE_PREPRINT.md
• paper/CANONICAL_ROUTING_INDEX.md

Structure

• paper/

  • BAUM_CONNES_CONJECTURE_PREPRINT.md
  • CANONICAL_ROUTING_INDEX.md
  • EXTRACTION_SPEC.md

• notes/

  • EG1_public.md
  • EG2_public.md
  • EG3_public.md
  • EG4_public.md
  • IDENTIFICATION_BRIDGE.md

• repro/

  • REPRO_PACK.md
  • THIRD_PARTY_RERUN_PROTOCOL.md
  • run_repro.sh
  • repro_manifest.json
  • certificate_baseline.json

• scripts/

  • bc_closure_guard.py
  • extract_constants.py
  • promote_constants.py
  • update_manifest.py
  • release_gate.py
  • README.md

• artifacts/

  • constants_extraction_inputs.json
  • constants_extracted.json
  • constants_registry.json
  • stitch_constants.json
  • promotion_report.json

Local Reproducibility Command

bash repro/run_repro.sh

This writes repro/certificate_runtime.json.

How To Read This Professionally

1. Theorem chain first: read paper/BAUM_CONNES_CONJECTURE_PREPRINT.md.
2. Constants provenance second: audit paper/EXTRACTION_SPEC.md, artifacts/constants_extraction_inputs.json, artifacts/constants_extracted.json, and artifacts/promotion_report.json.
3. Pipeline third: run bash repro/run_repro.sh to audit hashes, provenance, and gates; it is reproducibility infrastructure, not theorem generation.

Release modes:

• normalized: status=normalized_placeholder allowed when explicitly labeled.
• fully_extracted: requires status=derived_numeric for all required constants and stitch keys.

Current BC runner policy:

• repro/run_repro.sh extracts, promotes, runs scripts/bc_closure_guard.py, updates repro/repro_manifest.json, and enforces fully_extracted release-gate mode.

Routing Rule (inclusion discipline)

Every claim-bearing item must be routed through all three layers:

1. main preprint section/appendix,
2. mirror note under notes/,
3. artifact key consumed by scripts/bc_closure_guard.py.

Routing map: paper/CANONICAL_ROUTING_INDEX.md

Citation

• Metadata: CITATION.cff
• Manuscript target: paper/BAUM_CONNES_CONJECTURE_PREPRINT.md

Authorship

• Program author: HautevilleHouse
• Canonical attribution source: CITATION.cff