Skip to content
DEVKIT INDEX

Skill definition

hi-behavior-modeling

Produce draft-only evidence-backed technical behavior as sequence, activity, state-machine, and event-flow documentation. Do not use for business use-case catalogs, API contracts, or persistent data models.

Documentation

SKILL.md

Behavior Modeling

Read shared/leaf-contract.md. Operate as a draft-only leaf; lifecycle orchestrator owns refinement, review, and publication.

Inputs

Require repo_root, a module/symbol/use-case anchor, and output_root. Accept requested modes, project/database/collection identity, source revision, depth/path limits, and visibility (internal by default).

Evidence Gate

Read retrieval-protocol.md and shared/retrieval-protocol.md. Treat semantic matches as candidates. Confirm ordered calls, guards, state reads/writes, and terminal effects with verified graph relationships or source evidence. Reject wrong-project results. Stop the affected mode when no source evidence exists; never invent a transition.

Workflow

  1. Normalize scope, identity, limits, visibility, and requested modes.
  2. Inventory entry triggers, participants, calls, branches, state access, events, and observable outcomes.
  3. Trace synchronous and asynchronous paths, including retry, timeout, cancellation, error, rollback, or compensation where evidenced.
  4. Reconstruct only supported sequence, activity, state, and event views. Mark every claim verified, corroborated, inferred, unknown, or contradicted.
  5. Apply schemas and size limits in behavior-contract.md. Split oversized diagrams and report omissions.
  6. Write local manifest using documentation-leaf-manifest-1.0 beneath output_root.

Outputs

Produce behavior-index.json conforming to behavior-output.schema.json, requested Mermaid sources with Markdown summaries, transition tables where state evidence exists, evidence/gap records, and artifact-manifest.json.

Complete only when stable IDs resolve across artifacts, every verified claim cites evidence, sensitive values are redacted, and missing modes are reported truthfully.

Continue exploring

Related skills

hi-data-model-discoveryProduce draft-only evidence-backed physical and logical data models, ERDs, entity and field inventories, data dictionaries, ownership, read/write access, lifecycle, sensitivity, caching, replication, and migration gaps. Do not execute schema migrations or present inferred relationships as declared constraints.hi-docs-seekerFind current, authoritative technical documentation for libraries, frameworks, APIs, tools, standards, versions, migrations, configuration, and compatibility. Use when an answer requires verified external documentation or precise source links.hi-document-lifecycleOrchestrates evidence-backed document generation, human clarification, semantic/diagram refinement, and conditional review-comment resolution with pause/resume for one scoped domain. Use hi-maintenance-docs for a complete multi-domain pack.