feat: spec simulation loop, pytest-beehave integration, flow system overhaul (v8.4.0)

.flowr/flows/architecture-flow.yaml

@@ -1,5 +1,5 @@
 flow: architecture-flow
-version: 8.0.0
+version: 10.0.0
 exits:
   - complete
   - needs-discovery
@@ -9,12 +9,13 @@ states:
     attrs:
       description: "SA evaluates whether the feature requires new architecture or fits the existing system, potentially overriding deployment decisions"
       owner: SA
-      git: main
+      git: dev
       skills:
         - assess-architecture
       in:
         - product_definition.md
-        - domain_model.md
+        - behavioral_spec.md
+        - simulation_results.md
       out:
         - product_definition.md:
             - deployment
@@ -23,19 +24,16 @@ states:
       architecture-complete:
         architecture-complete: ==verified
       architecture-exists:
-        domain-model-md: ==exists
+        behavioral-spec-md: ==exists
       no-architecture-exists:
-        domain-model-md: ==missing
+        behavioral-spec-md: ==missing
     next:
       no-architecture-needed:
         to: complete
         when: architecture-complete
       needs-context-update:
         to: context-mapping
         when: architecture-exists
-      needs-technical-design:
-        to: technical-design
-        when: architecture-exists
       greenfield:
         to: context-mapping
         when: no-architecture-exists
@@ -44,19 +42,21 @@ states:
 
   - id: context-mapping
     attrs:
-      description: "SA maps bounded context relationships, Vernon patterns, and anti-corruption layers into domain_model.md"
+      description: "SA maps bounded context relationships, Vernon patterns, and anti-corruption layers"
       owner: SA
-      git: main
+      git: dev
       skills:
         - map-contexts
       in:
-        - domain_model.md
+        - behavioral_spec.md
         - product_definition.md
         - glossary.md
+        - domain_model.md
       out:
         - domain_model.md:
             - context_map
-            - changes
+        - behavioral_spec.md:
+            - integration_points
     next:
       done: technical-design
       needs-discovery: needs-discovery
@@ -65,12 +65,12 @@ states:
     attrs:
       description: "SA selects technology stack, documents dependencies, and drafts ADRs for architectural decisions"
       owner: SA
-      git: main
+      git: dev
       skills:
         - design-technical-solution
         - draft-adr
       in:
-        - domain_model.md
+        - behavioral_spec.md
         - glossary.md
         - product_definition.md
       out:
@@ -83,28 +83,29 @@ states:
 
   - id: review-signoff
     attrs:
-      description: "R independently verifies architecture alignment with domain model and requirements, and cross-document consistency, before implementation begins"
+      description: "R independently verifies architecture alignment with behavioral spec and requirements, and cross-document consistency, before implementation begins"
       owner: R
-      git: main
+      git: dev
       skills:
         - review-architecture
       in:
         - "adr/<adr_id>.md"  # optional
         - product_definition.md
-        - domain_model.md
+        - behavioral_spec.md
+        - simulation_results.md
         - glossary.md
       out: []
     conditions:
       architecture-approved:
-        alignment: ==domain-model-verified
+        alignment: ==behavioral-spec-verified
         adr-compliance: ==adrs-respected
-      committed-to-main-locally:
-        committed-to-main-locally: ==verified
+      committed-to-dev-locally:
+        committed-to-dev-locally: ==verified
     next:
       approved:
         to: complete
         when:
           - architecture-approved
-          - committed-to-main-locally
+          - committed-to-dev-locally
       inconsistent: architecture-assessment
       needs-discovery: needs-discovery

.flowr/flows/branding-flow.yaml

@@ -1,5 +1,5 @@
 flow: branding-flow
-version: 3.0.0
+version: 4.0.0
 exits:
   - branded
   - cancelled
@@ -9,7 +9,7 @@ states:
     attrs:
       description: "Interview stakeholder to establish brand identity: personality, visual metaphor, wording, and release naming"
       owner: Design Agent
-      git: main
+      git: dev
       skills:
         - setup-branding
       in: []
@@ -26,7 +26,7 @@ states:
     attrs:
       description: "Select and validate a colour palette with WCAG contrast, dark-mode counterparts, and hue semantics"
       owner: Design Agent
-      git: main
+      git: dev
       skills:
         - design-colors
       in:
@@ -43,14 +43,20 @@ states:
     attrs:
       description: "Create logo and banner using favicon-first, monochrome-first, progressive-simplification process"
       owner: Design Agent
-      git: main
+      git: dev
       skills:
         - design-assets
       in:
         - branding.md
       out:
         - docs/assets/logo.svg
+        - docs/assets/logo-dark.svg
         - docs/assets/banner.svg
