Skip to content

Minimize token/time spend for the same deliverable #515

Closed as not planned
Closed as not planned

Description

@aviggiano

Sample stats for an aave v4 run with invariants-only and gpt-5.5 xhigh

Image

it would be nice to eval whether we can achieve the same outcome with fewer tokens, or faster

this might be interesting as a cost/time minimization strategy

Activity

  1. changed the title [-]Minimize token spend for the same deliverable[/-] [+]Minimize token/time spend for the same deliverable[/+] on Aug 11, 2026
  2. aviggiano commented on Oct 5, 2026

    @aviggiano
    CollaboratorAuthor

    Closing as not planned: no study has run since this was filed, so this has become a stale umbrella.

    The tools for it already exist:

    • ultrafuzz stats <run-id> shows each node's tokens, cost and time.
    • Per-node and per-group model_profiles and the audit profiles in packages/config/audit-profiles.yml let you try cheaper configurations.
    • ultrafuzz eval compare checks whether a cheaper variant still finds the same issues.

    The largest known launch-time overhead is the sealed execution snapshot. It is copied and checked in full before every run (#921 measured about 51k files / 772 MB per generation). Removing it is tracked in #921. That only saves wall-clock time; it does not reduce tokens. Stage-level evals (#80), which would make these experiments cheaper, were closed in the same pass; reopen them together if cost work becomes a priority.

    Reopen with a specific node or config change and its eval compare result against a baseline.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions