Files
zeekay b832ba2c39 Initial Torus commit
Forked from upstream concrete (BSD-3-Clause-Clear, © 2024 ZAMA) at HEAD
ecb729bb. Modifications copyright © 2026 Lux Industries Inc.

Rebranding scope:
  - Python module concrete → torus (across frontends/torus-python)
  - Rust module concrete-* → torus-* (across frontends/torus-rust)
  - MLIR dialect concretelang → toruslang (across compilers/torus-compiler)
  - Compiler optimizer concrete-optimizer → torus-optimizer
  - Backend concrete-cpu / concrete-cuda → torus-cpu / torus-cuda
  - Wire protocol concrete-protocol → torus-protocol
  - Parameter-curves concrete-security-curves-* → torus-security-curves-*
  - Public symbols concretelib → toruslib, ConcreteLang → TorusLang
  - URLs github.com/zama-ai/concrete → github.com/luxfhe/torus
  - URLs docs.zama.ai/concrete → docs.luxfhe.com/torus

Legal compliance:
  - LICENSE.txt retains original Copyright © 2024 ZAMA verbatim (§1-§2)
  - LICENSE.txt adds modifications copyright © 2026 Lux Industries Inc.
  - §3 endorsement clause: Torus is marketed exclusively as a Lux product;
    no Zama name used in README, docs, or marketing
  - NOTICE file provides factual attribution per legal best practice
    (not endorsement; required by upstream BSD-3-Clause-Clear)

README + NOTICE rewritten from scratch with Lux brand:
  - Quick-start in Python (torus.fhe)
  - Architecture diagram showing the gen-1 vtbl integration path
    (luxcpp/gpu → lux-private/gpu-kernels for CUDA/Metal/WebGPU)
  - Scheme coverage table: TFHE (luxfi/fhe), CKKS/BGV/BFV (luxfi/lattice)
  - Lux FHE family table: Torus / TorusVM / TorusEVM / TorusML / TorusNet

Known limitations (phase-2A scope):
  - PyPI package torus-fhe not yet published; the torus Python module
    is renamed structurally but pip-installable distribution is a
    follow-up (Phase 2A.1)
  - MLIR dialect rename is text-level; the compiler-internal LLVM
    rebuild (concrete-compiler-internal-llvm-project submodule) is
    structural and works; tablegen files renamed concrete→torus but the
    generated .inc files in the source tree will regenerate at build
    time
  - backends/torus-cuda/implementation/ is an upstream submodule
    pointer to the tfhe-rs source (not fetched in the staging clone);
    the CUDA backend body is delivered out-of-tree
  - ~100 test-fixture variable names like concrete_encoded_sample
    retain "concrete" as a math term (vs symbolic); these are inside
    tests/, not the public API; cleanup is a follow-up commit
  - 295 Python `from concrete import ...` residuals in luxfhe/ml-sdk
    consumer remain; that repo's import update is Phase 2B

This commit is the seed for the luxfhe/torus repo. Push as the first
commit to a fresh GitHub repo; do not re-import upstream Zama git
history.
2026-05-29 14:16:47 -07:00

184 lines
6.0 KiB
Python

