Skip to content

Methods, Verification, and Validation

Defensible sequence

  1. Confirm the current inventory and executable next action in Current Project Evidence; do not infer them from this procedure.
  2. VERIFIED REVIEW RECORD: Complete the approved broad D3/D5 primary-source review. Four rounds reached the two-successive-no-new-results stopping rule; the review records candidate families, constraints, applicability, disagreements, and evidence gaps.
  3. APPROVED DECISION: Use the owner-approved bounded candidate set and comparison procedure in RESEARCH_SCOPE.md.
  4. Execute only predefined Paper 1 preliminary calculations, beginning with the approved short-history centre Case at 7.5 MeV, and retain failed, negative, excluded, and inconclusive records.
  5. Approve one fixed D3 construction and complete the D5 amendment.
  6. Complete the D6 comparison of conditional JENDL-5, ENDF/B-VIII.1, and PHITS built-in modelling before D4 calculations.
  7. UNRESOLVED: Approve D7 grid, uncertainty, reportability, repeated-run, convergence, completion, and reporting criteria using preliminary room calculations.
  8. UNRESOLVED: Approve D8 verification geometries, references, uncertainties, and comparison criteria before acceptance comparisons.
  9. UNRESOLVED: Identify applicable D9 measurements, uncertainties, and physical-validation criteria.
  10. UNRESOLVED: Predefine the qualifying Study, Assessment procedure, D10 groups and partitions, and D11 metrics before reference-Dataset generation.
  11. Generate immutable room Cases and PHITS Results; retain failures, interruptions, exclusions, and inconclusive outcomes.
  12. Admit Results only through an Assessment of a wholly qualifying Study.
  13. Train baselines and surrogate candidates using training data and select or tune using only model-selection data.
  14. Finalize the Model before opening the untouched final test; evaluate that partition once under the predefined procedure.
  15. Independently compare selected Predictions with new PHITS calculations and report global, local, subgroup, uncertainty, and underprediction behaviour.

Application workflow checks belong in ramal-ebx-application-verification. Paper 1 preliminary calculations remain in the Paper 1 Project. A qualifying Study creates fresh Study-member Jobs; earlier preliminary Results remain Case history and are not silently repurposed.

Status distinctions

  • Successful execution: the process ended with the recorded return code and artifacts.
  • Transport completion: PHITS reached its declared end without a disqualifying transport failure.
  • Convergence: predefined comparisons show numerical stability for declared regions and statistics.
  • Verification: implementation and numerical behaviour agree with specifications or accepted references.
  • Validation: the physical model agrees adequately with applicable measurements and uncertainties for its purpose.
  • Uncertainty: statistical and other declared uncertainty is quantified.
  • Acceptance: an owner-approved criterion was satisfied.
  • Assessment and Dataset inclusion: the Result satisfied every applicable criterion in a qualifying Study and was admitted through its Assessment.

No later status follows automatically from an earlier one.

Approved D3/D5 method

The approved identity is a finite planar Ta–water–SS304 candidate family with a circular Gaussian source and uniform normalized one-dimensional scan. The screening coordinates and procedure are approved; numerical thresholds, retained spot/span/margin, and final construction remain amendment-open pending preliminary evidence.

Use +Y upward, electrons toward -Y, scan along X, and Z as the remaining transverse direction. Rotate source, layers, scoring geometry, outputs, and room integration together. See ADR-0001.

The authoritative decisions and unresolved gates are maintained in Research Scope and Decisions; the detailed evidence and derivations are maintained in D3/D5 Source-Head Review. Do not duplicate their full procedure here.

The current executable next action and its inspection checklist are maintained only in Current Project Evidence.

Study inclusion criteria

PROPOSED METHOD: A Result should enter a Dataset only when:

  • Case, Job, Attempt, Result, immutable input, and required artifacts pass integrity checks;
  • the physical definition is inside the approved domain;
  • required transport completed without disqualifying diagnostics;
  • PHITS version, libraries or models, controls, seed, and variance reduction are declared;
  • quantity, unit, normalization, multiplier, particles, grid, nominal field, and uncertainty field match the Study;
  • approved D7 reportability, uncertainty, convergence, and repeated-run criteria are met;
  • required D8 verification and declared D9 validation status are recorded;
  • unscored values are not converted to zero or repaired by undocumented interpolation; and
  • an Assessment records the outcome and every exclusion reason.

Current Result availability and the live Study-criteria implementation mismatch are maintained only in Current Project Evidence. A Paper 1 Study must not qualify until the approved method can be represented and assessed through the GUI.

Dataset partitioning

PROPOSED METHOD: D10 must predefine grouping keys, paired conditions, split proportions, seed, stratification, interpolation tests, and replica handling. Training, model-selection, and untouched final-test partitions are separated by complete physical configuration. All fields, voxels, profiles, replicas, and defined paired variants from one configuration stay together. If interpolation across 5-7.5 MeV is claimed, hold out at least one justified intermediate-energy configuration.

Retain Case and Result traceability, features and units, target and uncertainty fields, reportable masks, coordinates, material representation, particle pages, partition membership, and governing inclusion criteria.

Current Dataset-builder capability is maintained only in Current Project Evidence. D10 grouping keys, paired conditions, proportions, seed, and stratification remain unresolved.

Evaluation

PROPOSED METHOD: Compare nearest-configuration, interpolation or fitted attenuation, regularized regression, and compact nonlinear baselines before a spatial neural model. Select transformations, architecture, loss, hyperparameters, and stopping rules using only training and model-selection data.

Predefine signed error, bias, absolute error, relative error only for reportable PHITS values, logarithmic field error, underprediction and overprediction frequency and magnitude, high-quantile and maximum error, spatial maps and profiles, comparison with PHITS uncertainty, interval coverage, PHITS and inference time, and end-to-end speedup. Stratify by energy, geometry, barrier role, region, field level, particle, interpolation condition, and domain boundary. D11 formulas and tolerances require approval before final-test access.

Current Model, final-test, Prediction, and Prediction Verification capability is maintained only in Current Project Evidence. Capability does not establish model suitability or scientific acceptance.

Prediction verification

PROPOSED METHOD: Independently recalculate selected Predictions, including the largest underpredictions and overpredictions, high-uncertainty Predictions, representative low, middle and high energies, domain boundaries, and conditions near any approved design criterion. Statistical independence requires a new stochastic calculation. A Prediction remains a surrogate record and cannot be promoted to a PHITS Result.

Terminology

  • Design: editable authoring record.
  • Calculation: canonical domain term for one requested execution and its frozen input, lifecycle, diagnostics, files, and outcome.
  • Case / Job / Attempt: narrower persisted record kinds in the current application; use them only when identifying exact provenance within a Calculation.
  • Result: immutable publication from one successful Calculation; not automatically accepted evidence.
  • Study / Assessment: scientific question, membership, criteria, and evaluated outcome.
  • Dataset: Results admitted through the approved Assessment and partition procedure.
  • Model: trained surrogate finalized before final-test evaluation.
  • Prediction Verification: independent PHITS comparison for a selected Prediction.
  • Reportable voxel: scored voxel meeting approved D7 criteria.
  • Unscored voxel: missing Monte Carlo information, not zero.
  • Range of applicability: evidence-supported domain, not programme horizon.