Radioactive Decay Chain Simulator qualification

Ledger verdict

Verified with errata that must be applied at binding time.

Status

VERIFIED_WITH_ERRATA

Tranche

tranche-6

Review vectors

4

Ledger rows

1

Applied errata

[
  {
    "vector": 2,
    "field": "activities.D",
    "wrong": 38.4375559722,
    "correct": 38.4329654152,
    "cause": "final multiplication slip: lambda_D*N_D = 0.693147*55.44705 = 38.43297 (her N_D is correct)"
  },
  {
    "vector": 3,
    "field": "quantities.D / activities.D",
    "wrong": "152.368927 / 0.878028",
    "correct": "609.475708 / 3.520470",
    "cause": "Bateman numerator uses the DAUGHTER's lambda instead of the parent's: N_D = N_P0*lambda_P/(lambda_D-lambda_P)*(...) — she used lambda_D, a wrong-factor-family error (factor lambda_D/lambda_P = 1/4)"
  },
  {
    "vector": 4,
    "field": "activities.P3",
    "wrong": 30.3406938386,
    "correct": 30.353111405,
    "cause": "final multiplication slip: (ln2/4)*175.161133 = 30.35311 (her three-term Bateman N_P3 is exactly right)"
  }
]

Adversarial re-test context

The full catalog was re-tested from boundary, convention, and self-check angles in 2,787 requests. Five genuine computational defects were independently verified and corrected. This page reports the current ledger state for this instrument; it does not imply product deployment or interface qualification.

Release gate

Bind every attached correction, replay the affected vectors, enforce boundary validation, and preserve evidence before describing the executable surface as qualified.

Other records

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

• VERIFIED_LEDGER.json
• STRESS_TEST_RECEIPT.json
• tranche errata record