#!/bin/env python
"""Check links to local files."""
import json
import re
import sys
import tempfile
from pathlib import Path
from typing import Optional, Union
import linkcheckmd as lc
# A regex that matches [foo (bar)](my_link) and returns the my_link
# used to find all links made in our markdown files.
MARKDOWN_LINK_REGEX = [re.compile(r"\[[^\]]*\]\(([^\)]*)\)"), re.compile(r"href=\"[^\"]*\"")]
# pylint: disable-next=too-many-branches
def check_content_for_dead_links(
content: str, file_path: Path, cell_id: Optional[int] = None
) -> list[str]:
"""Check the content of a markdown file for dead links.
This checks a markdown file for dead-links to local files.
Args:
content (str): The content of the file.
file_path (Path): The path to the file.
cell_id (Optional[int]): the id of the notebook cell
Returns:
List[str]: a list of errors (dead-links) found.
"""
errors: list[str] = []
links = []
for regex in MARKDOWN_LINK_REGEX:
links_found = regex.findall(content)
for link in links_found:
if "data:image/jpeg;base64" in link or "data:image/png;base64" in link:
# That's auto embedded content, it's not a real link
continue
link = link.replace(r"\_", "_") # for gitbook
if "href=" in link: # for html links
link = link.replace('href="', "") # remove href=""
link = link[0:-1] # remove last "
links.append(link)
for link in links:
link = link.strip()
if link.startswith("http"):
# This means this is a reference to a website
continue
if link.startswith("<http"):
# This means this is a reference to a website
continue
if link.startswith("#"):
# This means this is a reference to a header
continue
if link.startswith("mailto:"):
# This means this is a reference to an email
continue
if "#" in link:
# This means this is a reference to a file with header
link = link.split("#")[0]
link_path = file_path.parent / link
ext = link_path.suffix
link_path_no_ext = link_path.parent / link_path.stem
file_path_display = str(file_path)
if cell_id:
file_path_display += f"/cell:{cell_id}"
if ext == ".html":
rst_alternative = link_path_no_ext.with_suffix(".rst")
if not link_path.exists() and not rst_alternative.exists():
errors.append(
f"{file_path_display} contains a link to {link_path} "
f"could not find either files:\n{link_path}\n{rst_alternative}"
)
continue
if not link_path.exists():
errors.append(
f"{file_path_display} contains a link to"
f" file '{link_path.resolve()}' that can't be found"
)
return errors
def is_relative_to(path: Path, other_path: Union[str, Path]) -> bool:
"""Implementation of is_relative_to
is_relative_to is not available until python 3.9
https://docs.python.org/3.9/library/pathlib.html#pathlib.PurePath.is_relative_to
Args:
path (Path): some path.
other_path (str or Path): some other path.
Returns:
True if some path is relative to another.
"""
try:
path.relative_to(other_path)
return True
except ValueError:
return False
def main():
"""Main function
Check all files (except those that match a pattern in .gitignore) for
dead links to local files.
"""
root = Path(".")
errors: list[str] = []
gitignore_file = root / ".gitignore"
if gitignore_file.exists():
with gitignore_file.open(encoding="UTF-8") as file:
ignores = file.read().split("\n")
ignores = [elt for elt in (elt.split("#")[0].strip() for elt in ignores) if elt]
for path in root.glob("**/*"):
if (
path.is_file()
and path.suffix == ".md"
and not any(is_relative_to(path, ignore) for ignore in ignores)
):
print(f"checking {path}")
with path.open() as file:
file_content = file.read()
errors += check_content_for_dead_links(file_content, path)
if (
path.is_file()
and path.suffix == ".ipynb"
and not any(is_relative_to(path, ignore) for ignore in ignores)
):
print(f"checking {path}")
with path.open() as file:
nb_structure = json.load(file)
if "cells" not in nb_structure:
print(f"Invalid notebook, skipping {path}")
continue
cell_id = 0
for cell in nb_structure["cells"]:
if cell["cell_type"] != "markdown":
cell_id += 1
continue
markdown_cell = "".join(cell["source"])
errors += check_content_for_dead_links(markdown_cell, path, cell_id)
cell_id += 1
with tempfile.NamedTemporaryFile(
delete=False, mode="wt", encoding="utf-8"
) as fptr:
fptr.write(markdown_cell)
fptr.close()
bad = lc.check_links(fptr.name, ext=".*")
if bad:
for err_link in bad:
# Skip links to CML internal issues
if "luxfhe/torus-ml-internal" in err_link[1]:
continue
errors.append(
f"{path}/cell:{cell_id} contains "
f"a link to file '{err_link[1]}' that can't be found"
)
if errors:
sys.exit("\n".join(errors))
if __name__ == "__main__":
main()