Skip to content

[Quality][Medium] Make fixed-duration bond early-exit penalties deterministic #1270

Description

@Baskarayelu

Objective

Implement one deterministic penalty schedule with checked arithmetic and explicit boundary behavior.

Why this matters

Early exit combines elapsed time, penalty tiers, and payout rounding. Ambiguity can produce inconsistent user outcomes or value leakage.

This is a substantive production-quality improvement. It must change runtime behavior, security guarantees, correctness, reliability, or meaningful user functionality. It is not a documentation-only, formatting-only, or trivial dependency task.

Scope

Area: fixed-duration bonds

Starting points: docs/fixed-duration-bond.md, docs/early-exit.md, fixed-duration bond crate

The contributor should verify the current implementation before changing it and keep the PR limited to this issue. Do not introduce unrelated refactors or weaken existing CI/security gates.

Acceptance criteria

  • Penalty tier selection is unambiguous at every duration boundary.
  • Penalty never exceeds principal or produces a negative payout.
  • The same inputs produce the same payout regardless of call ordering.
  • Closed bonds cannot be exited again.

Required validation

  • Test each tier boundary, zero elapsed time, maturity, and maximum duration.

  • Add randomized conservation tests for payout plus penalty.

  • Test repeated and unauthorized early exits.

  • The PR explains the failure mode, the chosen design, backward-compatibility impact, and rollback or migration considerations.

  • The PR includes CI evidence and does not contain secrets, generated noise, unrelated cleanup, or disabled checks.

Contributor deliverables

  • Open a focused feature branch and do not begin implementation until assigned.
  • Reference this issue with Closes #<issue-number> or Fixes #<issue-number>.
  • Check off every acceptance criterion in the PR with links to the relevant code and tests.
  • Include a security/correctness note explaining why adversarial inputs cannot bypass the new guarantee.

Maintainer quality bar

The PR must be independently reviewable, preserve existing behavior outside this scope, exercise failure paths, and pass the repository's complete required CI/CD checks. Reward eligibility is not guaranteed by this issue or by merging.

Activity

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

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions