codecartographer-pi 0.10.0 → 0.12.0

package/.codecarto/templates/project-plan.md

@@ -0,0 +1,70 @@
+# Evidence-Backed Project Plan
+
+## Product definition
+
+## Scope
+
+### First executable slice
+
+### Subsequent increments
+
+### Non-goals
+
+## Target architecture
+
+| Component | Responsibility | Public boundary | Owned state and invariants | Provenance |
+|---|---|---|---|---|
+| | | | | |
+
+## Work packages
+
+| ID | Deliverable | Dependencies | Acceptance gate | Risk |
+|---|---|---|---|---|
+| WP-01 | | | | |
+
+## Implementation sequence
+
+| Order | Work package | Why now | Exit evidence |
+|---|---|---|---|
+| 1 | | | |
+
+## Acceptance plan
+
+| # | Scenario | Input or starting state | Observable result | Source |
+|---|---|---|---|---|
+| 1 | | | | |
+
+## Provenance ledger
+
+<!-- This is the differentiating contract of the synthesis pipeline. Every load-bearing decision should map to a confirmed spec, the product vision, or an explicit synthesis decision. -->
+
+| Decision ID | Plan decision | Source specification or vision section | Evidence level | Conflict status |
+|---|---|---|---|---|
+| D-01 | | | observed fact / strong inference / open question | none / resolved / open |
+
+## Conflict and unknowns register
+
+| ID | Issue | Disposition or owner | Blocking work package |
+|---|---|---|---|
+| | | | |
+
+## Coverage and limits
+
+- Inspected scope:
+- Skipped scope:
+- Evidence basis: vision | confirmed specifications | merged-spec | explicit synthesis decisions
+- Known blind spots:
+- Coverage disposition: COMPLETE | PARTIAL
+
+## Validation
+
+| # | Criterion | Result | Evidence |
+|---|---|---|---|
+| 1 | The plan defines coherent product scope, architecture, work packages, dependencies, and acceptance gates. | PASS / PARTIAL / FAIL | |
+| 2 | Each load-bearing plan decision is traceable through the provenance ledger. | PASS / PARTIAL / FAIL | |
+| 3 | Conflicts and unknowns remain visible with explicit dispositions. | PASS / PARTIAL / FAIL | |
+| 4 | The implementation sequence identifies an executable first slice. | PASS / PARTIAL / FAIL | |
+| 5 | Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots. | PASS / PARTIAL / FAIL | |
+
+**Validated by:** [session identifier or date]
+**Overall:** PASS / PASS WITH GAPS / FAIL

package/.codecarto/templates/proposal.md

@@ -0,0 +1,43 @@
+# Synthesis Proposal
+
+## Vision fit summary
+
+## Candidate specifications
+
+<!-- The first column is the human confirmation gate. Leave every candidate unchecked when first writing this proposal. The user changes selected rows from [ ] to [x]. Keep entry references exactly as shown in the phase prompt. -->
+
+| Confirm | Library entry | Version | Vision fit | Reusable capabilities | Likely conflicts or costs |
+|---|---|---|---|---|---|
+| [ ] | `namespace/entry-slug` | v1 | | | |
+
+## Capability coverage
+
+| Vision need | Candidate coverage | Gap or decision |
+|---|---|---|
+| | | |
+
+## Recommendation
+
+## Confirmation instructions
+
+Review the candidates above. Change at least one `[ ]` to `[x]`, save this file, and then continue the pipeline. CodeCartographer will refuse to merge or finalize until a selection is explicitly confirmed.
+
+## Coverage and limits
+
+- Inspected scope:
+- Skipped scope:
+- Evidence basis: library metadata | vision | targeted specification reads
+- Known blind spots:
+- Coverage disposition: COMPLETE | PARTIAL
+
+## Validation
+
+| # | Criterion | Result | Evidence |
+|---|---|---|---|
+| 1 | Candidate library entries are ranked against explicit vision needs. | PASS / PARTIAL / FAIL | |
+| 2 | Inclusion benefits, likely conflicts, and missing capabilities are stated for every candidate. | PASS / PARTIAL / FAIL | |
+| 3 | At least one entry is presented with an unchecked human-confirmation box. | PASS / PARTIAL / FAIL | |
+| 4 | Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots. | PASS / PARTIAL / FAIL | |
+
+**Validated by:** [session identifier or date]
+**Overall:** PASS / PASS WITH GAPS / FAIL

package/.codecarto/templates/protocols-and-state.md

@@ -86,6 +86,14 @@
 |---|---|---|---|
 | | | | |
 
+## Coverage and limits
+
+- Inspected scope:
+- Skipped scope:
+- Evidence basis: source inspection | tests | runtime verification | upstream findings
+- Known blind spots:
+- Coverage disposition: COMPLETE | PARTIAL
+
 ## Open Questions
 
 <!-- Items that are still genuinely unknown — need a runtime test, maintainer decision, or spec ruling.
@@ -121,6 +129,7 @@
 | 3 | Persistent schema notes are documented. | PASS / PARTIAL / FAIL | |
 | 4 | Compatibility hazards are documented. | PASS / PARTIAL / FAIL | |
 | 5 | Findings are marked with evidence levels. | PASS / PARTIAL / FAIL | |
+| 6 | Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots. | PASS / PARTIAL / FAIL | |
 
 **Validated by:** [session identifier or date]
 **Overall:** PASS / PASS WITH GAPS / FAIL

package/.codecarto/templates/reimplementation-spec-opinionated.md

@@ -146,6 +146,14 @@
   integrations that will be stubbed first.
 -->
 
+## Coverage and limits
+
+- Inspected scope:
+- Skipped scope:
+- Evidence basis: source inspection | tests | runtime verification | upstream findings
+- Known blind spots:
+- Coverage disposition: COMPLETE | PARTIAL
+
 ## Known Unknowns
 
 <!-- Items that are still genuinely unknown — need a prototype, runtime test, maintainer decision,
@@ -178,6 +186,8 @@
 | 3 | Protocol and persisted state expectations are stated. | PASS / PARTIAL / FAIL | |
 | 4 | Acceptance scenarios and known unknowns are included. | PASS / PARTIAL / FAIL | |
 | 5 | Findings are marked with evidence levels. | PASS / PARTIAL / FAIL | |
+| 6 | Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots. | PASS / PARTIAL / FAIL | |
+| 7 | Lower-level findings are deep-read only when the porting bundle identifies a gap, conflict, missing acceptance detail, or defect rationale. | PASS / PARTIAL / FAIL | |
 
 **Validated by:** [session identifier or date]
 **Overall:** PASS / PASS WITH GAPS / FAIL

package/.codecarto/templates/reimplementation-spec.md

@@ -99,6 +99,14 @@
   integrations that will be stubbed first.
 -->
 
+## Coverage and limits
+
+- Inspected scope:
+- Skipped scope:
+- Evidence basis: source inspection | tests | runtime verification | upstream findings
+- Known blind spots:
+- Coverage disposition: COMPLETE | PARTIAL
+
 ## Known Unknowns
 
 <!-- Items that are still genuinely unknown — need a prototype, runtime test, maintainer decision, or spec ruling.
@@ -143,6 +151,8 @@
 | 3 | Protocol and persisted state expectations are stated. | PASS / PARTIAL / FAIL | |
 | 4 | Acceptance scenarios and known unknowns are included. | PASS / PARTIAL / FAIL | |
 | 5 | Findings are marked with evidence levels. | PASS / PARTIAL / FAIL | |
+| 6 | Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots. | PASS / PARTIAL / FAIL | |
+| 7 | Lower-level findings are deep-read only when the porting bundle identifies a gap, conflict, missing acceptance detail, or defect rationale. | PASS / PARTIAL / FAIL | |
 
 **Validated by:** [session identifier or date]
 **Overall:** PASS / PASS WITH GAPS / FAIL

package/.codecarto/templates/reverse-engineering-bundle.md

@@ -10,6 +10,22 @@
 
 <!-- One to three paragraphs summarizing the system in plain language, aimed at someone who will reimplement it. -->
 
