Modules
Spec-anchored traceability and drift detection for Elixir.
Diff-time append-only detectors. Exactly two guards
Materializes a git ref's blobs via ls-tree and Ancora.Git.read_blob/2.
Parsing of those files is a later stage's job.
Canonical form used by the source drift detector.
Diff-scoped findings for uncovered source, governance changes, and new requirements.
Loader and schema for .spec/config.yml.
Parses .spec/decisions/*.md ADR files.
Data construction for source-derived call resolution.
Detects substantive subject-spec acknowledgment from parsed YAML blocks.
Diff-scoped change set: git diff --name-status --no-renames <base> union
git status --porcelain --untracked-files=all, with serial base-blob prefetch
through the run's batch port.
Computes growth, shrink, and diff-scoped source drift for one subject.
Source-derived function and macro index for project modules.
Extracts source-ordered clauses for one module, function, and arity.
Source-derived project membership for each side of a diff.
Locates literal modules in project source on both sides of a diff.
Pure, two-pass source resolver for calls in tagged test files.
Per-run detector context: an unnamed ETS memo table and the git batch port, both passed by reference. Nothing here is named, registered, or written to disk.
Closed 30-code finding registry: the single source every other module reads.
Assembles preflight, corpus, diff, derivation, comparison, and finding stages.
Resolves the target project, configuration, and comparison base before the gate runs.
The only git subprocess spawner in ancora.
One git cat-file --batch port per run.
JSON encoding for gate reports.
Renders spec and decision prose from Earmark's AST without trusting raw HTML.
Pure classifier for the normative strength of a requirement statement.
Classifies the current change set and reports the next spec-led action.
The only stdout writer in ancora.
The only producer of the result= string.
Head-only semantic-overlap detector for authored .spec/ content.
Parses .spec/specs/*.spec.md files.
File-kind classification and the governance-file set for change/missing_decision.
Composes status, current-change guidance, and the local agent loop.
Target-project identity read from source, without loading the target project.
Builds the data model for the self-contained spec review artifact.
Computes repo-state findings on both sides and classifies the change.
Renders the review view-model as one self-contained HTML document.
Per-finding severity resolver.
Builds the source-derived corpus status report.
Computes subject file footprints from tagged tests and derived definitions.
Repo-state findings from a tag scan. Tags are always on: there is no enforcement toggle.
Discovers @tag spec:, @moduletag spec:, and @describetag spec:
values in ExUnit files.
Shared validation of OptionParser leftovers for spec mix tasks.
Cross-VM collision-proof suffixes for temp file and directory names.
Parses Spec-Ack: git trailers into a severity override map.
Structural verifier: target/cover/duplicate/decision-ref checks.
Mix Tasks
Checks the target corpus and source-derived bindings against a git base.
Classifies the current git change set and prints one suggested check command.
Prints status, current-change guidance, and the default local loop.
Reports corpus counts and per-subject source-derived binding counts.
Validates the target corpus without compiling the target project.