Luminous-Dynamics / Luminous-Dynamics/symthaea
qualification: bind exact Git subject to immutable local Nix flake reference for environment resolution
@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
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.