rails_proof 1.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (31) hide show
  1. checksums.yaml +7 -0
  2. data/CHANGELOG.md +54 -0
  3. data/MIT-LICENSE +20 -0
  4. data/README.md +1210 -0
  5. data/Rakefile +3 -0
  6. data/lib/generators/rails_proof/test/USAGE +8 -0
  7. data/lib/generators/rails_proof/test/test_generator.rb +542 -0
  8. data/lib/rails_proof/ai_concern_filter.rb +142 -0
  9. data/lib/rails_proof/ai_test_executor.rb +263 -0
  10. data/lib/rails_proof/ai_test_identity.rb +261 -0
  11. data/lib/rails_proof/ai_test_planner.rb +118 -0
  12. data/lib/rails_proof/ai_test_validator.rb +65 -0
  13. data/lib/rails_proof/ai_test_writer.rb +51 -0
  14. data/lib/rails_proof/controller_inspector.rb +44 -0
  15. data/lib/rails_proof/controller_test_coverage_plan.rb +79 -0
  16. data/lib/rails_proof/controller_test_plan.rb +28 -0
  17. data/lib/rails_proof/controller_test_writer.rb +66 -0
  18. data/lib/rails_proof/model_inspector.rb +50 -0
  19. data/lib/rails_proof/model_test_plan.rb +61 -0
  20. data/lib/rails_proof/open_ai_client.rb +189 -0
  21. data/lib/rails_proof/railtie.rb +4 -0
  22. data/lib/rails_proof/review_store.rb +241 -0
  23. data/lib/rails_proof/target_discovery.rb +145 -0
  24. data/lib/rails_proof/test_coverage_plan.rb +84 -0
  25. data/lib/rails_proof/test_inspector.rb +54 -0
  26. data/lib/rails_proof/test_runner.rb +136 -0
  27. data/lib/rails_proof/test_writer.rb +87 -0
  28. data/lib/rails_proof/version.rb +3 -0
  29. data/lib/rails_proof.rb +13 -0
  30. data/lib/tasks/rails_proof_tasks.rake +4 -0
  31. metadata +96 -0
checksums.yaml ADDED
@@ -0,0 +1,7 @@
1
+ ---
2
+ SHA256:
3
+ metadata.gz: 1500c170053642438fbc0cbc5fa9ef30430ce37fe788b8478c18c7c62b20f603
4
+ data.tar.gz: e28a65c12b6619ffe852da881e7420efc63da2ce5b84af05966d036234e46447
5
+ SHA512:
6
+ metadata.gz: f1395a5300acda174dafd78f1f6486871e39d43a861b52db6c462563c0f208f235ed9488801d999e60adc5e420123bfc31a0fa4a0b658421af230efd8dbef117
7
+ data.tar.gz: '081d3e8cac32707be3aadb419fd0d467c7f5a94b5bb31753072f3fbb57f391aa48ca137eb5b020df66f39368ab0e4148d690a27503d5ce4b93b93f72f3a2898f'
data/CHANGELOG.md ADDED
@@ -0,0 +1,54 @@
1
+ # Changelog
2
+
3
+ All notable changes to RailsProof will be documented in this file.
4
+
5
+ ## 1.0.0 - 2026-08-19
6
+
7
+ First public release of RailsProof.
8
+
9
+ ### Added
10
+
11
+ - Rails model discovery and inspection.
12
+ - Rails controller discovery and inspection.
13
+ - Deterministic Minitest generation for supported model behavior.
14
+ - Deterministic controller test generation for routed actions.
15
+ - Existing Minitest test discovery and coverage analysis.
16
+ - Support for Rails-style `test "..." do` tests.
17
+ - Support for method-style `def test_...` tests.
18
+ - Automatic AI-assisted test analysis during the normal RailsProof workflow.
19
+ - Provider-agnostic AI client architecture.
20
+ - OpenAI provider adapter.
21
+ - Structured AI test suggestions containing:
22
+ - suggestion kind
23
+ - test name
24
+ - reason
25
+ - candidate Minitest code
26
+ - `coverage` AI suggestions for additional application-specific coverage.
27
+ - `contract_check` suggestions for possible implementation/contract disagreements.
28
+ - Structural validation of AI-generated tests before execution.
29
+ - One-at-a-time candidate test execution.
30
+ - Automatic rollback of failing generated tests.
31
+ - `KEPT` status for valid generated tests that pass.
32
+ - `NEEDS REVIEW` status for valid generated tests that fail against the application.
33
+ - `REJECTED` status for malformed or unusable generated tests.
34
+ - `SKIPPED` status for deterministic duplicate suppression.
35
+ - Persistent review findings under `.rails_proof/review`.
36
+ - Source fingerprints for review findings.
37
+ - Source-aware review convergence.
38
+ - Deterministic deduplication of repeated AI findings.
39
+ - Recognition of semantically equivalent findings when AI wording changes.
40
+ - Setup-sensitive behavior identity to avoid suppressing distinct tests that share assertion text.
41
+ - Duplicate suppression for repeated suggestions within the same AI response.
42
+ - Detection of AI suggestions already represented by the live test suite.
43
+ - Test runner support for normal Rails applications and the RailsProof dummy application.
44
+ - RailsProof integration test suite and dummy Rails application.
45
+
46
+ ### Notes
47
+
48
+ RailsProof 1.0.0 targets Rails 8.1 and Ruby 4.0 or newer.
49
+
50
+ Minitest is the currently supported test framework.
51
+
52
+ OpenAI is the first AI provider adapter. The OpenAI Ruby SDK is optional and is only required when using that provider.
53
+
54
+ RailsProof is still under active development. Review-management commands, additional Rails component types, richer deterministic analysis, and additional AI providers are planned for future releases.
data/MIT-LICENSE ADDED
@@ -0,0 +1,20 @@
1
+ Copyright John Nelson
2
+
3
+ Permission is hereby granted, free of charge, to any person obtaining
4
+ a copy of this software and associated documentation files (the
5
+ "Software"), to deal in the Software without restriction, including
6
+ without limitation the rights to use, copy, modify, merge, publish,
7
+ distribute, sublicense, and/or sell copies of the Software, and to
8
+ permit persons to whom the Software is furnished to do so, subject to
9
+ the following conditions:
10
+
11
+ The above copyright notice and this permission notice shall be
12
+ included in all copies or substantial portions of the Software.
13
+
14
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
15
+ EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
16
+ MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
17
+ NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
18
+ LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
19
+ OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
20
+ WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.