Title: harden(reader): close depth-guard mutation-coverage gaps by dfa1 · Pull Request #173 · dfa1/vortex-java · GitHub
Open Graph Title: harden(reader): close depth-guard mutation-coverage gaps by dfa1 · Pull Request #173 · dfa1/vortex-java
X Title: harden(reader): close depth-guard mutation-coverage gaps by dfa1 · Pull Request #173 · dfa1/vortex-java
Description: Vortex columnar format, in pure Java (zero-copy, FFM, no JNI, no Unsafe) - harden(reader): close depth-guard mutation-coverage gaps by dfa1 · Pull Request #173 · dfa1/vortex-java
Open Graph Description: Follow-up to #172. Ran PIT (-pl reader -am -P pitest verify -DskipITs) on the depth/bounds guards added by the hardening work; it surfaced six survivors, each a real coverage hole. Fixes Survivo...
X Description: Follow-up to #172. Ran PIT (-pl reader -am -P pitest verify -DskipITs) on the depth/bounds guards added by the hardening work; it surfaced six survivors, each a real coverage hole. Fixes Survivo...
Opengraph URL: https://github.com/dfa1/vortex-java/pull/173
X: @github
Domain: github.com
| route-pattern | /_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format) |
| route-controller | voltron_pull_requests_fragments |
| route-action | pull_request_layout |
| fetch-nonce | v2:35c95391-a6db-a760-ff92-a9a1b016aa81 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | DCFA:C8AE2:63ED930:8D2AB82:6A4FDA2A |
| html-safe-nonce | 94305038600c6314b9b0e281c0e70aad24126def2a40de36e1599103611ba912 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEQ0ZBOkM4QUUyOjYzRUQ5MzA6OEQyQUI4Mjo2QTRGREEyQSIsInZpc2l0b3JfaWQiOiI5MDU0Njk3Mzk4NjM1MzIxODk4IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0= |
| visitor-hmac | 6d84cea697fd3458043ced218821a6aada191c04a34b449b80bbb948bb689a8a |
| hovercard-subject-tag | pull_request:3944611516 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/dfa1/vortex-java/173/pull_request_layout |
| twitter:image | https://opengraph.githubassets.com/5ddbf7b13a63aba662793a0f139fb91e5bf4f9567c823913a40b25e6b2cefcf2/dfa1/vortex-java/pull/173 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/5ddbf7b13a63aba662793a0f139fb91e5bf4f9567c823913a40b25e6b2cefcf2/dfa1/vortex-java/pull/173 |
| og:image:alt | Follow-up to #172. Ran PIT (-pl reader -am -P pitest verify -DskipITs) on the depth/bounds guards added by the hardening work; it surfaced six survivors, each a real coverage hole. Fixes Survivo... |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | dfa1 |
| hostname | github.com |
| expected-hostname | github.com |
| None | 19b98c3d9767bb8a56238a89ff8401d1cbdf3bc5c353799aacf49fe6c76b4b7c |
| turbo-cache-control | no-cache |
| go-import | github.com/dfa1/vortex-java git https://github.com/dfa1/vortex-java.git |
| octolytics-dimension-user_id | 5798698 |
| octolytics-dimension-user_login | dfa1 |
| octolytics-dimension-repository_id | 1249412947 |
| octolytics-dimension-repository_nwo | dfa1/vortex-java |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 1249412947 |
| octolytics-dimension-repository_network_root_nwo | dfa1/vortex-java |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 142593e66413bbae27fd485859993597d5a3b104 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width