codecartographer-pi 0.9.1 → 0.11.0

package/.codecarto/GUIDE.md

@@ -55,8 +55,9 @@ Read these files in order before doing any analysis:
 1. This `GUIDE.md` (you are here — `.codecarto/GUIDE.md`).
 2. `workflow/status.yaml` to see which phases are done and what is next.
 3. The current phase's existing output file, if one exists (to avoid repeating work).
-4. The current phase's `SKILL.md` for detailed instructions on what to analyze and produce.
-5. The output template from `templates/` for the current phase (if starting a new output).
+4. `scratch/checkpoints/<phase>.md`, if present, to resume durable in-phase progress after compaction or interruption.
+5. The current phase's `SKILL.md` for detailed instructions on what to analyze and produce.
+6. The output template from `templates/` for the current phase (if starting a new output).
 
 All paths in this guide are relative to `.codecarto/` unless stated otherwise.
 
@@ -81,7 +82,7 @@ Some files in this workspace are **read-only instructions** and must not be modi
 | Conventions (orchestrator-maintained) | `CONVENTIONS.md` | Cross-cutting patterns promoted to project-wide invariants. Implementing sessions propose; the orchestrator writes. |
 | Decisions (orchestrator-maintained, append-only) | `DECISIONS.md` | Numbered log of decisions that diverge from spec, prompt, or obvious-default. Appended at session close. |
 | Backlog (read-write) | `BACKLOG.md` | Deferred items with rationale. |
-| Scratch (read-write) | `scratch/*` | Disposable working notes. |
+| Scratch (read-write) | `scratch/*` | Working notes; `scratch/checkpoints/<phase>.md` is the durable in-phase continuation checkpoint until the phase validates. |
 
 If you are uncertain whether a file should be modified, treat it as read-only.
 
@@ -158,8 +159,14 @@ Before beginning a phase, estimate how much source material you need to read. Fo
 - Read structural files first (manifests, entrypoints, READMEs) from the repository root (`../`).
 - Use the architecture map to prioritize which packages to read in detail.
 - Defer deep reads until the current phase actually needs them.
+- For long phases, update `scratch/checkpoints/<phase>.md` after each major subsystem or output section. Pi writes a phase-aware checkpoint automatically after phase compaction; other hosts should use `templates/phase-checkpoint.md` manually.
+- Every primary output must include `Coverage and limits`: inspected scope, skipped scope, evidence basis, known blind spots, and a `COMPLETE` or `PARTIAL` disposition.
 - If you are running low on context, finish the current section, write a PARTIAL validation, and document what remains in `open_questions` (truly unknown) or `carry_forward` (deferred to a specific later phase) in status.yaml. See "Open Questions vs Carry-Forward" below.
 
+### Synthesis compression boundary
+
+The porting bundle is the intentional compression boundary before `reimplementation-spec`. Its Source Index must preserve load-bearing claims, defect dispositions, coverage gaps, and exact pointers for targeted deep reads. The final synthesis phase reads the bundle by default; it opens architecture, contracts, protocols, or defect reports only when the bundle names a gap or conflict, an acceptance scenario needs omitted detail, a claim needs stronger evidence, or a defect disposition needs its rationale. If the bundle cannot support that selective workflow, mark validation `PARTIAL` instead of loading every upstream report by habit.
+
 ### Subagent Delegation for Large Codebases
 
 For codebases over roughly 50 source files or 100K LOC, do not burn primary context on bulk extraction work. Delegate dependency mapping, file inventories, manifest enumeration, and cross-document comparisons to subagents and cite their scratch artifacts (`scratch/<topic>.md`) from the primary output. The primary session reads the synthesized scratch note, not the raw walks. Bless this pattern explicitly so primary context stays for the load-bearing reasoning that the subagent can't do — naming layers, pinning invariants, classifying findings.

package/.codecarto/findings/porting/SKILL.md

@@ -7,6 +7,12 @@ description: Synthesize architecture, contracts, and protocol findings into a re
 
 This phase synthesizes the outputs of architecture, contracts, and protocols. If defect reports exist, also read and integrate them: `findings/defect-scan/defect-report.md` (full-with-audit pipeline) or both `findings/defect-scan-mechanical/mechanical-defects.md` and `findings/defect-scan-semantic/semantic-defects.md` (full-with-deep-audit pipeline). The pipeline ensures all required phases are complete before this one runs. Read the prior phase artifacts before starting.
 
