{
  "schema": "silversight_project_map_v1",
  "generated_at": "2026-06-23T01:22:57.555788+00:00",
  "repo": "https://github.com/allaunthefox/SilverSight",
  "local_path": "/home/allaun/SilverSight",
  "summary": {
    "total_files": 146,
    "lean_files": 64,
    "python_files": 33,
    "active": 145,
    "quarantined": 1,
    "archived": 0,
    "receipt_boundary_files": 4
  },
  "layers": [
    {
      "id": "core",
      "name": "Core",
      "path": "Core",
      "description": "Invariant core: no imports except Mathlib; defines Receipt and AVM.",
      "file_count": 8,
      "lean_files": 8,
      "python_files": 0,
      "active": 8,
      "quarantined": 0,
      "archived": 0
    },
    {
      "id": "coreformalism",
      "name": "CoreFormalism",
      "path": "formal/CoreFormalism",
      "description": "Canonical Q16_16, Sidon, braid, and Hachimoji foundations.",
      "file_count": 20,
      "lean_files": 20,
      "python_files": 0,
      "active": 20,
      "quarantined": 0,
      "archived": 0
    },
    {
      "id": "pvgs_dq_bridge",
      "name": "PVGS_DQ_Bridge",
      "path": "formal/PVGS_DQ_Bridge",
      "description": "Photon-varied Gaussian state dual-quaternion bridge.",
      "file_count": 9,
      "lean_files": 8,
      "python_files": 1,
      "active": 9,
      "quarantined": 0,
      "archived": 0
    },
    {
      "id": "universal_encoding",
      "name": "UniversalEncoding",
      "path": "formal/UniversalEncoding",
      "description": "Universal math address space and chirality.",
      "file_count": 2,
      "lean_files": 2,
      "python_files": 0,
      "active": 2,
      "quarantined": 0,
      "archived": 0
    },
    {
      "id": "binding_site",
      "name": "BindingSite",
      "path": "formal/BindingSite",
      "description": "Amino-acid / protein binding sketches.",
      "file_count": 3,
      "lean_files": 3,
      "python_files": 0,
      "active": 3,
      "quarantined": 0,
      "archived": 0
    },
    {
      "id": "python_shim",
      "name": "PythonShims",
      "path": "python",
      "description": "I/O and feature extraction; no admissibility logic.",
      "file_count": 13,
      "lean_files": 0,
      "python_files": 13,
      "active": 13,
      "quarantined": 0,
      "archived": 0
    },
    {
      "id": "qubo_shim",
      "name": "QUBOShims",
      "path": "qubo",
      "description": "QUBO/QAOA/Finsler optimization shims.",
      "file_count": 5,
      "lean_files": 0,
      "python_files": 5,
      "active": 5,
      "quarantined": 0,
      "archived": 0
    },
    {
      "id": "tests",
      "name": "Tests",
      "path": "tests",
      "description": "Verification fixtures.",
      "file_count": 5,
      "lean_files": 0,
      "python_files": 5,
      "active": 4,
      "quarantined": 1,
      "archived": 0
    },
    {
      "id": "infrastructure",
      "name": "Infrastructure",
      "path": ".github",
      "description": "CI workflows and repo scripts.",
      "file_count": 6,
      "lean_files": 0,
      "python_files": 2,
      "active": 6,
      "quarantined": 0,
      "archived": 0
    },
    {
      "id": "docs",
      "name": "Docs",
      "path": "docs",
      "description": "Architecture, contracts, and generated maps.",
      "file_count": 30,
      "lean_files": 0,
      "python_files": 3,
      "active": 30,
      "quarantined": 0,
      "archived": 0
    }
  ],
  "entries": [
    {
      "path": ".github/scripts/check_doc_sync.py",
      "layer": "infrastructure",
      "language": "python",
      "kind": "script",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "sys",
        "pathlib"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 55
    },
    {
      "path": ".github/scripts/glossary_lint.py",
      "layer": "infrastructure",
      "language": "python",
      "kind": "script",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "re",
        "sys",
        "collections",
        "pathlib"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 277
    },
    {
      "path": ".github/workflows/doc-sync.yml",
      "layer": "infrastructure",
      "language": "yaml",
      "kind": "ci",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 17
    },
    {
      "path": ".github/workflows/lean-check.yml",
      "layer": "infrastructure",
      "language": "yaml",
      "kind": "ci",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 27
    },
    {
      "path": ".github/workflows/python-check.yml",
      "layer": "infrastructure",
      "language": "yaml",
      "kind": "ci",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 23
    },
    {
      "path": ".github/workflows/q16-roundtrip.yml",
      "layer": "infrastructure",
      "language": "yaml",
      "kind": "ci",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 11
    },
    {
      "path": "AGENTS.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": 395
    },
    {
      "path": "CITATION.cff",
      "layer": "other",
      "language": "config",
      "kind": "config",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 226
    },
    {
      "path": "Core/SilverSight/FixedPoint.lean",
      "layer": "core",
      "language": "lean",
      "kind": "core",
      "module": "SilverSight.FixedPoint",
      "build_target": "SilverSight.FixedPoint",
      "status": "active",
      "imports": [
        "Lean.Data.Json",
        "Mathlib.Data.UInt",
        "Mathlib.Tactic",
        "Mathlib.Data.Int.Basic",
        "Mathlib.Data.Nat.Basic"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 1311
    },
    {
      "path": "Core/SilverSight/Semantics/CanalLayout.lean",
      "layer": "core",
      "language": "lean",
      "kind": "core",
      "module": "SilverSight.Semantics.CanalLayout",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.Semantics.Layout"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 39
    },
    {
      "path": "Core/SilverSight/Semantics/Layout.lean",
      "layer": "core",
      "language": "lean",
      "kind": "core",
      "module": "SilverSight.Semantics.Layout",
      "build_target": "SilverSight.Semantics.Layout",
      "status": "active",
      "imports": [
        "SilverSight.FixedPoint"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 141
    },
    {
      "path": "Core/SilverSight/Semantics/LayoutBridge.lean",
      "layer": "core",
      "language": "lean",
      "kind": "core",
      "module": "SilverSight.Semantics.LayoutBridge",
      "build_target": "SilverSight.Semantics.LayoutBridge",
      "status": "active",
      "imports": [
        "SilverSight.Semantics.Schema",
        "SilverSight.Semantics.Layout",
        "SilverSight.Semantics.WireFormat"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 46
    },
    {
      "path": "Core/SilverSight/Semantics/Schema.lean",
      "layer": "core",
      "language": "lean",
      "kind": "core",
      "module": "SilverSight.Semantics.Schema",
      "build_target": "SilverSight.Semantics.Schema",
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 58
    },
    {
      "path": "Core/SilverSight/Semantics/View.lean",
      "layer": "core",
      "language": "lean",
      "kind": "core",
      "module": "SilverSight.Semantics.View",
      "build_target": "SilverSight.Semantics.View",
      "status": "active",
      "imports": [
        "SilverSight.Semantics.Schema"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 48
    },
    {
      "path": "Core/SilverSight/Semantics/WireFormat.lean",
      "layer": "core",
      "language": "lean",
      "kind": "core",
      "module": "SilverSight.Semantics.WireFormat",
      "build_target": "SilverSight.Semantics.WireFormat",
      "status": "active",
      "imports": [
        "SilverSight.Semantics.Schema",
        "SilverSight.Semantics.Layout"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 73
    },
    {
      "path": "Core/SilverSightCore.lean",
      "layer": "core",
      "language": "lean",
      "kind": "core",
      "module": "SilverSightCore",
      "build_target": "SilverSightCore",
      "status": "active",
      "imports": [
        "Mathlib.Data.Fintype.Basic",
        "Mathlib.Tactic.DeriveFintype",
        "Mathlib.Tactic"
      ],
      "research_stack_source": null,
      "role": "Invariant core: Hachimoji states, Receipt, AVM δ, TIC axiom, library interface.",
      "receipt_boundary": true,
      "line_count": 377
    },
    {
      "path": "PORTING_MAP.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": 299
    },
    {
      "path": "README.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": 72
    },
    {
      "path": "REBASE_RULES.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": 177
    },
    {
      "path": "c/q16_canonical.c",
      "layer": "other",
      "language": "other",
      "kind": "other",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 77
    },
    {
      "path": "docs/ARCHITECTURE.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": 205
    },
    {
      "path": "docs/FINITE_INFINITY_DUALITY.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": 196
    },
    {
      "path": "docs/GLOSSARY.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": 248
    },
    {
      "path": "docs/GLOSSARY_ALLOWLIST.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": 89
    },
    {
      "path": "docs/GODEL_BOUNDARY_AND_CLASSIFIERS.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": 171
    },
    {
      "path": "docs/LIBRARY_MANIFEST.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": 103
    },
    {
      "path": "docs/PROJECT_MAP.json",
      "layer": "docs",
      "language": "config",
      "kind": "config",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 3022
    },
    {
      "path": "docs/PROJECT_MAP.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": 217
    },
    {
      "path": "docs/RRC_PLACEMENT.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": 161
    },
    {
      "path": "docs/RRC_REFACTOR_READINESS.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": 100
    },
    {
      "path": "docs/SYMBOLIC_REGRESSION_DESIGN.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": 131
    },
    {
      "path": "docs/TESTING.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": 179
    },
    {
      "path": "docs/build_logs/2026-06-21_session_build_baseline.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": 239
    },
    {
      "path": "docs/build_logs/2026-06-22_session_bmcte_hachimoji_bridge.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": 55
    },
    {
      "path": "docs/build_logs/2026-06-22_session_hachimoji_citation.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": 58
    },
    {
      "path": "docs/build_logs/2026-06-22_session_hachimoji_lut_bridge.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": 174
    },
    {
      "path": "docs/concept_map/concept_map_receipt.json",
      "layer": "docs",
      "language": "config",
      "kind": "config",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 36
    },
    {
      "path": "docs/concept_map/drive_concept_map.jsonl",
      "layer": "docs",
      "language": "other",
      "kind": "other",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 752
    },
    {
      "path": "docs/concept_map/markdown_concept_map.jsonl",
      "layer": "docs",
      "language": "other",
      "kind": "other",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 992
    },
    {
      "path": "docs/generate_porting_candidates.py",
      "layer": "docs",
      "language": "python",
      "kind": "script",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "json",
        "collections",
        "pathlib"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 112
    },
    {
      "path": "docs/generate_project_map.py",
      "layer": "docs",
      "language": "python",
      "kind": "script",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "json",
        "re",
        "collections",
        "pathlib",
        "typing",
        "datetime"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 456
    },
    {
      "path": "docs/generate_research_stack_usage_map.py",
      "layer": "docs",
      "language": "python",
      "kind": "script",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "json",
        "re",
        "collections",
        "pathlib"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 373
    },
    {
      "path": "docs/hachimoji_torsor_consequences.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": 88
    },
    {
      "path": "docs/research_stack_porting_candidates.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": 234
    },
    {
      "path": "docs/research_stack_usage_graph.dot",
      "layer": "docs",
      "language": "other",
      "kind": "other",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 27213
    },
    {
      "path": "docs/research_stack_usage_graph.json",
      "layer": "docs",
      "language": "config",
      "kind": "config",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 157219
    },
    {
      "path": "docs/research_stack_usage_graph.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": 92
    },
    {
      "path": "docs/research_stack_usage_graph.svg",
      "layer": "docs",
      "language": "other",
      "kind": "other",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 190512
    },
    {
      "path": "docs/research_stack_usage_graph_thumb.png",
      "layer": "docs",
      "language": "other",
      "kind": "other",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 557
    },
    {
      "path": "docs/reviews/BOSONIC_MONTE_CARLO_PIPELINE_REVIEW.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": 53
    },
    {
      "path": "exe/Q16_16Roundtrip.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "Q16_16Roundtrip",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.FixedPoint"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 105
    },
    {
      "path": "exe/RrcEmitFixture.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "RrcEmitFixture",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.AVMIsa.Emit"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 5
    },
    {
      "path": "experiments/bosonic_continuous/BMCTE_v2_PAPER.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": 65
    },
    {
      "path": "experiments/bosonic_continuous/README.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": 23
    },
    {
      "path": "experiments/bosonic_continuous/SYSTEM_SPEC.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": 87
    },
    {
      "path": "experiments/bosonic_continuous/THEORY_CLOSURE.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": 61
    },
    {
      "path": "experiments/bosonic_continuous/bmcte_extension_v1.sql",
      "layer": "other",
      "language": "other",
      "kind": "other",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 48
    },
    {
      "path": "experiments/bosonic_continuous/extension_v1.py",
      "layer": "other",
      "language": "python",
      "kind": "script",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "argparse",
        "hashlib",
        "json",
        "math",
        "os",
        "sys",
        "time",
        "dataclasses",
        "datetime",
        "pathlib",
        "typing",
        "numpy",
        "torch",
        "psycopg2",
        "psycopg2.extras",
        "rds_connect",
        "collections",
        "collections"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 763
    },
    {
      "path": "experiments/bosonic_continuous/extension_v1_receipt.json",
      "layer": "other",
      "language": "config",
      "kind": "config",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 233
    },
    {
      "path": "experiments/bosonic_continuous/kernel/ryser_continuous.py",
      "layer": "other",
      "language": "python",
      "kind": "script",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "math",
        "typing"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 59
    },
    {
      "path": "experiments/bosonic_continuous/tests/test_lambda_interpolation.py",
      "layer": "other",
      "language": "python",
      "kind": "script",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "math",
        "sys"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 42
    },
    {
      "path": "extraction/cornfield_concepts.json",
      "layer": "other",
      "language": "config",
      "kind": "config",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 2405
    },
    {
      "path": "formal/BindingSite/BindingSiteCodec.lean",
      "layer": "binding_site",
      "language": "lean",
      "kind": "formal",
      "module": "BindingSite.BindingSiteCodec",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib",
        "BindingSiteHachimoji",
        "BindingSiteEntropy",
        "pvgs.PVGS_DQ_Bridge_fixed"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/BindingSite/BindingSiteCodec.lean",
      "role": "Binding-site codec for amino-acid/protein sketches.",
      "receipt_boundary": false,
      "line_count": 201
    },
    {
      "path": "formal/BindingSite/BindingSiteEntropy.lean",
      "layer": "binding_site",
      "language": "lean",
      "kind": "formal",
      "module": "BindingSite.BindingSiteEntropy",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib",
        "BindingSiteHachimoji"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/BindingSite/BindingSiteEntropy.lean",
      "role": "Entropy calculations for binding sites.",
      "receipt_boundary": false,
      "line_count": 193
    },
    {
      "path": "formal/BindingSite/BindingSiteHachimoji.lean",
      "layer": "binding_site",
      "language": "lean",
      "kind": "formal",
      "module": "BindingSite.BindingSiteHachimoji",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Fin.Basic",
        "Mathlib.Probability.Distributions.Uniform",
        "Mathlib.LinearAlgebra.Matrix.PosDef",
        "library.ChentsovFinite"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/BindingSite/BindingSiteHachimoji.lean",
      "role": "Binding-site classification into Hachimoji states.",
      "receipt_boundary": false,
      "line_count": 287
    },
    {
      "path": "formal/CoreFormalism/Bind.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.Bind",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "CoreFormalism.FixedPoint",
        "Lean.Data.Json"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/Bind.lean",
      "role": "Bind/connective primitives used by braid modules.",
      "receipt_boundary": false,
      "line_count": 321
    },
    {
      "path": "formal/CoreFormalism/BraidBracket.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.BraidBracket",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "CoreFormalism.DynamicCanal"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/BraidBracket.lean",
      "role": "Braid bracket algebra.",
      "receipt_boundary": false,
      "line_count": 199
    },
    {
      "path": "formal/CoreFormalism/BraidCross.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.BraidCross",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "CoreFormalism.DynamicCanal",
        "CoreFormalism.BraidStrand",
        "CoreFormalism.BraidBracket",
        "CoreFormalism.FixedPoint"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/BraidCross.lean",
      "role": "Braid crossing representation and residuals.",
      "receipt_boundary": false,
      "line_count": 133
    },
    {
      "path": "formal/CoreFormalism/BraidEigensolid.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.BraidEigensolid",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "CoreFormalism.BraidCross",
        "CoreFormalism.BraidStrand",
        "CoreFormalism.BraidBracket"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/BraidEigensolid.lean",
      "role": "Eigensolid fixed-point theory for BraidStorm topology.",
      "receipt_boundary": false,
      "line_count": 821
    },
    {
      "path": "formal/CoreFormalism/BraidField.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.BraidField",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.List.Basic",
        "Mathlib.Data.Int.Basic",
        "Mathlib.Data.Nat.Basic",
        "CoreFormalism.Bind",
        "CoreFormalism.FixedPoint"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/BraidField.lean",
      "role": "Field operations on braid states.",
      "receipt_boundary": false,
      "line_count": 486
    },
    {
      "path": "formal/CoreFormalism/BraidSpherionBridge.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.BraidSpherionBridge",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "CoreFormalism.BraidField",
        "CoreFormalism.BraidEigensolid",
        "CoreFormalism.BraidCross",
        "CoreFormalism.BraidStrand",
        "CoreFormalism.BraidBracket",
        "CoreFormalism.FixedPoint"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/BraidSpherionBridge.lean",
      "role": "Braid-to-spherion bridge and topological mixing.",
      "receipt_boundary": false,
      "line_count": 525
    },
    {
      "path": "formal/CoreFormalism/BraidStrand.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.BraidStrand",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "CoreFormalism.DynamicCanal",
        "CoreFormalism.BraidBracket",
        "CoreFormalism.FixedPoint"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/BraidStrand.lean",
      "role": "8-strand braid model.",
      "receipt_boundary": false,
      "line_count": 122
    },
    {
      "path": "formal/CoreFormalism/ChentsovFinite.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.ChentsovFinite",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Matrix.Basic",
        "Mathlib.LinearAlgebra.Matrix.PosDef",
        "Mathlib.Data.Fin.Basic",
        "Mathlib.Analysis.Convex.Simplex",
        "Mathlib.Analysis.SpecialFunctions.Pow.Real",
        "Mathlib.Topology.Basic",
        "Mathlib.Data.Real.Basic",
        "Mathlib.Topology.Instances.Real",
        "Mathlib.Data.Rat.Basic"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/ChentsovBridge.lean",
      "role": "Finite Chentsov theorem for the 8-state Hachimoji simplex.",
      "receipt_boundary": false,
      "line_count": 883
    },
    {
      "path": "formal/CoreFormalism/DynamicCanal.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.DynamicCanal",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "CoreFormalism.FixedPoint",
        "CoreFormalism.Tactics",
        "CoreFormalism.Q16_16Numerics"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/DynamicCanal.lean",
      "role": "Dynamic canal primitives for braid/spherion flow.",
      "receipt_boundary": false,
      "line_count": 911
    },
    {
      "path": "formal/CoreFormalism/FixedPoint.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.FixedPoint",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.FixedPoint"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/FixedPoint.lean",
      "role": "Canonical Q16_16 fixed-point type; source of truth for cross-language determinism.",
      "receipt_boundary": false,
      "line_count": 1
    },
    {
      "path": "formal/CoreFormalism/HachimojiBase.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.HachimojiBase",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Equiv.Basic",
        "Mathlib.Tactic",
        "Semantics.HachimojiManifoldAxiom",
        "Semantics.RRCLogogramProjection"
      ],
      "research_stack_source": null,
      "role": "Base definitions for the 8-state Hachimoji alphabet.",
      "receipt_boundary": false,
      "line_count": 300
    },
    {
      "path": "formal/CoreFormalism/HachimojiBridging.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.HachimojiBridging",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Fin.Basic",
        "Mathlib.Data.Real.Basic",
        "Mathlib.Data.Set.Basic",
        "Mathlib.Tactic",
        "CoreFormalism.HachimojiCodec"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 509
    },
    {
      "path": "formal/CoreFormalism/HachimojiCodec.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.HachimojiCodec",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Finset.Basic",
        "Mathlib.Tactic"
      ],
      "research_stack_source": null,
      "role": "Hachimoji encode/decode for UTF-8 strings.",
      "receipt_boundary": false,
      "line_count": 366
    },
    {
      "path": "formal/CoreFormalism/HachimojiLUT.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.HachimojiLUT",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Real.Basic",
        "Mathlib.Analysis.SpecialFunctions.Trigonometric.Basic",
        "Mathlib.Data.Fin.Basic",
        "Mathlib.Tactic",
        "CoreFormalism.HachimojiCodec"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 496
    },
    {
      "path": "formal/CoreFormalism/HachimojiManifoldAxiom.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.HachimojiManifoldAxiom",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Real.Basic",
        "Mathlib.Analysis.SpecialFunctions.Log.Basic",
        "Mathlib.Topology.MetricSpace.Basic",
        "Mathlib.Tactic",
        "Semantics.GoormaghtighEnumeration"
      ],
      "research_stack_source": null,
      "role": "Axioms tying Hachimoji states to statistical manifold structure.",
      "receipt_boundary": false,
      "line_count": 244
    },
    {
      "path": "formal/CoreFormalism/InteractionGraphSidon.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.InteractionGraphSidon",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Matrix.Basic",
        "Mathlib.Data.Matrix.Mul",
        "Mathlib.Data.Finset.Basic",
        "Mathlib.Data.List.FinRange",
        "Mathlib.Tactic"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/InteractionGraphSidon.lean",
      "role": "Typed interaction graphs, bounded Sidon witness, weak-axis CRT reconstruction.",
      "receipt_boundary": false,
      "line_count": 191
    },
    {
      "path": "formal/CoreFormalism/Q16_16Numerics.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.Q16_16Numerics",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "CoreFormalism.FixedPoint"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/Q16_16Numerics.lean",
      "role": "Numeric helpers and bounds over canonical Q16_16.",
      "receipt_boundary": false,
      "line_count": 249
    },
    {
      "path": "formal/CoreFormalism/SidonSets.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.SidonSets",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Set.Basic",
        "Mathlib.Data.Finset.Basic",
        "Mathlib.Data.Finset.Sort",
        "Mathlib.Analysis.SpecialFunctions.Pow.Real",
        "Mathlib.Algebra.Order.Chebyshev",
        "Mathlib.Tactic.Zify",
        "Mathlib.FieldTheory.Finite.GaloisField",
        "Mathlib.FieldTheory.Finite.Trace",
        "Mathlib.FieldTheory.Finite.Basic",
        "Mathlib.FieldTheory.Minpoly.Field",
        "Mathlib.FieldTheory.IntermediateField.Basic",
        "Mathlib.FieldTheory.IntermediateField.Adjoin.Basic",
        "Mathlib.RingTheory.Trace.Basic",
        "Mathlib.RingTheory.PowerBasis",
        "Mathlib.LinearAlgebra.FiniteDimensional.Lemmas",
        "Mathlib.LinearAlgebra.Dimension.RankNullity",
        "Mathlib.LinearAlgebra.LinearIndependent.Defs",
        "Mathlib.LinearAlgebra.LinearIndependent.Lemmas",
        "Mathlib.LinearAlgebra.Span.Basic",
        "Mathlib.GroupTheory.SpecificGroups.Cyclic",
        "Mathlib.GroupTheory.QuotientGroup.Basic",
        "Mathlib.GroupTheory.Index",
        "Mathlib.GroupTheory.OrderOfElement",
        "Mathlib.Tactic.LinearCombination",
        "Mathlib.Tactic.FieldSimp",
        "Mathlib.NumberTheory.Bertrand"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/SidonSets.lean",
      "role": "Sidon-set definitions, extremal function, Johnson/Lindström bounds, Singer theorem.",
      "receipt_boundary": false,
      "line_count": 1511
    },
    {
      "path": "formal/CoreFormalism/SieveLemmas.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.SieveLemmas",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Nat.GCD.BigOperators",
        "Mathlib.Data.ZMod.Basic"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/SieveLemmas.lean",
      "role": "Coprime-sieve observers and CRT reconstruction.",
      "receipt_boundary": false,
      "line_count": 112
    },
    {
      "path": "formal/CoreFormalism/Tactics.lean",
      "layer": "coreformalism",
      "language": "lean",
      "kind": "formal",
      "module": "CoreFormalism.Tactics",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Lean"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/Tactics.lean",
      "role": "Shared tactic macros used across CoreFormalism modules.",
      "receipt_boundary": false,
      "line_count": 22
    },
    {
      "path": "formal/PVGS_DQ_Bridge/PVGS_DQ_Bridge_fixed.lean",
      "layer": "pvgs_dq_bridge",
      "language": "lean",
      "kind": "formal",
      "module": "PVGS_DQ_Bridge.PVGS_DQ_Bridge_fixed",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/PVGS_DQ_Bridge.lean",
      "role": "Master PVGS dual-quaternion bridge receipt.",
      "receipt_boundary": true,
      "line_count": 1531
    },
    {
      "path": "formal/PVGS_DQ_Bridge/pvgs_receipt_hash.py",
      "layer": "pvgs_dq_bridge",
      "language": "python",
      "kind": "script",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "pvgs_receipt_hash",
        "hashlib",
        "json",
        "typing",
        "sys"
      ],
      "research_stack_source": "4-Infrastructure/shim/pvgs_receipt_hash.py",
      "role": "Python helper to hash PVGS receipts.",
      "receipt_boundary": true,
      "line_count": 318
    },
    {
      "path": "formal/PVGS_DQ_Bridge/section1_pvgs_params.lean",
      "layer": "pvgs_dq_bridge",
      "language": "lean",
      "kind": "formal",
      "module": "PVGS_DQ_Bridge.section1_pvgs_params",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/PVGS_DQ_Bridge.lean",
      "role": "Photon-varied Gaussian state parameters.",
      "receipt_boundary": false,
      "line_count": 501
    },
    {
      "path": "formal/PVGS_DQ_Bridge/section2_hermite_sieve.lean",
      "layer": "pvgs_dq_bridge",
      "language": "lean",
      "kind": "formal",
      "module": "PVGS_DQ_Bridge.section2_hermite_sieve",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Nat.Basic",
        "Mathlib.Data.Nat.Factorial.Basic",
        "Mathlib.Data.Rat.Basic",
        "Mathlib.Data.Finset.Basic",
        "Mathlib.Algebra.BigOperators.Basic",
        "Mathlib.Tactic"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/PVGS_DQ_Bridge.lean",
      "role": "Hermite-sieve construction for PVGS.",
      "receipt_boundary": false,
      "line_count": 756
    },
    {
      "path": "formal/PVGS_DQ_Bridge/section3_variety_isomorphism.lean",
      "layer": "pvgs_dq_bridge",
      "language": "lean",
      "kind": "formal",
      "module": "PVGS_DQ_Bridge.section3_variety_isomorphism",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Int.Basic",
        "Mathlib.Data.Nat.Basic",
        "Mathlib.Algebra.Ring.Basic",
        "Mathlib.Tactic"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/PVGS_DQ_Bridge.lean",
      "role": "Variety isomorphism linking PVGS states.",
      "receipt_boundary": false,
      "line_count": 607
    },
    {
      "path": "formal/PVGS_DQ_Bridge/section4_rrc_kernel.lean",
      "layer": "pvgs_dq_bridge",
      "language": "lean",
      "kind": "formal",
      "module": "PVGS_DQ_Bridge.section4_rrc_kernel",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Nat.Basic",
        "Mathlib.Data.Rat.Basic",
        "Mathlib.Data.Rat.Order",
        "Mathlib.Algebra.Order.AbsoluteValue",
        "Mathlib.Tactic"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/PVGS_DQ_Bridge.lean",
      "role": "RRC kernel embedded in PVGS bridge.",
      "receipt_boundary": false,
      "line_count": 502
    },
    {
      "path": "formal/PVGS_DQ_Bridge/section5_quantum_sensing.lean",
      "layer": "pvgs_dq_bridge",
      "language": "lean",
      "kind": "formal",
      "module": "PVGS_DQ_Bridge.section5_quantum_sensing",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Nat.Basic",
        "Mathlib.Data.Nat.Factorial.Basic",
        "Mathlib.Data.Rat.Basic",
        "Mathlib.Data.Real.Basic",
        "Mathlib.Data.Real.Sqrt",
        "Mathlib.Algebra.Order.Positive.Field",
        "Mathlib.Tactic"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/PVGS_DQ_Bridge.lean",
      "role": "Quantum-sensing bounds within PVGS.",
      "receipt_boundary": false,
      "line_count": 813
    },
    {
      "path": "formal/PVGS_DQ_Bridge/section6_effective_bounds.lean",
      "layer": "pvgs_dq_bridge",
      "language": "lean",
      "kind": "formal",
      "module": "PVGS_DQ_Bridge.section6_effective_bounds",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Nat.Basic",
        "Mathlib.Data.Int.Basic",
        "Mathlib.Data.Rat.Basic",
        "Mathlib.Data.Rat.Order",
        "Mathlib.Data.Real.Basic",
        "Mathlib.Data.Real.Log",
        "Mathlib.Data.Finset.Basic",
        "Mathlib.Algebra.Order.AbsoluteValue",
        "Mathlib.Tactic"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/PVGS_DQ_Bridge.lean",
      "role": "Effective bounds for dual-quaternion operations.",
      "receipt_boundary": false,
      "line_count": 868
    },
    {
      "path": "formal/PVGS_DQ_Bridge/section7_master_receipt.lean",
      "layer": "pvgs_dq_bridge",
      "language": "lean",
      "kind": "formal",
      "module": "PVGS_DQ_Bridge.section7_master_receipt",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib.Data.Nat.Basic",
        "Mathlib.Data.Int.Basic",
        "Mathlib.Data.Rat.Basic",
        "Mathlib.Data.Rat.Order",
        "Mathlib.Data.Real.Basic",
        "Mathlib.Data.Real.Sqrt",
        "Mathlib.Algebra.Order.AbsoluteValue",
        "Mathlib.Tactic"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/PVGS_DQ_Bridge.lean",
      "role": "Top-level PVGS receipt assembly.",
      "receipt_boundary": true,
      "line_count": 550
    },
    {
      "path": "formal/RRCLib/RRCEmit.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "RRCLib.RRCEmit",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.RRCLogogramProjection",
        "SilverSight.ReceiptCore"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 435
    },
    {
      "path": "formal/RRCLib/RRCLogogramProjection.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "RRCLib.RRCLogogramProjection",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 177
    },
    {
      "path": "formal/RRCLib/ReceiptCore.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "RRCLib.ReceiptCore",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSightCore"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 286
    },
    {
      "path": "formal/SilverSight/AVMIsa/Emit.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.AVMIsa.Emit",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.AVMIsa.Run",
        "SilverSight.ReceiptCore",
        "SilverSight.RRCLogogramProjection",
        "SilverSight.RRC.Emit",
        "SilverSight.RRC.Corpus250"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 280
    },
    {
      "path": "formal/SilverSight/AVMIsa/Instr.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.AVMIsa.Instr",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.AVMIsa.Value"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 42
    },
    {
      "path": "formal/SilverSight/AVMIsa/Run.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.AVMIsa.Run",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.AVMIsa.Step"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 44
    },
    {
      "path": "formal/SilverSight/AVMIsa/State.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.AVMIsa.State",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.AVMIsa.Instr"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 31
    },
    {
      "path": "formal/SilverSight/AVMIsa/Step.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.AVMIsa.Step",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.AVMIsa.State"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 174
    },
    {
      "path": "formal/SilverSight/AVMIsa/Types.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.AVMIsa.Types",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.FixedPoint"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 15
    },
    {
      "path": "formal/SilverSight/AVMIsa/Value.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.AVMIsa.Value",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.AVMIsa.Types",
        "SilverSight.FixedPoint"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 34
    },
    {
      "path": "formal/SilverSight/PIST/Classify.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.PIST.Classify",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.PIST.Spectral",
        "SilverSight.FixedPoint"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 229
    },
    {
      "path": "formal/SilverSight/PIST/Matrices250.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.PIST.Matrices250",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 2526
    },
    {
      "path": "formal/SilverSight/PIST/Spectral.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.PIST.Spectral",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.FixedPoint"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 213
    },
    {
      "path": "formal/SilverSight/RRC/Corpus250.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.RRC.Corpus250",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.RRC.Emit",
        "SilverSight.PIST.Classify",
        "SilverSight.PIST.Matrices250"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 3533
    },
    {
      "path": "formal/SilverSight/RRC/Emit.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.RRC.Emit",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.RRCLogogramProjection",
        "SilverSight.ReceiptCore"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 435
    },
    {
      "path": "formal/SilverSight/RRC/EntropyCandidates.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.RRC.EntropyCandidates",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "CoreFormalism.BraidEigensolid",
        "CoreFormalism.BraidStrand",
        "CoreFormalism.BraidBracket",
        "SilverSight.FixedPoint"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 209
    },
    {
      "path": "formal/SilverSight/RRC/PolyFactorIdentity.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.RRC.PolyFactorIdentity",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.FixedPoint",
        "Mathlib.Data.Finset.Basic",
        "Mathlib.NumberTheory.Divisors"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 386
    },
    {
      "path": "formal/SilverSight/RRC/ReceiptDensity.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.RRC.ReceiptDensity",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSight.FixedPoint",
        "SilverSight.RRCLogogramProjection",
        "SilverSight.RRC.Emit"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 240
    },
    {
      "path": "formal/SilverSight/RRCLogogramProjection.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.RRCLogogramProjection",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 177
    },
    {
      "path": "formal/SilverSight/ReceiptCore.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "SilverSight.ReceiptCore",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "SilverSightCore"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 286
    },
    {
      "path": "formal/UniversalEncoding/ChiralitySpace.lean",
      "layer": "universal_encoding",
      "language": "lean",
      "kind": "formal",
      "module": "UniversalEncoding.ChiralitySpace",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib",
        "universal_encoding.UniversalMathEncoding"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/ChiralitySpace.lean",
      "role": "Chirality classification space.",
      "receipt_boundary": false,
      "line_count": 440
    },
    {
      "path": "formal/UniversalEncoding/UniversalMathEncoding.lean",
      "layer": "universal_encoding",
      "language": "lean",
      "kind": "formal",
      "module": "UniversalEncoding.UniversalMathEncoding",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Mathlib",
        "library.ChentsovFinite",
        "pvgs.PVGS_DQ_Bridge_fixed",
        "binding_site.BindingSiteHachimoji"
      ],
      "research_stack_source": "0-Core-Formalism/lean/Semantics/Semantics/UniversalMathEncoding.lean",
      "role": "50-token universal math address space.",
      "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",
        "urllib.parse",
        "xml.etree.ElementTree",
        "re",
        "typing",
        "pathlib"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 144
    },
    {
      "path": "lake-manifest.json",
      "layer": "other",
      "language": "config",
      "kind": "config",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 96
    },
    {
      "path": "lakefile.lean",
      "layer": "other",
      "language": "lean",
      "kind": "formal",
      "module": "lakefile",
      "build_target": "SilverSightFormal",
      "status": "active",
      "imports": [
        "Lake"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 89
    },
    {
      "path": "lean-toolchain",
      "layer": "other",
      "language": "other",
      "kind": "other",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 1
    },
    {
      "path": "pytest.ini",
      "layer": "other",
      "language": "other",
      "kind": "other",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 6
    },
    {
      "path": "python/build_corpus250.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "argparse",
        "pathlib"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 233
    },
    {
      "path": "python/build_pist_matrices_250.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "argparse",
        "pathlib"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 123
    },
    {
      "path": "python/chaos_game.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "hashlib",
        "json",
        "math",
        "typing",
        "sidon_address",
        "spectral_profile",
        "sidon_address",
        "datetime"
      ],
      "research_stack_source": "4-Infrastructure/shim/chaos_game_16d.py",
      "role": "16D chaos-game basin sampler.",
      "receipt_boundary": false,
      "line_count": 305
    },
    {
      "path": "python/expr_tree.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "math",
        "numpy",
        "dataclasses",
        "typing"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 203
    },
    {
      "path": "python/hachimoji_citation.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "json",
        "re",
        "subprocess",
        "dataclasses",
        "typing",
        "sentence_transformers",
        "sentence_transformers",
        "argparse"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 410
    },
    {
      "path": "python/linear_scaling.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "numpy",
        "typing"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 86
    },
    {
      "path": "python/log_prescreen.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "math",
        "numpy",
        "dataclasses",
        "typing"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 231
    },
    {
      "path": "python/pist_matrix_builder.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "argparse",
        "hashlib",
        "json",
        "re",
        "typing"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 86
    },
    {
      "path": "python/q16_canonical.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "math",
        "struct"
      ],
      "research_stack_source": null,
      "role": "Canonical Q16_16 Python reference implementation.",
      "receipt_boundary": false,
      "line_count": 222
    },
    {
      "path": "python/sidon_address.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "hashlib",
        "typing",
        "spectral_profile"
      ],
      "research_stack_source": "4-Infrastructure/shim/sidon_generation_kernel.py",
      "role": "Sidon label generation for collision-free addressing.",
      "receipt_boundary": false,
      "line_count": 102
    },
    {
      "path": "python/spectral_profile.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "math",
        "typing"
      ],
      "research_stack_source": "4-Infrastructure/shim/geometric_entropy_explorer.py",
      "role": "Spectral/entropy profile exploration.",
      "receipt_boundary": false,
      "line_count": 209
    },
    {
      "path": "python/test_search.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "sys",
        "json",
        "typing",
        "spectral_profile",
        "sidon_address",
        "chaos_game"
      ],
      "research_stack_source": null,
      "role": "Search-layer sanity tests.",
      "receipt_boundary": false,
      "line_count": 396
    },
    {
      "path": "python/validate_rrc_predictions.py",
      "layer": "python_shim",
      "language": "python",
      "kind": "python_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "argparse",
        "json",
        "sys",
        "pathlib",
        "typing"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 118
    },
    {
      "path": "qubo/classical_solver.py",
      "layer": "qubo_shim",
      "language": "python",
      "kind": "qubo_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "math",
        "random",
        "time",
        "typing",
        "numpy",
        "qubo_builder",
        "highspy",
        "sys",
        "finsler_metric",
        "qubo_builder"
      ],
      "research_stack_source": "4-Infrastructure/shim/qubo_highs.py",
      "role": "HiGHS MIP bridge + TSP assignment relaxation.",
      "receipt_boundary": false,
      "line_count": 337
    },
    {
      "path": "qubo/finsler_metric.py",
      "layer": "qubo_shim",
      "language": "python",
      "kind": "qubo_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "math",
        "dataclasses",
        "typing",
        "numpy"
      ],
      "research_stack_source": "4-Infrastructure/shim/qaoa_adapter.py",
      "role": "Finsler-Randers metric and QUBO formulation.",
      "receipt_boundary": false,
      "line_count": 427
    },
    {
      "path": "qubo/qaoa_circuit.py",
      "layer": "qubo_shim",
      "language": "python",
      "kind": "qubo_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "math",
        "random",
        "dataclasses",
        "typing",
        "numpy",
        "cirq",
        "qubo_builder",
        "scipy.linalg",
        "qubo_builder",
        "finsler_metric",
        "qubo_builder"
      ],
      "research_stack_source": "4-Infrastructure/shim/qaoa_adapter.py",
      "role": "QAOA circuit generation and classical simulation.",
      "receipt_boundary": false,
      "line_count": 500
    },
    {
      "path": "qubo/qubo_builder.py",
      "layer": "qubo_shim",
      "language": "python",
      "kind": "qubo_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "math",
        "dataclasses",
        "typing",
        "numpy",
        "finsler_metric",
        "finsler_metric",
        "finsler_metric"
      ],
      "research_stack_source": "4-Infrastructure/shim/qaoa_adapter.py",
      "role": "QUBO/Ising/Pauli problem builder.",
      "receipt_boundary": false,
      "line_count": 393
    },
    {
      "path": "qubo/test_optimize.py",
      "layer": "qubo_shim",
      "language": "python",
      "kind": "qubo_shim",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "__future__",
        "math",
        "sys",
        "time",
        "typing",
        "numpy",
        "finsler_metric",
        "qubo_builder",
        "qaoa_circuit",
        "classical_solver",
        "finsler_metric"
      ],
      "research_stack_source": null,
      "role": "Optimization-layer unit tests.",
      "receipt_boundary": false,
      "line_count": 337
    },
    {
      "path": "requirements.txt",
      "layer": "other",
      "language": "config",
      "kind": "config",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [],
      "research_stack_source": null,
      "role": "",
      "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",
      "language": "python",
      "kind": "test",
      "module": null,
      "build_target": null,
      "status": "quarantined",
      "imports": [
        "ctypes",
        "math",
        "os",
        "random",
        "struct",
        "subprocess",
        "sys",
        "tempfile",
        "unittest",
        "q16_canonical"
      ],
      "research_stack_source": "tests/q16_roundtrip_test.py",
      "role": "Archived C <-> Python roundtrip test; waiting on C bridge.",
      "receipt_boundary": false,
      "line_count": 426
    },
    {
      "path": "tests/test_kepler.py",
      "layer": "tests",
      "language": "python",
      "kind": "test",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "sys",
        "math",
        "numpy",
        "itertools",
        "expr_tree",
        "linear_scaling"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 309
    },
    {
      "path": "tests/test_log_prescreen.py",
      "layer": "tests",
      "language": "python",
      "kind": "test",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "sys",
        "numpy",
        "log_prescreen"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 160
    },
    {
      "path": "tests/test_q16_canonical.py",
      "layer": "tests",
      "language": "python",
      "kind": "test",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "math",
        "pytest",
        "python.q16_canonical"
      ],
      "research_stack_source": null,
      "role": "Canonical Q16_16 unit tests.",
      "receipt_boundary": false,
      "line_count": 66
    },
    {
      "path": "tests/test_q16_roundtrip.py",
      "layer": "tests",
      "language": "python",
      "kind": "test",
      "module": null,
      "build_target": null,
      "status": "active",
      "imports": [
        "ctypes",
        "math",
        "os",
        "random",
        "struct",
        "subprocess",
        "sys",
        "tempfile",
        "unittest",
        "q16_canonical"
      ],
      "research_stack_source": null,
      "role": "",
      "receipt_boundary": false,
      "line_count": 426
    }
  ],
  "edges": [
    {
      "from": "Core/SilverSight/Semantics/CanalLayout.lean",
      "to": "Core/SilverSight/Semantics/Layout.lean",
      "relation": "imports"
    },
    {
      "from": "Core/SilverSight/Semantics/Layout.lean",
      "to": "Core/SilverSight/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "Core/SilverSight/Semantics/LayoutBridge.lean",
      "to": "Core/SilverSight/Semantics/Schema.lean",
      "relation": "imports"
    },
    {
      "from": "Core/SilverSight/Semantics/LayoutBridge.lean",
      "to": "Core/SilverSight/Semantics/Layout.lean",
      "relation": "imports"
    },
    {
      "from": "Core/SilverSight/Semantics/LayoutBridge.lean",
      "to": "Core/SilverSight/Semantics/WireFormat.lean",
      "relation": "imports"
    },
    {
      "from": "Core/SilverSight/Semantics/View.lean",
      "to": "Core/SilverSight/Semantics/Schema.lean",
      "relation": "imports"
    },
    {
      "from": "Core/SilverSight/Semantics/WireFormat.lean",
      "to": "Core/SilverSight/Semantics/Schema.lean",
      "relation": "imports"
    },
    {
      "from": "Core/SilverSight/Semantics/WireFormat.lean",
      "to": "Core/SilverSight/Semantics/Layout.lean",
      "relation": "imports"
    },
    {
      "from": "exe/Q16_16Roundtrip.lean",
      "to": "Core/SilverSight/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "exe/RrcEmitFixture.lean",
      "to": "formal/SilverSight/AVMIsa/Emit.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/Bind.lean",
      "to": "formal/CoreFormalism/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidBracket.lean",
      "to": "formal/CoreFormalism/DynamicCanal.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidCross.lean",
      "to": "formal/CoreFormalism/DynamicCanal.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidCross.lean",
      "to": "formal/CoreFormalism/BraidStrand.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidCross.lean",
      "to": "formal/CoreFormalism/BraidBracket.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidCross.lean",
      "to": "formal/CoreFormalism/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidEigensolid.lean",
      "to": "formal/CoreFormalism/BraidCross.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidEigensolid.lean",
      "to": "formal/CoreFormalism/BraidStrand.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidEigensolid.lean",
      "to": "formal/CoreFormalism/BraidBracket.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidField.lean",
      "to": "formal/CoreFormalism/Bind.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidField.lean",
      "to": "formal/CoreFormalism/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidSpherionBridge.lean",
      "to": "formal/CoreFormalism/BraidField.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidSpherionBridge.lean",
      "to": "formal/CoreFormalism/BraidEigensolid.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidSpherionBridge.lean",
      "to": "formal/CoreFormalism/BraidCross.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidSpherionBridge.lean",
      "to": "formal/CoreFormalism/BraidStrand.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidSpherionBridge.lean",
      "to": "formal/CoreFormalism/BraidBracket.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidSpherionBridge.lean",
      "to": "formal/CoreFormalism/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidStrand.lean",
      "to": "formal/CoreFormalism/DynamicCanal.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidStrand.lean",
      "to": "formal/CoreFormalism/BraidBracket.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/BraidStrand.lean",
      "to": "formal/CoreFormalism/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/DynamicCanal.lean",
      "to": "formal/CoreFormalism/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/DynamicCanal.lean",
      "to": "formal/CoreFormalism/Tactics.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/DynamicCanal.lean",
      "to": "formal/CoreFormalism/Q16_16Numerics.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/FixedPoint.lean",
      "to": "Core/SilverSight/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/HachimojiBridging.lean",
      "to": "formal/CoreFormalism/HachimojiCodec.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/HachimojiLUT.lean",
      "to": "formal/CoreFormalism/HachimojiCodec.lean",
      "relation": "imports"
    },
    {
      "from": "formal/CoreFormalism/Q16_16Numerics.lean",
      "to": "formal/CoreFormalism/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/RRCLib/RRCEmit.lean",
      "to": "formal/SilverSight/RRCLogogramProjection.lean",
      "relation": "imports"
    },
    {
      "from": "formal/RRCLib/RRCEmit.lean",
      "to": "formal/SilverSight/ReceiptCore.lean",
      "relation": "imports"
    },
    {
      "from": "formal/RRCLib/ReceiptCore.lean",
      "to": "Core/SilverSightCore.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Emit.lean",
      "to": "formal/SilverSight/AVMIsa/Run.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Emit.lean",
      "to": "formal/SilverSight/ReceiptCore.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Emit.lean",
      "to": "formal/SilverSight/RRCLogogramProjection.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Emit.lean",
      "to": "formal/SilverSight/RRC/Emit.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Emit.lean",
      "to": "formal/SilverSight/RRC/Corpus250.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Instr.lean",
      "to": "formal/SilverSight/AVMIsa/Value.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Run.lean",
      "to": "formal/SilverSight/AVMIsa/Step.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/State.lean",
      "to": "formal/SilverSight/AVMIsa/Instr.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Step.lean",
      "to": "formal/SilverSight/AVMIsa/State.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Types.lean",
      "to": "Core/SilverSight/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Value.lean",
      "to": "formal/SilverSight/AVMIsa/Types.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/AVMIsa/Value.lean",
      "to": "Core/SilverSight/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/PIST/Classify.lean",
      "to": "formal/SilverSight/PIST/Spectral.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/PIST/Classify.lean",
      "to": "Core/SilverSight/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/PIST/Spectral.lean",
      "to": "Core/SilverSight/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/Corpus250.lean",
      "to": "formal/SilverSight/RRC/Emit.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/Corpus250.lean",
      "to": "formal/SilverSight/PIST/Classify.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/Corpus250.lean",
      "to": "formal/SilverSight/PIST/Matrices250.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/Emit.lean",
      "to": "formal/SilverSight/RRCLogogramProjection.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/Emit.lean",
      "to": "formal/SilverSight/ReceiptCore.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/EntropyCandidates.lean",
      "to": "formal/CoreFormalism/BraidEigensolid.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/EntropyCandidates.lean",
      "to": "formal/CoreFormalism/BraidStrand.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/EntropyCandidates.lean",
      "to": "formal/CoreFormalism/BraidBracket.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/EntropyCandidates.lean",
      "to": "Core/SilverSight/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/PolyFactorIdentity.lean",
      "to": "Core/SilverSight/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/ReceiptDensity.lean",
      "to": "Core/SilverSight/FixedPoint.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/ReceiptDensity.lean",
      "to": "formal/SilverSight/RRCLogogramProjection.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/RRC/ReceiptDensity.lean",
      "to": "formal/SilverSight/RRC/Emit.lean",
      "relation": "imports"
    },
    {
      "from": "formal/SilverSight/ReceiptCore.lean",
      "to": "Core/SilverSightCore.lean",
      "relation": "imports"
    },
    {
      "from": "tests/test_q16_canonical.py",
      "to": "python/q16_canonical.py",
      "relation": "imports"
    }
  ]
}