+## Source Index
+
+<!--
+  This bundle is the default compression boundary for reimplementation-spec.
+  Point to the canonical upstream section for every load-bearing claim. A later
+  phase should deep-read an upstream report only when this index identifies a
+  gap, conflict, or detail that cannot be represented responsibly here.
+-->
+
+| Area | Canonical upstream section | Summary carried forward | Deep-read trigger |
+|---|---|---|---|
+| Architecture | | | |
+| Contracts | | | |
+| Protocols and state | | | |
+| Defects (if scanned) | | | |
+
 ## Layer Map With Ownership
 
 <!--
@@ -68,9 +84,9 @@
   re-list every finding. Keep it under one screen.
 -->
 
-| Defect ID | Source Report | One-line Description | Severity | Porting Recommendation |
-|-----------|---------------|----------------------|----------|------------------------|
-| | | | | fix before porting / port differently / leave behind |
+| Defect ID | Source Report | One-line Description | Severity | Disposition | Required design consequence |
+|-----------|---------------|----------------------|----------|-------------|-----------------------------|
+| | | | | fix before porting / port differently / leave behind | |
 
 ## Observed Facts vs. Inferred Structure
 
@@ -101,6 +117,14 @@
 |---|---|---|
 | | | |
 
+## Coverage and limits
+
+- Inspected scope:
+- Skipped scope:
+- Evidence basis: source inspection | tests | runtime verification | upstream findings
+- Known blind spots:
+- Coverage disposition: COMPLETE | PARTIAL
+
 ## Open Questions
 
 <!-- Items that are still genuinely unknown — need a runtime test, maintainer decision, or spec ruling.
@@ -136,6 +160,8 @@
 | 3 | Feature importance is sorted for porting. | PASS / PARTIAL / FAIL | |
 | 4 | Known defects are referenced in the Defect Synthesis with porting recommendations (fix before porting / port differently / leave behind), or the section explicitly notes that no defect scan ran. | PASS / PARTIAL / FAIL | |
 | 5 | Findings are marked with evidence levels. | PASS / PARTIAL / FAIL | |
+| 6 | Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots. | PASS / PARTIAL / FAIL | |
+| 7 | The Source Index makes the bundle a self-contained compression boundary and identifies targeted deep-read triggers. | PASS / PARTIAL / FAIL | |
 
 **Validated by:** [session identifier or date]
 **Overall:** PASS / PASS WITH GAPS / FAIL

package/.codecarto/templates/semantic-defects.md

@@ -93,6 +93,14 @@
 
 ---
 
+## Coverage and limits
+
+- Inspected scope:
+- Skipped scope:
+- Evidence basis: source inspection | tests | runtime verification | upstream findings
+- Known blind spots:
+- Coverage disposition: COMPLETE | PARTIAL
+
 ## Validation
 
 <!-- Fill in this table per workflow/VALIDATE.md. The rows below match the semantic-pass scope. -->
@@ -104,6 +112,7 @@
 | 3 | Pass 5 findings cite the contract or protocol reference they violate. | PASS / PARTIAL / FAIL | |
 | 4 | Findings are organized by pass and sorted by severity; summary tables match the detailed findings. | PASS / PARTIAL / FAIL | |
 | 5 | Findings are marked with evidence levels. | PASS / PARTIAL / FAIL | |
+| 6 | Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots. | PASS / PARTIAL / FAIL | |
 
 **Validated by:** [session identifier or date]
 **Overall:** PASS / PASS WITH GAPS / FAIL

package/.codecarto/templates/vision.md

@@ -0,0 +1,63 @@
+# Product Vision
+
+## Problem and audience
+
+- Target audience:
+- Problem to solve:
+- Why existing approaches are insufficient:
+
+## Desired outcomes
+
+| Outcome | User-visible evidence | Priority |
+|---|---|---|
+| | | P0 / P1 / P2 |
+
+## Product boundaries
+
+### In scope
+
+### Non-goals
+
+## Constraints
+
+| Constraint | Source | Consequence |
+|---|---|---|
+| | user-stated / inferred | |
+
+## Success measures
+
+| Measure | Target | How it will be observed |
+|---|---|---|
+| | | |
+
+## Acceptance scenarios
+
+| # | Actor and starting state | Action | Observable outcome |
+|---|---|---|---|
+| 1 | | | |
+
+## Assumptions and unresolved decisions
+
+| ID | Type | Statement | Resolution needed |
+|---|---|---|---|
+| | assumption / decision | | |
+
+## Coverage and limits
+
+- Inspected scope:
+- Skipped scope:
+- Evidence basis: user vision | supplied documents | inference
+- Known blind spots:
+- Coverage disposition: COMPLETE | PARTIAL
+
+## Validation
+
+| # | Criterion | Result | Evidence |
+|---|---|---|---|
+| 1 | The target audience, problem, outcomes, constraints, and non-goals are explicit. | PASS / PARTIAL / FAIL | |
+| 2 | Success measures and acceptance scenarios are testable. | PASS / PARTIAL / FAIL | |
+| 3 | Assumptions and unresolved decisions are separated from confirmed intent. | PASS / PARTIAL / FAIL | |
+| 4 | Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots. | PASS / PARTIAL / FAIL | |
+
+**Validated by:** [session identifier or date]
+**Overall:** PASS / PASS WITH GAPS / FAIL

package/.codecarto/workflow/pipeline-architecture-only.yaml

@@ -32,6 +32,7 @@ phases:
       - Public surfaces are identified.
       - Runtime lifecycle, concurrency model, and porting priorities are summarized.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.

package/.codecarto/workflow/pipeline-defect-scan.yaml

@@ -33,6 +33,7 @@ phases:
       - Public surfaces are identified.
       - Runtime lifecycle, concurrency model, and porting priorities are summarized.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -55,6 +56,7 @@ phases:
       - Findings are organized by pass and sorted by severity.
       - Summary tables are complete and counts match the detailed findings.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.

package/.codecarto/workflow/pipeline-full-with-audit.yaml

@@ -37,6 +37,7 @@ phases:
       - Public surfaces are identified.
       - Runtime lifecycle, concurrency model, and porting priorities are summarized.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -59,6 +60,7 @@ phases:
       - Findings are organized by pass and sorted by severity.
       - Summary tables are complete and counts match the detailed findings.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -90,6 +92,7 @@ phases:
       - Contract ownership is mapped back to a layer or package.
       - A black-box acceptance list is included.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -120,6 +123,7 @@ phases:
       - Persistent schema notes are documented.
       - Compatibility hazards are documented.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -157,6 +161,8 @@ phases:
       - Feature importance is sorted for porting.
       - Known defects are referenced with porting recommendations (fix before porting / port differently / leave behind).
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
+      - The Source Index makes the bundle a self-contained compression boundary and identifies targeted deep-read triggers.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -172,9 +178,6 @@ phases:
     required_reads:
       - GUIDE.md
       - workflow/status.yaml
-      - findings/architecture/architecture-map.md
-      - findings/contracts/behavioral-contracts.md
-      - findings/protocols/protocols-and-state.md
       - findings/porting/reverse-engineering-bundle.md
     completion_criteria:
       - Concept-level modules are defined.
@@ -182,6 +185,8 @@ phases:
       - Protocol and persisted state expectations are stated.
       - Acceptance scenarios and known unknowns are included.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
+      - Lower-level findings are deep-read only when the porting bundle identifies a gap, conflict, missing acceptance detail, or defect rationale.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.

package/.codecarto/workflow/pipeline-full-with-deep-audit.yaml

