ADAPTERS.md
AGENT_INTEGRATION.md
AI_FREE.md
AI_INTEGRATION.md
ARCHITECTURE.md
BENCHMARKS.md
CHANGELOG.md
CITATION.cff
CODE_OF_CONDUCT.md
CONTRIBUTING.md
DOMAIN_ARCHITECTURE.md
ENGINEERING_ANALYSIS.md
EVIDENCE.md
EXIT_CODES.md
LICENSE
MANIFEST.in
PROVIDER_PROTOCOL.md
PUBLIC_FILES.txt
README.md
RELEASE_NOTES_1.0.0.md
RELEASE_NOTES_1.1.0.md
SAFETY.md
SECURITY.md
SETUP.md
VERSION.txt
WORKER_PROTOCOL.md
pyproject.toml
qyrenith.py
qyrenith_launcher.py
.github/ISSUE_TEMPLATE/bug_report.md
.github/ISSUE_TEMPLATE/feature_request.md
assets/social-preview.png
benchmarks/datagen/BENCHMARK.json
benchmarks/datagen/FIXTURE.md
benchmarks/datagen/PROJECT-MAP.json
benchmarks/dependency-heavy/BENCHMARK.json
benchmarks/dependency-heavy/FIXTURE.md
benchmarks/dependency-heavy/PROJECT-MAP.json
benchmarks/intentionally-broken/BENCHMARK.json
benchmarks/intentionally-broken/FIXTURE.md
benchmarks/intentionally-broken/PROJECT-MAP.json
benchmarks/multi-loader/BENCHMARK.json
benchmarks/multi-loader/FIXTURE.md
benchmarks/multi-loader/PROJECT-MAP.json
benchmarks/neoforge-1.21-to-1.21.1/BENCHMARK.json
benchmarks/neoforge-1.21-to-1.21.1/FIXTURE.md
benchmarks/neoforge-1.21-to-1.21.1/PROJECT-MAP.json
benchmarks/neoforge-1.21-to-1.21.1/source/build.gradle
benchmarks/neoforge-1.21-to-1.21.1/source/gradle.properties
benchmarks/neoforge-1.21-to-1.21.1/source/gradlew
benchmarks/neoforge-1.21-to-1.21.1/source/settings.gradle
benchmarks/neoforge-1.21-to-1.21.1/source/src/main/java/example/ExampleFeature.java
benchmarks/neoforge-1.21-to-1.21.1/source/src/main/resources/META-INF/neoforge.mods.toml
benchmarks/networking/BENCHMARK.json
benchmarks/networking/FIXTURE.md
benchmarks/networking/PROJECT-MAP.json
benchmarks/node-verification/BENCHMARK.json
benchmarks/node-verification/FIXTURE.md
benchmarks/node-verification/PROJECT-MAP.json
benchmarks/node-verification/index.js
benchmarks/node-verification/index.test.js
benchmarks/node-verification/package.json
benchmarks/resources/BENCHMARK.json
benchmarks/resources/FIXTURE.md
benchmarks/resources/PROJECT-MAP.json
benchmarks/rust-verification/BENCHMARK.json
benchmarks/rust-verification/Cargo.toml
benchmarks/rust-verification/FIXTURE.md
benchmarks/rust-verification/PROJECT-MAP.json
benchmarks/rust-verification/src/lib.rs
benchmarks/semantic-migration/BENCHMARK.json
benchmarks/semantic-migration/FIXTURE.md
benchmarks/semantic-migration/PROJECT-MAP.json
benchmarks/tiny-mod/BENCHMARK.json
benchmarks/tiny-mod/FIXTURE.md
benchmarks/tiny-mod/PROJECT-MAP.json
examples/example-neoforge-mod/README.md
examples/example-neoforge-mod/adapter-example.json
examples/example-neoforge-mod/build.gradle
examples/example-neoforge-mod/gradle.properties
examples/example-neoforge-mod/gradlew
examples/example-neoforge-mod/gradlew.bat
examples/example-neoforge-mod/settings.gradle
examples/example-neoforge-mod/gradle/wrapper/gradle-wrapper.jar
examples/example-neoforge-mod/gradle/wrapper/gradle-wrapper.properties
examples/example-neoforge-mod/src/main/java/com/example/examplemod/ExampleMod.java
examples/example-neoforge-mod/src/main/java/example/ExampleFeature.java
examples/example-neoforge-mod/src/main/resources/META-INF/mods.toml
examples/example-neoforge-mod/src/main/resources/META-INF/neoforge.mods.toml
qyrenith_engine/__init__.py
qyrenith_engine/analysis.py
qyrenith_engine/boundary.py
qyrenith_engine/execution.py
schemas/adapter-manifest.schema.json
schemas/evidence.schema.json
schemas/worker-handoff.schema.json
schemas/worker-result.schema.json
scripts/check-doc-links.py
scripts/check-schemas.py
scripts/release.py
scripts/release.sh
skills-source/generic-verification/SKILL.md
skills-source/minecraft-porting/SKILL.md
tests/__init__.py
tests/test_allow_missing_adapters.py
tests/test_core_regressions.py
tests/test_engine_110.py
tests/test_engine_cli_110.py
tests/test_external_check.py
tests/test_first_contact.py
tests/test_intelligence.py
tests/test_node_domain.py
tests/test_performance.py
tests/test_python_unittest_adapter.py
tests/test_qyrenith.py
tests/test_recovery_and_targets.py
tests/test_release_contents.py
tests/test_rust_domain.py
tests/test_single_walk.py
tests/test_verification_invariants.py
tests/test_version_consistency.py
workers/README.md
workers/example-worker.py
workers/neoforge-porter.py