feat: add bounded char sequence LTS execution - #112
Conversation
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 21126de4b2
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
21126de to
44e3604
Compare
Codecov Report❌ Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## agent/logs-reggie-l1a #112 +/- ##
=======================================================
Coverage 84.4% 84.4%
Complexity 1 1
=======================================================
Files 147 147
Lines 42960 42991 +31
Branches 5851 5859 +8
=======================================================
+ Hits 36260 36296 +36
+ Misses 4916 4906 -10
- Partials 1784 1789 +5
... and 2 files with indirect coverage changes Continue to review full report in Codecov by Harness.
🚀 New features to boost your workflow:
|
Summary
CharSequence.charAt()Why
This is the direct-execution prerequisite for using Reggie with logs-backend's interruptible input wrapper. It ensures matching cannot bypass deadline checks through
Stringbulk operations or read outside the requested region.Validation
./gradlew :reggie-runtime:test --tests '*LinearTokenSequenceMatcherTest' --tests '*LinearTokenSequenceAccessLogTest' --tests '*LinearTokenSequenceMatcherConcurrencyTest'./gradlew jacocoVerify build