cmd/

directory
v1.2.1 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Sep 5, 2026 License: MIT

Directories

Path Synopsis
automatic-repair-synthesizer turns the frozen V6 residuals into a small, deterministic repair basis.
automatic-repair-synthesizer turns the frozen V6 residuals into a small, deterministic repair basis.
canonical-witness-matrix executes the backend matrix from generated Canonical UAST witnesses.
canonical-witness-matrix executes the backend matrix from generated Canonical UAST witnesses.
decompiler-evidence-join joins the prepared external binary/decompiler evidence with the existing Primitive Compiler authority.
decompiler-evidence-join joins the prepared external binary/decompiler evidence with the existing Primitive Compiler authority.
frontend-closure-report prints the computed frontend closure axes from the productive parser/UAST implementation.
frontend-closure-report prints the computed frontend closure axes from the productive parser/UAST implementation.
Command machine-differential persists comparable Tree-sitter and generic machine traces.
Command machine-differential persists comparable Tree-sitter and generic machine traces.
matrix-workbench computes current implementation gaps without modifying source.
matrix-workbench computes current implementation gaps without modifying source.
observed-witness-replay executes only source operations that have already been observed in a Canonical-UAST sidecar.
observed-witness-replay executes only source operations that have already been observed in a Canonical-UAST sidecar.
primitive-complete-closure runs the existing primitive compiler against structured UAST demand evidence.
primitive-complete-closure runs the existing primitive compiler against structured UAST demand evidence.
primitive-discovery computes an evidence-backed semantic demand and primitive reduction view.
primitive-discovery computes an evidence-backed semantic demand and primitive reduction view.
primitive-mega-join joins the universal primitive evidence pack with the existing semantic authority.
primitive-mega-join joins the universal primitive evidence pack with the existing semantic authority.
primitive-source-discovery analyzes an existing source corpus exactly once per file.
primitive-source-discovery analyzes an existing source corpus exactly once per file.
real-source-root-cause derives replay-safe root-cause families from a frozen real-source validation run.
real-source-root-cause derives replay-safe root-cause families from a frozen real-source validation run.
real-source-validation runs the existing compiler API over the checked-in real-source corpus.
real-source-validation runs the existing compiler API over the checked-in real-source corpus.
repair-frozen consumes the immutable raw miner output and creates the separate repair quotient.
repair-frozen consumes the immutable raw miner output and creates the separate repair quotient.
repository-primitive-closure resolves the repository-wide primitive handoff through one shared, data-driven implementation table.
repository-primitive-closure resolves the repository-wide primitive handoff through one shared, data-driven implementation table.
signature-bind exposes the shared binder for differential matrix verification.
signature-bind exposes the shared binder for differential matrix verification.
tree-sitter-frontend-closure derives the conservative, reproducible Tree-sitter CST -> current frontend coverage matrices.
tree-sitter-frontend-closure derives the conservative, reproducible Tree-sitter CST -> current frontend coverage matrices.
uast-corpus-transpile streams a source corpus through the productive source->UAST->target path.
uast-corpus-transpile streams a source corpus through the productive source->UAST->target path.
uast-directory-transpile walks a local source tree and builds a source-free transpilation matrix.
uast-directory-transpile walks a local source tree and builds a source-free transpilation matrix.
uast-failure-matrix consolidates source-free corpus results into one normalized failure quotient.
uast-failure-matrix consolidates source-free corpus results into one normalized failure quotient.
uast-matrix-adapter writes the canonical input contract for the external uast-matrix-engine.
uast-matrix-adapter writes the canonical input contract for the external uast-matrix-engine.
Command uast-universal-lowering emits the matrix/report plane for the universal UAST lowering stage.
Command uast-universal-lowering emits the matrix/report plane for the universal UAST lowering stage.
universal-truth-miner derives a small, evidence-backed implication basis from structured PASS/UAST data.
universal-truth-miner derives a small, evidence-backed implication basis from structured PASS/UAST data.
v6-authoritative-integration compiles the structured v6 evidence into the existing matrix reports.
v6-authoritative-integration compiles the structured v6 evidence into the existing matrix reports.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL