internal/

directory
v0.7.0 Latest Latest
Warning

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

 Go to latest Published: Sep 23, 2026 License: AGPL-3.0, AGPL-3.0-or-later

Directories

Path Synopsis
Package analyzerdotnet is an isolated, static-only .NET fact candidate.
 Package analyzerdotnet is an isolated, static-only .NET fact candidate.
Package analyzerexec launches one digest-pinned staged native analyzer.
 Package analyzerexec launches one digest-pinned staged native analyzer.
Package analyzergo implements an unregistered experimental Go fact extractor.
 Package analyzergo implements an unregistered experimental Go fact extractor.
Package analyzerhtmlcss is an unregistered experimental HTML/CSS fact extractor.
 Package analyzerhtmlcss is an unregistered experimental HTML/CSS fact extractor.
Package analyzerkotlinandroid implements an unregistered experimental Kotlin/Android analyzer.
 Package analyzerkotlinandroid implements an unregistered experimental Kotlin/Android analyzer.
Package analyzerpython implements the unregistered Python 3.12 candidate.
 Package analyzerpython implements the unregistered Python 3.12 candidate.
Package analyzerruby is an isolated, static-only Ruby fact candidate.
 Package analyzerruby is an isolated, static-only Ruby fact candidate.
Package analyzerrust is an isolated, static-only Rust fact candidate.
 Package analyzerrust is an isolated, static-only Rust fact candidate.
Package analyzershader is an unregistered, admission-candidate-only shader extractor.
 Package analyzershader is an unregistered, admission-candidate-only shader extractor.
Package analyzershell is an isolated, static-only shell fact candidate.
 Package analyzershell is an isolated, static-only shell fact candidate.
Package analyzerstructured is an unregistered, admission-candidate-only structured-data extractor.
 Package analyzerstructured is an unregistered, admission-candidate-only structured-data extractor.
Package analyzerswift is an unregistered experimental Swift/Apple fact extractor.
 Package analyzerswift is an unregistered experimental Swift/Apple fact extractor.
Package appflows composes experimental, caller-reported application behavior evidence.
 Package appflows composes experimental, caller-reported application behavior evidence.
