Directories
¶
| Path | Synopsis |
|---|---|
|
Binary bench-report compares two Go benchmark result files and outputs a markdown comparison table.
|
Binary bench-report compares two Go benchmark result files and outputs a markdown comparison table. |
|
Command dst-generate runs metamorphic equivalence scenarios (hand-written or LLM-generated) through the deterministic SQL engine over SimFDB and reports findings.
|
Command dst-generate runs metamorphic equivalence scenarios (hand-written or LLM-generated) through the deterministic SQL engine over SimFDB and reports findings. |
|
Command dst-hunt is the overnight brute-force bug hunter for the record layer.
|
Command dst-hunt is the overnight brute-force bug hunter for the record layer. |
|
Command explain-differ dumps the planned PHYSICAL plan shape of every query in the yamsql conformance corpus to a stable text baseline, and diffs two such baselines.
|
Command explain-differ dumps the planned PHYSICAL plan shape of every query in the yamsql conformance corpus to a stable text baseline, and diffs two such baselines. |
|
factory-migrate re-emits the committed RFC-201 factory corpus from its seeds into the grouped `.yamsql` family-file format (RFC-201 §5.7).
|
factory-migrate re-emits the committed RFC-201 factory corpus from its seeds into the grouped `.yamsql` family-file format (RFC-201 §5.7). |
|
Command factory-plan-census makes a factory-corpus plan-shape drift READABLE, and fails loudly on the drift classes that are regressions.
|
Command factory-plan-census makes a factory-corpus plan-shape drift READABLE, and fails loudly on the drift classes that are regressions. |
|
factory-rebless re-derives the PLAN-SHAPE and DEDUP-KEY headers of the committed RFC-201 factory corpus after a deliberate planner change, and rewrites the census baseline to match.
|
factory-rebless re-derives the PLAN-SHAPE and DEDUP-KEY headers of the committed RFC-201 factory corpus after a deliberate planner change, and rewrites the census baseline to match. |
|
Command factory-rebless-plan-shapes re-derives the PLAN SHAPE and dedup key of every committed RFC-201 factory scenario and rewrites the ones that moved.
|
Command factory-rebless-plan-shapes re-derives the PLAN SHAPE and dedup key of every committed RFC-201 factory scenario and rewrites the ones that moved. |
|
factory-run is the RFC-201 §5 generation factory: it generates seeded query candidates, executes them against a real FoundationDB through the production SQL path, blesses the ones every oracle agrees on, deduplicates them against the corpus already committed, and WRITES the survivors into pkg/relational/conformance/factorycorpus/testdata as permanent suite content.
|
factory-run is the RFC-201 §5 generation factory: it generates seeded query candidates, executes them against a real FoundationDB through the production SQL path, blesses the ones every oracle agrees on, deduplicates them against the corpus already committed, and WRITES the survivors into pkg/relational/conformance/factorycorpus/testdata as permanent suite content. |
|
fdb-binding-stress runs the FDB binding tester across many seeds and reports results.
|
fdb-binding-stress runs the FDB binding tester across many seeds and reports results. |
|
Package difforacle implements the differential serialization fuzzer.
|
Package difforacle implements the differential serialization fuzzer. |
|
fdb-stacktester implements the FDB binding tester stack machine.
|
fdb-stacktester implements the FDB binding tester stack machine. |
|
bindingtester
Package bindingtester runs the official FoundationDB binding tester against the pure-Go stacktester.
|
Package bindingtester runs the official FoundationDB binding tester against the pure-Go stacktester. |
|
fdb-wirelog-dump reads a binary wire log (FDB_WIRE_LOG format) and prints human-readable frame summaries.
|
fdb-wirelog-dump reads a binary wire log (FDB_WIRE_LOG format) and prints human-readable frame summaries. |
|
frl
module
|
|
|
Command fuzzrun runs one fuzzing command and classifies its failure.
|
Command fuzzrun runs one fuzzing command and classifies its failure. |
|
Command gen-feature-matrix regenerates FEATURE_MATRIX.md from the yamsql conformance corpus.
|
Command gen-feature-matrix regenerates FEATURE_MATRIX.md from the yamsql conformance corpus. |
|
Command gen-sql-coverage regenerates the RFC-165 SQL conformance ledgers from the yamsql conformance corpus.
|
Command gen-sql-coverage regenerates the RFC-165 SQL conformance ledgers from the yamsql conformance corpus. |
|
Command spfresh-maintainer is the reference SPFresh maintenance worker (RFC-156 §3.2).
|
Command spfresh-maintainer is the reference SPFresh maintenance worker (RFC-156 §3.2). |
|
sql-diff-stress is the RFC-182 generative row-soundness differential stress binary: seeded random (schema, data, query) cases executed through the full production SQL path against a real FDB testcontainer, rows diffed against the in-memory brute-force oracle (Oracle M).
|
sql-diff-stress is the RFC-182 generative row-soundness differential stress binary: seeded random (schema, data, query) cases executed through the full production SQL path against a real FDB testcontainer, rows diffed against the in-memory brute-force oracle (Oracle M). |
|
Command test-budget reports how much of its Bazel timeout budget each test target actually consumed, and fails when a target that RAN is close enough to its budget that the next growth will break it.
|
Command test-budget reports how much of its Bazel timeout budget each test target actually consumed, and fails when a target that RAN is close enough to its budget that the next growth will break it. |
|
Binary test-report generates a self-contained HTML test report from Bazel's Build Event Protocol (BEP) JSON output.
|
Binary test-report generates a self-contained HTML test report from Bazel's Build Event Protocol (BEP) JSON output. |
|
Command verify-corpus-retirement-history anchors both sides of every factory-corpus retirement ledger: BEFORE at its declared base commit and AFTER at the ledger's unique first-add commit.
|
Command verify-corpus-retirement-history anchors both sides of every factory-corpus retirement ledger: BEFORE at its declared base commit and AFTER at the ledger's unique first-add commit. |
|
Command verify-pr-checks answers one question about a pull request that GitHub's own merge state answers wrongly: did the checks this repository requires actually RUN and PASS?
|
Command verify-pr-checks answers one question about a pull request that GitHub's own merge state answers wrongly: did the checks this repository requires actually RUN and PASS? |
|
Command vulnscan runs govulncheck as a CI security gate that cannot be silenced by an upstream outage and cannot silently pass because of one.
|
Command vulnscan runs govulncheck as a CI security gate that cannot be silenced by an upstream outage and cannot silently pass because of one. |
Click to show internal directories.
Click to hide internal directories.