Directories
¶
| Path | Synopsis |
|---|---|
|
Package affected selects the verification units reachable from a dirty worktree.
|
Package affected selects the verification units reachable from a dirty worktree. |
|
dotnet
Package dotnet is the C# implementation of the affected-selection language seam.
|
Package dotnet is the C# implementation of the affected-selection language seam. |
|
golang
Package golang is the Go implementation of the affected-selection language seam.
|
Package golang is the Go implementation of the affected-selection language seam. |
|
kotlin
Package kotlin is the Kotlin/JVM implementation of the affected-selection language seam.
|
Package kotlin is the Kotlin/JVM implementation of the affected-selection language seam. |
|
python
Package python is the Python implementation of the affected-selection language seam.
|
Package python is the Python implementation of the affected-selection language seam. |
|
ruby
Package ruby is the Ruby implementation of the affected-selection language seam.
|
Package ruby is the Ruby implementation of the affected-selection language seam. |
|
rust
Package rust is the Rust implementation of the affected-selection language seam.
|
Package rust is the Rust implementation of the affected-selection language seam. |
|
swift
Package swift is the Swift implementation of the affected-selection language seam.
|
Package swift is the Swift implementation of the affected-selection language seam. |
|
typescript
Package typescript is the JavaScript and TypeScript implementation of the affected-selection language seam.
|
Package typescript is the JavaScript and TypeScript implementation of the affected-selection language seam. |
|
Package godiscovery decodes the closed Go 1.27 package-discovery stream.
|
Package godiscovery decodes the closed Go 1.27 package-discovery stream. |
|
Package gorunner executes one bounded, explicit Go test plan.
|
Package gorunner executes one bounded, explicit Go test plan. |
|
Package gotest observes the bounded JSON event stream emitted by Go 1.27's `go test -json` mode without retaining test or build output text.
|
Package gotest observes the bounded JSON event stream emitted by Go 1.27's `go test -json` mode without retaining test or build output text. |
|
Package jsresolve answers, from JavaScript or TypeScript source bytes alone, the three questions the `reference-resolves` falsifier asks of a web citation (FPK-V0-018): does an import on the cited line carry a given specifier, does an identifier sit on the cited line, and does a blob declare a name at top level.
|
Package jsresolve answers, from JavaScript or TypeScript source bytes alone, the three questions the `reference-resolves` falsifier asks of a web citation (FPK-V0-018): does an import on the cited line carry a given specifier, does an identifier sit on the cited line, and does a blob declare a name at top level. |
|
Package mutate implements the test-kills-mutant falsifier described by docs/specs/falsifiable-packet-v0.md.
|
Package mutate implements the test-kills-mutant falsifier described by docs/specs/falsifiable-packet-v0.md. |
|
Package parentverify implements the local parent authority required by the experimental Go live-test producer.
|
Package parentverify implements the local parent authority required by the experimental Go live-test producer. |
|
Package provider coordinates one explicitly requested, local Go test run.
|
Package provider coordinates one explicitly requested, local Go test run. |
|
Package pymutate is the Python arm of the test-kills-mutant falsifier (docs/specs/falsifiable-packet-v0.md, FPK-V0-019).
|
Package pymutate is the Python arm of the test-kills-mutant falsifier (docs/specs/falsifiable-packet-v0.md, FPK-V0-019). |
|
Package pyresolve answers, from Python source bytes alone, whether an import statement that begins on a given line imports a given dotted module.
|
Package pyresolve answers, from Python source bytes alone, whether an import statement that begins on a given line imports a given dotted module. |
|
Package session implements the experimental Go live-test provider's foreground session: a bounded-file poll loop that debounces edits, computes a current-input identity, and runs the frozen `go test -json` invocation (via gorunner.Run, the same contained runner provider.Execute uses) once per settled edit.
|
Package session implements the experimental Go live-test provider's foreground session: a bounded-file poll loop that debounces edits, computes a current-input identity, and runs the frozen `go test -json` invocation (via gorunner.Run, the same contained runner provider.Execute uses) once per settled edit. |
Click to show internal directories.
Click to hide internal directories.