@@ -38,6 +38,7 @@ phases:
       - Public surfaces are identified.
       - Runtime lifecycle, concurrency model, and porting priorities are summarized.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -61,6 +62,7 @@ phases:
       - Summary tables are complete and counts match the detailed findings.
       - Items spotted that are actually semantic in nature are routed to defect-scan-semantic via carry_forward in workflow/status.yaml.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -93,6 +95,7 @@ phases:
       - Contract ownership is mapped back to a layer or package.
       - A black-box acceptance list is included.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -124,6 +127,7 @@ phases:
       - Persistent schema notes are documented.
       - Compatibility hazards are documented.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -153,6 +157,7 @@ phases:
       - Findings are organized by pass and sorted by severity; summary tables match the detailed findings.
       - Any carry_forward entries that targeted defect-scan-semantic have been resolved or explicitly re-routed.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -193,6 +198,8 @@ phases:
       - Feature importance is sorted for porting.
       - Defect Synthesis consolidates mechanical-defects.md and semantic-defects.md with porting recommendations (fix before porting / port differently / leave behind).
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
+      - The Source Index makes the bundle a self-contained compression boundary and identifies targeted deep-read triggers.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -208,12 +215,7 @@ phases:
     required_reads:
       - GUIDE.md
       - workflow/status.yaml
-      - findings/architecture/architecture-map.md
-      - findings/contracts/behavioral-contracts.md
-      - findings/protocols/protocols-and-state.md
       - findings/porting/reverse-engineering-bundle.md
-      - findings/defect-scan-mechanical/mechanical-defects.md
-      - findings/defect-scan-semantic/semantic-defects.md
     completion_criteria:
       - Concept-level modules are defined.
       - Required behaviors are stated.
@@ -221,6 +223,8 @@ phases:
       - Acceptance scenarios and known unknowns are included.
       - Defects identified in either scan are explicitly designed-around or noted as "left behind", with the choice cited.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
+      - Lower-level findings are deep-read only when the porting bundle identifies a gap, conflict, missing acceptance detail, or defect rationale.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.

package/.codecarto/workflow/pipeline-lite.yaml

@@ -34,6 +34,7 @@ phases:
       - Public surfaces are identified.
       - Runtime lifecycle, concurrency model, and porting priorities are summarized.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -64,6 +65,7 @@ phases:
       - Contract ownership is mapped back to a layer or package.
       - A black-box acceptance list is included.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -94,6 +96,7 @@ phases:
       - Persistent schema notes are documented.
       - Compatibility hazards are documented.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.

package/.codecarto/workflow/pipeline-synthesis.yaml

@@ -0,0 +1,105 @@
+workflow_name: evidence-backed-project-synthesis
+workflow_version: 1
+workflow_goal: Combine a product vision with confirmed library specifications into a provenance-preserving implementation plan.
+source_location: ../
+validation_protocol: workflow/VALIDATE.md
+phase_order:
+  - vision-capture
+  - goal-synthesis-propose
+  - spec-merge
+  - goal-synthesis-finalize
+phases:
+  - id: vision-capture
+    purpose: Turn the user's product intent into a bounded, testable vision without prematurely selecting source specifications.
+    skill_path: findings/vision-capture/SKILL.md
+    output_template: templates/vision.md
+    depends_on: []
+    primary_output: findings/vision-capture/vision.md
+    secondary_outputs: []
+    required_reads:
+      - GUIDE.md
+      - workflow/status.yaml
+    preflight:
+      - requires-vision-input
+    completion_criteria:
+      - The target audience, problem, outcomes, constraints, and non-goals are explicit.
+      - Success measures and acceptance scenarios are testable.
+      - Assumptions and unresolved decisions are separated from confirmed intent.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
+    handoff_requirements:
+      - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
+      - Write the canonical phase handoff; do not edit workflow state directly.
+  - id: goal-synthesis-propose
+    purpose: Shortlist library specifications against the vision and pause for explicit human confirmation.
+    skill_path: findings/goal-synthesis-propose/SKILL.md
+    output_template: templates/proposal.md
+    depends_on:
+      - vision-capture
+    primary_output: findings/goal-synthesis/proposal.md
+    secondary_outputs: []
+    required_reads:
+      - GUIDE.md
+      - workflow/status.yaml
+      - findings/vision-capture/vision.md
+    preflight:
+      - requires-library
+    completion_criteria:
+      - Candidate library entries are ranked against explicit vision needs.
+      - Inclusion benefits, likely conflicts, and missing capabilities are stated for every candidate.
+      - At least one entry is presented with an unchecked human-confirmation box.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
+    handoff_requirements:
+      - Stop after writing the proposal; the user confirms selections by changing one or more [ ] boxes to [x].
+      - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
+      - Write the canonical phase handoff; do not edit workflow state directly.
+  - id: spec-merge
+    purpose: Merge only the human-confirmed specifications into a normalized, conflict-explicit intermediate.
+    skill_path: findings/spec-merge/SKILL.md
+    output_template: templates/merged-spec.md
+    depends_on:
+      - goal-synthesis-propose
+    primary_output: findings/spec-merge/merged-spec.md
+    secondary_outputs: []
+    required_reads:
+      - GUIDE.md
+      - workflow/status.yaml
+      - findings/vision-capture/vision.md
+      - findings/goal-synthesis/proposal.md
+    preflight:
+      - requires-library
+      - requires-confirmed-proposal
+    completion_criteria:
+      - Only human-confirmed library entries are merged.
+      - Capabilities, invariants, constraints, and acceptance behavior are normalized by concept rather than copied by source structure.
+      - Conflicts, gaps, and chosen dispositions are explicit.
+      - Every load-bearing merged claim has a provenance reference.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
+    handoff_requirements:
+      - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
+      - Write the canonical phase handoff; do not edit workflow state directly.
+  - id: goal-synthesis-finalize
+    purpose: Transform the confirmed vision and merged specifications into an implementation-ready project plan with a provenance ledger.
+    skill_path: findings/goal-synthesis-finalize/SKILL.md
+    output_template: templates/project-plan.md
+    depends_on:
+      - spec-merge
+    primary_output: findings/goal-synthesis/project-plan.md
+    secondary_outputs: []
+    required_reads:
+      - GUIDE.md
+      - workflow/status.yaml
+      - findings/vision-capture/vision.md
+      - findings/goal-synthesis/proposal.md
+      - findings/spec-merge/merged-spec.md
+    preflight:
+      - requires-library
+      - requires-confirmed-proposal
+    completion_criteria:
+      - The plan defines coherent product scope, architecture, work packages, dependencies, and acceptance gates.
+      - Each load-bearing plan decision is traceable through the provenance ledger.
+      - Conflicts and unknowns remain visible with explicit dispositions.
+      - The implementation sequence identifies an executable first slice.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
+    handoff_requirements:
+      - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
+      - Write the canonical phase handoff; do not edit workflow state directly.

package/.codecarto/workflow/pipeline.yaml

@@ -36,6 +36,7 @@ phases:
       - Public surfaces are identified.
       - Runtime lifecycle, concurrency model, and porting priorities are summarized.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -67,6 +68,7 @@ phases:
       - Contract ownership is mapped back to a layer or package.
       - A black-box acceptance list is included.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -97,6 +99,7 @@ phases:
       - Persistent schema notes are documented.
       - Compatibility hazards are documented.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -132,6 +135,8 @@ phases:
       - Portability hazards and open questions are separated from facts.
       - Feature importance is sorted for porting.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
+      - The Source Index makes the bundle a self-contained compression boundary and identifies targeted deep-read triggers.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.
@@ -147,9 +152,6 @@ phases:
     required_reads:
       - GUIDE.md
       - workflow/status.yaml
-      - findings/architecture/architecture-map.md
-      - findings/contracts/behavioral-contracts.md
-      - findings/protocols/protocols-and-state.md
       - findings/porting/reverse-engineering-bundle.md
     completion_criteria:
       - Concept-level modules are defined.
@@ -157,6 +159,8 @@ phases:
       - Protocol and persisted state expectations are stated.
       - Acceptance scenarios and known unknowns are included.
       - Findings are marked with evidence levels.
+      - Coverage and limits name inspected scope, skipped scope, evidence basis, and blind spots.
+      - Lower-level findings are deep-read only when the porting bundle identifies a gap, conflict, missing acceptance detail, or defect rationale.
     handoff_requirements:
       - Run validation per workflow/VALIDATE.md. Append validation block to primary output.
       - Update workflow/status.yaml.