Skip to content

Merge dev → main: broad ingest coverage + git provenance - #140

Merged
ApiliumDevTeam merged 4 commits into
mainfrom
dev
Jul 21, 2026
Merged

Merge dev → main: broad ingest coverage + git provenance#140
ApiliumDevTeam merged 4 commits into
mainfrom
dev

Conversation

@ApiliumDevTeam

Copy link
Copy Markdown
Contributor

Integrates dev into main ahead of the 0.8.0 line: #138 (broad text-file ingest coverage) and #139 (git provenance recorded into the signed DAG). Standard merge commit.

chore: back-merge main → dev (v0.7.6 version bumps)
The ingest walk allowed only nine extensions (md/markdown/txt/rs/py/ts/
js/toml/json), so most of a real codebase was silently dropped: a project
written in Swift, Kotlin, Java, Go, C/C++, Ruby, PHP, etc. indexed as
almost nothing.

Replace the narrow allowlist with is_ingestable_file: a broad
source/docs/config extension set plus well-known extensionless files
(Dockerfile, Makefile, README), minus a denylist of generated, minified,
and lock files that carry no semantic signal. .gitignore, the UTF-8 read
skip for binaries, and byte-bounded chunking remain the safety net, so
being inclusive stays memory-bounded.

Covered by four new unit tests over is_ingestable_file.
feat(ingest): broad text-file coverage so real projects fully index
#139)

When the ingest root is a git working tree, each (re-)ingest now stamps
the branch + commit it ran against into the DAG as a signed Custom
action, so the graph records which git state it was built from. Reads
.git directly (symbolic HEAD via loose ref or packed-refs, detached HEAD,
and worktree/submodule gitdir files) — no dependency on the git CLI.

Adds service::git_provenance with read_git_ref, record_git_provenance
(wired into ingest_path_with_progress; best-effort and a no-op for a
non-git vault) and list_git_provenance (the graph's git history, newest
first).

Covered by five tests: loose ref, packed-refs, detached HEAD, non-git
directory, and a record+list round-trip over an in-memory DAG.
@ApiliumDevTeam
ApiliumDevTeam merged commit 0fd3534 into main Jul 21, 2026
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant