Use this when running the verify of the Tune stage and evaluating the physics passing, quality conditions, and performance objective function of a candidate lowering-plan (`target_lowering_plan`) variant to judge whether to adopt it. It applies to fixing the `best impl` and judging the move to regression.
Install
npx skillscat add seiya/atmofab/workflow-tune-verify Install via the SkillsCat registry.
SKILL.md
Workflow Tune Verify
Purpose
Fix the verification responsibility of the Tune stage candidates, and select the adopted candidate by objective metrics. This flow is part of an optional flow separated from the core workflow.
Scope
- the trial-result evaluation of a candidate lowering-plan (
target_lowering_plan) variant - the finalization of the
best impland the re-tuning judgment
Requirements
- Exclude a physics
failcandidate from the performance-evaluation target. - Do not adopt a candidate whose quality-comparison result is a failure.
- The performance evaluation uses the statistics of
perf.json, and ranks by the objective function. - Handle the re-measurement result of the same point, and make a noise-robust judgment.
- Make it a required condition that the adopted candidate is traceable in
trial_meta.jsonandlineage.json. - The workflow mode uses
ATMOFAB_WORKFLOW_EXEC_MODEas the canonical source, and appliesdevwhen unset. - In
devmode, it is aTune failthe momentissue_severity=major|criticalis detected, and treating it as a minor exception is forbidden.
Operations Rules
- Keep only candidates whose
verdictandaggregate_verdictarepassas adoption candidates. - Among the adoption candidates, fix the variant lowering plan with the maximum objective function as the
best impl. - Under a new-architecture or new-compiler condition, run the re-tuning judgment.
- Save the judgment basis in the
tuning-family metadata, and hand it to regression monitoring. - When it
failindevmode, record the basis needed to createfailure_analysis.json(the failure reason, the target trial, the judgment evidence).
Decision Criteria
- The adopted candidate satisfies the required physics and quality conditions.
- The performance ranking can be reproduced from the saved values of
perf.json. - The finalization basis of the
best implis traceable.