v1.0.0-rc8

Changelog

• faecd9d Widen exact ivar facts after effects
• a3c87bf Widen disjoint keyword splat failures
• 744240e Weaken typed hash facts for open shapes
• b4101ea Weaken outer bounds when written child containers mutate
• 5efe966 Weaken facts when pure reads may alias interiors
• 728bd6f Warn on unresolved host signature types
• d896ec7 Walk property RHS with its expectation
• 9c72aa9 Walk parameter defaults before summarizing the body
• 9d3f846 Walk defaults for empty return summaries
• aae76df Validate whole-hash replacements
• 479e1a7 Validate respond_to? visibility argument type
• a2a054a Validate reachable getter returns
• d09ac6e Validate optional shape fields at runtime
• 574998a Validate merge arguments before entry diagnostics
• 661bd8a Validate class-predicate arguments
• 2a991e2 Use string-key spelling for nil? member contract test
• 9c201d6 Use reflect.Pointer in the assignment walker
• d767cfa Use evaluated index selector facts
• d3c0cb1 Use compound assignment results in implicit summaries
• ff84516 Update implicit self predicate inference
• a0d098d Type-check marked Markdown examples
• ade41b2 Treat predeclared locals as class-argument shadows
• 6902d8a Treat open shapes gradually in the checker
• 26ada00 Treat method self as non-nil
• 71fb427 Treat member-assigned constants as self shadows
• 3898848 Treat invalid splatted merge elements as aborting
• 8946eaa Treat exact nil blocks as absent
• 2c486e1 Treat collapsed keywords as consumed
• 31c438b Treat class references as pure predicate arguments
• 31c9e10 Treat callable predicate arguments as impure
• 938f418 Treat callable interiors as receiver escapes
• 0c2a93e Treat adopted module constants as self shadows
• 84b1801 Traverse resolved method callees for namespace writes
• b558ef3 Track yields in invoked lambdas
• 0562e21 Track witnessed key kinds on mixed-key shape markers
• eec0329 Track value correlation by source
• 2a121e0 Track typed property failures through calls
• c836310 Track transitive namespace writes from callees
• 7ba26c0 Track shape correlation by source
• cf67b29 Track self method namespace mutations
• 546d5c4 Track self class mutation effects
• 732b52b Track self class constant writes
• e467d9d Track scalar destructure rest bindings
• 90b4e4c Track required collapsed options hashes
• 5ae93f0 Track precise self dispatch effects
• 38a9fd2 Track nonnil nullable block choices
• ab7ef1b Track nested typed block bindings
• 6580761 Track namespace writes hidden in block bodies
• 3149bd9 Track immediate lambda namespace effects
• 949555a Track dispatch default prefix effects
• 9c779cb Track containment through literal assignments
• 3b99e41 Track constructor state for getter returns
• 2a0e47a Track collapsed options in reachable calls
• cb0a7bf Track bare method namespace mutations
• ab50ba4 Track aliases retained by container literals
• 3cb10a4 Tighten literal, annotated, and default ivar contract checks
• 10a6d2d Thread auto-call state through shadowed type literals
• 8b57c33 Test typed property write checking
• cb235f3 Test typed ivar failure stops destructure replay
• 8ba8f70 Test typed hash and shape write checking
• ee23edc Test typed array write checking
• 69b9f24 Test rest window ivar destructure checking
• 10d34d3 Test parse_as root diagnostics and shadowing
• 0222de2 Test padded destructure ivar writes
• 3ff0686 Test or-assign ivar write checking
• e6980a1 Test nullable hash mutator writes
• 8b21aaf Test non-object parse_as roots
• 0ca9c3c Test logical ivar write truthiness handling
• 9910186 Test literal, annotated, and default ivar contract checks
• 7c3523a Test ivar parameter contract checking
• fa33490 Test ivar expectation, ordering, and ownership checks
• 88c53e3 Test effect-driven fact preservation both directions
• af27c15 Test direct typed property write enforcement
• 2af6480 Test destructured ivar writes and and-assign facts
• 76f1fb4 Test class method ivar params skip contracts
• 6c2e014 Test checker facts for parse_as roots
• 2d82246 Test argument type literal parsing
• e0afc70 Teach the checker optional shape fields
• ba7d0c7 Surface capability bind failures from the gate
• d95010f Stop preserving uninvoked lambda namespace writes
• 00fed32 Stop gate binding at the first adapter failure
• fc903d0 Stop checking mutator writes after aborting splats
• 74a1d69 Stop auto-invoking assignment target identifiers
• 0ce0d3b Stop aliasing merge receivers to scalar-bounded sources
• 66e14c4 Stop after noncallable shape mutator shadows
• ec30f77 Skip unreachable repeated try rescues
• 93eedfe Skip unreachable condition outcomes
• 447978e Skip the mutation-epoch bump for scalar rebinds
• 740a357 Skip supplied parameters' default namespace writes
• b2c7189 Skip short-circuited ivar RHS walks
• 3a78042 Skip optional fields in shape merge checks
• ffde396 Skip ivar property contracts for class methods
• 31e288d Skip insert element checks for invalid indexes
• d4b6f35 Skip generic escape poison for modeled mutator arguments
• 9035d3b Skip entry diagnostics for provably unstorable hash keys
• ae9a2ad Skip empty rescue arms when summarizing returns
• aac38c6 Skip effects from uninvoked fill block arguments
• 183bcd1 Skip deferred returns behind inferred exiting ensures
• 05c98a1 Share universal member dispatch proof
• 7619a9c Shadow type literals only by the fallback's verbatim spelling
• c79f214 Shadow type literals by predicate-name fallback spellings
• 2a67730 Separate array write and overlap checks
• 8afb81e Seed initializer ivars as unset
• 8fbe73b Seal capability return validation behind an internal proof
• 292785e Scope returned-path namespace writes to the try
• 229ac77 Scope reachable checks to call-time state
• 5e3a3db Schedule array lambda effects on body entry
• 155e249 Scan repeated loop condition effects
• 44877dd Scan parameter defaults for namespace mutations
• 8baa5fa Scan method class-var writes for constant shadows
• 2ae5bec Scan lambda callback blocks for namespace writes
• 8259391 Satisfy staticcheck in the public type test
• b81b32e Route parenless callbacks through call analysis
• 2522183 Route captured self index effects
• ddd5c48 Reuse summaries for resolved .call invocations
• 12b035a Reuse evaluated parameter default facts
• 75684be Reuse checkRootBinding for the raw type-root read
• 5081480 Reuse caller alias identities for parameters
• b3e15ce Retain exact splat element provenance
• 1975585 Restore word boolean names as identifiers
• 90fc05e Restore shape hash key rejection
• 64d264f Respect universal member assignment dispatch
• 4a18bcd Respect runtime evaluation order in static checking
• cc8bd3f Respect retained block argument expectations
• b34b531 Respect module binding precedence and clone metadata
• 8ba1eda Respect implicit self binding precedence
• c3567bb Respect ensure completion in fill block results
• 220e161 Respect data-field shadowing of shape mutators
• d4b67b9 Resolve universal predicates on literal hashes
• 1058e9d Resolve qualified module atoms in is_type?
• 9f9dc43 Resolve is_type atoms in module scope
• ea9aaa2 Resolve implicit self new dispatch
• fa1ba1a Resolve default-binding signatures in the callee source
• 50e33db Require valid atoms before nullable nil matching
• c60af35 Require universal nil predicate dispatch
• 37eef44 Require full union assignability at boundaries
• dbca6b7 Require every public member registered or exempted
• 6fe8fe5 Require all exact boundary alternatives
• 583f938 Report unresolved qualified atoms statically
• 8455582 Replay retained values in ivar destructuring
• 75968a0 Remove superseded checker helpers
• fca2950 Remove superseded assignment checker
• 7cd8932 Remove obsolete assignment target scan
• c6d5539 Remove dead block fact code
• 29c0e5b Reject provably non-nil forwarded blocks
• 895a49e Reject overflowing fill spans statically
• 013197f Reject module constructor instance facts
• 04eba12 Refine typed hash default getters
• fa93893 Refine Array fill selector writes
• 2a7126a Recognize empty-body function clones in summaries
• bb87c1d Quote literal question-mark shape keys in formatting
• e212e5d Prune unreachable rescue alternatives
• ae82244 Prove symbol hashes reject object backing
• 8150a5c Propagate retained proc returns
• 7ee9e98 Propagate instance origins across boundaries
• 95212ae Propagate constructor origins through return summaries
• 925c4e1 Propagate callable expectations through expressions
• 98a26bb Project typed destructure value facts
• 09690fe Probe is_type? in contract parity
• 0e9a7d1 Preserve unset ivars across pure regions
• 5ce53ff Preserve unset facts across conditional methods
• c3d3b67 Preserve unrelated exact ivar facts
• bb73b74 Preserve typed facts for compatible chained shovels
• 2f850a8 Preserve symbol-only hash member writes
• 8490f4c Preserve shape sources across calls
• 060140a Preserve retained block and Hash default provenance
• 8fd0a01 Preserve rescued instance writes
• 99d23d5 Preserve repeated splat source choices
• 3e241d1 Preserve repeated evaluation order
• 59d70de Preserve refined loop entry facts
• c0bfa9f Preserve receiver facts across pure member calls
• e28a5a4 Preserve possible namespace writes across joins
• 17e5eb6 Preserve partial array alternatives
• a97f4f3 Preserve origins through self returns
• eadb94c Preserve optional shape bounds on array writes
• b04848a Preserve one-shot callback ivar facts
• 2276c4b Preserve nullable facts across nil predicates
• b3b53f5 Preserve nominal facts across dispatch forms
• d3860e0 Preserve nil for untraced getter receivers
• 941e5d2 Preserve nested rescue nonlocal markers
• 906b2bf Preserve nested callback ivar effect precision
• 01d5592 Preserve namespace setter evaluation state
• 9631447 Preserve namespace getter evaluation state
• 6b97d0d Preserve method resolution in completion analysis
• 212d642 Preserve literal nil ivar truthiness
• b7ecbf0 Preserve literal ivar truthiness
• e1e8768 Preserve keyword rest literals
• 0f06e48 Preserve ivar facts after rejected stores
• b551125 Preserve insert bounds across exact index choices
• aab5270 Preserve forced short-circuit effects
• 26a34ad Preserve facts for index-only insert calls
• 04fcbb8 Preserve facts across pure predicates
• 1c64d3a Preserve exact values at property boundaries
• acf573a Preserve exact stored splat facts
• b742c14 Preserve exact rest literals
• 0a7f448 Preserve exact nested rest bindings
• 8d853a4 Preserve exact ivar destructure choices
• 05f4488 Preserve exact generated call binding plans
• 1846b63 Preserve exact empty mutator splats
• 03bc7d5 Preserve exact dynamic call effects
• f0a9fc3 Preserve exact callback evaluation facts
• d554611 Preserve exact array mutator selectors
• 188c11a Preserve evaluated operator arguments
• fb0d421 Preserve evaluated destructure value facts
• e082e53 Preserve dynamic constructor receiver effects
• 1182288 Preserve destructured RHS value snapshots
• 5c95a32 Preserve definition identity for qualified atoms
• 5abb164 Preserve default effects across binding failures
• f0070bf Preserve constructor calls in keyword splats
• 422486f Preserve condition-time if class identity
• dca971f Preserve class facts through logical assignments
• 568c25d Preserve callable defaults in return summaries
• 4dca0f9 Preserve callable binding provenance
• 1af7a98 Preserve builtin results across mutating arguments
• cabcbdd Preserve bounds for non-padding inserts
• 6a23422 Preserve bare auto-call binding plans
• 01aa5c7 Preserve array literal write contradictions
• 3c4ba80 Preserve aliases through skipped logical assignments
• d1b58ee Preserve aliases through exact logical assignment
• 214da83 Prepare v1.0.0-rc8 release
• d26fc07 Populate typed contracts for core builtins
• e80b166 Poison summaries for non-local block returns
• 843981f Poison summaries after reachable yields
• b72af89 Poison summaries after dynamic calls
• c1ba93a Poison receiver facts for impure predicate arguments
• a1a33de Poison escaped container locals behind shadowed type literals
• 2d69ec9 Pin call results before applying namespace mutations
• 40f6203 Pass limit errors through result validation
• d8bb957 Parse optional shape fields
• df92769 Parse open shape rest markers
• 90416d4 Open block-iteration regions on the untyped hash drivers
• 031ae8c Normalize typed ivar params before property checks
• 40a222f Normalize typed builtin boundaries like annotations
• f08c352 Narrow nullable facts across control flow
• ea82e43 Narrow nominal unions through class predicates
• a247dae Narrow loop bodies from their conditions
• 1a092ea Narrow known unions through is_type?
• 26a090a Narrow export collection in if expressions
• 1bedea5 Name public diagnostic types in an API signature
• 0665172 Model try completion in retained blocks
• 2f4764c Model three-way member effects in the registry
• 68adca9 Model store and merge on shape receiver facts
• 0cff11e Model next results in Array fill blocks
• 5053be1 Model lambda break results in Array fill
• eed3fb7 Model hash-owned logical write getters
• 2a4f7e0 Model hash-backed shape mutator shadows
• 75ec9ac Model exact proc results in Array fill
• 3c20713 Model exact callable alternatives in Array fill
• 3d6e631 Model exact block argument binding
• cda29f8 Model exact array mutator call outcomes
• 8b714d4 Model exact array fill receiver spans
• 55ffdee Model callback effects at invocation sites
• 2fd8128 Model Array fill element writes
• bfb689b Model Array fill block results
• fbc0da2 Mirror runtime expectations and ordering in ivar checks
• 643203f Mirror assignment call binding bypass in effects
• cc7f40a Mirror Call's bind validation and cancellation in the gate
• af61cfa Merge typed property checking into method return summaries
• cf0d463 Merge typed array write checking
• 10ccd3e Merge scalar member contracts into constructor facts
• 7901dc4 Merge remote-tracking branch 'origin/mgomes/open-shape-contracts' into mgomes/open-shape-contracts
• 80802b7 Merge remote-tracking branch 'origin/master' into mgomes/type-check-markdown-examples
• 4d838e9 Merge remote-tracking branch 'origin/master' into mgomes/pr1012-integration
• 5437487 Merge remote-tracking branch 'origin/master' into mgomes/open-shape-contracts
• fdfffda Merge remote-tracking branch 'origin/master' into mgomes/infer-method-return-summaries-restack-preview
• 109a436 Merge remote-tracking branch 'origin/master' into mgomes/host-callable-signatures
• bb52825 Merge remote-tracking branch 'origin/master' into mgomes/hash-driver-regions
• eed108e Merge remote-tracking branch 'origin/master' into mgomes/function-return-summaries
• 57c494c Merge remote-tracking branch 'origin/master' into mgomes/function-return-summaries
• 10ad746 Merge remote-tracking branch 'origin/master' into mgomes/document-shipped-gradual-checker
• 2cce06e Merge remote-tracking branch 'origin/master' into mgomes/class-predicate-narrowing
• 8ddbf24 Merge remote-tracking branch 'origin/master' into mgomes/checked-call
• c96f552 Merge pending failures before ensure checks
• 5d297c5 Merge origin/master into open shape contracts
• 0c4ce47 Merge origin/master into mgomes/typed-array-writes
• 9057574 Merge origin/master and fold scalar member contracts into the registry
• d287458 Merge modeled nullable fill outcomes
• b8e23ad Merge master narrowing rework into constructor facts
• f2dd216 Merge master into typed array write checks
• 1bfe256 Merge master into class predicate narrowing
• 4b96e25 Merge master into capability return sealing
• 7ecfca3 Merge master and register is_type? in the contract registry
• 3503898 Merge master and port nominal arms to dispatch effects
• fb96ace Merge master and port narrowing to dispatch effects
• 76d78ef Merge master after typed array writes
• e45793e Merge commit 'ae822449ac882f4fa47236009b871522ae369606' into mgomes/pr1012-integration
• 0f2b036 Merge commit '76d78ef20f43269b88c580122e56ade0679a6f59' into mgomes/pr1012-integration
• 1de05a9 Merge commit '674943cb' into mgomes/infer-method-return-summaries-restack-preview
• e593384 Merge commit '66e14c445617b5801354af9d5f03cb4437065370' into mgomes/pr1012-integration
• 1b024d3 Merge commit '5d3685e3618f57c51d2650e9c8e3b93d4729499c' into mgomes/pr1012-integration
• 20f89d5 Merge commit '4d838e9adc68b2ca145501402cfbd095edb942ed' into mgomes/infer-method-return-summaries-restack-preview
• 447b63e Merge commit '2a4f7e0dfe2fa1d509e2efe220be6be6432b2d01' into mgomes/pr1012-integration
• 2af64e5 Merge commit '04eba1240477945657ce62089e51845ff1d062f3' into mgomes/pr1012-integration
• 7a3af28 Merge caller alias identity fix
• 069247b Merge branch 'mgomes/pr1012-integration' into mgomes/infer-method-return-summaries-restack-preview
• 05908c8 Match temporal equality block behavior
• f360855 Match retained proc autosplat binding
• 0782494 Match named atoms by exact spelling
• 348cac4 Match member setter expectation timing
• 94b3d1a Match class predicates by definition identity
• af4bc23 Match callable expectations to runtime evaluation
• a660e9b Mark widened constructor facts inexact
• c72f2fb Map literal rest windows in ivar destructure checks
• fe12f7b Make summaries call-shape-specific for defaults
• c19af77 Link values before weakening shape writes
• c9fdac2 Link shovel-valued container writes to their root
• db28167 Link retained literal merge values before weakening
• 0e99dc2 Link retained hash entry writes before weakening
• 288fea5 Link retained declared-array writes before weakening
• f258378 Let the rest marker disambiguate open shapes
• 5ad95a8 Let host callables publish static signatures
• 56f645c Keep speculative inference from binding requires
• 4837b1f Keep snapshot key identities when deferring the hash build
• 0e6510b Keep repeated splat diagnostic origins
• a69f909 Keep receiver facts across mixed-arm class predicates
• c5ed8a4 Keep optional callback defaults conservative
• 582e0bb Keep nullable bounds through insert padding
• 5d90400 Keep nullable block choices fill specific
• f5c69d4 Keep nil-only member result facts
• 4bda4ba Keep nil scalar member dispatch reachable
• 9d760d5 Keep mixed value facts gradual
• c79b451 Keep indexed-write diagnostics for inert lambda values
• 106f80f Keep hash expansion continuations reachable
• c8db595 Keep forwarded universal overrides gradual
• c9e857a Keep exact lambda return summaries precise
• 112654f Keep escape semantics for conflict-block shape merges
• 638936b Keep destructure projections conservative
• 1816abd Keep bare equality predicates bound
• 73d2deb Keep MutatesReceiver as a deprecated contract field
• ca80a7d Isolate returns replaced by nested ensures
• 1e06cf7 Isolate return summaries from reachable call tracking
• 6dba337 Invalidate getter facts after instance writes
• 6a7c496 Invalidate deferred destructure projections after calls
• 068468e Introduce the builtin member contract registry
• 110aad0 Infer unannotated method returns
• 9869ada Infer return summaries for unannotated functions
• da10c87 Infer nominal class facts from constructor results
• bcb699e Infer nil for skipped safe navigation
• 613f77e Infer implicit self method returns
• 9c12afd Infer bare implicit self method returns
• 4ffa87b Include Hash default effects in function summaries
• 14ad7b6 Ignore unused defaults in call effects
• 5568d48 Ignore blocks on nonfill array mutators
• eee500c Honor temporal overrides in mixed unions
• 3b2018b Honor option-hash calls when skipping defaults
• 68e617b Honor method keyword binding in mutation scans
• 80d844b Honor evaluated insert indices
• 95ae90e Harden unannotated return summaries
• 9093a47 Handle qualified predicate class arguments
• 49b1d0b Handle optional fields in shape union coverage
• 0d85649 Handle nullable fill selector facts
• 2bbdf13 Handle endless negative fill ranges
• b5cb234 Gate the accumulator-in-block shape with a benchmark
• 51d4fbd Gate region pre-poisoning on member effects
• af7bf9d Gate receiver-owned universal-named members
• 7539986 Follow nominal receiver mutation effects
• 6ba6dfa Fold exact fill selector alternatives
• 789060d Fix yielded blocks in parameter defaults
• 4b07685 Fix rescue modifier nonlocal marker scope
• 715d20a Fix repeated region effect sequencing
• ef4aed4 Fix repeated control-flow effect reachability
• 572b567 Fix nested destructure replay ordering
• 07706c1 Fix member assignment getter dispatch
• 70e97c2 Fix direct lambda local control completion
• 4b0980f Expose standalone type annotation parsing
• 303c920 Expose member contracts to editor tooling
• 5207305 Expose checker diagnostics as vibes.CheckWarning
• 78a47c6 Expand exact insert splats during write checks
• f656cc2 Expand exact hash mutator splats
• 784beab Evaluate typed ivar writes under the property expectation
• dac4e0a Evaluate argument type literals
• 289bba7 Error on unknown qualified atoms before nil matching
• 430dcc6 Enforce typed property contracts on direct ivar writes
• 46d0146 Document typed property write checking
• b7a187d Document typed hash and shape write checking
• acb1fb6 Document typed array write checking
• 74a5105 Document the sealed capability return contract
• b604ce0 Document shipped gradual checker behavior
• f912b60 Document optional shape fields
• 9aa350e Document open shape contracts
• 32998f6 Document non-object parse_as roots
• f5cbfa5 Document is_type? atoms and narrowing
• cfafef6 Document host callable signatures
• 30026cc Document direct typed property write validation
• 82635f2 Document array fill write checking
• dcc09a0 Do not model hash mutators with callable value bounds
• e124e5e Distinguish signed fill selector bounds
• 609d454 Distinguish shape replacement key identities
• 1c135f2 Discard indexed receiver captures when a block can rebind
• 9b79ae4 Derive key evidence from mixed-key shape markers
• ec36c95 Defer getter checks until constructor contexts settle
• bd38819 Deduplicate effective hash merge entries
• 346522f Cover nullable fill branch narrowing
• 89dabd8 Cover exact fill block outcomes
• 9ffae1b Cover dynamic method return summaries
• d158021 Cover contextual property defaults
• a6ea5de Correlate shared conditional container values
• e610a31 Correlate projected fill selector choices
• 0223aa3 Correlate evaluated mutator splat choices
• 83887bb Correct checked typing examples
• af6abfb Copy caller-owned signature params
• 6394ff2 Consume published host contracts in the checker
• 9e329d3 Consult ivar truthiness for logical write checks
• d3d0f90 Compose fill selectors with block outcomes
• e9f24d1 Complete scalar conversion member contracts
• f9f447e Compare resolved named types in static compatibility checks
• 6ef8ea5 Collect require effects from parameter defaults
• b7bb4f0 Collect exports from reachable ternary branches
• 8413eb9 Collapse same-type named results for gofumpt
• b9083a0 Collapse repeated result parameter types
• 4cffffd Clear value aliases for block shadows
• 674943c Clarify typed property read inference
• dfa1a15 Clarify type literal expression syntax
• fa5cc21 Clarify modeled write fact preservation
• 254a137 Clarify gradual method summary cases
• 0895b49 Check typed member field writes
• 2b8e2f2 Check splatted mutator elements
• 584d7fe Check splatted literal merge entries
• 592b1d7 Check scalar destructured ivar writes
• 8a160cd Check padded destructure ivar writes as nil
• ceea6b3 Check or-assign ivar writes against property contracts
• 7d896c7 Check mutator writes on nullable typed arrays
• 67aa205 Check mixed-key merge literals entry by entry
• ccc2458 Check merge entries even with conflict blocks
• 73557bb Check ivar parameters against property contracts
• e9992e5 Check inline snippets with the whole-script pass
• dd3efc9 Check incompatible writes to typed hashes and shapes
• b98c4b0 Check incompatible writes to typed arrays
• c282fcd Check incompatible direct writes to typed properties
• 3a5268b Check exact shape locals in shape merges
• 92784d5 Check exact rest argument alternatives
• 963db20 Check destructured ivar writes and preserve skipped and-assign facts
• ebe2382 Carry property contracts into ivar parameter expectations
• 9325997 Carry declared bounds through assigned shovel results
• 215d91f Capture splat facts before later arguments
• 9fe47a8 Capture shovel receiver facts before the right operand
• 42806ca Capture shape sources during evaluation
• 39e0c43 Capture rest sources during evaluation
• c60b2d2 Capture mutator receiver facts before walking arguments
• e8819fa Capture mutator aliases during argument evaluation
• b1df916 Capture indexed-write receiver facts before the value walks
• ec0d435 Capture indexed receivers before selector side effects
• 0dcd4ab Capture implicit self call result facts
• 941d52a Capture constructor state at early returns
• 1642b24 Capture callable identity at argument evaluation
• c5acaa1 Capture array sources during evaluation
• 23fe183 Bump golang.org/x/text and x/sys to clear govulncheck advisories
• 5b180cb Build key-preserving typed hash results after the block loop
• 3da1d7e Bind the static gate under the call context
• 663aeb8 Bind default facts during summaries
• a663e75 Bail on runtime class constant writes
• a9596a0 Bail on opaque class constant effects
• 261b60d Bail narrowing when self constants may shadow
• 76e09a5 Avoid replaying mutations through typed parameters
• 7ef5c28 Apply typed globals inside required modules
• c348503 Apply outcome narrowing in expected branch inference
• b446476 Apply narrowing during module export collection
• 3a00a8b Apply current Go formatting
• 5d3685e Allow extra writes on open shapes
• 5028408 Align typed builtin boundaries with script annotations
• 7ac0ffb Align staticCallView field formatting
• 0b87c4c Adopt the first write's key representation on empty hash literals
• 4083064 Admit module-including instances into module element bounds
• 6b12793 Admit compatible shape elements into declared bounds
• 1a67a43 Add typed signatures to builtin static call specs
• 713a655 Add typed contracts for scalar conversion and predicate members
• a25f41b Add runtime parity gate for member contracts
• 25f964f Add is_type? universal predicate
• 2870d53 Add CheckedCall static gate
• 7530586 Account for compound assignment setters
• ef40ae7 Accept the object alias as a hash atom
• 552f9c6 Accept minimum int range endpoint
• 2c1b526 Accept extra fields in open shapes at runtime
• 8172bec Accept clone-family instances in signature contracts