+Treat the reverse-engineering bundle as the pipeline's intentional compression boundary. It must be self-sufficient enough for `reimplementation-spec` to start from this one artifact rather than loading every upstream report. Preserve compact source pointers instead of copying upstream prose:
+- Add a Source Index covering architecture, contracts, protocols/state, and defects when present.
+- Carry forward every load-bearing invariant, acceptance obligation, compatibility hazard, and defect disposition.
+- For omitted detail, name the canonical upstream section and the exact condition that should trigger a targeted deep read.
+- Surface conflicts and incomplete coverage explicitly; never hide them behind synthesis.
+
 The source code to analyze is in the parent directory (`../` relative to `.codecarto/`). This is the repository root.
 
 Keep four classes of findings separate throughout:
@@ -43,6 +49,7 @@ Use the output template at `templates/reverse-engineering-bundle.md`. Produce:
 - A protocol and state note set.
 - Portability hazards consolidated from all prior phases.
 - Observed facts separated from inferred structure.
+- A compact Source Index and explicit coverage gaps that let downstream synthesis deep-read selectively.
 
 Bias toward evidence over cleverness:
 - Prefer tests over assumptions.

package/.codecarto/findings/reimplementation-spec/SKILL.md

@@ -7,6 +7,14 @@ description: Convert reverse-engineering findings into a language-agnostic reimp
 
 Use this skill after the architecture, behavior, and protocol passes are complete enough to trust.
 
+Start with `findings/porting/reverse-engineering-bundle.md`; it is the default compression boundary for this phase. Do not load every lower-level finding automatically. Follow the bundle's Source Index and deep-read architecture, contracts, protocols, or defect reports only when:
+- the bundle names a gap or conflict,
+- an acceptance scenario needs detail the bundle deliberately omitted,
+- a load-bearing claim lacks enough evidence to state safely, or
+- a defect disposition needs its original rationale.
+
+Record those targeted deep reads in the spec's Coverage and limits section. If the bundle is not self-sufficient, mark the affected validation criterion PARTIAL and route the gap through `open_questions` or `carry_forward` rather than silently reconstructing the whole pipeline in context.
+
 Treat the source repo as evidence, not as a template.
 
 Define concept-level modules:
@@ -61,6 +69,8 @@ End with a spike list:
 - risky performance assumptions
 - platform-sensitive areas that need targeted tests
 
+For every defect in the bundle, preserve its disposition (`fix before porting`, `port differently`, or `leave behind`) and convert it into an explicit design consequence or acceptance check.
+
 Use the output template at `templates/reimplementation-spec.md`.
 
 The source code to analyze is in the parent directory (`../` relative to `.codecarto/`). This is the repository root.

package/.codecarto/templates/architecture-map.md

@@ -104,6 +104,14 @@
   logs, caches, databases, generated artifacts.
 -->
 
+## 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.
@@ -138,6 +146,7 @@
 | 3 | Public surfaces are identified. | PASS / PARTIAL / FAIL | |
 | 4 | Runtime lifecycle, concurrency model, and porting priorities are summarized. | 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/behavioral-contracts.md

@@ -91,6 +91,14 @@
 |---|----------|--------------|--------|------------------|
 | 1 | | | | |
 
+## 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.
@@ -129,6 +137,7 @@
 | 4 | Contract ownership is mapped back to a layer or package. | PASS / PARTIAL / FAIL | |
 | 5 | A black-box acceptance list is included. | PASS / PARTIAL / FAIL | |
 | 6 | Findings are marked with evidence levels. | PASS / PARTIAL / FAIL | |
+| 7 | 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/defect-report.md

@@ -99,6 +99,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 full pipeline.
@@ -111,6 +119,7 @@
 | 3 | Findings are organized by pass and sorted by severity. | PASS / PARTIAL / FAIL | |
 | 4 | Summary tables are complete and counts 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/mechanical-defects.md

@@ -88,6 +88,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 mechanical-pass scope. -->
@@ -99,6 +107,7 @@
 | 3 | Findings are organized by pass and sorted by severity. | PASS / PARTIAL / FAIL | |
 | 4 | Summary tables are complete and counts 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/phase-checkpoint.md

@@ -0,0 +1,41 @@
+---
+phase: <phase-id>
+updated_at: <ISO-8601 timestamp>
+source: manual | pi-compaction
+---
+
+# Phase checkpoint
+
+## Goal and output
+
+- Phase:
+- Primary output:
+- Current objective:
+
+## Evidence established
+
+<!-- Preserve evidence levels and exact source paths. -->
+
+## Files and subsystems inspected
+
+- Inspected:
+- Not yet inspected:
+
+## Output progress
+
+- Sections complete:
+- Sections remaining:
+
+## Open questions and carry-forward candidates
+
+- Open questions:
+- Carry-forward:
+
+## Validation gaps
+
+- Criteria satisfied:
+- Criteria at risk:
+
+## Exact next steps
+
+1.

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/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.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.