+        - docs/assets/favicon.ico
+        - docs/assets/icon.svg
+        - docs/assets/apple-touch-icon.png
+        - docs/assets/icon-192.png
+        - docs/assets/icon-512.png
     conditions:
       monochrome-passed:
         logo-monochrome: ==passes
@@ -59,7 +65,7 @@ states:
       blur-passed:
         logo-blur-test: ==passes
       assets-committed:
-        committed-to-main-locally: ==verified
+        committed-to-dev-locally: ==verified
     next:
       approved:
         to: branded
@@ -69,4 +75,4 @@ states:
           - blur-passed
           - assets-committed
       revise: design-assets
-      cancelled: cancelled
+      cancelled: cancelled

.flowr/flows/delivery-flow.yaml

@@ -1,5 +1,5 @@
 flow: delivery-flow
-version: 5.0.0
+version: 8.0.0
 params: [feature_id]
 
 exits:
@@ -20,9 +20,10 @@ states:
       in:
         - features/<feature_id>.feature
         - product_definition.md
+        - behavioral_spec.md
         - glossary.md
+        - "interview-notes/*.md"  # optional — for requirement traceability
       out:
-        - acceptance_evidence
         - approval_record
     conditions:
       feature-accepted:
@@ -35,9 +36,9 @@ states:
 
   - id: local-merge
     attrs:
-      description: "SE squash-merges feature commits into local main and resolves any conflicts"
+      description: "SE squash-merges feature commits into local dev branch and resolves any conflicts"
       owner: SE
-      git: main
+      git: dev
       skills:
         - merge-local
       in:
@@ -52,9 +53,9 @@ states:
 
   - id: publish-decision
     attrs:
-      description: "PO decides whether to publish the accumulated batch as a PR or continue accumulating features on local main"
+      description: "PO decides whether to publish the accumulated batch as a PR or continue accumulating features on local dev"
       owner: PO
-      git: main
+      git: dev
       skills:
         - decide-batch-action
       in:
@@ -66,9 +67,9 @@ states:
 
   - id: pr-creation
     attrs:
-      description: "SE creates an administrative PR for changes already on local main"
+      description: "SE creates an administrative PR for changes already on local dev"
       owner: SE
-      git: main
+      git: dev
       skills:
         - create-pr
       in:
@@ -84,4 +85,4 @@ states:
         to: next-feature
         when: merged
       changes-requested: needs-development
-      cancelled: cancelled
+      cancelled: cancelled

.flowr/flows/development-flow.yaml

@@ -1,5 +1,5 @@
 flow: development-flow
-version: 9.0.0
+version: 12.0.0
 params: [feature_id]
 exits:
   - done
@@ -15,6 +15,8 @@ states:
       in:
         - features/<feature_id>.feature
         - domain_model.md
+        - behavioral_spec.md
+        - simulation_results.md
         - glossary.md
         - product_definition.md
       out:
@@ -27,7 +29,7 @@ states:
       description: "SE implements the feature through repeated RED-GREEN-REFACTOR cycles until all BDD examples pass"
       git: feature
     flow: tdd-cycle-flow
-    flow-version: "^5"
+    flow-version: "^8"
     conditions:
       design-declared:
         yagni: ==no-premature-abstractions
@@ -37,14 +39,18 @@ states:
         smells: ==all-smells-addressed
         solid: ==principles-applied
         patterns: ==patterns-justified
+      traceability-verified:
+        beehave-check: ==passed
     next:
       all-green:
         to: review-gate
-        when: design-declared
+        when:
+          - design-declared
+          - traceability-verified
 
   - id: review-gate
     attrs:
-      description: "R independently verifies implementation across three tiers — design, structure, conventions — then commits the passing implementation with @id traceability"
+      description: "R independently verifies implementation across three tiers — design, structure, conventions — with traceability verified by beehave check"
       owner: R
       git: feature
       skills:
@@ -53,13 +59,31 @@ states:
         - test-implementations
         - source-implementations
         - features/<feature_id>.feature
+        - domain_model.md
+        - behavioral_spec.md
+        - "adr/*.md"  # optional
+      out: []
+    next:
+      pass: commit-reviewed
+      fail: tdd-cycle
+
+  - id: commit-reviewed
+    attrs:
+      description: "SE commits the passing implementation with traceability to Example titles"
+      owner: SE
+      git: feature
+      skills:
+        - commit-implementation
+      in:
+        - source-implementations
+        - test-implementations
+        - features/<feature_id>.feature
       out:
         - feature-commits
     conditions:
-      commit-gate:
+      committed:
         committed: ==verified
     next:
-      pass:
+      done:
         to: done
-        when: commit-gate
-      fail: tdd-cycle
+        when: committed