-
Notifications
You must be signed in to change notification settings - Fork 0
Enable unchecked indexed access checks #415
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Draft
HardlyDifficult
wants to merge
158
commits into
main
Choose a base branch
from
codex/no-unchecked-index-access
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Draft
Changes from all commits
Commits
Show all changes
158 commits
Select commit
Hold shift + click to select a range
d633bc6
Harden cap table batch typing
HardlyDifficult 797f4b9
Discriminate canonical OCF entities
HardlyDifficult 68a5c5c
Validate generated DAML batch operations
HardlyDifficult 5ea3468
Route client reads through validated dispatch
HardlyDifficult 9b0bdd4
Keep stock issuance readback schema valid
HardlyDifficult a9e68d6
Merge discriminated OCF reader updates
HardlyDifficult 1c01ea1
Keep declaration smoke tests lintable
HardlyDifficult 1d6e182
Merge declaration lint fix
HardlyDifficult 51f7778
Validate OCF date boundaries
HardlyDifficult b54502c
Reject year zero in OCF dates
HardlyDifficult e543619
Merge validated batch operation stack
HardlyDifficult fec5409
Curate strict public SDK declarations
HardlyDifficult ecf2f6d
Merge validated OCF dates
HardlyDifficult e1a1d6e
Enable unchecked indexed access checks
HardlyDifficult 7224534
Model canonical OCF conditional shapes
HardlyDifficult 3dcbe68
Merge curated public SDK
HardlyDifficult 9a0cf6a
Keep schema parser test behind public boundary
HardlyDifficult 4e80b9f
Merge canonical core SDK stack
HardlyDifficult b38bc81
Prove stock plan class identifiers are non-empty
HardlyDifficult af64851
Fix canonical stock plan quickstart fixtures
HardlyDifficult 4400af9
Merge commit 'af64851' into codex/validated-daml-batch-operations
HardlyDifficult 6ec8b4b
Merge branch 'codex/validated-daml-batch-operations' into codex/valid…
HardlyDifficult 3957ed4
Merge branch 'codex/validated-ocf-dates' into codex/curated-public-sdk
HardlyDifficult cbe626a
Merge branch 'codex/curated-public-sdk' into codex/schema-shaped-core…
HardlyDifficult 43415d0
Merge branch 'codex/schema-shaped-core-types' into codex/no-unchecked…
HardlyDifficult 3b3cde6
Enforce canonical OCF ingestion
HardlyDifficult 8698e3e
Cover every schema-supported PlanSecurity wrapper
HardlyDifficult 365067b
Reject non-object normalization input cleanly
HardlyDifficult bfc9f56
Limit RFC3339 fractional seconds
HardlyDifficult 9e80fac
Route authorization response through public types
HardlyDifficult de68023
Keep authorization boundary test focused
HardlyDifficult c9bcf58
Reject inherited mapping properties
HardlyDifficult e50ffff
Reject null and empty core fields
HardlyDifficult 6898be8
Merge remote-tracking branch 'origin/main' into codex/discriminated-o…
HardlyDifficult c18f192
Format restacked type contracts
HardlyDifficult fb41fb5
Merge remote-tracking branch 'origin/codex/discriminated-ocf-inputs' …
HardlyDifficult dd8c212
Merge remote-tracking branch 'origin/codex/validated-daml-batch-opera…
HardlyDifficult 229568b
Reject null vesting and empty subdivisions
HardlyDifficult c189320
Merge remote-tracking branch 'origin/codex/schema-shaped-core-types' …
HardlyDifficult cbb254d
Merge remote-tracking branch 'origin/codex/validated-ocf-dates' into …
HardlyDifficult 435e805
Auto-fix: build changes
github-actions[bot] 00c74e3
Merge remote-tracking branch 'origin/codex/curated-public-sdk' into c…
HardlyDifficult 8fc86a7
Merge remote-tracking branch 'origin/codex/schema-shaped-core-types' …
HardlyDifficult 2919049
docs: clarify entity guard export
HardlyDifficult cf8877e
fix: harden curated package exports
HardlyDifficult 595e47f
Merge remote-tracking branch 'origin/codex/curated-public-sdk' into c…
HardlyDifficult ff8ce50
Merge remote-tracking branch 'origin/codex/schema-shaped-core-types' …
HardlyDifficult d7ef4f1
Align date conversion types with validation
HardlyDifficult bbf7d95
Merge remote-tracking branch 'origin/codex/validated-ocf-dates' into …
HardlyDifficult b2504fd
Merge remote-tracking branch 'origin/codex/curated-public-sdk' into c…
HardlyDifficult a21d3fa
Validate issuance approval dates on read
HardlyDifficult e422b02
Reject blank issuer subdivisions
HardlyDifficult cf98eb6
Validate optional trigger dates on read
HardlyDifficult 846945f
Merge remote-tracking branch 'origin/codex/validated-ocf-dates' into …
HardlyDifficult 00a01cb
Classify optional subdivision validation
HardlyDifficult ea9dac1
Validate present optional dates
HardlyDifficult 6c55274
Merge remote-tracking branch 'origin/codex/validated-ocf-dates' into …
HardlyDifficult de8b391
Report convertible issuance date context
HardlyDifficult baab60d
Enforce contextual OCF date boundaries
HardlyDifficult 10f05f0
Merge remote-tracking branch 'origin/codex/validated-ocf-dates' into …
HardlyDifficult 2b3043d
Merge remote-tracking branch 'origin/codex/curated-public-sdk' into c…
HardlyDifficult e5c1616
Merge remote-tracking branch 'origin/codex/schema-shaped-core-types' …
HardlyDifficult 89c6e33
Preserve unchecked index guarantees after restack
HardlyDifficult a0a5398
Enforce OCF trigger discriminators
HardlyDifficult 6233888
Merge remote-tracking branch 'origin/codex/validated-ocf-dates' into …
HardlyDifficult 1a1b8b4
Merge remote-tracking branch 'origin/codex/curated-public-sdk' into c…
HardlyDifficult c448168
Merge remote-tracking branch 'origin/codex/schema-shaped-core-types' …
HardlyDifficult e9dc120
fix: address typed OCF review findings
HardlyDifficult 0cc6a29
fix: keep operation converter internal
HardlyDifficult 960216f
Merge commit '0cc6a29940f810eeea8b25789cf80d4fab14cb9d' into codex/va…
HardlyDifficult cfb1e7a
Merge validated batch fixes into date boundaries
HardlyDifficult 96ce3cf
Merge validated date boundaries into curated public API
HardlyDifficult d3e230f
Merge curated SDK updates into core schema types
HardlyDifficult 82dae80
Merge core schema updates into indexed access checks
HardlyDifficult b85ff8f
fix: accept null inactive document locations
HardlyDifficult 87bcf59
Merge nullable document location fix into indexed access checks
HardlyDifficult 1d4c624
fix: accept numeric vesting quantities
HardlyDifficult 6252d73
Merge vesting quantity fixes into indexed access checks
HardlyDifficult fd11df5
fix: harden typed document and numeric boundaries
HardlyDifficult 2847d80
fix: enforce exact vesting numeric bounds
HardlyDifficult 3cddede
fix: align document guards and numeric grammar
HardlyDifficult 8ca8b76
fix: seal core schema read boundaries
HardlyDifficult af147d2
Merge commit '8ca8b76116cf65f26a3cda8db22e686fb2caa2be' into codex/no…
HardlyDifficult be84650
fix: validate ledger read payloads
HardlyDifficult 5a6cf6c
Merge commit 'be846500fe3ebb04426d5431861e8957676cf7a0' into codex/va…
HardlyDifficult 016ed34
Merge commit '5a6cf6cef4efe3f1294f5a9fc7cc06976f09f906' into codex/va…
HardlyDifficult dcb7e31
Merge commit '016ed3489892747d160d8d6bf0521d4ead3a0833' into codex/cu…
HardlyDifficult 2e66780
Merge commit 'dcb7e316a051acd71bf6a78cadd24fe3893ae25f' into codex/sc…
HardlyDifficult 8c72355
Merge commit '2e667806989319c98009c6ab2e1e4c0a9fe8f623' into codex/no…
HardlyDifficult 3d11550
fix: validate vesting quantity writes
HardlyDifficult 8efecc8
Merge commit '3d115507914c07be809d434bc59222eb6e2672b7' into codex/no…
HardlyDifficult 5325d6d
Harden registry own-property checks
HardlyDifficult 16a3232
fix: index nested date validation paths
HardlyDifficult 5453fea
fix: address exact date review feedback
HardlyDifficult 2487c1c
Merge branch 'codex/validated-ocf-dates' into codex/curated-public-sdk
HardlyDifficult a41fb16
fix: freeze public entity mapping
HardlyDifficult 6dc0a30
Merge branch 'codex/curated-public-sdk' into codex/schema-shaped-core…
HardlyDifficult 194ff0e
fix: harden conditional schema boundaries
HardlyDifficult 9613739
fix: harden conditional core reads
HardlyDifficult 6fb3252
fix: close core schema audit gaps
HardlyDifficult 144b68d
fix: harden core schema conversion boundaries
HardlyDifficult fad3812
fix: harden generated DAML read boundaries
HardlyDifficult d70c951
refactor: share batch operation decoding
HardlyDifficult 917cf42
fix: seal core schema runtime boundaries
HardlyDifficult 179c41f
fix: bound primitive diagnostics
HardlyDifficult 389ede7
test: omit undefined integration fixture fields
HardlyDifficult 4dffc37
fix: accept omitted DAML optional relationships
HardlyDifficult 13fabbb
fix: validate ratio adjustment wrappers
HardlyDifficult 6e8b7f6
fix: enforce exact trigger and date boundaries
HardlyDifficult aa523cc
Merge latest validated batch operations into date boundaries
HardlyDifficult 7e2a757
fix: make stock class conversion rights schema exact
HardlyDifficult 6f396ca
fix: reject lossy stock class conversion reads
HardlyDifficult 9c9b388
Merge PR #411 into curated public API
HardlyDifficult dd50ee6
Merge prepared PR #412 into schema-shaped core types
HardlyDifficult 4f426d8
Merge prepared PR #414 into no-unchecked-index-access
HardlyDifficult 02bb2a1
fix: address exact-head review feedback
HardlyDifficult f094c35
fix: preserve vesting amount diagnostic indexes
HardlyDifficult 7507f8a
Merge latest validated date hardening into curated public API
HardlyDifficult 44b9013
Merge latest prepared PR #412 into schema-shaped core types
HardlyDifficult db1e5b0
Merge latest prepared PR #414 into no-unchecked-index-access
HardlyDifficult 82649ce
fix: decode ratio adjustment contract wrappers
HardlyDifficult 6bafccb
Merge final schema-shaped core type fix into no-unchecked-index-access
HardlyDifficult d9c6080
fix: isolate malformed manifest transactions
HardlyDifficult 351c666
refactor: centralize generated operation building
HardlyDifficult 8780203
Merge branch 'codex/validated-ocf-dates' into codex/curated-public-sdk
HardlyDifficult c267e67
refactor: correlate generated operation builders
HardlyDifficult 11ceb81
Merge branch 'codex/curated-public-sdk' into codex/schema-shaped-core…
HardlyDifficult ff234d4
Merge branch 'codex/curated-public-sdk' into codex/schema-shaped-core…
HardlyDifficult 7c52a56
Merge commit 'ff234d4f069cd7f748c482b77b65fbe15140ab32' into codex/no…
HardlyDifficult 306ca74
fix: validate vesting element shapes
HardlyDifficult 2e2c65e
Merge commit '306ca74277fab09107e969e4faa435e067cb7128' into codex/cu…
HardlyDifficult d27a0c6
Merge commit '2e2c65eb3cc388d52927f4df1e71199593dec777' into codex/sc…
HardlyDifficult 11afbf9
Merge commit 'd27a0c6ae8a6747e406a1cec0fb831869a4f5ffb' into codex/no…
HardlyDifficult de8198c
fix: validate warrant vesting shapes
HardlyDifficult ac336cc
Merge commit 'de8198cbc21d2ad6d1d5d61f1ba2061f57d4c09c' into codex/cu…
HardlyDifficult 3c54895
Merge commit 'ac336cc03258cb9827251bde612d52b3351847b2' into codex/sc…
HardlyDifficult 40250e5
Merge commit '3c54895425bbe9ad954281cb21a167b0d00f3f32' into codex/no…
HardlyDifficult a37e1f5
fix: harden nested DAML collections
HardlyDifficult 601af5e
Merge commit 'a37e1f58f47ed0349d45a03d61ddebc52a4cc74c' into codex/cu…
HardlyDifficult 430d77d
Merge commit '601af5e63c197369827205679548dc4a1d45cbac' into codex/sc…
HardlyDifficult aadc887
Merge commit '430d77d8914c6a83bbfa590b1ef3a3f3aa22bf6a' into codex/no…
HardlyDifficult 9d459b2
fix: validate nested write records
HardlyDifficult f625fbb
Merge commit '9d459b27f3894265e49bb90f9ddc945d8e18bcc3' into codex/cu…
HardlyDifficult 88d3031
Merge commit 'f625fbba64d1c02641d338024082ce718886c016' into codex/sc…
HardlyDifficult 826cd87
Merge commit '88d30314815b5b416ac6c58a193368ac44cb160c' into codex/no…
HardlyDifficult 746ae52
fix: validate vesting graphs and relationships
HardlyDifficult 2601cc1
Merge commit '746ae52fd8d14575efe139d6ec5429785d77f124' into codex/no…
HardlyDifficult 3a9a2f8
fix: address schema review feedback
HardlyDifficult 29aa8dc
fix: tighten schema review edge cases
HardlyDifficult 1844974
fix: enforce exact schema boundaries
HardlyDifficult 4904142
fix: harden exact schema boundaries
HardlyDifficult 0776a33
Harden generated vesting and status readers
HardlyDifficult a4e5d95
Merge commit '0776a3344cb666e9135f71d32b8c11374ccefd92' into codex/no…
HardlyDifficult 58a812b
chore: enable unchecked indexed access
HardlyDifficult 990ffa0
style: format indexed access tests
HardlyDifficult 06a8c00
chore: realign unchecked indexed access with main
HardlyDifficult 4e1d322
fix: reject inherited mapping properties
HardlyDifficult 3f10aa3
fix: reject inherited transaction paths
HardlyDifficult File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.