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. |
Click to show internal directories.
Click to hide internal directories.