Skip to content

entitled skills: altissimo + extended piccolissimo in the bundle (#907, ADR-0011 home) - #908

Draft
aarontrowbridge wants to merge 2 commits into
mainfrom
907-stage-amicissimo-skills
Draft

entitled skills: altissimo + extended piccolissimo in the bundle (#907, ADR-0011 home)#908
aarontrowbridge wants to merge 2 commits into
mainfrom
907-stage-amicissimo-skills

Conversation

@aarontrowbridge

@aarontrowbridge aarontrowbridge commented Sep 8, 2026

Copy link
Copy Markdown
Member

What changed after the first commit (the ADR-0011 correction)

The first commit on this branch added a staging-script mechanism sourcing skills from amicissimo/skills/ — built on the premise (from amicissimo #403) that piccolissimo/intonatissimo were "staging-local with no canonical home". That premise was wrong, and the branch is reworked:

What this PR now delivers

The content, in its correct home, policy-trimmed:

File Change
packages/extension/skills/altissimo/SKILL.md NEW — the measured Altissimo tuning doctrine: ρ-schedule table (default ladder / caps starve / :demand with its honest MIXED real-problem verdict), the churn signature, the AL-entry warm-start laws, what-binds facts, honest arm-comparison rules. Trimmed to usage per ADR-0011 (no fleet doctrine, no vault pointers, no internal roadmap).
packages/extension/skills/piccolissimo/SKILL.md Extended: matrix-free density routing (4.2×, assert-don't-assume, bang-bang plateau), the two upstream density-path bugs (Piccolo #337 √γ-prescaling, #338 EqualityConstraints endpoint pins), set_state_guess! state warm-starts, the ECO constructor section (envelope + F_pro≠F_avg traps), the measured Magnus caveat, smoke-budget honesty rail.
ops/README.md staging floor 45 → 46.

Content-policy note for review

Both skills carry surface: entitled, entitlement: issmo (the exact pattern of the already-shipping piccolissimo skill). Reviewed per ADR-0011's per-line test: constructors, kwargs, knob facts, idioms, measured usage guidance ship; internal trait names, threaded-site architecture detail, fleet compute doctrine, and vault pointers stay in the internal tier (already in the armonissima commons + vault cards). The team-internal deep doctrine (falsified-probe narratives, Prestissimo carry-overs, measurement discipline) is NOT in this PR — it rides the armonissima commons updates.

Verification

  • Frontmatter mirrors the shipping piccolissimo pattern (leak-guard admits public+entitled).
  • The trimmed content is live in the server staging tree (hand-rsynced = what the boot rsync delivers post-merge); the three prior amicissimo-sourced copies were replaced by these trimmed ones.

…set (#907)

amicissimo #404 (main 2bcef43) made amicissimo/skills/ the canonical home
of the entitled-tier usage skills (piccolissimo, intonatissimo, altissimo
— the issmo private packages, per its ADR-0002 boundary test). Until now
piccolissimo + intonatissimo were staging-local hand-copies (the #836
drift class) and altissimo existed nowhere.

- stage-internal-skills.sh gains a second source: the amicissimo clone,
  extracted from origin/main via git archive (branch-independent — the
  clone is fleet-shared and routinely parked on campaign branches), with
  its own ENTITLED_ALLOWLIST, the same per-skill hash receipts, and a
  loud SKIP when the clone or skills/ is absent (fleet boxes).
- ops/README staging floor 45 -> 46 (altissimo adds one skill).

Verified live: all three staged; canonical == staged by sha256;
armonissima loop byte-identical (all unchanged receipts).
@coderabbitai

coderabbitai Bot commented Sep 8, 2026

Copy link
Copy Markdown

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

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

Comment @coderabbitai help to get the list of available commands.

…p the staging-script mechanism (#907)

REWORK after the ADR-0011 correction (see #907 comment): ADR-0011 (accepted
2026-08-27) rules entitled skills live in packages/extension/skills — 'entitled
is a STAGING gate, not a location' — and the boot rsync stages the bundle
into the server tree directly, so no second staging source is needed (the
amicissimo-sourced git-archive mechanism from the first commit is reverted).

- altissimo: NEW entitled skill — the measured solver-tuning doctrine
  (rho-schedule table incl. the :demand MIXED verdict, churn signature,
  AL-entry warm-start laws, what-binds facts, honest arm-comparison rules),
  trimmed to the ADR-0011 content policy (usage ships, internals stay vault).
- piccolissimo: extended with matrix-free density routing, the two upstream
  density-path bugs (#337 sqrt-gamma prescaling, #338 EqualityConstraints
  endpoint pins), set_state_guess! state warm-starts, the ECO constructor
  section, Magnus caveat, smoke-budget honesty rail — policy-trimmed.
- ops/README: staging floor 45 -> 46 (altissimo adds one).
@aarontrowbridge aarontrowbridge changed the title ops: stage the amicissimo entitled-tier skills into the server skill set (#907) entitled skills: altissimo + extended piccolissimo in the bundle (#907, ADR-0011 home) Sep 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant