.gitignore
LICENSE
README.md
pyproject.toml
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/int.vectors.json
corpus/parity/malformed.vectors.json
dev-docs/CodeShape.md
dev-docs/GripLabSurfaceCatalog.md
dev-docs/Phase0Discovery.md
dev-docs/RustFailClosed.md
dev-docs/TautCodecParityPlan-Review25-2.md
dev-docs/TautCodecParityPlan-Review25.md
dev-docs/TautCodecParityPlan-Review55-2.md
dev-docs/TautCodecParityPlan-Review55.md
dev-docs/TautCodecParityPlan.md
dev-docs/TautCrdt.md
dev-docs/TautDecisions.md
dev-docs/TautDistribution.md
dev-docs/TautModules.md
dev-docs/TautOrchestration.md
dev-docs/TautPlan.md
dev-docs/TautProtoApiSurfaceExtensions.md
dev-docs/TautResExtP2-Base.md
dev-docs/TautResExtP2-Cpp-Review55-2.md
dev-docs/TautResExtP2-Cpp-Review55-3.md
dev-docs/TautResExtP2-Cpp-Review55-4.md
dev-docs/TautResExtP2-Cpp-Review55.md
dev-docs/TautResExtP2-Cpp.md
dev-docs/TautResExtP2-Go-Review55-2.md
dev-docs/TautResExtP2-Go-Review55-3.md
dev-docs/TautResExtP2-Go-Review55-4.md
dev-docs/TautResExtP2-Go-Review55.md
dev-docs/TautResExtP2-Go.md
dev-docs/TautResExtP2-Java-Review55-2.md
dev-docs/TautResExtP2-Java-Review55-3.md
dev-docs/TautResExtP2-Java-Review55-4.md
dev-docs/TautResExtP2-Java-Review55.md
dev-docs/TautResExtP2-Java.md
dev-docs/TautResExtP2-Js-Review55-2.md
dev-docs/TautResExtP2-Js-Review55-3.md
dev-docs/TautResExtP2-Js-Review55-4.md
dev-docs/TautResExtP2-Js-Review55.md
dev-docs/TautResExtP2-Js.md
dev-docs/TautResExtP2-Kotlin-Review55-2.md
dev-docs/TautResExtP2-Kotlin-Review55-3.md
dev-docs/TautResExtP2-Kotlin-Review55-4.md
dev-docs/TautResExtP2-Kotlin-Review55.md
dev-docs/TautResExtP2-Kotlin.md
dev-docs/TautResExtP2-Rust-Review55-2.md
dev-docs/TautResExtP2-Rust-Review55-3.md
dev-docs/TautResExtP2-Rust-Review55-4.md
dev-docs/TautResExtP2-Rust-Review55.md
dev-docs/TautResExtP2-Rust.md
dev-docs/TautResExtP2-Swift-Review55-2.md
dev-docs/TautResExtP2-Swift-Review55-3.md
dev-docs/TautResExtP2-Swift-Review55-4.md
dev-docs/TautResExtP2-Swift-Review55.md
dev-docs/TautResExtP2-Swift.md
dev-docs/TautResExtP2-Ts-Review55-2.md
dev-docs/TautResExtP2-Ts-Review55-3.md
dev-docs/TautResExtP2-Ts-Review55-4.md
dev-docs/TautResExtP2-Ts-Review55-5.md
dev-docs/TautResExtP2-Ts-Review55.md
dev-docs/TautResExtP2-Ts.md
dev-docs/TautResExtPlan.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
docs/CPP_API.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/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/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/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/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/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/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/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/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
scripts/release.py
src/README.md
src/taut/__init__.py
src/taut/_version.py
src/taut/cli.py
src/taut/ext.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/resext_build.py
src/taut/corpus/synth.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/go.py
src/taut/gen/java.py
src/taut/gen/js.py
src/taut/gen/kotlin.py
src/taut/gen/rust.py
src/taut/gen/scaffold.py
src/taut/gen/swift.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.rs
src/taut/gen/runtime/cbor.swift
src/taut/gen/runtime/cbor_fail_closed.rs
src/taut/gen/runtime/cbor_float_test.go
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/typescript/cbor.ts
src/taut/gen/runtime/typescript/codec.ts
src/taut/gen/runtime/typescript/ext.ts
src/taut/gen/runtime/typescript/schema.ts
src/taut/gen/runtime/typescript/taut_client.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/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_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_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_java.py
src/tests/test_js.py
src/tests/test_jsoncodec.py
src/tests/test_kotlin.py
src/tests/test_map.py
src/tests/test_map_gen.py
src/tests/test_parity.py
src/tests/test_python_parity.py
src/tests/test_razel.py
src/tests/test_readme.py
src/tests/test_regen.py
src/tests/test_reserved.py
src/tests/test_resext_vectors.py
src/tests/test_rust.py
src/tests/test_scaffold.py
src/tests/test_swift.py
src/tests/test_ts.py
src/tests/test_validate.py
src/tests/java/FloatParity.java