Skip to content

Milestones

List view

  • Propagation & Typed Data Flow

    Recover bounded interprocedural propagation, executor/callback semantics, and scalable reverse typed impact without sacrificing LOW/primary confidence boundaries.

    No due date
    •2/4 issues closed
    50% complete2 open2 closed

  • Benchmark Expansion: 50 OSS Projects

    Expand beyond the current three repositories by selecting 50 diverse open-source projects and collecting frozen, independently reviewed PR corpora.

    No due date
    •0/1 issues closed
    0% complete1 open0 closed

  • Runtime Oracle & Secure Validation

    Build an isolated runtime-introspection comparator, lifecycle experiments, and hardened sandbox so secure static analysis can be measured against controlled execution without importing untrusted code on the host.

    No due date
    •1/3 issues closed
    33% complete2 open1 closed

  • State, Effects & Resource Coupling

    Add declarative state/effect contracts, built-in persistence and I/O presets, finite resource identity, and conservative cross-request writer/reader coupling.

    No due date
    •2/4 issues closed
    50% complete2 open2 closed

  • Extensible Surfaces & Entrypoint Adapters

    Make impact analysis framework-agnostic through declarative custom surfaces and built-in adapters for event consumers, MCP tools, schedulers, CLIs, and other non-HTTP entrypoints.

    No due date
    •4/6 issues closed
    66% complete2 open4 closed

  • Impact Analysis: build vs. buy

    Evaluate commercial and OSS alternatives for language-agnostic, cross-repository change impact analysis. Deliver a measured BUY/ADOPT/HYBRID/BUILD/STOP recommendation.

    No due date
    •8/9 issues closed
    88% complete1 open8 closed