skills.rest
acornprover
acornproverOFFICIAL
Explore all skills by this author →
Website𝕏@acornproverGitHub

migrate

Orchestrate state-machine workflows for feature-flag and acornlib migrations.

48|10|Updated Oct 3, 2024
Search Tags:#release management#migration#breaking changes#state machine#feature flag#acornlib
One-click install
npx skills add https://github.com/acornprover/acorn --skill migrate-acornprover
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: migrate
Source: https://github.com/acornprover/acorn/tree/main/.agents/skills/migrate
Command: npx skills add https://github.com/acornprover/acorn --skill migrate-acornprover

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill ensures a safe and controlled rollout for breaking changes in Acorn's library, including feature flag migrations and updates to certificate or proof formats.

Core Features & Use Cases

  • Feature Flag Migration: Manages the state-machine workflow for enabling new features behind flags.
  • Breaking Change Rollout: Facilitates the migration of acornlib certificates and proof formats with verification steps.
  • Use Case: When introducing a new proof format that invalidates older proofs, this Skill guides the process of updating the library, verifying compatibility, and ensuring a smooth transition for users.

Quick Start

Use the migrate skill to prepare for a feature flag migration by running the preflight checks.

Frequently Asked Questions about migrate

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I safely roll out breaking changes to certificate and proof formats?▼

To safely roll out breaking changes to certificate and proof formats, this Skill orchestrates a state-machine workflow with strict verification protocols. It manages feature-flag migrations to ensure compatibility and a smooth transition.

What is a feature flag migration state machine?▼

A feature flag migration state machine is a structured workflow that manages the gradual rollout of new features. It enforces strict verification steps before fully enabling breaking changes, ensuring safe transitions.

How do I prepare for a breaking acornlib change rollout?▼

You prepare for a breaking acornlib change rollout by running preflight checks using the migration workflow. This verifies compatibility and validates the updated library before transitioning proofs or certificates.

Can I use this to migrate verifiers and caches alongside proof formats?▼

Yes, this manages migrations for verifiers, proofs, and caches simultaneously. It coordinates the state-machine workflow to ensure all components adhere to strict verification protocols during the transition.

What are the limitations when handling feature flag bugs during a migration?▼

A key limitation is the requirement to adhere to a defined panic rule for feature bugs. Users must follow strict workspace assumptions and verification protocols, limiting ad-hoc updates during the migration process.

Related Skills

Explore More Software Engineering Skills→
EhraxEhrax

using-git-worktrees

Creates isolated git worktrees for feature work with verified ignore rules and project setup.

Community
Advanced
FoundationForgeFoundationForge

deploy-checklist

Generate pre-deployment checklists with rollback triggers and monitoring thresholds.

Official
Intermediate
calcosmiccalcosmic
9

medic

Validate COLONY_STATE.json against healthy colony data standards and apply prescribed remedies.

Community
Advanced
snhrmsnhrm

library-release-checker

Identify breaking changes and deprecations from library release notes.

Community
Advanced