Luminous-Dynamics / Luminous-Dynamics/symthaea

qualification: bind exact Git subject to immutable local Nix flake reference for environment resolution

Open
#2,467 0 comments 0 reactions 1 assignee View on GitHub

@Tristan-Stoltz-ERC is already working on this.

Since Sep 13, 2026.

Dominant language
Rust
Stars
9
Forks
1
Avg merge
15m
Merged PRs (30d)
8

Description

Child of #2466 / #917.

Before a selection-resolution verifier runs Nix, it must ensure the flake evaluator consumes the exact qualification subject rather than ambient working-tree bytes.

Preferred local invocation substrate:

git+file://<repo>?rev=<exact source_commit>#<exact flake output>

or another independently verified equivalent that Nix resolves to the exact declared commit/tree.

Do not treat .#attr from an arbitrary/dirty checkout as equivalent merely because the target repository also contains the declared commit.

The verifier must additionally prove the local Git object database contains the exact commit and declared tree and must capture/reconstruct the resolved flake revision/source identity reported by Nix where available.

Non-claims: local Git object membership does not authenticate remote repository ownership; Nix flake source resolution does not prove recipe execution or provider authenticity.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.