[aarontrowbridge]

Related Issue

None filed yet — draft from the skills-integrity loop (finding F-fcz-14). File an issue before marking ready.

Description

deliberate: adds "Further checks from the fluxonium-cz campaign" to Spec-design checks: define every window/feature/space/estimator; a key must be able to fail (degrees of freedom, denominators, definitional keys); evaluate every bar at the nominal case; make counts/names/paths agree with the disk; cite the verifier line a convention must agree with; give every budget a unit and a legal value (amico spec review rejected max_solves: 0); bound reproduction steps by more than the clock.

Evidence

Seven analysis-class specs approved on the mechanical gate alone (critic waived) surfaced nine defects in wave 1 (F-fcz-14) and more in later notes (D2a, D2b, H2c, B8, B9, B10, B11, G1, G1b, G2, H2d, A2).

Honesty flags

The max_solves: 0 rejection is the campaign's observation (not re-run against the current amico). One campaign, so the checks are candidates, not banked doctrine; each is tagged with the note that produced it.

Verification

Lint on this branch: lint-skills: 40 skills, 0 error(s), 5 warning(s) — ok; no private-package hits; skill tests 42/42.

[coderabbitai]

Important

Draft PR not reviewed

Draft PRs are not automatically reviewed by default.

• Trigger a manual review

To automatically review draft PRs, update your CodeRabbit configuration:

reviews:
  auto_review:
    drafts: true

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

Share

• X
• Mastodon
• Reddit
• LinkedIn