issues Search Results · language:Edge language:Python language:JavaScript language:JavaScript language:JavaScript
Filter by
41.1M results
Motivation
At the FFI boundary, refinements are asserted but never checked: def abs (i:Int) : {v:Int | v = 0} := native abs(i)
trusts the Python string to honor v = 0. A buggy or impure native body silently ...
enhancement
alcides
Motivation
The trusted computing base of any Aeon proof is the set of axioms and refined native bindings (plus any
unproven-terminating callees) it transitively rests on. For example def abs (i:Int) : ...
enhancement
Goal
Add the first outside-Core mint accounting contract after CON-012: a small durable StreamMintLedger that records static
launch counter consumption and authorization replay protection without changing ...
punk6529
Motivation
libraries/Random.ae:12 declares:
def random (_: Unit) : {r:Float | r = 0.0 r 1.0} := native random.random()
This treats a nondeterministic effect as a pure mathematical function. ...
enhancement
Tracking for Epic #122 (ADR-022 → expected_shortfall) → v1.6.0. One epic branch (epic10/expected-shortfall), one PR, a
scoped commit per story.
Implementation (in order)
- [x] #123 — I1 core expected_shortfall ...
epic10
tracking
Polichinel
I am currently upgrading my project dependencies to align with the Salesforce Summer 26 release. While doing so, I
noticed that there is no summer26 tagged version available on @salesforce/sfdx-lwc-jest. ...
alan-morey
I’m seeing a reproducible issue with fal-ai/ltx-2.3-quality/audio-to-video.
A successful request that shows the issue:
019efb90-e182-7d62-9ac5-e6e4eac0a0c8
The request succeeds, and the generated MP4 ...
PJDoes
Motivation
Reflecting a partial or non-terminating function into SMT is unsound: a non-terminating function can be made to prove an
absurd refinement, and a partial function in the logic breaks the metatheory. ...
enhancement
Someone just pushed, oh no! Here s who did it: stepsecurity-infra-bot.
github-actions[bot]
Motivation
When z3 refutes a verification condition it produces a model — a concrete assignment witnessing the failure. Today that
model is discarded and the user gets a constraint-level failure. Mapping ...
enhancement
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.