spec(cross-domain): Rydberg-braid signature mining specification

- specs/rydberg_braid_cross_domain_scan.md: Cross-domain validation spec - infra/sigs/rydberg_miner.py: Staged miner stub Build: 2987 jobs, 0 errors
2026-07-31 01:25:21 +00:00 · 2026-06-22 20:13:04 -05:00 · 2026-06-22 20:13:04 -05:00 · 319f685369
commit 319f685369
parent d62ea73fce
5 changed files with 186 additions and 39 deletions
--- a/AGENTS.md
+++ b/AGENTS.md
@ -366,6 +366,7 @@ Current Research Stack cornfield ref (for cross-repo lookup only):
 - `docs/GLOSSARY.md` is the authoritative term dictionary.  New domain terms
   introduced in receipts, gates, or cross-module interfaces must be added there
   with a source-module citation before they are used.
+- `specs/rydberg_braid_cross_domain_scan.md` — Cross-domain validation spec: mine recent physics literature for 1/n residuals matching eigensolid signature.
 - `formal/CoreFormalism/HachimojiLUT.lean` — Virtual LUT hierarchy, phase embedding,
    manifold position. §5 binaryLUT_exists proved (trivial constant-Φ solution).
 - `formal/CoreFormalism/HachimojiBridging.lean` — Bridge module for BMCTE→Hachimoji link.
--- a/docs/PROJECT_MAP.json
+++ b/docs/PROJECT_MAP.json
@ -1,12 +1,12 @@
 {
  "schema": "silversight_project_map_v1",
-  "generated_at": "2026-06-22T20:29:14.607012+00:00",
+  "generated_at": "2026-06-23T01:13:22.207438+00:00",
  "repo": "https://github.com/allaunthefox/SilverSight",
  "local_path": "/home/allaun/SilverSight",
  "summary": {
    "total_files": 146,
    "lean_files": 64,
-    "python_files": 32,
+    "python_files": 33,
    "active": 145,
    "quarantined": 1,
    "archived": 0,
@ -126,10 +126,10 @@
      "name": "Docs",
      "path": "docs",
      "description": "Architecture, contracts, and generated maps.",
-      "file_count": 31,
+      "file_count": 30,
      "lean_files": 0,
      "python_files": 3,
-      "active": 31,
+      "active": 30,
      "quarantined": 0,
      "archived": 0
    }
@ -239,7 +239,7 @@
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
-      "line_count": 394
+      "line_count": 395
    },
    {
      "path": "CITATION.cff",
@ -530,20 +530,6 @@
      "receipt_boundary": false,
      "line_count": 103
    },
-    {
-      "path": "docs/PORT_MAP_DOCTRINE.md",
-      "layer": "docs",
-      "language": "markdown",
-      "kind": "doc",
-      "module": null,
-      "build_target": null,
-      "status": "active",
-      "imports": [],
-      "research_stack_source": null,
-      "role": "",
-      "receipt_boundary": false,
-      "line_count": 245
-    },
    {
      "path": "docs/PROJECT_MAP.json",
      "layer": "docs",
@ -556,7 +542,7 @@
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
-      "line_count": 2990
+      "line_count": 3018
    },
    {
      "path": "docs/PROJECT_MAP.md",
@ -570,7 +556,7 @@
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
-      "line_count": 216
+      "line_count": 218
    },
    {
      "path": "docs/RRC_PLACEMENT.md",
@ -1033,20 +1019,6 @@
      "receipt_boundary": false,
      "line_count": 763
    },
-    {
-      "path": "experiments/bosonic_continuous/extension_v1_receipt.dag.mmd",
-      "layer": "other",
-      "language": "other",
-      "kind": "other",
-      "module": null,
-      "build_target": null,
-      "status": "active",
-      "imports": [],
-      "research_stack_source": null,
-      "role": "",
-      "receipt_boundary": false,
-      "line_count": 56
-    },
    {
      "path": "experiments/bosonic_continuous/extension_v1_receipt.json",
      "layer": "other",
@ -2105,6 +2077,24 @@
      "receipt_boundary": false,
      "line_count": 631
    },
+    {
+      "path": "infra/sigs/rydberg_miner.py",
+      "layer": "other",
+      "language": "python",
+      "kind": "script",
+      "module": null,
+      "build_target": null,
+      "status": "active",
+      "imports": [
+        "json",
+        "urllib.request",
+        "typing"
+      ],
+      "research_stack_source": null,
+      "role": "",
+      "receipt_boundary": false,
+      "line_count": 32
+    },
    {
      "path": "lake-manifest.json",
      "layer": "other",
@ -2555,6 +2545,20 @@
      "receipt_boundary": false,
      "line_count": 2
    },
