Skip to content

hyperpolymath/git-reticulator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

67 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

git-reticulator

OpenSSF Best Practices License: MPL-2.0 CRG C

Semantic-lattice + embedding builder for git repositories — the symbolic half of a neuro-symbolic retrieval stack. It lifts a repo from raw commits/blobs to a typed, hierarchical, embeddable structure you can zoom into, so an LLM gets the minimal relevant context instead of the whole tree.

Important

Maturity: experimental / early skeleton. The Rust host is ~237 LOC of println! stubs; the lattice core lives in src/lattice/affine/.affine (AffineScript) which *cannot compile yet and, as written, calls Rust crates AffineScript cannot bind. git2/postgres/embeddings are feature-gated off. There are no proofs — the word "lattice" is not yet earned (it is currently a typed digraph; see PROOF-NEEDS.md). Read .machine_readable/6a2/STATE.a2ml for the honest status before relying on anything here.

Why this exists

Existing git-analysis tools work at the raw commit/blob level. git-reticulator lifts the analysis to a navigable semantic structure with two faculties fused at every node: an order position (symbolic) and an embedding (neural). That fusion is the basis for:

  • Token-bounded retrievalzoom_to_node(node, level) returns the minimal relevant sub-structure (Level-of-Detail) for an LLM prompt.

  • Refactoring-impact / blast-radius — weighted reachability (pgRouting Dijkstra/A*) over typed edges.

  • Authorship + time queries — "who owns this concept", "when did it enter the codebase" (maps onto verisim’s provenance + temporal modalities).

The neuro-symbolic picture (where this is headed)

 [git-reticulator]      [RAG]            [verisim octad]        [vcl-ut]
  symbolic lattice  ->  embeddings   ->  8-modal substrate  ->  proof-carrying
  + per-node vector     similarity       (graph=lattice,        queries
  (LOD zoom)            search           vector=embeddings,     (FRESHNESS,
                                         provenance=authorship) PROVENANCE…)

The payoff is proof-carrying retrieval: neural search proposes context; the symbolic lattice + verisim + vcl-ut dispose, so a retrieved snippet can carry a machine-checked certificate that it really exists at HEAD (FRESHNESS), was authored by X (PROVENANCE), and isn’t hallucinated (EXISTENCE). See .machine_readable/6a2/NEUROSYM.a2ml and .machine_readable/6a2/PLAYBOOK.a2ml.

Quickstart

just build                    # cargo build (default features; no git2/db/embeddings)

# CLI binary is `reticulate` (subcommands: build | query | api):
./target/debug/reticulate build --repo /path/to/repo --db postgres://localhost/gr
./target/debug/reticulate query --zoom auth --db postgres://localhost/gr
./target/debug/reticulate --help
Note
these run today but are stubsbuild prints and returns; it does not yet read the repo or write the DB.

Architecture

  • src/lib.rs, src/cli/main.rs, src/api/app.rs — Rust host (CLI + REST shell).

  • src/lattice/affine/*.affine — intended lattice core (AffineScript; aspirational).

  • benches/, tests/ — criterion + smoke/contract tests.

  • .machine_readable/6a2/ — canonical project state, ecosystem, neuro-symbolic design, playbooks.

Status & honesty

  • Licence: MPL-2.0.

  • Maturity: research / skeleton. API not stable.

  • Formal status: zero proofs; see PROOF-NEEDS.md for the obligations the "lattice" claim incurs.

  • Honest state: .machine_readable/6a2/STATE.a2ml (IMPLEMENTED|SKELETON|ASPIRATIONAL legend).

Contributing

See CONTRIBUTING.md. Commits must be GPG-signed; conventional-commits required (CHANGELOG generated via standards changelog-reusable.yml).

Companion repositories

  • affinescript — the intended core language (compiles to Wasm).

  • verisimdb — the octad substrate this can feed.

  • vcl-ut — proof-carrying query layer over verisim.

  • standards — canonical estate standards.

  • k9 — metadata-extraction tooling (k9iser.toml consumed here).

About

Semantic lattice builder for git repositories using AffineScript

Topics

Resources

License

Contributing

Security policy

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors