Awesome-omni-skill proven-needs

Purpose

Continuously evolve a software system by declaring a desired state, evaluating it against the current state and constraints, then executing the minimal valid transition to make it true. Both maintenance and feature work are state changes, not task accumulation.

State Transition Loop

Observe → Declare → Evaluate → Derive → Execute → Validate → Repeat

1. Observe -- capture the current state (automated)
2. Declare -- accept a desired state (from user or system-proposed)
3. Evaluate -- test feasibility against current state and constraints
4. Derive -- determine the minimal transition plan
5. Execute -- invoke capabilities to apply changes
6. Validate -- verify the desired state is now true
7. Repeat -- declare the next desired state

Core Concepts

Current State

The observable, verifiable reality of the system right now. Computed fresh each invocation, never stored.

Artifact state:

• Which feature packages exist in

  docs/features/

• For each feature: which artifacts exist (stories, spec, design, tasks), their versions, statuses
• Project-wide artifacts:

  docs/constraints.adoc

  ,

  docs/adrs/

  ,

  docs/architecture.adoc

  ,

  docs/state-log.adoc

• Staleness: are any artifacts out of sync with their upstream?

Codebase state:

• Language, framework, project structure
• Dependency graph and versions (from package.json, Cargo.toml, go.mod, etc.)
• Test coverage and test status
• Lint and build status
• Security posture (known vulnerabilities in dependencies)

Desired State

A declarative statement of what must be true after this transition. Desired states come from:

• The user (explicit intent)
• The system (detected conditions, proposed to user)

Examples:

• "Users can reset their password via SMS" (feature)
• "All dependencies have no known critical vulnerabilities" (maintenance)
• "The architecture document reflects the current system" (documentation)
• "All API endpoints enforce rate limiting" (constraint)

Constraints (Invariants)

Rules that must not be violated across any transition. Defined in

docs/constraints.adoc

Feature Package

A self-contained unit of work scoped to one feature. Lives in

docs/features/<slug>/

docs/features/<slug>/
├── user-stories.adoc    # WHY: user needs and motivations
├── spec.adoc            # WHAT: testable requirements for this feature
├── design.adoc          # HOW: implementation blueprint
└── tasks.adoc           # WORK: phased implementation breakdown

Each feature package is fully independent -- it can be specified, designed, and implemented without reading other feature packages. Feature designs reference project-wide ADRs and architecture but never other feature designs.

State Log

An append-only audit trail of all state transitions. Lives at

docs/state-log.adoc

Capabilities