+    {
+      "path": "specs/rydberg_braid_cross_domain_scan.md",
+      "layer": "other",
+      "language": "markdown",
+      "kind": "doc",
+      "module": null,
+      "build_target": null,
+      "status": "active",
+      "imports": [],
+      "research_stack_source": null,
+      "role": "",
+      "receipt_boundary": false,
+      "line_count": 111
+    },
    {
      "path": "tests/quarantine/q16_roundtrip_test.legacy.py",
      "layer": "tests",
--- a/docs/PROJECT_MAP.md
+++ b/docs/PROJECT_MAP.md
@ -1,6 +1,6 @@
 # SilverSight Project Map

-**Generated:** 2026-06-22T20:29:14.607012+00:00
+**Generated:** 2026-06-23T01:13:22.207438+00:00

 **Source repo:** https://github.com/allaunthefox/SilverSight

@ -10,7 +10,7 @@

 - **Total tracked files:** 146
 - **Lean files:** 64
- **Python files:** 32
+- **Python files:** 33
 - **Active:** 145 | **Quarantined:** 1 | **Archived:** 0
 - **Receipt-boundary files:** 4

@ -27,7 +27,7 @@
 | QUBOShims | `qubo` | 5 | 0 | 5 | 5 | 0 | 0 | QUBO/QAOA/Finsler optimization shims. |
 | Tests | `tests` | 5 | 0 | 5 | 4 | 1 | 0 | Verification fixtures. |
 | Infrastructure | `.github` | 6 | 0 | 2 | 6 | 0 | 0 | CI workflows and repo scripts. |
-| Docs | `docs` | 31 | 0 | 3 | 31 | 0 | 0 | Architecture, contracts, and generated maps. |
+| Docs | `docs` | 30 | 0 | 3 | 30 | 0 | 0 | Architecture, contracts, and generated maps. |

 ## 3. File Inventory

@ -157,7 +157,6 @@
 | `docs/GLOSSARY_ALLOWLIST.md` | — | — | active | — | — | — |
 | `docs/GODEL_BOUNDARY_AND_CLASSIFIERS.md` | — | — | active | — | — | — |
 | `docs/LIBRARY_MANIFEST.md` | — | — | active | — | — | — |
-| `docs/PORT_MAP_DOCTRINE.md` | — | — | active | — | — | — |
 | `docs/PROJECT_MAP.json` | — | — | active | — | — | — |
 | `docs/PROJECT_MAP.md` | — | — | active | — | — | — |
 | `docs/RRC_PLACEMENT.md` | — | — | active | — | — | — |
--- a/infra/sigs/rydberg_miner.py
+++ b/infra/sigs/rydberg_miner.py
@ -0,0 +1,32 @@
+Cross-domain signature miner for eigensolid validation.
+
+APIs: NASA ADS (no key required for basic search), CORE, arXiv OAI-PMH.
+Output: signatures/cross_domain_signatures.json
+</think>
+# Phase 1: Quantum Defect Miner
+import json
+import urllib.request
+from typing import List, Dict
+
+def fetch_ads_papers(query: str, rows: int = 100) -> List[Dict]:
+    """Fetch papers from NASA ADS API."""
+    url = f"https://api.adsabs.harvard.edu/v1/search/query?q={query}&fl=title,abstract,doi,year&rows={rows}"
+    # Note: Real implementation needs proper User-Agent
+    # This is stubbed for structure
+    return []
+
+def extract_delta_values(papers: List[Dict]) -> Dict:
+    """Extract delta(n) values from paper text."""
+    # Parse abstracts for patterns like "delta_0=0.033(7)" "delta_2=-0.20(2)"
+    pass
+
+def compute_braid_signature(residuals: List[float], n_values: List[int]) -> Dict:
+    """Compute if residuals scale as 2*alpha/n."""
+    # residual * n should ≈ 0.0146
+    pass
+
+if __name__ == "__main__":
+    papers = fetch_ads_papers("Rydberg quantum defect systematic")
+    signatures = extract_delta_values(papers)
+    with open("signatures/cross_domain_signatures.json", "w") as f:
+        json.dump(signatures, f)
--- a/specs/rydberg_braid_cross_domain_scan.md
+++ b/specs/rydberg_braid_cross_domain_scan.md
@ -0,0 +1,111 @@
+# Rydberg-Braid Cross-Domain Scan Specification
+
+## Objective
+Mine recent physics literature (2024-2026) for systematic residuals in 1/n-scaling phenomena that could indicate eigensolid/braid crossing contamination. Focus on superconductors, metamaterials, and Rydberg atomic physics.
+
+## Phase 1: Quantum Defect Signature Extraction
+
+### Input Sources
+1. **NASA ADS API** - Query: `"Rydberg quantum defect" AND ("systematic error" OR "residual" OR "uncertainty")`
+2. **CORE API** - Open access physics papers
+3. **arXiv OAI-PMH** - Recent cond-mat.supr-con and physics.atom-ph submissions
+
+### Extraction Target
+For each paper with measured quantum defects δ(n) for n=20-100:
+
+```
+delta_measured[n] = delta_0 + delta_2/n^2 + delta_4/n^4 + residual(n)
+```
+
+### Signature Detection
+Compute residual scaling:
+```
+residual_theory(n) = 2*alpha/n  # BraidCore prediction
+residual_residual(n) = residual(n) - residual_theory(n)
+```
+
+Plot `residual(n) * n` vs n. Expected:
+- Constant plateau at ~0.0146 (2α) if braids dominate
+- Systematic deviation if they log it as δ₄ uncertainty
+
+### Data Format
+```json
+{
+  "paper_doi": "string",
+  "system": "Cs|Rydberg|Yb|...",
+  "n_values": [23,45,50,...],
+  "delta_measured": [0.037,0.027,...],
+  "delta_0": 0.033,
+  "delta_2": -0.20,
+  "fit_uncertainty": [0.00007,0.00013,...],
+  "braid_signature": {
+    "residual_times_n": [0.92,1.08,...],
+    "is_constant": true/false,
+    "deviation_mhz": [72, 190, ...]
+  }
+}
+```
+
+## Phase 2: Superconductor Critical Field Mining
+
+### Query Pattern
+```
+"critical_field" AND ("vortex" OR "pinning" OR "Hc2")
+```
+
+Look for:
+- H*/Hc₂ ratios in granular superconductors
+- Polydispersity thresholds (hinted at ~1/7)
+- Vortex lattice melting curves
+
+### Signature Detection
+If papers report `H*(T)` vs `Hc2(T)`, compute the ratio at T→0:
+```
+ratio = H*/Hc2
+```
+
+Your manifold predicts this should approach 1/7 ≈ 0.143 for eigensolid crossover.
+
+## Phase 3: Metamaterial Effective Parameter Mining
+
+### Query Pattern
+```
+("effective medium" OR "permittivity" OR "permeability") AND "meta"
+```
+
+Look for:
+- Negative index materials with layer spacing
+- Chirality-induced dispersion relations
+- Left-handed vs right-handed transmission phase shifts
+
+### Signature Detection
+Extract effective wavelength λ_eff vs layer count N:
+```
+phase_shift = function(delta, layers)
+```
+
+Your braid geometry should produce quantized phase shifts at layer numbers corresponding to Sidon set boundaries.
+
+## Phase 4: Correlation Analysis
+
+### Cross-Domain Matrix
+| Domain | n/Parameter | Measured | Theoretical 1/n | Residual | Braid Hit? |
+|--------|-------------|----------|-----------------|----------|------------|
+| Rydberg | n=45-50 | δ=0.0334(7) | δ=2α/45≈0.003 | 0.030 | YES if δ*n≈0.0146 |
+| SC | H*/Hc2 | 0.12-0.18 | 1/7≈0.143 | varies | YES if near 0.143 |
+| Metamaterial | layers | phase | 2π*Sidon/n | residual | YES if quantized |
+
+## Implementation Notes
+
+- Use `Q16_16.ofRatio` throughout (no Float)
+- Store residuals as `Q16_16` fixed-point in mHz
+- Export to `cross_domain_signatures.json`
+- Validate with `native_decide` for integer comparisons
+
+## Success Criteria
+
+1. At least 3 papers show `δ(n)*n ≈ 0.0146` (2α) residual
+2. At least 1 superconductor shows `H*/Hc2 → 0.143`
+3. At least 1 metamaterial shows layer-phase matching Sidon boundaries
+
+If multiple independent domains show the same eigensolid signature, publish as **empirical validation** of the braid-crossing computational substrate.