Package attest wraps a prove document (see cmd/corvint/prove.go and docs/specs/falsifiable-packet-v0.md, requirement FPK-V0-012) as an in-toto Statement v1 (https://in-toto.io/Statement/v1), and signs that statement inside a DSSE envelope (https://github.com/secure-systems-lab/dsse) so an external gate can consume it.
 Package attest wraps a prove document (see cmd/corvint/prove.go and docs/specs/falsifiable-packet-v0.md, requirement FPK-V0-012) as an in-toto Statement v1 (https://in-toto.io/Statement/v1), and signs that statement inside a DSSE envelope (https://github.com/secure-systems-lab/dsse) so an external gate can consume it.
Package authorityevent defines the experimental native Stop transport.
 Package authorityevent defines the experimental native Stop transport.
Package authoritystore is the fixed read-only protected publication consumer.
 Package authoritystore is the fixed read-only protected publication consumer.
Package behaviorfalsify runs explicitly approved, bounded falsification controls for one exact browser-behavior criterion.
 Package behaviorfalsify runs explicitly approved, bounded falsification controls for one exact browser-behavior criterion.
Package betarung expresses the GPK-V0-042 beta rung: the third compatibility label BETA, the per-command/per-surface admission record that decides it, and the disclosure obligation that makes an admission valid.
 Package betarung expresses the GPK-V0-042 beta rung: the third compatibility label BETA, the per-command/per-surface admission record that decides it, and the disclosure obligation that makes an admission valid.
cem
cemcode
Package cemcode registers the stable CEM error taxonomy shared by every CEM seam.
 Package cemcode registers the stable CEM error taxonomy shared by every CEM seam.
cli
Package cli is the thin CEM command dispatch.
 Package cli is the thin CEM command dispatch.
coverprofile
Package coverprofile is the Go coverprofile grammar shared by the bounded runner (internal/liveverify/gorunner) and `cem cover` (TCQ-V0-051).
 Package coverprofile is the Go coverprofile grammar shared by the bounded runner (internal/liveverify/gorunner) and `cem cover` (TCQ-V0-051).
gitauth
Package gitauth is the isolated Git authority kernel for CEM: it validates the repository boundary (reciprocal worktree metadata, alternates denial, attribute isolation), resolves revisions, reads tree entries and blobs through Git object identity, and derives canonical CEM 0.2 patch bytes that are independent of repository configuration, attributes, diff drivers, object redirection, shallow/partial state, and linked-worktree layout.
 Package gitauth is the isolated Git authority kernel for CEM: it validates the repository boundary (reciprocal worktree metadata, alternates denial, attribute isolation), resolves revisions, reads tree entries and blobs through Git object identity, and derives canonical CEM 0.2 patch bytes that are independent of repository configuration, attributes, diff drivers, object redirection, shallow/partial state, and linked-worktree layout.
gitrun
Package gitrun executes bounded, contained Git child processes for the CEM seams.
 Package gitrun executes bounded, contained Git child processes for the CEM seams.
mdreport
Package mdreport renders values into CEM and OCM review-report Markdown safely.
 Package mdreport renders values into CEM and OCM review-report Markdown safely.
patch
Package patch implements the frozen CEM 0.1 bounded unified-diff parser specified by interop/cem-0.1/ALGORITHMS.md.
 Package patch implements the frozen CEM 0.1 bounded unified-diff parser specified by interop/cem-0.1/ALGORITHMS.md.
publish
Package publish is the descriptor-rooted bounded reader and transactional output publisher for CEM artifacts.
 Package publish is the descriptor-rooted bounded reader and transactional output publisher for CEM artifacts.
sim
Package sim proves a parsed CEM patch against exact base-tree bytes, per interop/cem-0.1/ALGORITHMS.md "Patch/base simulation".
 Package sim proves a parsed CEM patch against exact base-tree bytes, per interop/cem-0.1/ALGORITHMS.md "Patch/base simulation".
verify
Package verify composes the CEM seams into the frozen repository-conformant verifier: exact-patch (cem/0.1) and canonical (cem/0.2, cem/0.3) verification with the frozen validation precedence, mechanical byte and Go structural proofs, and same-path evidence drift.
 Package verify composes the CEM seams into the frozen repository-conformant verifier: exact-patch (cem/0.1) and canonical (cem/0.2, cem/0.3) verification with the frozen validation precedence, mechanical byte and Go structural proofs, and same-path evidence drift.
wire
Package wire reads and validates CEM 0.1/0.2 wire documents.
 Package wire reads and validates CEM 0.1/0.2 wire documents.
workflow
Package workflow implements the CEM producer/verifier operations — begin, prepare, cite, mark, status, verify, and report — over the CEM seams, with the frozen CEM-CB envelope table, validation precedence, and resume rules.
 Package workflow implements the CEM producer/verifier operations — begin, prepare, cite, mark, status, verify, and report — over the CEM seams, with the frozen CEM-CB envelope table, validation precedence, and resume rules.
Package cemdiscriminate is the mutation runner behind `cem discriminate` (TCQ-V0-055..058).
 Package cemdiscriminate is the mutation runner behind `cem discriminate` (TCQ-V0-055..058).
Package changewitness is the experimental pure evaluator for the `ocm-change-witnessed-v0` relation (docs/specs/change-witness-relation-v0.md).
 Package changewitness is the experimental pure evaluator for the `ocm-change-witnessed-v0` relation (docs/specs/change-witness-relation-v0.md).
Package compactionkernel makes compaction survival a checkable property.
 Package compactionkernel makes compaction survival a checkable property.
Package companionrelease assembles the optional companion distribution bundle (nine Go binaries plus five agent-host packages) for a single pinned target.
 Package companionrelease assembles the optional companion distribution bundle (nine Go binaries plus five agent-host packages) for a single pinned target.
Package console is the read-through local admin console of `docs/specs/local-admin-console-v0.md` (decision 0081).
 Package console is the read-through local admin console of `docs/specs/local-admin-console-v0.md` (decision 0081).
dashboard
adapters
authority
model
Package model compiles already-normalized dashboard adapter results into the canonical corvint-dashboard-snapshot/0 wire representation.
 Package model compiles already-normalized dashboard adapter results into the canonical corvint-dashboard-snapshot/0 wire representation.
repository
roadmap
Package roadmap joins the human-owned roadmap ticket store (`atm`) to current source evidence (docs/specs/REQUIREMENTS.tsv), current test receipts (a configured testvalidity.Projection receipts directory), and generated-doc state (a configured docs-state file) for the local dashboard snapshot (IPR-10, docs/plans/integrated-product-roadmap-2026-09-12.md).
 Package roadmap joins the human-owned roadmap ticket store (`atm`) to current source evidence (docs/specs/REQUIREMENTS.tsv), current test receipts (a configured testvalidity.Projection receipts directory), and generated-doc state (a configured docs-state file) for the local dashboard snapshot (IPR-10, docs/plans/integrated-product-roadmap-2026-09-12.md).
source
Package depsource answers one read-only question: what are the pinned bytes of a third-party Go module this repository depends on, and do they match the checksum the committed go.sum records?
 Package depsource answers one read-only question: what are the pinned bytes of a third-party Go module this repository depends on, and do they match the checksum the committed go.sum records?
Package diagnostic is the refusal envelope of docs/specs/diagnostic-repair-contract-v0.md (DRC-V0): a refused subject, the facts measured while refusing, and the closed set of registry-owned repairs, carried beside an existing {code, message} error.
 Package diagnostic is the refusal envelope of docs/specs/diagnostic-repair-contract-v0.md (DRC-V0): a refused subject, the facts measured while refusing, and the closed set of registry-owned repairs, carried beside an existing {code, message} error.
Package disagree reports whether two independent retrieval channels agree on the files a task needs (retriever-disagreement-v0).
 Package disagree reports whether two independent retrieval channels agree on the files a task needs (retriever-disagreement-v0).
Package doccorpus compiles the proposed DCP-V1 documentation evidence profile.
 Package doccorpus compiles the proposed DCP-V1 documentation evidence profile.
Package docmaintain implements an explicitly enabled, bounded local session that keeps one human documentation page's generated blocks in sync with immutable Git source, per the IPR-05 slice of docs/plans/integrated-product-roadmap-2026-09-12.md and the maintenance requirements in docs/specs/source-documentation-draft-v0.md (SDD-V0-007+).
 Package docmaintain implements an explicitly enabled, bounded local session that keeps one human documentation page's generated blocks in sync with immutable Git source, per the IPR-05 slice of docs/plans/integrated-product-roadmap-2026-09-12.md and the maintenance requirements in docs/specs/source-documentation-draft-v0.md (SDD-V0-007+).
Package docviews compiles proof-bound audience projections from an existing admitted Human Documentation Compiler plan.
 Package docviews compiles proof-bound audience projections from an existing admitted Human Documentation Compiler plan.
Package dogfoodocm verifies the private ordered set of unchanged OCM maps used by Corvint's repository dogfood loop.
 Package dogfoodocm verifies the private ordered set of unchanged OCM maps used by Corvint's repository dogfood loop.
Package evalrepo evaluates a frozen Corvint retrieval corpus without mutation.
 Package evalrepo evaluates a frozen Corvint retrieval corpus without mutation.
Package extevidence attaches external evidence provider records to the path-impact receipt as a separated section (docs/specs/external-evidence-provider-v0.md).
 Package extevidence attaches external evidence provider records to the path-impact receipt as a separated section (docs/specs/external-evidence-provider-v0.md).
Package frontier implements Change Frontier V0 (`frontier/0`), the deterministic composition of canonical CEM 0.2, OCM 0.1, Lexical Relevance Floor V0, and Test Claim Qualification V0 specified in docs/specs/change-frontier-v0.md.
 Package frontier implements Change Frontier V0 (`frontier/0`), the deterministic composition of canonical CEM 0.2, OCM 0.1, Lexical Relevance Floor V0, and Test Claim Qualification V0 specified in docs/specs/change-frontier-v0.md.
Package frontiernext implements the additive experimental closing relation.
 Package frontiernext implements the additive experimental closing relation.
Package frontiernextrepo independently re-derives the experimental universe from immutable Git objects using the existing canonical CEM/OCM verifier.
 Package frontiernextrepo independently re-derives the experimental universe from immutable Git objects using the existing canonical CEM/OCM verifier.
Package frontierrepo binds the Change Frontier V0 seams to real Git authority.
 Package frontierrepo binds the Change Frontier V0 seams to real Git authority.
Package gitnotes anchors a committed Change Evidence Map to a commit in a Corvint notes ref and reads Git-native provenance beside it: the Git AI `refs/notes/ai` authorship log and the `Assisted-by` / `Agent-Logs-Url` commit trailers (FPK-V0-037..040, decision 0355).
 Package gitnotes anchors a committed Change Evidence Map to a commit in a Corvint notes ref and reads Git-native provenance beside it: the Git AI `refs/notes/ai` authorship log and the `Assisted-by` / `Agent-Logs-Url` commit trailers (FPK-V0-037..040, decision 0355).
Package gitstatus observes status with frozen configuration and explicit repository paths.
 Package gitstatus observes status with frozen configuration and explicit repository paths.
Package gokernel contains the experimental dependency-free Corvint production kernel.
 Package gokernel contains the experimental dependency-free Corvint production kernel.
Package jstestprovider is an experimental IPR-08 provider slice: one JS/TS unit adapter (Vitest) and one E2E adapter (Playwright) that each produce a receipt binding test/config/app-build/environment identity to per-test execution outcomes, then feed those facts through internal/testvalidity.Project (see ../testvalidity/projection.go).
 Package jstestprovider is an experimental IPR-08 provider slice: one JS/TS unit adapter (Vitest) and one E2E adapter (Playwright) that each produce a receipt binding test/config/app-build/environment identity to per-test execution outcomes, then feed those facts through internal/testvalidity.Project (see ../testvalidity/projection.go).
liveverify
affected
Package affected selects the verification units reachable from a dirty worktree.
 Package affected selects the verification units reachable from a dirty worktree.
affected/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.
affected/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.
affected/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.
affected/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.
affected/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.
affected/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.
affected/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.
affected/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.
godiscovery
Package godiscovery decodes the closed Go 1.27 package-discovery stream.
 Package godiscovery decodes the closed Go 1.27 package-discovery stream.
gorunner
Package gorunner executes one bounded, explicit Go test plan.
 Package gorunner executes one bounded, explicit Go test plan.
gotest
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.
jsresolve
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.
mutate
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.
parentverify
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.
processidentity
provider
Package provider coordinates one explicitly requested, local Go test run.
 Package provider coordinates one explicitly requested, local Go test run.
pymutate
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).
pyresolve
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.
session
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.
Package localauthority verifies the experimental protected execution profile.
 Package localauthority verifies the experimental protected execution profile.
Package localcompletion coordinates a caller-owned local workflow.
 Package localcompletion coordinates a caller-owned local workflow.
Package lrf implements the frozen Lexical Relevance Floor V0 projection.
 Package lrf implements the frozen Lexical Relevance Floor V0 projection.
Package lrfrepo issues canonical LRF results from verified repository authority.
 Package lrfrepo issues canonical LRF results from verified repository authority.
mcp
bridge
Package bridge exposes the currently qualified Corvint read surfaces without coupling them to an MCP transport implementation.
 Package bridge exposes the currently qualified Corvint read surfaces without coupling them to an MCP transport implementation.
corpusbridge
Package corpusbridge exposes only capabilities declared by a revalidated documentation corpus.
 Package corpusbridge exposes only capabilities declared by a revalidated documentation corpus.
docsbridge
Package docsbridge exposes the experimental source-documentation draft/consume implementation (docs/specs/source-documentation-draft-v0.md) as read-only MCP tools.
 Package docsbridge exposes the experimental source-documentation draft/consume implementation (docs/specs/source-documentation-draft-v0.md) as read-only MCP tools.
protocol
Package protocol implements bounded MCP 2026-07-28 wire types.
 Package protocol implements bounded MCP 2026-07-28 wire types.
server
Package server implements the local child-owned MCP 2026-07-28 stdio server.
 Package server implements the local child-owned MCP 2026-07-28 stdio server.
testvaliditybridge
Package testvaliditybridge exposes the shared test-validity projection as the single read-only tool of the experimental MCP test-validity profile (docs/specs/mcp-test-validity-profile-v0.md).
 Package testvaliditybridge exposes the shared test-validity projection as the single read-only tool of the experimental MCP test-validity profile (docs/specs/mcp-test-validity-profile-v0.md).
Package migrationratchet compares immutable migration evidence snapshots.
 Package migrationratchet compares immutable migration evidence snapshots.
Package necessity answers one read-only question about a task-context packet: which of the files the packet included does the packet actually depend on? Each included path is removed from a copy of the index and the packet is recompiled; a path whose removal costs the packet an anchor, grows its missing-critical set, or moves it off a resolved answerability verdict is `load-bearing`, and every other included path is `supporting`.
 Package necessity answers one read-only question about a task-context packet: which of the files the packet included does the packet actually depend on? Each included path is removed from a copy of the index and the packet is recompiled; a path whose removal costs the packet an anchor, grows its missing-critical set, or moves it off a resolved answerability verdict is `load-bearing`, and every other included path is `supporting`.
Package obscorpus is the experimental OCA-V0 contract (docs/specs/observation-corpus-authority-v0.md): bounded harness observations and a sealed owner-labelled corpus replay.
 Package obscorpus is the experimental OCA-V0 contract (docs/specs/observation-corpus-authority-v0.md): bounded harness observations and a sealed owner-labelled corpus replay.
Package observations keeps bounded, local-only self-observation proposals.
 Package observations keeps bounded, local-only self-observation proposals.
Package outcomecal joins recorded local task outcomes with the packet stance (answered or abstained) that preceded them and reports calibration only.
 Package outcomecal joins recorded local task outcomes with the packet stance (answered or abstained) that preceded them and reports calibration only.
Package plansnapshot validates caller-owned immutable planning inputs.
 Package plansnapshot validates caller-owned immutable planning inputs.
Package playwrightminimize plans bounded Playwright suite-interaction trials.
 Package playwrightminimize plans bounded Playwright suite-interaction trials.
Package projectpath normalizes existing and verified-absent project paths.
 Package projectpath normalizes existing and verified-absent project paths.
Package projectprofile holds the downstream-project conventions the kernel used to hardcode: how a project is recognised, which ledgers it keeps, and which verification command each changed path implies.
 Package projectprofile holds the downstream-project conventions the kernel used to hardcode: how a project is recognised, which ledgers it keeps, and which verification command each changed path implies.
Package proofabstraction implements the experimental exact proof-projection relation described by PPA-V0.
 Package proofabstraction implements the experimental exact proof-projection relation described by PPA-V0.
Package pulse contains the in-memory coordination primitives for Corvint Pulse.
 Package pulse contains the in-memory coordination primitives for Corvint Pulse.
Package pythongrammar holds the closed Python 3.12 subset lexer and parser.
 Package pythongrammar holds the closed Python 3.12 subset lexer and parser.
Package releasecandidate closes the already-qualified core and companion artifacts into one immutable, versioned local publication candidate.
 Package releasecandidate closes the already-qualified core and companion artifacts into one immutable, versioned local publication candidate.
Package releasegate verifies one manifest-selected, immutable Git release tree.
 Package releasegate verifies one manifest-selected, immutable Git release tree.
Package remoteprovider belongs exclusively to the optional remote adapter.
 Package remoteprovider belongs exclusively to the optional remote adapter.
Package repoenvelope frames repository-derived JSON as untrusted data for agent context (AHI-004).
 Package repoenvelope frames repository-derived JSON as untrusted data for agent context (AHI-004).
Package runtimeenv resolves runtime settings from the CORVINT_ environment namespace.
 Package runtimeenv resolves runtime settings from the CORVINT_ environment namespace.
Package scopelease implements bounded local scope leases so several agents sharing one worktree cannot silently edit overlapping files or the same ticket.
 Package scopelease implements bounded local scope leases so several agents sharing one worktree cannot silently edit overlapping files or the same ticket.
Package secretscreen holds the secret-shaped-text detector Corvint's local writers share plus immutable stored-format compatibility matchers.
 Package secretscreen holds the secret-shaped-text detector Corvint's local writers share plus immutable stored-format compatibility matchers.
Package semescalate is the experimental deterministic core of the Semantic Escalation Gate (docs/specs/semantic-escalation-gate-v0.md).
 Package semescalate is the experimental deterministic core of the Semantic Escalation Gate (docs/specs/semantic-escalation-gate-v0.md).
Package skillexport renders admitted learned traces as Agent Skills documents: one directory per admitted rule holding a short SKILL.md with YAML frontmatter and a references/trace.md that carries the full detail (LTA-V0-006 to LTA-V0-008).
 Package skillexport renders admitted learned traces as Agent Skills documents: one directory per admitted rule holding a short SKILL.md with YAML frontmatter and a references/trace.md that carries the full detail (LTA-V0-006 to LTA-V0-008).
Package taskman implements the explicitly trusted-local native fixture planner.
 Package taskman implements the explicitly trusted-local native fixture planner.
Package tcq implements Test Claim Qualification V0 (`tcq/0`) as specified in docs/specs/test-claim-qualification-v0.md.
 Package tcq implements Test Claim Qualification V0 (`tcq/0`) as specified in docs/specs/test-claim-qualification-v0.md.
Package testevidence is the opt-in producer half of retained test evidence (LPCV-V0-055, decision 0218): a provider run with --retain writes its exact stdout document into the one location testvaliditydoc.Discover reads.
 Package testevidence is the opt-in producer half of retained test evidence (LPCV-V0-055, decision 0218): a provider run with --retain writes its exact stdout document into the one location testvaliditydoc.Discover reads.
Package testsupport holds small load-detection helpers shared by timing- sensitive tests across packages, so a wall-clock ceiling can be skipped under a loaded host instead of flaking (decision 0036).
 Package testsupport holds small load-detection helpers shared by timing- sensitive tests across packages, so a wall-clock ceiling can be skipped under a loaded host instead of flaking (decision 0036).
Package testvalidity defines one shared test-validity projection consumed by both the Go CLI/MCP surface and the VS Code extension's TypeScript mirror (extensions/vscode/src/testvalidity.ts).
 Package testvalidity defines one shared test-validity projection consumed by both the Go CLI/MCP surface and the VS Code extension's TypeScript mirror (extensions/vscode/src/testvalidity.ts).
Package testvaliditydoc builds the corvint-test-validity/0 document (docs/specs/live-proof-carrying-verification-v0.md LPCV-V0-051): the shared five-axis projection of every test-level result a JavaScript receipt or Go preview-session event carries.
 Package testvaliditydoc builds the corvint-test-validity/0 document (docs/specs/live-proof-carrying-verification-v0.md LPCV-V0-051): the shared five-axis projection of every test-level result a JavaScript receipt or Go preview-session event carries.
Package touchsurprise measures, for one completed task, how much of the change the task-context packet never named: the touch-set surprise.
 Package touchsurprise measures, for one completed task, how much of the change the task-context packet never named: the touch-set surprise.
Package tracemigraterepo binds trace migration to stable Git repository authority.
 Package tracemigraterepo binds trace migration to stable Git repository authority.
Package tracerecordrepo binds trace recording to stable Git repository authority.
 Package tracerecordrepo binds trace recording to stable Git repository authority.
Package unplannedread measures reads that Corvint failed to prevent: tool calls that opened a project file the delivered context packet did not already carry.
 Package unplannedread measures reads that Corvint failed to prevent: tool calls that opened a project file the delivered context packet did not already carry.
Package untrackedallowance decides which untracked worktree paths a committed-content result may tolerate without degrading (decision 0142).
 Package untrackedallowance decides which untracked worktree paths a committed-content result may tolerate without degrading (decision 0142).
Package witness reports the unwitnessed surface of one committed change range: of the obligations that range opens, how many were closed by evidence from a party other than the change's author, how many stand unproven, and how many could not be determined at all.
 Package witness reports the unwitnessed surface of one committed change range: of the obligations that range opens, how many were closed by evidence from a party other than the change's author, how many stand unproven, and how many could not be determined at all.
Package witnesscollapse compiles explicitly declared common causes over one exact CEM into a conservative upper bound on independent witnesses.
 Package witnesscollapse compiles explicitly declared common causes over one exact CEM into a conservative upper bound on independent witnesses.
Package worklistadapter is the repository-work-queue-adapter/0 producer for a committed JSON worklist.
 Package worklistadapter is the repository-work-queue-adapter/0 producer for a committed JSON worklist.
Package workqueue validates Work Queue Observation V0 wire artifacts and computes deterministic, non-operative wave proposals.
 Package workqueue validates Work Queue Observation V0 wire artifacts and computes deterministic, non-operative wave proposals.
Package worksource qualifies the read-only source shared by the work observer and the repository-owned producer.
 Package worksource qualifies the read-only source shared by the work observer and the repository-owned producer.
Package wp3codec implements the WP3 commitment codec: the dependency-free canonical JSON subset frozen under "Canonical evaluation commitments" in docs/specs/lexical-relevance-floor-v0.md and restated word-for-word by docs/specs/change-frontier-v0.md CF-V0-019.
 Package wp3codec implements the WP3 commitment codec: the dependency-free canonical JSON subset frozen under "Canonical evaluation commitments" in docs/specs/lexical-relevance-floor-v0.md and restated word-for-word by docs/specs/change-frontier-v0.md CF-V0-019.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.