The orchestrator does not produce artifacts directly. It invokes capabilities (the

needs-*

Invoking a capability

To invoke a capability, load its skill by name using the skill-loading tool (e.g., load

needs-stories

Do NOT attempt to perform a capability's work without first loading its skill definition. The orchestrator's job is to plan and coordinate -- the capability skills contain the detailed instructions for producing correct artifacts.

Invocation steps:

1. Load the skill by name (e.g.,

   needs-stories

   ,

   needs-spec

   ,

   needs-design

   )
2. The capability skill will run its own observe -> evaluate -> execute cycle
3. Wait for the capability to complete and return its report before proceeding to the next capability
4. If a capability skill references another skill (e.g.,

   needs-design

   may load

   needs-adr

   ), that skill must also be loaded

Feature-scoped capabilities

These operate within a single feature package:

needs-stories

needs-spec

needs-design

needs-tasks

needs-tests

needs-implementation

Project-wide capabilities

These operate at the project level:

needs-adr

needs-architecture

needs-dependencies

needs-security

needs-compliance

Supporting skills

ears-requirements

Workflow

1. Observe Current State

When this skill is invoked, immediately build the current state model:

1.1 Read project-wide artifacts

1. docs/constraints.adoc

   -- read all constraint categories and rules. If missing, note that no constraints are defined. Do not create it automatically -- the user declares constraints intentionally.

2. docs/features/

   -- list all feature directories. For each, check which artifacts exist and read their

   :version:

   and

   :status:

   attributes. Features with

   :status: Archived

   in

   user-stories.adoc

   are reported in the summary but skipped during intent classification and staleness checks.

3. docs/adrs/

   -- read the index, note how many ADRs exist and their statuses.

4. docs/architecture.adoc

   -- check existence, read

   :version:

   if present.

5. docs/state-log.adoc

   -- check existence, read recent transitions for context. Pay particular attention to:

   • :result: In Progress

     -- the prior session started a transition but ended unexpectedly (crash, context exhaustion, tool failure) without cleanly recording a result. The entry contains the intent and plan but

     :capabilities-invoked:

     may be empty or incomplete. Propose resuming the transition or marking it as

     :result: Failed

     before starting new work.

   • :result: Partial

     -- the user explicitly stopped a transition mid-way. The entry lists capabilities completed vs. remaining. Propose completing the remaining capabilities before starting new work.

   In both cases, the transition's

   :features:

   and

   :capabilities-invoked:

   fields provide useful context for understanding why artifacts are in their current state (e.g., stories and spec exist but design is missing because a prior transition was interrupted).

1.2 Analyze codebase

1. Project type -- detect language, framework, build system from configuration files (package.json, Cargo.toml, go.mod, pyproject.toml, etc.)

2. Dependencies -- parse dependency files. Identify outdated packages, known vulnerabilities, archived/unmaintained packages, license information.

3. Quality signals -- check if build passes, linting passes, tests pass. Read test coverage if available.

4. Code structure -- understand directory layout, module organization, existing patterns.

1.3 Present state summary

Present a concise summary to the user:

Current state:
  Features: 3 (user-auth [implemented], user-profile [designed], shopping-cart [stories only])
  Constraints: 8 rules across 4 categories
  ADRs: 2 accepted
  Architecture: v1.0.0 (current)
  Codebase: TypeScript/Next.js, 47 deps (1 vulnerable), 78% coverage, build passing
  Constraint violations: specs stale in user-profile (stories updated since spec)

2. Accept Desired State

The user states what they want to be true. The orchestrator interprets this as a desired state.

2.1 Intent classification

Classify the desired state into one or more intent types:

flowchart TD
    INPUT["User intent"] --> SIGNALS{"Analyze<br/>signals"}

    SIGNALS -->|"User journey,<br/>user-facing capability"| FEAT["Feature evolution"]
    SIGNALS -->|"Universal quantifiers,<br/>system-as-subject"| CONST["Constraint declaration"]
    SIGNALS -->|"References artifacts,<br/>sync/update language"| ART["Artifact maintenance"]
    SIGNALS -->|"References packages,<br/>vulnerabilities"| DEP["Dependency maintenance"]
    SIGNALS -->|"System structure,<br/>technology changes"| ARCH["Architecture evolution"]
    SIGNALS -->|"Tests, coverage,<br/>code quality"| QUAL["Quality improvement"]
    SIGNALS -->|"References docs,<br/>architecture document"| DOC["Documentation"]

2.2 Constraint detection

Before proceeding with feature decomposition, check whether the intent is actually a constraint. An intent is a constraint if:

1. Universal scope -- it uses quantifiers like "all", "every", "no X may", "must always", "never"
2. System-as-subject -- it describes a property of the system, not a capability for a user
3. No user journey -- there is no identifiable user role, action, or benefit
4. Future-proof -- it would apply to features that don't exist yet

flowchart TD
    INTENT["Intent statement"] --> Q1{"Universal scope?<br/>(all, every, never)"}

    Q1 -->|Yes| Q2{"System-as-subject?<br/>(property of system,<br/>not user capability)"}
    Q1 -->|No| FEATURE["Feature requirement"]

    Q2 -->|Yes| Q3{"No user journey?<br/>(no role, action,<br/>or benefit)"}
    Q2 -->|No| FEATURE

    Q3 -->|Yes| Q4{"Future-proof?<br/>(applies to features<br/>that don't exist yet)"}
    Q3 -->|No| ASK["Ask user:<br/>constraint or<br/>feature requirement?"]

    Q4 -->|Yes| CONSTRAINT["Constraint<br/>→ add to docs/constraints.adoc"]
    Q4 -->|No| ASK

If the intent is a constraint:

• Propose adding it to

  docs/constraints.adoc

  with the appropriate category
• Ask the user to confirm
• If confirmed, update

  docs/constraints.adoc

  and record the transition in the state log
• Do not create a feature package

If uncertain, ask the user:

Your intent could be interpreted as:
  1. A project-wide constraint (enforced on all features, current and future)
  2. A feature-specific requirement (applies only to one feature)

Which did you mean?

2.3 Feature decomposition (for feature evolution intents)

flowchart TD
    START((Intent)) --> CHECK{Existing<br/>features?}

    CHECK -->|No: Greenfield| GF_P1
    CHECK -->|Yes: Evolution| EV_P1

    subgraph greenfield ["Greenfield Path"]
        GF_P1["Pass 1: Draft stories<br/>into _drafts/ temp slug"]
        GF_COHESION["Analyze cohesion<br/>(shared data, journey,<br/>independent value)"]
        GF_PROPOSE["Propose feature<br/>groupings to user"]
        GF_CONFIRM{User<br/>confirms?}
        GF_P2["Pass 2: Distribute stories<br/>into feature packages"]
        GF_CLEANUP["Remove _drafts/"]

        GF_P1 --> GF_COHESION
        GF_COHESION --> GF_PROPOSE
        GF_PROPOSE --> GF_CONFIRM
        GF_CONFIRM -->|Yes| GF_P2
        GF_CONFIRM -->|Adjust| GF_PROPOSE
        GF_P2 --> GF_CLEANUP
    end

    subgraph evolution ["Evolution Path"]
        EV_P1["Pass 1: Draft stories<br/>into _drafts/ temp slug"]
        EV_CLASSIFY["Classify against<br/>existing features<br/>(extends / new / updates)"]
        EV_PROPOSE["Present mapping<br/>to user"]
        EV_CONFIRM{User<br/>confirms?}
        EV_P2["Pass 2: Distribute<br/>(add to existing /<br/>create new packages)"]
        EV_CLEANUP["Remove _drafts/"]

        EV_P1 --> EV_CLASSIFY
        EV_CLASSIFY --> EV_PROPOSE
        EV_PROPOSE --> EV_CONFIRM
        EV_CONFIRM -->|Yes| EV_P2
        EV_CONFIRM -->|Adjust| EV_PROPOSE
        EV_P2 --> EV_CLEANUP
    end

    GF_CLEANUP --> DONE((Feature packages<br/>ready))
    EV_CLEANUP --> DONE

When no features exist yet (greenfield):

This uses a two-pass approach because

needs-stories

Pass 1 -- Draft stories with a temporary slug:

1. Invoke

   needs-stories

   with a temporary working slug (e.g.,

   _drafts

   ) to derive user stories from the intent. This produces an initial set of stories without committing to a feature structure.
2. Analyze story cohesion to propose feature groupings:
   • Stories that share the same data entities → same feature
   • Stories in the same user journey → same feature
   • Stories that can deliver independent value → separate features
3. Present the proposed grouping to the user:

   Based on your intent, I propose 2 features:
   
   Feature 1: user-authentication
     - US-001: User Registration
     - US-002: User Login
     - US-003: Password Reset
     (Share auth flow and user credentials)
   
   Feature 2: user-profile
     - US-004: View Profile
     - US-005: Edit Profile
     (Independent of auth, operate on profile data)
   
   Adjust grouping?
   

4. Wait for user confirmation before creating feature packages.

Pass 2 -- Distribute stories into feature packages:

5. For each confirmed feature, invoke

   needs-stories

   with the final slug to create the feature's

   user-stories.adoc

   , distributing the drafted stories into their assigned feature packages. Story IDs are reassigned to be sequential within each feature (US-001, US-002, ...).
6. Remove the temporary

   _drafts

   directory if it was created on disk.

When features already exist (evolution):

This also uses a two-pass approach. Stories are drafted first, then classified against existing features.

Pass 1 -- Draft stories and classify:

1. Observe existing features and their stories.
2. Invoke

   needs-stories

   with a temporary working slug (e.g.,

   _drafts

   ) to derive stories from the new intent.
3. Classify each drafted story against existing features:
   • Extends existing: Story shares data/state/journey with an existing feature → propose adding to that feature
   • New feature: Story doesn't fit any existing feature → propose new feature package
   • Updates existing: Story modifies behavior already covered by an existing feature → propose updating that feature
4. Classification heuristics:
   • Match story keywords against existing feature stories and specs
   • Check if the story's data entities overlap with an existing feature
   • Check if the story belongs to the same user journey as an existing feature
5. Present the mapping to the user for confirmation:

   This intent maps to:
   
   Extend: user-authentication/ (existing)
     - Add story: SMS Password Reset
     - Update spec and design for SMS flow
   
   Create: notification-preferences/ (new)
     - Manage Notification Channels
     - Set Notification Preferences
   
   Confirm or adjust?
   

Pass 2 -- Distribute stories:

6. For stories assigned to existing features, invoke

   needs-stories

   (add mode) for each feature with the relevant stories.
7. For stories assigned to new features, invoke

   needs-stories

   (create mode) for each new feature.
8. Remove the temporary

   _drafts

   directory if it was created on disk.

Constraint surfacing during decomposition:

While deriving stories and specs, if a requirement is identified as cross-cutting:

1. Flag it as a potential constraint
2. Present to the user:

   While deriving specs for user-authentication, I found a cross-cutting requirement:
     "Passwords must be at least 8 characters with mixed case and numbers"
   
   This applies to registration, password reset, and any future password feature.
   
   Options:
     1. Add to docs/constraints.adoc (recommended -- enforced everywhere)
     2. Keep as feature spec (only enforced in this feature)
   

3. Evaluate Feasibility

For each feature in the transition plan, check:

3.1 Precondition check

Does the desired state require artifacts that don't exist yet? For each involved capability:

• needs-spec

  requires stories → are stories available?

• needs-design

  requires stories and spec → are both available?

• needs-tasks

  works best with design → is design available?

• needs-implementation

  requires at minimum a design → does one exist?

• needs-tests

  requires spec → is the spec available? (Tests are derived before implementation and serve as the acceptance gate.)

If preconditions are unmet, the orchestrator can satisfy them as part of the transition (by invoking earlier capabilities first). This is not a pipeline -- the orchestrator dynamically determines what's needed.

3.2 Constraint check

Test the proposed transition against all constraints in

docs/constraints.adoc

• Would any constraint be violated by the proposed changes?
• Are there existing constraint violations that should be resolved first?

If a constraint would be violated:

Constraint violation detected:

  Architecture constraint: "Business logic resides in the service layer"
  Proposed design places validation logic in route handlers.

Options:
  1. Revise the design to satisfy the constraint
  2. Update the constraint (requires justification)
  3. Abort this transition

3.3 Staleness check

Check if any existing artifacts involved in the transition are stale:

• Feature stories updated but spec not synced?
• Spec updated but design not refreshed?
• Feature implemented but architecture not updated?

Report staleness and recommend resolution before proceeding.

4. Derive Transition Plan

Build a dependency graph of capability invocations. The graph is derived, not hardcoded.

For each feature in scope:

1. Determine which artifacts need creating or updating
2. Order capabilities by dependency: stories → specs → design → tasks → tests → implementation.

   needs-spec

   is always invoked -- every feature gets a specification. Specs are the contract between stories (WHY) and design (HOW); skipping them loses traceability and black-box testability.

   needs-tests

   runs before

   needs-implementation

   -- tests are derived from specs and serve as the acceptance gate for implementation.
3. Skip capabilities whose artifacts are already current and satisfy the desired state (e.g., stories already exist and cover the intent)
4. Mark which steps can run in parallel across features (independent features can be processed concurrently)

Architecture updates:

After all feature implementations in the current transition are complete, invoke

needs-architecture

• Any feature implementation changed the system's component structure (new services, new data stores, new external interfaces)
• The architecture document doesn't exist yet
• The architecture document is stale relative to the implemented features

Do not invoke

needs-architecture

Present the plan to the user:

Transition plan to achieve "Users can reset password via SMS":

  Feature: user-authentication/ (extend existing)
  1. needs-stories: Add SMS password reset story
  2. needs-spec: Update spec with SMS requirements
  3. needs-design: Update design for SMS flow
  4. needs-tasks: Create implementation tasks
  5. needs-tests: Generate test cases from spec (acceptance gate)
  6. needs-implementation: Implement code changes (tests must pass)

  Skipping: needs-adr (no new technology decisions)
  Post-implementation: needs-architecture (update after implementation)

  Risk: HIGH (new feature behavior, code changes)
  Estimated artifacts affected: 4 files + tests + code

  Proceed?

Execution mode

After the user approves the transition plan, ask how they want the workflow to execute:

How should I proceed through the capabilities?

  1. Autonomous -- execute all capabilities without pausing between them
  2. Interactive -- ask for confirmation before starting each capability

Store the user's choice for the duration of this transition. Default to Interactive if the user does not express a preference.

5. Execute Transition

Before invoking the first capability, append an

In Progress

docs/state-log.adoc

:date:

:intent:

:type:

:risk:

:features:

:desired-state:

:prior-state:

:result: In Progress

:capabilities-invoked:

:constraints-checked:

:artifacts-modified:

Invoke capabilities in the derived order by loading each capability skill. For each capability:

1. The orchestrator passes the feature context (slug, desired state, current state for that feature)
2. The capability runs its observe → evaluate → execute cycle
3. The orchestrator validates the capability's output before proceeding to the next

Between capabilities:

• Verify the artifact was created/updated correctly
• Check that no constraints were violated
• Update the state model

Transition progress tracking

Maintain an explicit checklist of all capabilities to invoke for this transition. Use the todo-list tool if available. After each capability completes, mark it done.

Execution mode behavior:

• Interactive mode: After each capability completes, present the updated checklist and ask the user whether to continue to the next capability. Show which capabilities are done, which is next, and which remain.
• Autonomous mode: After each capability completes, immediately proceed to the next capability without asking. Report progress inline (e.g., "needs-stories complete, proceeding to needs-spec...").

In both modes, the following rules apply:

• Do NOT skip capabilities in the plan. Every capability in the derived transition plan must be invoked unless the user explicitly asks to stop.
• Do NOT treat

  needs-implementation

  as the final step. Post-implementation capabilities (

  needs-architecture

  , design divergence resolution) are part of the plan and must execute. Note:

  needs-tests

  runs before implementation -- tests are the acceptance gate, not a post-implementation step.
• If the user asks to stop mid-transition, update the existing

  In Progress

  entry in

  docs/state-log.adoc

  : set

  :result: Partial

  , fill in

  :capabilities-invoked:

  with capabilities completed so far, and add

  :capabilities-remaining:

  listing what was not yet invoked.
• When a new session starts, the Observe phase (step 1) reads the state-log for

  :result: Partial

  or

  :result: In Progress

  entries. Either indicates incomplete work -- propose completing it before starting new work.

Design divergence resolution (after

needs-implementation

sequenceDiagram
    participant Impl as needs-implementation
    participant Orch as Orchestrator
    participant User as User
    participant Design as needs-design

    Impl->>Orch: Report divergences<br/>(design vs. actual)
    Orch->>User: Present each divergence<br/>with analysis of both directions

    loop For each divergence
        User->>Orch: Choose resolution
        alt Update design
            Orch->>Design: Reconciliation mode<br/>(divergence details)
            Design->>Orch: Design updated
        else Fix code
            Orch->>Impl: Fix specific divergence
            Impl->>Orch: Code fixed
        end
    end

    Orch->>Orch: Continue to validation

When

needs-implementation

• What the design specified vs. what was implemented
• Analysis of both resolution directions: (a) update the design to match implementation, (b) fix the code to match the design
• Rationale for why the implementation diverged (practical constraints, better approach discovered, etc.)

Present this analysis to the user with enough context to make a good decision. For each divergence:

• If the user chooses "update design" → invoke

  needs-design

  (reconciliation mode) with the divergence details
• If the user chooses "fix code" → re-invoke

  needs-implementation

  with the specific fix
• The user may choose different resolutions for different divergences

Divergence report verification: After

needs-implementation

Error handling:

• If a capability fails validation → stop, report to user, ask how to proceed
• If a constraint is violated during execution → stop, report, offer to revise or abort
• If the user wants to stop mid-transition → save progress, update the

  In Progress

  entry to

  :result: Partial

  in state log

6. Validate

After all capabilities in the transition have executed:

1. Re-observe the current state
2. Compare against the original desired state
3. Verify all constraints still hold
4. Run verification commands (build, test, lint) if code was changed

If desired state achieved:

• Update the existing

  In Progress

  entry in

  docs/state-log.adoc

  : set

  :result: Achieved

  , fill in

  :capabilities-invoked:

  ,

  :constraints-checked:

  , and

  :artifacts-modified:

• Report success to user

If desired state NOT achieved:

• Identify what's missing
• Propose additional steps or report what went wrong
• Do not update the entry to

  :result: Achieved

  -- leave as

  In Progress

  until resolved, or set to

  :result: Failed

  if unrecoverable

7. Record Transition

Update the existing

In Progress

docs/state-log.adoc

:capabilities-invoked:

:constraints-checked:

:artifacts-modified:

:result:

Achieved

Partial

Failed

Risk Classification and Auto-Approve

flowchart TD
    CHANGE["Proposed transition"] --> FACTORS["Assess risk factors"]

    FACTORS --> SCOPE{"Scope:<br/>artifacts/files<br/>affected?"}
    FACTORS --> PROX{"Constraint<br/>proximity?"}
    FACTORS --> REV{"Reversibility?"}
    FACTORS --> CODE{"Code<br/>impact?"}

    SCOPE --> CLASSIFY{"Risk<br/>classification"}
    PROX --> CLASSIFY
    REV --> CLASSIFY
    CODE --> CLASSIFY

    CLASSIFY -->|"Patch deps, doc fixes,<br/>metadata, sync unchanged"| LOW["Low risk"]
    CLASSIFY -->|"Minor deps, design adjust,<br/>add specs for existing stories"| MED["Medium risk"]
    CLASSIFY -->|"New features, breaking changes,<br/>arch changes, major bumps, code"| HIGH["High risk"]

    LOW --> AUTO["Auto-approve:<br/>execute immediately"]
    MED --> PROPOSE["Propose with summary,<br/>ask user"]
    HIGH --> REQUIRE["Full plan,<br/>require approval"]

Transitions are classified by risk level:

Risk factors:

• Scope: How many artifacts/files are affected?
• Constraint proximity: Does the change approach any constraint boundary?
• Reversibility: Can the change be undone?
• Code impact: Does it modify production code?

System-proposed intents:

The orchestrator can detect conditions and propose desired states:

• "Dependency X has a critical CVE -- desired state: X is patched" (auto-approve if patch-level)
• "Feature user-auth specs are stale relative to stories" (propose sync, medium risk)
• "3 features share the same password validation requirement" (propose as constraint, high risk)

For auto-approved transitions, inform the user after execution:

Auto-approved: Updated lodash 4.17.20 → 4.17.21 (CVE-XXXX patched). Tests passing.

Constraints Specification

File location and format

docs/constraints.adoc

= Project Constraints
:version: 1.0.0
:last-updated: YYYY-MM-DD

== Security

* Passwords must be at least 8 characters with mixed case and numbers.
* All user sessions must expire after 24 hours of inactivity.
* No dependency with a known CRITICAL or HIGH CVE may remain unpatched for more than 7 days.
* All user input must be validated before processing.

== Licensing

* Only MIT, Apache-2.0, and BSD-licensed dependencies are permitted.

== API Compatibility

* Public endpoints maintain backward compatibility within a MAJOR version.
* Removal of any public endpoint requires a MAJOR version bump.

== Architecture

* Business logic resides in the service layer, not in route handlers.
* No direct database access from UI components.

== Quality

* Test coverage must not decrease per feature implementation.
* All code passes linting and type checking.

== Performance

* API P95 response time must remain below 200ms.

Constraint lifecycle

• Adding: User declares intent that is classified as constraint, or constraint is surfaced during spec derivation. Always requires user confirmation. MINOR version bump.
• Modifying: User explicitly requests relaxing or tightening a rule. Requires user confirmation. MINOR or MAJOR bump depending on impact.
• Removing: User explicitly requests removal. Requires confirmation with warning about enforcement loss. MAJOR version bump.

Constraints are intentionally stable. Frequent constraint changes indicate they may be too specific (should be feature specs) or too vague (need refinement).

Constraint enforcement

Every capability checks relevant constraints during its Evaluate phase:

• needs-stories

  : checks quality constraints (testability, completeness)

• needs-spec

  : checks that specs do not duplicate project-wide constraints

• needs-design

  : checks architecture constraints

• needs-tasks

  : checks quality constraints (testing tasks exist if coverage constraints apply)

• needs-implementation

  : checks quality, performance, architecture constraints

• needs-tests

  : checks quality constraints (coverage thresholds, test requirements)

• needs-dependencies

  : checks licensing, security constraints

• needs-security

  : checks security constraints

• needs-compliance

  : checks licensing constraints

A constraint violation blocks a transition unless the user explicitly chooses to update the constraint.

State Log Specification

File location and format

docs/state-log.adoc

= State Transition Log
:last-updated: YYYY-MM-DD

== TRANSITION-003
:date: 2026-02-23
:intent: Users can reset their password via SMS
:type: Feature evolution
:risk: High
:features: user-authentication (extended)
:desired-state: SMS password reset is available alongside email reset
:prior-state: user-authentication has email reset only (stories v1.2.0, spec v1.1.0, design v1.0.0 implemented)
:capabilities-invoked: needs-stories, needs-spec, needs-design, needs-tasks, needs-implementation
:constraints-checked: Security (pass), Architecture (pass), Quality (pass)
:result: Achieved
:artifacts-modified: docs/features/user-authentication/user-stories.adoc (v1.3.0), docs/features/user-authentication/spec.adoc (v1.2.0), docs/features/user-authentication/design.adoc (v2.0.0), docs/features/user-authentication/tasks.adoc (v1.0.0)

== TRANSITION-002
:date: 2026-02-22
:intent: No dependencies have known vulnerabilities
:type: Dependency maintenance
:risk: Low (auto-approved)
:features: n/a (project-wide)
:desired-state: Zero known vulnerabilities in dependency graph
:prior-state: lodash@4.17.20 has HIGH CVE
:capabilities-invoked: needs-dependencies
:constraints-checked: Security (triggered), Licensing (pass)
:result: Achieved
:artifacts-modified: package.json, package-lock.json

== TRANSITION-001
...

State log conventions

• Transitions are numbered sequentially (TRANSITION-001, TRANSITION-002, ...)
• Newest transitions appear first (reverse chronological)
• Entries are created at the start of execution with

  :result: In Progress

  , then updated exactly once with the final result when the transition completes or is stopped

• :result:

  values:

  • In Progress

    -- transition is actively executing, or the prior session ended unexpectedly before recording a final result. On session start, the Observe phase detects these and proposes resuming or marking as Failed.

  • Achieved

    -- desired state was reached and validated

  • Partial

    -- user explicitly stopped the transition mid-way.

    :capabilities-invoked:

    lists what completed;

    :capabilities-remaining:

    lists what was not yet invoked.

  • Failed

    -- transition failed with a reason

Feature Package Conventions

Slug naming

Feature directory names use kebab-case derived from the feature's primary purpose:

• user-authentication

• password-reset-sms

• shopping-cart

• notification-preferences

Slugs are stable -- do not rename feature directories after creation. If a feature's scope changes significantly, create a new feature and archive the old one.

Feature status

A feature's status is derived from which artifacts exist and their states:

stateDiagram-v2
    [*] --> Stories : user-stories.adoc created
    Stories --> Specified : spec.adoc created
    Specified --> Designed : design.adoc created (Current)
    Designed --> Planned : tasks.adoc created (Current)
    Planned --> Tested : tests generated from spec
    Tested --> Implemented : all spec-derived tests pass

    Stories --> Archived : archived
    Specified --> Archived : archived
    Designed --> Archived : archived
    Planned --> Archived : archived
    Tested --> Archived : archived
    Implemented --> Archived : archived
    Archived --> Stories : un-archived

Stories

Specified

Designed

Planned

Tested

Implemented

:status: Archived

Archived

Task cleanup: Once a feature reaches

Implemented

tasks.adoc

Implemented

Feature archival

A feature is archived when its scope has fundamentally changed (superseded by a new feature), or when it is no longer relevant to the system. Archival is intentional and explicit:

1. Set

   :status: Archived

   in the feature's

   user-stories.adoc

2. Bump the stories version (MAJOR -- breaking change)
3. Record the archival in the state log

Archived features:

• Are skipped during intent classification (the Observe phase reports them but does not match new intents to them)
• Are not included in staleness checks
• Remain on disk as historical records (never deleted)
• Can be un-archived by removing the

  :status: Archived

  attribute if the feature becomes relevant again

Artifact versioning within features

Each artifact within a feature uses SemVer independently:

Each downstream artifact tracks its upstream:

• spec.adoc

  tracks

  :source-stories-version:

• design.adoc

  tracks

  :source-stories-version:

  and

  :source-spec-version:

• tasks.adoc

  tracks

  :source-design-version:

  ,

  :source-stories-version:

  ,

  :source-spec-version:

Format and dates

All artifacts use AsciiDoc (

.adoc

YYYY-MM-DD

[source,mermaid]

asciidoctor-diagram

Diagram conventions

All generated documentation artifacts use Mermaid for diagrams and visual flows. When a capability produces documentation that includes architecture, component interactions, data flows, or process sequences, it embeds Mermaid diagram blocks in the AsciiDoc output.

Architecture documentation uses the C4 model via Mermaid's C4 diagram types. The orchestrator decides which levels to include based on project complexity:

C4Context

C4Container

C4Component

C4Deployment

Guidelines for adaptive inclusion:

• Libraries, CLIs, simple projects: L1 + L2 only.
• Web applications with separate frontend/backend: L1 + L2 + L3 for the backend container.
• Microservices or distributed systems: L1 + L2 + L3 + L4.

Feature design documentation uses Mermaid for:

• Component interaction diagrams (

  flowchart

  ) -- how components relate and communicate
• Sequence diagrams (

  sequenceDiagram

  ) -- key user flows and system interactions
• State diagrams (

  stateDiagram-v2

  ) -- entities with meaningful state transitions
• Data flow diagrams (

  flowchart

  ) -- how data moves through the system

Feature designs include at minimum one component interaction or sequence diagram for the primary flow. Additional diagrams are added when they clarify complex interactions that prose alone cannot convey efficiently.

Requirement syntax

All acceptance criteria and specifications use EARS sentence types. The

ears-requirements

Black-box constraint

Feature specifications describe only externally observable behavior. Internal architecture details belong in the feature design document, project-wide architecture, and ADRs.

Bootstrap

When this skill is loaded, immediately check the project's

AGENTS.md

flowchart TD
    START["Read AGENTS.md"] --> EXISTS{"File<br/>exists?"}

    EXISTS -->|No| APPEND["Append proven-needs<br/>block to new file"]
    EXISTS -->|Yes| MARKER{"proven-needs<br/>marker found?"}

    MARKER -->|Yes| DONE["Do nothing<br/>(already bootstrapped)"]
    MARKER -->|No| LEGACY{"Legacy<br/>proven-needs<br/>marker found?"}

    LEGACY -->|Yes| REPLACE["Replace proven-needs<br/>block with<br/>proven-needs block"]
    LEGACY -->|No| APPEND

    REPLACE --> INFORM["Inform user<br/>AGENTS.md updated"]
    APPEND --> INFORM

Steps

1. Read

   AGENTS.md

   in the project root (it may not exist yet).
2. Search for the marker

   <!-- proven-needs:start -->

   .
3. If the marker is found -- do nothing, the project is already bootstrapped.
4. If the marker is NOT found -- check for the legacy marker

   <!-- proven-needs:start -->

   . If found, replace the entire block (from

   <!-- proven-needs:start -->

   to

   <!-- proven-needs:end -->

   ) with the new block below. If neither marker exists, append the new block.

<!-- proven-needs:start -->
## Development Workflow
This project uses the proven-needs state transition workflow.
To make changes, declare a desired state and the system will derive
the minimal valid transition: Observe → Evaluate → Derive → Execute → Validate.
Feature work is organized in `docs/features/`. Project constraints are in `docs/constraints.adoc`.
Load the `proven-needs` skill to start.
<!-- proven-needs:end -->

5. Inform the user that

   AGENTS.md

   was updated.

Rules

• This check runs every time the skill is loaded, but is idempotent.
• Append to the end of the file to avoid disrupting existing content.
• Do NOT modify content between the markers if the block already exists.
• Perform this check before proceeding with any other workflow task.