.gitignore
AGENTS.md
LICENSE
README.md
RELEASE.md
gearu.toml
pyproject.toml
release-inputs.json
run_tests.py
.github/workflows/publish.yml
corpus/ext_vectors.json
corpus/float_vectors.json
corpus/glade.golden.json
corpus/glade.ir.json
corpus/glade_folds.json
corpus/glade_hashes.json
corpus/griplab.golden.json
corpus/griplab.ir.json
corpus/resext.ir.json
corpus/residual_vectors.json
corpus/parity/allowlist.json
corpus/parity/bounds.vectors.json
corpus/parity/gen_vectors.py
corpus/parity/int.vectors.json
corpus/parity/malformed.vectors.json
dev-docs/ApplicationProperties-Probe.md
dev-docs/CppGoOneOfCheckpoint-Acceptance-1.json
dev-docs/CppGoOneOfCheckpoint-Authority.md
dev-docs/CppGoOneOfCheckpoint-Draft.md
dev-docs/CppGoOneOfCheckpoint-FocusedResults-1.json
dev-docs/CppGoOneOfCheckpoint-Preparation-R1.json
dev-docs/CppGoOneOfCheckpoint-Preparation.json
dev-docs/CppGoOneOfCheckpoint-PromptCode-1.md
dev-docs/CppGoOneOfCheckpoint-PromptCode.md
dev-docs/CppGoOneOfCheckpoint-PromptGeneration-1.json
dev-docs/CppGoOneOfCheckpoint-PromptGeneration.json
dev-docs/CppGoOneOfCheckpoint-PromptState-1.md
dev-docs/CppGoOneOfCheckpoint-PromptState.md
dev-docs/CppGoOneOfCheckpoint-RemPlan-1.md
dev-docs/CppGoOneOfCheckpoint-ReportFiling-1.json
dev-docs/CppGoOneOfCheckpoint-ReportFiling.json
dev-docs/CppGoOneOfCheckpoint-ReviewCode-1.md
dev-docs/CppGoOneOfCheckpoint-ReviewCode.md
dev-docs/CppGoOneOfCheckpoint-ReviewSetup-1.json
dev-docs/CppGoOneOfCheckpoint-ReviewSetupNormalization.json
dev-docs/CppGoOneOfCheckpoint-ReviewState-1.md
dev-docs/CppGoOneOfCheckpoint-ReviewState.md
dev-docs/CppGoOneOfCheckpoint-Tuple-1.json
dev-docs/CppGoOneOfCheckpoint-Tuple.json
dev-docs/CppGoOneOfCheckpoint-Verdict-1.md
dev-docs/CppGoOneOfCheckpoint-Verdict.md
dev-docs/EcmaOneOfCheckpoint-Authority.md
dev-docs/EcmaOneOfCheckpoint-Draft.md
dev-docs/EcmaOneOfCheckpoint-Gates-1.md
dev-docs/EcmaOneOfCheckpoint-Inventory-1.json
dev-docs/EcmaOneOfCheckpoint-Preparation.json
dev-docs/EcmaOneOfCheckpoint-PromptCode-1.md
dev-docs/EcmaOneOfCheckpoint-PromptCode.md
dev-docs/EcmaOneOfCheckpoint-PromptGeneration-1.json
dev-docs/EcmaOneOfCheckpoint-PromptGeneration.json
dev-docs/EcmaOneOfCheckpoint-PromptState-1.md
dev-docs/EcmaOneOfCheckpoint-PromptState.md
dev-docs/EcmaOneOfCheckpoint-RemPlan-1.md
dev-docs/EcmaOneOfCheckpoint-ReviewCode-1.md
dev-docs/EcmaOneOfCheckpoint-ReviewCode.md
dev-docs/EcmaOneOfCheckpoint-ReviewState-1.md
dev-docs/EcmaOneOfCheckpoint-ReviewState.md
dev-docs/EcmaOneOfCheckpoint-Tuple-1.json
dev-docs/EcmaOneOfCheckpoint-Tuple.json
dev-docs/EcmaOneOfCheckpoint-Verdict-1.md
dev-docs/EcmaOneOfCheckpoint-Verdict.md
dev-docs/JvmOneOfCheckpoint-Authority.md
dev-docs/JvmOneOfCheckpoint-Draft.md
dev-docs/JvmOneOfCheckpoint-Inventory-1.json
dev-docs/JvmOneOfCheckpoint-Inventory.json
dev-docs/JvmOneOfCheckpoint-Landing.json
dev-docs/JvmOneOfCheckpoint-Preparation.json
dev-docs/JvmOneOfCheckpoint-PromptCode-1.md
dev-docs/JvmOneOfCheckpoint-PromptCode.md
dev-docs/JvmOneOfCheckpoint-PromptGeneration-1.json
dev-docs/JvmOneOfCheckpoint-PromptGeneration.json
dev-docs/JvmOneOfCheckpoint-PromptState-1.md
dev-docs/JvmOneOfCheckpoint-PromptState.md
dev-docs/JvmOneOfCheckpoint-RemPlan-1.md
dev-docs/JvmOneOfCheckpoint-ReviewCode-1.md
dev-docs/JvmOneOfCheckpoint-ReviewCode.md
dev-docs/JvmOneOfCheckpoint-ReviewState-1.md
dev-docs/JvmOneOfCheckpoint-ReviewState.md
dev-docs/JvmOneOfCheckpoint-Tuple.json
dev-docs/JvmOneOfCheckpoint-Verdict.md
dev-docs/JvmOneOfCheckpoint-WheelGate.log
dev-docs/OneOf-ExplicitValidation-BuildProposal.md
dev-docs/OneOf-ExplicitValidation-PROPOSAL.md
dev-docs/OneOf-Proposal-DRAFT.md
dev-docs/OneOf-Proposal-PromptConsistency.md
dev-docs/OneOf-Proposal-PromptSafety.md
dev-docs/OneOf-Proposal-RemPlan-1.md
dev-docs/OneOf-Proposal-ReviewConsistency-1.md
dev-docs/OneOf-Proposal-ReviewConsistency.md
dev-docs/OneOf-Proposal-ReviewSafety-1.md
dev-docs/OneOf-Proposal-ReviewSafety.md
dev-docs/OneOf-Proposal-Verdict.md
dev-docs/PythonOneOfCheckpoint-ApprovalCode-Authorization.md
dev-docs/PythonOneOfCheckpoint-ApprovalState-Authorization.md
dev-docs/PythonOneOfCheckpoint-AuthorizationAmendment.json
dev-docs/PythonOneOfCheckpoint-ChangedRange-1.json
dev-docs/PythonOneOfCheckpoint-ChangedRange-2.json
dev-docs/PythonOneOfCheckpoint-CommitSnapshot.json
dev-docs/PythonOneOfCheckpoint-Draft.md
dev-docs/PythonOneOfCheckpoint-PromptCode.md
dev-docs/PythonOneOfCheckpoint-PromptState.md
dev-docs/PythonOneOfCheckpoint-RePromptCode-1.md
dev-docs/PythonOneOfCheckpoint-RePromptCode-2.md
dev-docs/PythonOneOfCheckpoint-RePromptState-1.md
dev-docs/PythonOneOfCheckpoint-RePromptState-2.md
dev-docs/PythonOneOfCheckpoint-RemPlan-1.md
dev-docs/PythonOneOfCheckpoint-RemPlan-2.md
dev-docs/PythonOneOfCheckpoint-ReviewCode-1.md
dev-docs/PythonOneOfCheckpoint-ReviewCode-2.md
dev-docs/PythonOneOfCheckpoint-ReviewCode.md
dev-docs/PythonOneOfCheckpoint-ReviewState-1.md
dev-docs/PythonOneOfCheckpoint-ReviewState-2.md
dev-docs/PythonOneOfCheckpoint-ReviewState.md
dev-docs/PythonOneOfCheckpoint-Snapshot-1.json
dev-docs/PythonOneOfCheckpoint-Snapshot-2.json
dev-docs/PythonOneOfCheckpoint-Snapshot.json
dev-docs/PythonOneOfCheckpoint-Verdict.md
dev-docs/RustFailClosed.md
dev-docs/RustOneOfCheckpoint-Authority.md
dev-docs/RustOneOfCheckpoint-Draft.md
dev-docs/RustOneOfCheckpoint-PromptCode.md
dev-docs/RustOneOfCheckpoint-PromptState.md
dev-docs/RustOneOfCheckpoint-RePromptCode-1.md
dev-docs/RustOneOfCheckpoint-RePromptCode-2.md
dev-docs/RustOneOfCheckpoint-RePromptState-1.md
dev-docs/RustOneOfCheckpoint-RePromptState-2.md
dev-docs/RustOneOfCheckpoint-RemPlan-1.md
dev-docs/RustOneOfCheckpoint-RemPlan-2.md
dev-docs/RustOneOfCheckpoint-Results.md
dev-docs/RustOneOfCheckpoint-ReviewCode-1.md
dev-docs/RustOneOfCheckpoint-ReviewCode-2.md
dev-docs/RustOneOfCheckpoint-ReviewCode.md
dev-docs/RustOneOfCheckpoint-ReviewState-1.md
dev-docs/RustOneOfCheckpoint-ReviewState-2.md
dev-docs/RustOneOfCheckpoint-ReviewState.md
dev-docs/RustOneOfCheckpoint-Verdict.md
dev-docs/SwiftOneOfCheckpoint-Acceptance-1.json
dev-docs/SwiftOneOfCheckpoint-Authority-1.md
dev-docs/SwiftOneOfCheckpoint-Authority.md
dev-docs/SwiftOneOfCheckpoint-Draft.md
dev-docs/SwiftOneOfCheckpoint-EvidencePreservation-1.json
dev-docs/SwiftOneOfCheckpoint-FocusedResults-1.json
dev-docs/SwiftOneOfCheckpoint-Preparation-R1.json
dev-docs/SwiftOneOfCheckpoint-Preparation.json
dev-docs/SwiftOneOfCheckpoint-RemPlan-1.md
dev-docs/SwiftOneOfCheckpoint-ReviewCode-1.md
dev-docs/SwiftOneOfCheckpoint-ReviewCode.md
dev-docs/SwiftOneOfCheckpoint-ReviewSetup-1.json
dev-docs/SwiftOneOfCheckpoint-ReviewSetup.json
dev-docs/SwiftOneOfCheckpoint-ReviewState-1.md
dev-docs/SwiftOneOfCheckpoint-ReviewState.md
dev-docs/SwiftOneOfCheckpoint-Tuple-1.json
dev-docs/SwiftOneOfCheckpoint-Verdict-1.md
dev-docs/SwiftOneOfCheckpoint-Verdict.md
dev-docs/TautBuild-DRAFT.md
dev-docs/TautBuild-PromptConsistency.md
dev-docs/TautBuild-PromptSafety.md
dev-docs/TautBuild-ReviewConsistency.md
dev-docs/TautBuild-ReviewSafety.md
dev-docs/TautBuild-Verdict.md
dev-docs/TautCheckedDecode.md
dev-docs/TautDecisions.md
dev-docs/TautOptions.md
dev-docs/UserEnumCaseIntegration-Receipt.json
dev-docs/examples/cpp-oneof/AllocationFault.cpp
dev-docs/examples/cpp-oneof/Conformance.cpp
dev-docs/examples/cpp-oneof/Example.cpp
dev-docs/examples/cpp-oneof/README.md
dev-docs/examples/cpp-oneof/RESULTS-R1.md
dev-docs/examples/cpp-oneof/RESULTS.md
dev-docs/examples/cpp-oneof/content.taut.py
dev-docs/examples/cpp-oneof/verify_examples.py
dev-docs/examples/cpp-oneof/results/example-api-association.json
dev-docs/examples/cpp-oneof/results/naming-final.log
dev-docs/examples/cpp-oneof/results/naming-final.xml
dev-docs/examples/cpp-oneof/results/normalized-reports.txt
dev-docs/examples/cpp-oneof/results/owned-source.json
dev-docs/examples/cpp-oneof/results/package-provenance.json
dev-docs/examples/cpp-oneof/results/shared-affected-after.json
dev-docs/examples/cpp-oneof/results/shared-affected-before.json
dev-docs/examples/cpp-oneof/results/shared-affected-receipt.json
dev-docs/examples/cpp-oneof/results/shared-affected-runner.py
dev-docs/examples/cpp-oneof/results/shared-affected.log
dev-docs/examples/cpp-oneof/results/target-gate-receipt.json
dev-docs/examples/cpp-oneof/results-r1/audit-after.json
dev-docs/examples/cpp-oneof/results-r1/audit-before.json
dev-docs/examples/cpp-oneof/results-r1/audit.py
dev-docs/examples/cpp-oneof/results-r1/commands.json
dev-docs/examples/cpp-oneof/results-r1/cpp-contracts.log
dev-docs/examples/cpp-oneof/results-r1/cpp-contracts.xml
dev-docs/examples/cpp-oneof/results-r1/cpp-counterexamples.log
dev-docs/examples/cpp-oneof/results-r1/cpp-counterexamples.xml
dev-docs/examples/cpp-oneof/results-r1/cpp-original-counterexample.json
dev-docs/examples/cpp-oneof/results-r1/owned-source-R1.json
dev-docs/examples/cpp-oneof/results-r1/pair-wheel.log
dev-docs/examples/cpp-oneof/results-r1/pair-wheel.xml
dev-docs/examples/cpp-oneof/results-r1/replay-cpp.py
dev-docs/examples/cpp-oneof/results-r1/shared-assertions.log
dev-docs/examples/cpp-oneof/results-r1/shared-assertions.xml
dev-docs/examples/go-oneof/README.md
dev-docs/examples/go-oneof/RESULTS-R1.md
dev-docs/examples/go-oneof/RESULTS.md
dev-docs/examples/go-oneof/conformance.go
dev-docs/examples/go-oneof/content.taut.py
dev-docs/examples/go-oneof/run-example.py
dev-docs/examples/go-oneof/goldens/legacy-api.go
dev-docs/examples/go-oneof/goldens/off.go
dev-docs/examples/go-oneof/goldens/on.go
dev-docs/examples/go-oneof/results/example-api-association.json
dev-docs/examples/go-oneof/results/fingerprint-r1.log
dev-docs/examples/go-oneof/results/native-example.json
dev-docs/examples/go-oneof/results/owned-source.json
dev-docs/examples/go-oneof/results/target-gate-r0.log
dev-docs/examples/go-oneof/results/unicode-r1.log
dev-docs/examples/go-oneof/results-r1/all-go.log
dev-docs/examples/go-oneof/results-r1/all-go.xml
dev-docs/examples/go-oneof/results-r1/closure.log
dev-docs/examples/go-oneof/results-r1/closure.xml
dev-docs/examples/go-oneof/results-r1/commands.json
dev-docs/examples/go-oneof/results-r1/example.log
dev-docs/examples/go-oneof/results-r1/format-from-root.log
dev-docs/examples/go-oneof/results-r1/native-example.json
dev-docs/examples/go-oneof/results-r1/owned-r0-source.json
dev-docs/examples/go-oneof/results-r1/owned-source-R1.json
dev-docs/examples/go-oneof/results-r1/preservation.json
dev-docs/examples/go-oneof/results-r1/protected-after.json
dev-docs/examples/go-oneof/results-r1/protected-before.json
dev-docs/examples/go-oneof/results-r1/retirement-corrected.log
dev-docs/examples/go-oneof/results-r1/retirement-corrected.xml
dev-docs/examples/java-oneof/AdapterProbe.java
dev-docs/examples/java-oneof/Conformance.java
dev-docs/examples/java-oneof/INTEGRATION.md
dev-docs/examples/java-oneof/README.md
dev-docs/examples/java-oneof/RESULTS.md
dev-docs/examples/java-oneof/content.taut.py
dev-docs/examples/java-oneof/disabled.golden.java
dev-docs/examples/java-oneof/enabled.golden.java
dev-docs/examples/java-oneof/owned-files.json
dev-docs/examples/java-oneof/verify_examples.py
dev-docs/examples/java-oneof/results/adapter-probe.log
dev-docs/examples/java-oneof/results/contract-supplement.log
dev-docs/examples/java-oneof/results/disabled.log
dev-docs/examples/java-oneof/results/examples.log
dev-docs/examples/java-oneof/results/feature-regression.log
dev-docs/examples/java-oneof/results/feature-tests.log
dev-docs/examples/java-oneof/results/final-target-gate.log
dev-docs/examples/java-oneof/results/package-provenance.json
dev-docs/examples/java-oneof/results/package-reports.tsv
dev-docs/examples/java-oneof/results/reference-regression.log
dev-docs/examples/java-oneof/results/runtime-inventory.json
dev-docs/examples/java-oneof/results/source-reports.tsv
dev-docs/examples/js-oneof/INTEGRATION.md
dev-docs/examples/js-oneof/README.md
dev-docs/examples/js-oneof/RESULTS.md
dev-docs/examples/js-oneof/conformance.js
dev-docs/examples/js-oneof/content.taut.py
dev-docs/examples/js-oneof/disabled.golden.js
dev-docs/examples/js-oneof/enabled.golden.js
dev-docs/examples/js-oneof/example.js
dev-docs/examples/js-oneof/owned-files.json
dev-docs/examples/js-oneof/verify_examples.py
dev-docs/examples/js-oneof/results/canonical-inventory.json
dev-docs/examples/js-oneof/results/disabled.log
dev-docs/examples/js-oneof/results/examples.log
dev-docs/examples/js-oneof/results/native-preservation.log
dev-docs/examples/js-oneof/results/package-example.log
dev-docs/examples/js-oneof/results/package-provenance.json
dev-docs/examples/js-oneof/results/package-reports.tsv
dev-docs/examples/js-oneof/results/prefreeze-service-gate.log
dev-docs/examples/js-oneof/results/remediation-1-affected-after.json
dev-docs/examples/js-oneof/results/remediation-1-affected-before.json
dev-docs/examples/js-oneof/results/remediation-1-affected-receipt.json
dev-docs/examples/js-oneof/results/remediation-1-affected.log
dev-docs/examples/js-oneof/results/remediation-1-affected.xml
dev-docs/examples/js-oneof/results/remediation-1-run-affected.py
dev-docs/examples/js-oneof/results/shared-path-preservation.log
dev-docs/examples/js-oneof/results/source-example.log
dev-docs/examples/js-oneof/results/source-reports.tsv
dev-docs/examples/js-oneof/results/target-gate.log
dev-docs/examples/jvm-oneof/global-r0/RESULTS.md
dev-docs/examples/jvm-oneof/global-r0/baseline-source-proof.json
dev-docs/examples/jvm-oneof/global-r0/broad-regression-tests.log
dev-docs/examples/jvm-oneof/global-r0/broad-results.xml
dev-docs/examples/jvm-oneof/global-r0/codec-parity.json
dev-docs/examples/jvm-oneof/global-r0/codec-parity.log
dev-docs/examples/jvm-oneof/global-r0/evidence-inventory.json
dev-docs/examples/jvm-oneof/global-r0/expected-tuple.json
dev-docs/examples/jvm-oneof/global-r0/gate-console.log
dev-docs/examples/jvm-oneof/global-r0/global-results.json
dev-docs/examples/jvm-oneof/global-r0/preflight-environment-abort.log
dev-docs/examples/jvm-oneof/global-r0/run-global-gate.py
dev-docs/examples/jvm-oneof/global-r0/skip-classification.json
dev-docs/examples/jvm-oneof/global-r0/source-after.json
dev-docs/examples/jvm-oneof/global-r0/source-before.json
dev-docs/examples/jvm-oneof/global-r0/tuple-after.json
dev-docs/examples/jvm-oneof/global-r0/tuple-before.json
dev-docs/examples/jvm-oneof/remediation-r1/examples.log
dev-docs/examples/jvm-oneof/remediation-r1/java-closure-tests.log
dev-docs/examples/jvm-oneof/remediation-r1/kotlin-package-help.log
dev-docs/examples/jvm-oneof/remediation-r1/literal-expectation.log
dev-docs/examples/jvm-oneof/remediation-r1/preservation-gate.log
dev-docs/examples/jvm-oneof/remediation-r1/target-gate.log
dev-docs/examples/kotlin-oneof/AdapterProbe.kt
dev-docs/examples/kotlin-oneof/Example.kt
dev-docs/examples/kotlin-oneof/INTEGRATION.md
dev-docs/examples/kotlin-oneof/README.md
dev-docs/examples/kotlin-oneof/RESULTS.md
dev-docs/examples/kotlin-oneof/results.json
dev-docs/examples/kotlin-oneof/run-example.py
dev-docs/examples/kotlin-oneof/test-results.txt
dev-docs/examples/python-oneof/README.md
dev-docs/examples/python-oneof/RESULTS.md
dev-docs/examples/python-oneof/Verify-PythonCheckpoint.ps1
dev-docs/examples/python-oneof/baseline_evidence.py
dev-docs/examples/python-oneof/content.taut.py
dev-docs/examples/python-oneof/generate_examples.py
dev-docs/examples/python-oneof/inspect_examples.py
dev-docs/examples/python-oneof/review_snapshot.py
dev-docs/examples/python-oneof/goldens/off.py
dev-docs/examples/python-oneof/goldens/on.py
dev-docs/examples/python-oneof/results/baseline-evidence.json
dev-docs/examples/python-oneof/results/baseline-head-tests.log
dev-docs/examples/python-oneof/results/baseline-java-encoding.log
dev-docs/examples/python-oneof/results/broad-regression-summary.json
dev-docs/examples/python-oneof/results/codec-parity.log
dev-docs/examples/python-oneof/results/core-regression-tests.log
dev-docs/examples/python-oneof/results/corrected-environment-tests.log
dev-docs/examples/python-oneof/results/disabled-examples.log
dev-docs/examples/python-oneof/results/feature-tests.log
dev-docs/examples/python-oneof/results/generate.log
dev-docs/examples/python-oneof/results/package-examples.log
dev-docs/examples/python-oneof/results/regression-tests.log
dev-docs/examples/python-oneof/results/shape-tests.log
dev-docs/examples/python-oneof/results/source-examples.log
dev-docs/examples/python-oneof/results/wheel-build.log
dev-docs/examples/python-oneof/results/wheel-conformance.json
dev-docs/examples/python-oneof/results/wheel-verification.json
dev-docs/examples/rust-oneof/README.md
dev-docs/examples/rust-oneof/Verify-RustCheckpoint.ps1
dev-docs/examples/rust-oneof/generate_examples.py
dev-docs/examples/rust-oneof/main.rs
dev-docs/examples/rust-oneof/verify_package.py
dev-docs/examples/rust-oneof/goldens/package-off.rs
dev-docs/examples/rust-oneof/goldens/package-on.rs
dev-docs/examples/rust-oneof/goldens/source-off.rs
dev-docs/examples/rust-oneof/goldens/source-on.rs
dev-docs/examples/rust-oneof/results/broad-regression-tests.log
dev-docs/examples/rust-oneof/results/canonical-inventory.log
dev-docs/examples/rust-oneof/results/codec-parity.log
dev-docs/examples/rust-oneof/results/disabled-examples.log
dev-docs/examples/rust-oneof/results/examples.log
dev-docs/examples/rust-oneof/results/feature-regression-tests.log
dev-docs/examples/rust-oneof/results/foundation-clippy.log
dev-docs/examples/rust-oneof/results/foundation-no-std.log
dev-docs/examples/rust-oneof/results/invalid-draft.cbor
dev-docs/examples/rust-oneof/results/invalid-draft.json
dev-docs/examples/rust-oneof/results/package-build.log
dev-docs/examples/rust-oneof/results/package-examples.log
dev-docs/examples/rust-oneof/results/package-verification.json
dev-docs/examples/rust-oneof/results/shape-clippy.log
dev-docs/examples/rust-oneof/results/shape-no-std.log
dev-docs/examples/rust-oneof/results/shape-process-globals.log
dev-docs/examples/rust-oneof/results/shape-tests-environment-baseline.log
dev-docs/examples/rust-oneof/results/shape-tests.log
dev-docs/examples/rust-oneof/results/source-examples.log
dev-docs/examples/swift-oneof/Conformance.swift
dev-docs/examples/swift-oneof/README.md
dev-docs/examples/swift-oneof/RESULTS-R1.md
dev-docs/examples/swift-oneof/content.taut.py
dev-docs/examples/swift-oneof/expected.tsv
dev-docs/examples/swift-oneof/run_example.py
dev-docs/examples/swift-oneof/surface.taut.py
dev-docs/examples/swift-oneof/golden/flat-off.swift
dev-docs/examples/swift-oneof/golden/flat-on.swift
dev-docs/examples/swift-oneof/golden/imported-off.swift
dev-docs/examples/swift-oneof/golden/imported-on.swift
dev-docs/examples/swift-oneof/results/focused-commands.json
dev-docs/examples/swift-oneof/results/go-kernel-equivalence.json
dev-docs/examples/swift-oneof/results/native-example.json
dev-docs/examples/swift-oneof/results/settled-shared-preservation.log
dev-docs/examples/swift-oneof/results/settled-shared-preservation.xml
dev-docs/examples/swift-oneof/results/settled-swift-existing.log
dev-docs/examples/swift-oneof/results/settled-swift-existing.xml
dev-docs/examples/swift-oneof/results/settled-swift-feature.log
dev-docs/examples/swift-oneof/results/settled-swift-feature.xml
dev-docs/examples/swift-oneof/results/settled-swift-wheel.log
dev-docs/examples/swift-oneof/results/settled-swift-wheel.xml
dev-docs/examples/swift-oneof/results/source-after.json
dev-docs/examples/swift-oneof/results/source-before.json
dev-docs/examples/swift-oneof/results-global-r0/RESULTS.md
dev-docs/examples/swift-oneof/results-global-r0/actual-library-receipt-scope.json
dev-docs/examples/swift-oneof/results-global-r0/baseline-source-proof.json
dev-docs/examples/swift-oneof/results-global-r0/broad-regression-tests.log
dev-docs/examples/swift-oneof/results-global-r0/broad-results.xml
dev-docs/examples/swift-oneof/results-global-r0/codec-parity.json
dev-docs/examples/swift-oneof/results-global-r0/codec-parity.log
dev-docs/examples/swift-oneof/results-global-r0/collection_receipt.py
dev-docs/examples/swift-oneof/results-global-r0/commands.json
dev-docs/examples/swift-oneof/results-global-r0/deselected-tests.json
dev-docs/examples/swift-oneof/results-global-r0/environment.json
dev-docs/examples/swift-oneof/results-global-r0/evidence-inventory.json
dev-docs/examples/swift-oneof/results-global-r0/execution-receipt.json
dev-docs/examples/swift-oneof/results-global-r0/expected-tuple.json
dev-docs/examples/swift-oneof/results-global-r0/failure-test_dev_docs-test_proto_api_surface_extensions_doc_exists_and_covers_contract.txt
dev-docs/examples/swift-oneof/results-global-r0/failure-test_go-test_generated_go_is_gofmt_clean.txt
dev-docs/examples/swift-oneof/results-global-r0/failure-test_go-test_go_runtime_and_parity_runner_are_gofmt_clean.txt
dev-docs/examples/swift-oneof/results-global-r0/final-derived-counts.json
dev-docs/examples/swift-oneof/results-global-r0/finish-evidence.py
dev-docs/examples/swift-oneof/results-global-r0/gate-console.log
dev-docs/examples/swift-oneof/results-global-r0/global-results.json
dev-docs/examples/swift-oneof/results-global-r0/gwz-after.json
dev-docs/examples/swift-oneof/results-global-r0/gwz-before.json
dev-docs/examples/swift-oneof/results-global-r0/new-target-collection.json
dev-docs/examples/swift-oneof/results-global-r0/observe-final.py
dev-docs/examples/swift-oneof/results-global-r0/prepare-runner.py
dev-docs/examples/swift-oneof/results-global-r0/protected-after.json
dev-docs/examples/swift-oneof/results-global-r0/protected-before.json
dev-docs/examples/swift-oneof/results-global-r0/raw-source-blob-after.json
dev-docs/examples/swift-oneof/results-global-r0/raw-source-blob-before.json
dev-docs/examples/swift-oneof/results-global-r0/run-gate.ps1
dev-docs/examples/swift-oneof/results-global-r0/run-global-gate.py
dev-docs/examples/swift-oneof/results-global-r0/selected-tests.json
dev-docs/examples/swift-oneof/results-global-r0/skip-classification.json
dev-docs/examples/swift-oneof/results-global-r0/source-after.json
dev-docs/examples/swift-oneof/results-global-r0/source-before.json
dev-docs/examples/swift-oneof/results-global-r0/tuple-after.json
dev-docs/examples/swift-oneof/results-global-r0/tuple-before.json
dev-docs/examples/swift-oneof/results-r1/activate.ps1
dev-docs/examples/swift-oneof/results-r1/alias-final-example.log
dev-docs/examples/swift-oneof/results-r1/attempt1-source.json
dev-docs/examples/swift-oneof/results-r1/audit.py
dev-docs/examples/swift-oneof/results-r1/baseline-module-names-attempt1.py
dev-docs/examples/swift-oneof/results-r1/baseline-module-names-results.json
dev-docs/examples/swift-oneof/results-r1/baseline-module-names.log
dev-docs/examples/swift-oneof/results-r1/baseline-module-names.py
dev-docs/examples/swift-oneof/results-r1/compare-go-r1.py
dev-docs/examples/swift-oneof/results-r1/dangling-after-results.json
dev-docs/examples/swift-oneof/results-r1/dangling-before-results.json
dev-docs/examples/swift-oneof/results-r1/dangling-fixed.log
dev-docs/examples/swift-oneof/results-r1/dangling-probe.py
dev-docs/examples/swift-oneof/results-r1/evidence-inventory.json
dev-docs/examples/swift-oneof/results-r1/file-evidence.py
dev-docs/examples/swift-oneof/results-r1/final-example.log
dev-docs/examples/swift-oneof/results-r1/final-go-shared-final.json
dev-docs/examples/swift-oneof/results-r1/final-go-shared-final.log
dev-docs/examples/swift-oneof/results-r1/final-go-shared-final.xml
dev-docs/examples/swift-oneof/results-r1/final-go-shared.json
dev-docs/examples/swift-oneof/results-r1/final-go-shared.log
dev-docs/examples/swift-oneof/results-r1/final-go-shared.xml
dev-docs/examples/swift-oneof/results-r1/final-swift-affected-final.json
dev-docs/examples/swift-oneof/results-r1/final-swift-affected-final.log
dev-docs/examples/swift-oneof/results-r1/final-swift-affected-final.xml
dev-docs/examples/swift-oneof/results-r1/final-swift.json
dev-docs/examples/swift-oneof/results-r1/final-swift.log
dev-docs/examples/swift-oneof/results-r1/final-swift.xml
dev-docs/examples/swift-oneof/results-r1/final-wheel-prelock-final.json
dev-docs/examples/swift-oneof/results-r1/final-wheel-prelock-final.log
dev-docs/examples/swift-oneof/results-r1/final-wheel-prelock-final.xml
dev-docs/examples/swift-oneof/results-r1/final-wheel-prelock.json
dev-docs/examples/swift-oneof/results-r1/final-wheel-prelock.log
dev-docs/examples/swift-oneof/results-r1/final-wheel-prelock.xml
dev-docs/examples/swift-oneof/results-r1/go-equivalence-r1-final.json
dev-docs/examples/swift-oneof/results-r1/go-equivalence-r1-final.log
dev-docs/examples/swift-oneof/results-r1/go-equivalence-r1.json
dev-docs/examples/swift-oneof/results-r1/go-equivalence-r1.log
dev-docs/examples/swift-oneof/results-r1/module-shadow-results.json
dev-docs/examples/swift-oneof/results-r1/module-shadow.py
dev-docs/examples/swift-oneof/results-r1/names-attempt1.log
dev-docs/examples/swift-oneof/results-r1/names-attempt1.xml
dev-docs/examples/swift-oneof/results-r1/native-example-before-alias.json
dev-docs/examples/swift-oneof/results-r1/native-example-final.json
dev-docs/examples/swift-oneof/results-r1/protect.py
dev-docs/examples/swift-oneof/results-r1/protected-after-focused.json
dev-docs/examples/swift-oneof/results-r1/run.py
dev-docs/examples/swift-oneof/results-r1/source-after-alias-final-focused.json
dev-docs/examples/swift-oneof/results-r1/source-after-first-focused.json
dev-docs/examples/swift-oneof/results-r1/source-before-alias-final-focused.json
dev-docs/examples/swift-oneof/results-r1/source-before-final-focused.json
dev-docs/examples/swift-oneof/results-r1/state-additional.log
dev-docs/examples/swift-oneof/results-r1/state-additional.xml
dev-docs/examples/swift-oneof/results-r1/state-attempt1.log
dev-docs/examples/swift-oneof/results-r1/state-attempt1.xml
dev-docs/examples/swift-oneof/results-r1/status-before-final-focused.json
dev-docs/examples/swift-oneof/review-r0/code-ecma-help.xml
dev-docs/examples/swift-oneof/review-r0/code-help-tests.xml
dev-docs/examples/swift-oneof/review-r0/code-names-matrix-results.json
dev-docs/examples/swift-oneof/review-r0/code-names-more-results.json
dev-docs/examples/swift-oneof/review-r0/code-names-results.json
dev-docs/examples/swift-oneof/review-r0/code-native-tests.xml
dev-docs/examples/swift-oneof/review-r0/code-prompt.md
dev-docs/examples/swift-oneof/review-r0/code-setup.json
dev-docs/examples/swift-oneof/review-r0/code-shared-tests.xml
dev-docs/examples/swift-oneof/review-r0/dispatch.json
dev-docs/examples/swift-oneof/review-r0/prompt-generation.json
dev-docs/examples/swift-oneof/review-r0/state-go-receipt-first-results.json
dev-docs/examples/swift-oneof/review-r0/state-go-receipt-first.py
dev-docs/examples/swift-oneof/review-r0/state-native-tests.xml
dev-docs/examples/swift-oneof/review-r0/state-prompt.md
dev-docs/examples/swift-oneof/review-r0/state-receipt-first-results.json
dev-docs/examples/swift-oneof/review-r0/state-receipt-first.py
dev-docs/examples/swift-oneof/review-r0/state-setup.json
dev-docs/examples/swift-oneof/review-r0/state-shared-tests.xml
dev-docs/examples/swift-oneof/review-r0/state-wheel-tests.xml
dev-docs/examples/swift-oneof/review-r1/code-Activate-Review.ps1
dev-docs/examples/swift-oneof/review-r1/code-delivery-checks.xml
dev-docs/examples/swift-oneof/review-r1/code-flat-recovery-results.json
dev-docs/examples/swift-oneof/review-r1/code-flat-recovery.py
dev-docs/examples/swift-oneof/review-r1/code-native-replay-results.json
dev-docs/examples/swift-oneof/review-r1/code-native-replay.py
dev-docs/examples/swift-oneof/review-r1/code-native-tests.xml
dev-docs/examples/swift-oneof/review-r1/code-prompt.md
dev-docs/examples/swift-oneof/review-r1/code-setup.json
dev-docs/examples/swift-oneof/review-r1/code-shared-state.xml
dev-docs/examples/swift-oneof/review-r1/dispatch.json
dev-docs/examples/swift-oneof/review-r1/prompt-generation.json
dev-docs/examples/swift-oneof/review-r1/state-Activate-Review.ps1
dev-docs/examples/swift-oneof/review-r1/state-compare-go-r1.py
dev-docs/examples/swift-oneof/review-r1/state-dangling-independent-results.json
dev-docs/examples/swift-oneof/review-r1/state-dangling-independent.py
dev-docs/examples/swift-oneof/review-r1/state-go-equivalence-r1-independent.json
dev-docs/examples/swift-oneof/review-r1/state-native-tests.xml
dev-docs/examples/swift-oneof/review-r1/state-prelock-tests.xml
dev-docs/examples/swift-oneof/review-r1/state-prompt.md
dev-docs/examples/swift-oneof/review-r1/state-receipt-first-results.json
dev-docs/examples/swift-oneof/review-r1/state-receipt-first.py
dev-docs/examples/swift-oneof/review-r1/state-setup.json
dev-docs/examples/swift-oneof/review-r1/state-state-tests.xml
dev-docs/examples/typescript-oneof/README.md
dev-docs/examples/typescript-oneof/RESULTS-R1.md
dev-docs/examples/typescript-oneof/RESULTS.md
dev-docs/examples/typescript-oneof/TypeScript-OwnedFiles-R1.json
dev-docs/examples/typescript-oneof/TypeScript-OwnedFiles.json
dev-docs/examples/typescript-oneof/content.taut.py
dev-docs/examples/typescript-oneof/main.ts
dev-docs/examples/typescript-oneof/run-example.py
dev-docs/examples/typescript-oneof/results/example-results.json
dev-docs/examples/typescript-oneof/results/example.log
dev-docs/examples/typescript-oneof/results/library-build.log
dev-docs/examples/typescript-oneof/results/library-tests.log
dev-docs/examples/typescript-oneof/results/library-typecheck.log
dev-docs/examples/typescript-oneof/results/target-tests-before-data-projection.log
dev-docs/examples/typescript-oneof/results/target-tests-before-data-projection.xml
dev-docs/examples/typescript-oneof/results/target-tests-before-residual.log
dev-docs/examples/typescript-oneof/results/target-tests-before-residual.xml
dev-docs/examples/typescript-oneof/results/target-tests-failed-first.log
dev-docs/examples/typescript-oneof/results/target-tests-failed-first.xml
dev-docs/examples/typescript-oneof/results/target-tests.log
dev-docs/examples/typescript-oneof/results/target-tests.xml
dev-docs/examples/typescript-oneof/results-r1/commands.json
dev-docs/examples/typescript-oneof/results-r1/example-results.json
dev-docs/examples/typescript-oneof/results-r1/example.log
dev-docs/examples/typescript-oneof/results-r1/library-build.log
dev-docs/examples/typescript-oneof/results-r1/library-tests.log
dev-docs/examples/typescript-oneof/results-r1/library-typecheck.log
dev-docs/examples/typescript-oneof/results-r1/protected-after.json
dev-docs/examples/typescript-oneof/results-r1/protected-before.json
dev-docs/examples/typescript-oneof/results-r1/r0-guard-source-hashes.json
dev-docs/examples/typescript-oneof/results-r1/target-tests.log
dev-docs/examples/typescript-oneof/results-r1/target-tests.xml
dev-docs/history/TautCodecParityPlan-Review25-2.md
dev-docs/history/TautCodecParityPlan-Review25.md
dev-docs/history/TautCodecParityPlan-Review55-2.md
dev-docs/history/TautCodecParityPlan-Review55.md
dev-docs/history/TautFload2-Cpp-CodeReview48.md
dev-docs/history/TautFload2-Cpp-CodeReview55.md
dev-docs/history/TautFload2-Go-CodeReview48.md
dev-docs/history/TautFload2-Go-CodeReview55.md
dev-docs/history/TautFload2-Java-CodeReview48.md
dev-docs/history/TautFload2-Java-CodeReview55.md
dev-docs/history/TautFload2-Js-CodeReview48.md
dev-docs/history/TautFload2-Js-CodeReview55.md
dev-docs/history/TautFload2-Kotlin-CodeReview48.md
dev-docs/history/TautFload2-Kotlin-CodeReview55.md
dev-docs/history/TautFload2-Rust-CodeReview48.md
dev-docs/history/TautFload2-Rust-CodeReview55.md
dev-docs/history/TautFload2-Swift-CodeReview48.md
dev-docs/history/TautFload2-Swift-CodeReview55.md
dev-docs/history/TautFload2-Ts-CodeReview48.md
dev-docs/history/TautFload2-Ts-CodeReview55.md
dev-docs/history/TautFloat2-Cpp-ResponsePlan.md
dev-docs/history/TautFloat2-Go-ResponsePlan.md
dev-docs/history/TautFloat2-Java-ResponsePlan.md
dev-docs/history/TautFloat2-Js-ResponsePlan.md
dev-docs/history/TautFloat2-Kotlin-ResponsePlan.md
dev-docs/history/TautFloat2-Rust-ResponsePlan.md
dev-docs/history/TautFloat2-Swift-ResponsePlan.md
dev-docs/history/TautFloat2-Ts-ResponsePlan.md
dev-docs/history/TautFloatP2-Base.md
dev-docs/history/TautFloatP2-Cpp.md
dev-docs/history/TautFloatP2-Go.md
dev-docs/history/TautFloatP2-Java.md
dev-docs/history/TautFloatP2-Js.md
dev-docs/history/TautFloatP2-Kotlin.md
dev-docs/history/TautFloatP2-Rust.md
dev-docs/history/TautFloatP2-Swift.md
dev-docs/history/TautFloatP2-Ts.md
dev-docs/history/TautFloatPlan.md
dev-docs/history/TautResExtP2-Cpp-Review55-2.md
dev-docs/history/TautResExtP2-Cpp-Review55-3.md
dev-docs/history/TautResExtP2-Cpp-Review55-4.md
dev-docs/history/TautResExtP2-Cpp-Review55.md
dev-docs/history/TautResExtP2-Go-Review55-2.md
dev-docs/history/TautResExtP2-Go-Review55-3.md
dev-docs/history/TautResExtP2-Go-Review55-4.md
dev-docs/history/TautResExtP2-Go-Review55.md
dev-docs/history/TautResExtP2-Java-Review55-2.md
dev-docs/history/TautResExtP2-Java-Review55-3.md
dev-docs/history/TautResExtP2-Java-Review55-4.md
dev-docs/history/TautResExtP2-Java-Review55.md
dev-docs/history/TautResExtP2-Js-Review55-2.md
dev-docs/history/TautResExtP2-Js-Review55-3.md
dev-docs/history/TautResExtP2-Js-Review55-4.md
dev-docs/history/TautResExtP2-Js-Review55.md
dev-docs/history/TautResExtP2-Kotlin-Review55-2.md
dev-docs/history/TautResExtP2-Kotlin-Review55-3.md
dev-docs/history/TautResExtP2-Kotlin-Review55-4.md
dev-docs/history/TautResExtP2-Kotlin-Review55.md
dev-docs/history/TautResExtP2-Rust-Review55-2.md
dev-docs/history/TautResExtP2-Rust-Review55-3.md
dev-docs/history/TautResExtP2-Rust-Review55-4.md
dev-docs/history/TautResExtP2-Rust-Review55.md
dev-docs/history/TautResExtP2-Swift-Review55-2.md
dev-docs/history/TautResExtP2-Swift-Review55-3.md
dev-docs/history/TautResExtP2-Swift-Review55-4.md
dev-docs/history/TautResExtP2-Swift-Review55.md
dev-docs/history/TautResExtP2-Ts-Review55-2.md
dev-docs/history/TautResExtP2-Ts-Review55-3.md
dev-docs/history/TautResExtP2-Ts-Review55-4.md
dev-docs/history/TautResExtP2-Ts-Review55-5.md
dev-docs/history/TautResExtP2-Ts-Review55.md
dev-docs/history/parked/TautCrdt.md
dev-docs/history/parked/TautDistribution.md
dev-docs/history/parked/TautModules.md
dev-docs/history/parked/TautOrchestration.md
dev-docs/history/parked/TautProtoApiSurfaceExtensions.md
dev-docs/history/parked/TautResExtP2-Base.md
dev-docs/history/parked/TautResExtP2-Cpp.md
dev-docs/history/parked/TautResExtP2-Go.md
dev-docs/history/parked/TautResExtP2-Java.md
dev-docs/history/parked/TautResExtP2-Js.md
dev-docs/history/parked/TautResExtP2-Kotlin.md
dev-docs/history/parked/TautResExtP2-Rust.md
dev-docs/history/parked/TautResExtP2-Swift.md
dev-docs/history/parked/TautResExtP2-Ts.md
dev-docs/history/parked/TautResExtPlan.md
dev-docs/history/reference/CodeShape.md
dev-docs/history/reference/GripLabSurfaceCatalog.md
dev-docs/history/reference/Phase0Discovery.md
dev-docs/history/reference/TautCodecParityPlan.md
dev-docs/history/reference/TautPlan.md
dev-docs/history/reference/TautV010Plan.md
docs/CPP_API.md
docs/CodecContract.md
docs/GO_API.md
docs/GettingStarted.md
docs/JAVA_API.md
docs/JS_API.md
docs/KOTLIN_API.md
docs/Overview.md
docs/PYTHON_API.md
docs/README.md
docs/RUST_API.md
docs/Reference.md
docs/SWIFT_API.md
docs/Server.md
docs/TYPESCRIPT_API.md
docs/examples/tasks/README.md
docs/examples/tasks/generate.py
docs/examples/tasks/run.py
docs/examples/tasks/tasks.ir.json
docs/examples/tasks/tasks.taut.py
docs/examples/tasks/generated/.gitignore
docs/examples/tasks/generated/README.md
docs/examples/tasks/generated/cpp/api.hpp
docs/examples/tasks/generated/cpp/client.hpp
docs/examples/tasks/generated/cpp/example.cpp
docs/examples/tasks/generated/cpp/server.hpp
docs/examples/tasks/generated/cpp/taut/cbor.hpp
docs/examples/tasks/generated/cpp/taut/ext.hpp
docs/examples/tasks/generated/go/api.go
docs/examples/tasks/generated/go/cbor.go
docs/examples/tasks/generated/go/client.go
docs/examples/tasks/generated/go/example_test.go
docs/examples/tasks/generated/go/ext.go
docs/examples/tasks/generated/go/go.mod
docs/examples/tasks/generated/go/server.go
docs/examples/tasks/generated/java/Cbor.java
docs/examples/tasks/generated/java/Example.java
docs/examples/tasks/generated/java/Ext.java
docs/examples/tasks/generated/java/api.java
docs/examples/tasks/generated/java/client.java
docs/examples/tasks/generated/java/server.java
docs/examples/tasks/generated/js/api.js
docs/examples/tasks/generated/js/cbor.js
docs/examples/tasks/generated/js/client.js
docs/examples/tasks/generated/js/example.js
docs/examples/tasks/generated/js/ext.js
docs/examples/tasks/generated/js/server.js
docs/examples/tasks/generated/kotlin/api.kt
docs/examples/tasks/generated/kotlin/cbor.kt
docs/examples/tasks/generated/kotlin/client.kt
docs/examples/tasks/generated/kotlin/example.kt
docs/examples/tasks/generated/kotlin/ext.kt
docs/examples/tasks/generated/kotlin/server.kt
docs/examples/tasks/generated/python/__init__.py
docs/examples/tasks/generated/python/api.py
docs/examples/tasks/generated/python/client.py
docs/examples/tasks/generated/python/server.py
docs/examples/tasks/generated/rust/api.rs
docs/examples/tasks/generated/rust/cbor.rs
docs/examples/tasks/generated/rust/client.rs
docs/examples/tasks/generated/rust/example.rs
docs/examples/tasks/generated/rust/ext.rs
docs/examples/tasks/generated/rust/server.rs
docs/examples/tasks/generated/swift/api.swift
docs/examples/tasks/generated/swift/cbor.swift
docs/examples/tasks/generated/swift/client.swift
docs/examples/tasks/generated/swift/example.swift
docs/examples/tasks/generated/swift/ext.swift
docs/examples/tasks/generated/swift/server.swift
docs/examples/tasks/generated/typescript/api.ts
docs/examples/tasks/generated/typescript/cbor.ts
docs/examples/tasks/generated/typescript/client.ts
docs/examples/tasks/generated/typescript/codec.ts
docs/examples/tasks/generated/typescript/example.ts
docs/examples/tasks/generated/typescript/ext.ts
docs/examples/tasks/generated/typescript/schema.ts
docs/examples/tasks/generated/typescript/server.ts
docs/examples/tasks/generated/typescript/taut_client.ts
ir/README.md
ir/glade.taut.py
ir/griplab.taut.py
ir/parity_int.taut.py
ir/razel.taut.py
ir/resext.taut.py
probes/application_properties/example.taut.py
probes/application_properties/graph_contract.taut.py
probes/application_properties/graph_contract_probe.py
probes/application_properties/oneof_fields.reports.py
probes/application_properties/oneof_fields.reports.rs
probes/application_properties/oneof_fields.taut.py
probes/application_properties/oneof_fields.validation.rs
probes/application_properties/oneof_fields_probe.py
probes/application_properties/oneof_report_cases.json
probes/application_properties/oneof_reports_probe.py
probes/application_properties/oneof_virtual_fields.taut.py
probes/application_properties/taut_app_probe.py
probes/application_properties/test_graph_contract.py
probes/application_properties/test_oneof_fields.py
probes/application_properties/test_oneof_reports.py
probes/application_properties/test_probe.py
probes/application_properties/validation_fixture.taut.py
rust/sync_foundation.py
rust/taut-foundation/Cargo.toml
rust/taut-foundation/LICENSE
rust/taut-foundation/README.md
rust/taut-foundation/provenance.json
rust/taut-foundation/src/cbor.rs
rust/taut-foundation/src/descriptors.rs
rust/taut-foundation/src/ext.rs
rust/taut-foundation/src/lib.rs
rust/taut-foundation/src/validation.rs
scripts/prepare_release_workspace.py
scripts/release_checks.py
scripts/release_test_ledger.py
src/README.md
src/taut/__init__.py
src/taut/_runtime_version.py
src/taut/_version.py
src/taut/cli.py
src/taut/contracts.py
src/taut/descriptors.py
src/taut/ext.py
src/taut/facts.py
src/taut/rules.py
src/taut/validation.py
src/taut/corpus/__init__.py
src/taut/corpus/build.py
src/taut/corpus/float_build.py
src/taut/corpus/glade_build.py
src/taut/corpus/kit.py
src/taut/corpus/parity.py
src/taut/corpus/parity_cpp.py
src/taut/corpus/parity_go.py
src/taut/corpus/parity_java.py
src/taut/corpus/parity_js.py
src/taut/corpus/parity_kotlin.py
src/taut/corpus/parity_rust.py
src/taut/corpus/parity_swift.py
src/taut/corpus/parity_typescript.py
src/taut/corpus/resext_build.py
src/taut/corpus/synth.py
src/taut/corpus/toolchains.py
src/taut/crdt/__init__.py
src/taut/crdt/engine.py
src/taut/crdt/glade_chain.py
src/taut/crdt/glade_fold.py
src/taut/gen/__init__.py
src/taut/gen/cpp.py
src/taut/gen/cpp_metadata.py
src/taut/gen/cpp_runtime.py
src/taut/gen/go.py
src/taut/gen/go_metadata.py
src/taut/gen/go_runtime.py
src/taut/gen/java.py
src/taut/gen/java_metadata.py
src/taut/gen/java_runtime.py
src/taut/gen/js.py
src/taut/gen/js_metadata.py
src/taut/gen/js_runtime.py
src/taut/gen/kotlin.py
src/taut/gen/kotlin_metadata.py
src/taut/gen/kotlin_package.py
src/taut/gen/kotlin_runtime.py
src/taut/gen/names.py
src/taut/gen/owned_runtime.py
src/taut/gen/python.py
src/taut/gen/python_runtime.py
src/taut/gen/rust.py
src/taut/gen/rust_external.py
src/taut/gen/rust_metadata.py
src/taut/gen/rust_runtime.py
src/taut/gen/scaffold.py
src/taut/gen/swift.py
src/taut/gen/swift_metadata.py
src/taut/gen/swift_runtime.py
src/taut/gen/typescript_metadata.py
src/taut/gen/typescript_package.py
src/taut/gen/typescript_runtime.py
src/taut/gen/runtime/Cbor.java
src/taut/gen/runtime/Ext.java
src/taut/gen/runtime/__init__.py
src/taut/gen/runtime/cbor.go
src/taut/gen/runtime/cbor.hpp
src/taut/gen/runtime/cbor.js
src/taut/gen/runtime/cbor.kt
src/taut/gen/runtime/cbor.swift
src/taut/gen/runtime/cbor_bounds_test.go
src/taut/gen/runtime/cbor_fail_closed.rs
src/taut/gen/runtime/cbor_float_test.go
src/taut/gen/runtime/descriptors.hpp
src/taut/gen/runtime/descriptors.rs
src/taut/gen/runtime/ext.go
src/taut/gen/runtime/ext.hpp
src/taut/gen/runtime/ext.js
src/taut/gen/runtime/ext.kt
src/taut/gen/runtime/ext.rs
src/taut/gen/runtime/ext.swift
src/taut/gen/runtime/foundation.cpp
src/taut/gen/runtime/foundation.hpp
src/taut/gen/runtime/js-contracts.js
src/taut/gen/runtime/js-descriptors.js
src/taut/gen/runtime/js-reports.js
src/taut/gen/runtime/js-validation.js
src/taut/gen/runtime/reports.hpp
src/taut/gen/runtime/validation.hpp
src/taut/gen/runtime/validation.rs
src/taut/gen/runtime/go/descriptors.go
src/taut/gen/runtime/go/paths.go
src/taut/gen/runtime/go/reports.go
src/taut/gen/runtime/go/validation.go
src/taut/gen/runtime/java/taut/validation/ConfigurationException.java
src/taut/gen/runtime/java/taut/validation/DeferredCheck.java
src/taut/gen/runtime/java/taut/validation/PathSegment.java
src/taut/gen/runtime/java/taut/validation/ValidationEngine.java
src/taut/gen/runtime/java/taut/validation/ValidationIssue.java
src/taut/gen/runtime/java/taut/validation/ValidationReport.java
src/taut/gen/runtime/java/taut/validation/descriptors/ConstraintDescriptor.java
src/taut/gen/runtime/java/taut/validation/descriptors/EnumDescriptor.java
src/taut/gen/runtime/java/taut/validation/descriptors/FieldBinding.java
src/taut/gen/runtime/java/taut/validation/descriptors/FieldDescriptor.java
src/taut/gen/runtime/java/taut/validation/descriptors/ImmutableBytes.java
src/taut/gen/runtime/java/taut/validation/descriptors/MessageAdapter.java
src/taut/gen/runtime/java/taut/validation/descriptors/MessageDescriptor.java
src/taut/gen/runtime/java/taut/validation/descriptors/OneOfDescriptor.java
src/taut/gen/runtime/java/taut/validation/descriptors/RuntimeContract.java
src/taut/gen/runtime/java/taut/validation/descriptors/SchemaBinding.java
src/taut/gen/runtime/java/taut/validation/descriptors/SchemaDescriptor.java
src/taut/gen/runtime/java/taut/validation/descriptors/Snapshots.java
src/taut/gen/runtime/java/taut/validation/descriptors/Traversal.java
src/taut/gen/runtime/java/taut/validation/descriptors/TypeDescriptor.java
src/taut/gen/runtime/java/taut/validation/descriptors/ValueAdapter.java
src/taut/gen/runtime/kotlin/descriptors.kt
src/taut/gen/runtime/kotlin/validation.kt
src/taut/gen/runtime/swift/descriptors.swift
src/taut/gen/runtime/swift/paths.swift
src/taut/gen/runtime/swift/reports.swift
src/taut/gen/runtime/swift/validation.swift
src/taut/gen/runtime/typescript/cbor.ts
src/taut/gen/runtime/typescript/codec.ts
src/taut/gen/runtime/typescript/descriptors.ts
src/taut/gen/runtime/typescript/ext.ts
src/taut/gen/runtime/typescript/foundation.ts
src/taut/gen/runtime/typescript/jsoncodec.ts
src/taut/gen/runtime/typescript/reports.ts
src/taut/gen/runtime/typescript/schema.ts
src/taut/gen/runtime/typescript/snapshots.ts
src/taut/gen/runtime/typescript/taut_client.ts
src/taut/gen/runtime/typescript/validation.ts
src/taut/ir/__init__.py
src/taut/ir/compat.py
src/taut/ir/dsl.py
src/taut/ir/export.py
src/taut/ir/load.py
src/taut/ir/model.py
src/taut/ir/options.py
src/taut/ir/shapes.py
src/taut/ir/validate.py
src/taut/shapes/__init__.py
src/taut/wire/__init__.py
src/taut/wire/cbor.py
src/taut/wire/codec.py
src/taut/wire/jsoncodec.py
src/taut_proto.egg-info/PKG-INFO
src/taut_proto.egg-info/SOURCES.txt
src/taut_proto.egg-info/dependency_links.txt
src/taut_proto.egg-info/entry_points.txt
src/taut_proto.egg-info/scm_file_list.json
src/taut_proto.egg-info/scm_version.json
src/taut_proto.egg-info/top_level.txt
src/tests/js_float_parity.js
src/tests/kotlin_float_parity.kt
src/tests/test_bounds.py
src/tests/test_cbor.py
src/tests/test_cli.py
src/tests/test_compat.py
src/tests/test_corpus.py
src/tests/test_corpus_kit.py
src/tests/test_cpp.py
src/tests/test_cpp_go_distribution.py
src/tests/test_cpp_oneof.py
src/tests/test_crdt.py
src/tests/test_dev_docs.py
src/tests/test_dsl.py
src/tests/test_float.py
src/tests/test_float_vectors.py
src/tests/test_forward_compat.py
src/tests/test_glade_chain.py
src/tests/test_glade_corpus.py
src/tests/test_glade_folds.py
src/tests/test_go.py
src/tests/test_go_oneof.py
src/tests/test_ir_v2.py
src/tests/test_java.py
src/tests/test_java_oneof.py
src/tests/test_js.py
src/tests/test_js_oneof.py
src/tests/test_js_ts_distribution.py
src/tests/test_js_ts_fail_closed.py
src/tests/test_jsoncodec.py
src/tests/test_jvm_compiler_distribution.py
src/tests/test_kotlin.py
src/tests/test_kotlin_oneof.py
src/tests/test_map.py
src/tests/test_map_gen.py
src/tests/test_oneof.py
src/tests/test_options.py
src/tests/test_options_validate.py
src/tests/test_parity.py
src/tests/test_python_parity.py
src/tests/test_python_runtime_distribution.py
src/tests/test_razel.py
src/tests/test_readme.py
src/tests/test_regen.py
src/tests/test_release_checks.py
src/tests/test_reserved.py
src/tests/test_reserved_names.py
src/tests/test_resext_vectors.py
src/tests/test_rust.py
src/tests/test_rust_external_types.py
src/tests/test_rust_oneof.py
src/tests/test_scaffold.py
src/tests/test_shapes.py
src/tests/test_swift.py
src/tests/test_swift_distribution.py
src/tests/test_swift_oneof.py
src/tests/test_ts.py
src/tests/test_typescript_oneof.py
src/tests/test_typescript_review_closure.py
src/tests/test_validate.py
src/tests/java/FloatParity.java