Skip to content

fix(prompts): add override and CI report contracts - #70

Merged
ainetx merged 3 commits into
mainfrom
fix-prompts-fixers
Jul 24, 2026
Merged

fix(prompts): add override and CI report contracts#70
ainetx merged 3 commits into
mainfrom
fix-prompts-fixers

Conversation

@ainetx

@ainetx ainetx commented Jul 24, 2026

Copy link
Copy Markdown
Collaborator

Summary by CodeRabbit

  • New Features
    • Added support for creating or revising multiple instruction files in one pass.
    • Improved blocked next-action menus with ordered suggestions and deterministic option numbering.
    • Expanded fix override eligibility with stronger assumption recording.
  • Bug Fixes
    • Made CI and reporting more deterministic by enforcing consistent deterministic findings outputs (including zero-findings cases).
    • Tightened blocked-report, findings rendering, and completion behavior to preserve ordering, required fields, and edge-case defaults.
  • Behavior Changes
    • Refined docs/skills completion to emit canonical completion envelopes and route deterministically for remaining findings, blockers, and manual verification.

Signed-off-by: ainetx <viator@via-net.org>
Co-authored-by: Constructor Studio <291158726+constructor-studio[bot]@users.noreply.github.com>
Studio-Generated-By: Constructor Studio
Studio-Source-Repo: https://github.com/constructorfabric/studio
Constructor-Fabric: https://github.com/constructorfabric
Studio-Version: skill=1.0.0
Studio-Workflows: cf-prompting-planning,cf-explore,cf-prompting-gen,cf-prompting-ci,cf-prompting-review,cf-prompting-fix,cf-git-commit
@coderabbitai

coderabbitai Bot commented Jul 24, 2026

Copy link
Copy Markdown

Review Change Stack

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: af57aab8-3467-49cc-97ec-8625aa7ed4f9

📥 Commits

Reviewing files that changed from the base of the PR and between c536e4a and f936b9e.

📒 Files selected for processing (1)
  • skills/studio/modules/coding-review-fix.md
🚧 Files skipped from review as they are similar to previous changes (1)
  • skills/studio/modules/coding-review-fix.md

📝 Walkthrough

Walkthrough

The PR updates multi-file PDSL authoring, prerequisite override and blocked-report routing, deterministic CI findings outputs, coding-fix terminal outcomes, and canonical completion envelopes based on actual written paths.

Changes

Workflow contracts and completion flows

Layer / File(s) Summary
Multi-file PDSL authoring
skills/studio/agents/cf-pdsl-author.md
Author manifests support multiple ordered written paths and require every changed canonical source path.
Deterministic findings reporting
skills/studio/modules/runtime/findings-render.md, skills/studio/modules/runtime/ci-report-render.md, workflows/*-ci.md, workflows/prompting-fix.md
CI and post-fix flows render deterministic findings reports, preserve zero-findings lists, and require deterministic-report plus ci-findings outputs.
Override and blocked-prerequisite routing
skills/studio/modules/runtime/assumption-override.md, skills/studio/modules/runtime/blocked-report.md, skills/studio/modules/runtime/blocked-next-actions.md, skills/studio/modules/runtime/thin-skill-contracts.md, workflows/*-fix.md, workflows/kit-fix.md, workflows/kit-ci.md
Fix workflows classify missing artifacts, authorize explicit overrides with recorded assumptions, or produce machine-readable blocked reports.
Review-fix terminal outcomes
skills/studio/modules/coding-review-fix.md
Fix outcomes route separately for remaining findings, deterministic blockers, and manual verification, with assumption-aware completion output.
Canonical completion envelopes
skills/studio/modules/write-docs-completion.md, skills/studio/modules/write-skills-completion.md
Completion units derive artifacts from actual written paths and emit conditional status, report, assumption, and next-action fields.

Estimated code review effort: 3 (Moderate) | ~25 minutes

Sequence Diagram(s)

sequenceDiagram
  participant FixWorkflow
  participant AssumptionOverrideContract
  participant FindingsRenderContract
  participant CompletionUnit
  FixWorkflow->>AssumptionOverrideContract: validate override and record assumptions
  FixWorkflow->>FindingsRenderContract: render deterministic findings outputs
  FindingsRenderContract-->>FixWorkflow: return ci-findings and report outputs
  FixWorkflow->>CompletionUnit: provide written paths and report outputs
  CompletionUnit-->>FixWorkflow: emit canonical completion envelope
Loading

Possibly related issues

Possibly related PRs

🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Description Check ✅ Passed Check skipped - CodeRabbit’s high-level summary is enabled.
Title check ✅ Passed The title is concise and broadly matches the PR’s main theme: adding override handling and CI/report contract updates.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch fix-prompts-fixers

Comment @coderabbitai help to get the list of available commands.

@code-ranker-app

code-ranker-app Bot commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

code-ranker View diff report ↗

🤖 Prompt for fix all with AI
Run `code-ranker check --top 1` and follow instructions to fix error. Loop until no errors left.

baseline main @d311018 2026-07-24 03:37 UTC · updated 2026-07-24 03:44 UTC

@coderabbitai coderabbitai Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 9

🤖 Prompt for all review comments with AI agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

Inline comments:
In `@skills/studio/modules/coding-review-fix.md`:
- Around line 42-46: Reorder and tighten the continuation branches in the
review-fix flow so applied fixes cannot complete while findings remain or
GATE_STATUS is fail. Update CodingReviewOrFixComplete to require zero remaining
findings and a non-failing gate, and route remaining findings, deterministic
blockers, and the unset-gate manual-verification state before completion,
ensuring the manual-verification branch remains reachable regardless of
REVIEW_LOOP_REQUESTED.

In `@skills/studio/modules/runtime/blocked-report.md`:
- Around line 23-25: Update the missing_artifacts contract to include a
canonical artifact_or_gate identifier, or explicitly designate artifact_type as
its canonical alias. Ensure every producer of missing_artifacts populates that
identifier consistently so explicit overrides can target exact blocked artifacts
or gates.
- Around line 33-35: Clarify the suggested_next_skills precedence rules: when
the caller supplies an explicit suggested_next_skills list, preserve and use its
ordering for the primary recommendation; derive the list from the union of
missing_artifacts[].suggested_producers only when no explicit list is supplied.
Update the related requirement that currently mandates the union-derived
producer as the first entry.

In `@skills/studio/modules/write-docs-completion.md`:
- Around line 13-15: Update the completion-path handling in
skills/studio/modules/write-docs-completion.md (lines 13-15, with the related
emission logic at lines 21-23) and
skills/studio/modules/write-skills-completion.md (lines 13-15, with the related
emission logic at lines 23-25) to treat an empty path list, including [], as
unconfirmed. Require COMPLETION_PATHS_WRITTEN to be non-empty before setting
COMPLETION_PATHS_CONFIRMED or emitting doc-changes/skill-changes.

In `@workflows/coding-ci.md`:
- Line 63: Replace the ambiguous nested FINDINGS_REPORT.report_outputs
references with an explicit merge of the structured deterministic-report entry
and the top-level report_outputs state. Apply this in workflows/coding-ci.md:63,
workflows/documenting-ci.md:56, workflows/prompting-ci.md:66, and
workflows/prompting-fix.md:112, preserving the rendered ci-findings descriptor
in each terminal or post-fix validation payload.

In `@workflows/coding-fix.md`:
- Around line 59-61: Remove the REVIEW_FINDINGS_REMAINING == 0 condition from
the missing review-findings artifact rules in workflows/coding-fix.md lines
59-61 and workflows/documenting-fix.md lines 58-60, so supported zero-findings
reports are not classified as missing. Keep relevant-files-map validation
independent, requiring it whenever REVIEW_TARGET_PATHS is unset and findings are
supported with remaining findings.

In `@workflows/prompting-fix.md`:
- Around line 55-58: The REVIEW_FINDINGS_REPORT_STATE rules must require a
canonical review-findings report before setting supported. Remove or tighten the
fallback rules so objects with findings lists or arbitrary lists are not
accepted unless ReviewFindingsReport.report_type is review-findings; preserve
the unsupported fallback for non-unset reports that fail this validation.
- Around line 59-64: Ensure the missing_artifacts logic always includes a
non-overridable relevant-files-map whenever REVIEW_TARGET_PATHS is unset,
including when the findings report is missing, unsupported, or empty. Update the
affected conditional branches so an overridable review-findings entry cannot
activate FIX_PREREQUISITE_OVERRIDE_ACTIVE without the required target scope,
while preserving the existing findings-report requirements.
- Around line 68-69: Update the override-assumption setup near
FIX_PREREQUISITE_OVERRIDE_ACTIVE and AssumptionOverrideContract so the required
degraded-scope assumption is always appended whenever the override is active,
regardless of whether ASSUMPTIONS is unset, empty, or already populated.
Preserve existing assumptions and ensure the appended entry includes the
required artifact_or_gate, summary, and risk fields before running
AssumptionOverrideContract.
🪄 Autofix (Beta)

Fix all unresolved CodeRabbit comments on this PR:

  • Push a commit to this branch (recommended)
  • Create a new PR with the fixes

ℹ️ Review info
⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: fcf79150-9928-481e-b31d-4478f59320c1

📥 Commits

Reviewing files that changed from the base of the PR and between 36e7861 and e437748.

📒 Files selected for processing (18)
  • skills/studio/agents/cf-pdsl-author.md
  • skills/studio/modules/coding-review-fix.md
  • skills/studio/modules/runtime/assumption-override.md
  • skills/studio/modules/runtime/blocked-next-actions.md
  • skills/studio/modules/runtime/blocked-report.md
  • skills/studio/modules/runtime/ci-report-render.md
  • skills/studio/modules/runtime/findings-render.md
  • skills/studio/modules/runtime/thin-skill-contracts.md
  • skills/studio/modules/write-docs-completion.md
  • skills/studio/modules/write-skills-completion.md
  • workflows/coding-ci.md
  • workflows/coding-fix.md
  • workflows/documenting-ci.md
  • workflows/documenting-fix.md
  • workflows/kit-ci.md
  • workflows/kit-fix.md
  • workflows/prompting-ci.md
  • workflows/prompting-fix.md

Comment thread skills/studio/modules/coding-review-fix.md Outdated
Comment thread skills/studio/modules/runtime/blocked-report.md
Comment thread skills/studio/modules/runtime/blocked-report.md Outdated
Comment thread skills/studio/modules/write-docs-completion.md Outdated
Comment thread workflows/coding-ci.md Outdated
Comment thread workflows/coding-fix.md Outdated
Comment thread workflows/prompting-fix.md Outdated
Comment thread workflows/prompting-fix.md Outdated
Comment thread workflows/prompting-fix.md
Signed-off-by: ainetx <viator@via-net.org>
Co-authored-by: Constructor Studio <291158726+constructor-studio[bot]@users.noreply.github.com>
Studio-Generated-By: Constructor Studio
Studio-Source-Repo: https://github.com/constructorfabric/studio
Constructor-Fabric: https://github.com/constructorfabric
Studio-Version: skill=1.0.0
Studio-Workflows: cf-prompting-review,cf-prompting-fix,cf-prompting-ci,cf-git-commit

@coderabbitai coderabbitai Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 1

Caution

Some comments are outside the diff and can’t be posted inline due to platform limitations.

⚠️ Outside diff range comments (1)
skills/studio/modules/coding-review-fix.md (1)

63-69: 🗄️ Data Integrity & Integration | 🟠 Major | ⚡ Quick win

Pass the reviewed scope into the deterministic-blocker next action.

The shared fix-outcome contract requires deterministic-blocker routing to provide the domain CI skill with REVIEW_TARGET_PATHS, REVIEW_TARGET_SLICES, and gate/validation status. Calling NextActionsOffer with only cf-coding-ci can rerun CI without the correct review scope.

Proposed contract-aligned change
-  RUN NextActionsOffer with cf-coding-ci marked (suggested)
+  SET NEXT_ACTION_PINNED_SKILL = cf-coding-ci
+  SET NEXT_ACTION_PAYLOAD = REVIEW_TARGET_PATHS, REVIEW_TARGET_SLICES, GATE_STATUS
+  RUN NextActionsOffer
🤖 Prompt for AI Agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

In `@skills/studio/modules/coding-review-fix.md` around lines 63 - 69, Update UNIT
CodingReviewFixOutcomeDeterministicBlockers so its NextActionsOffer invocation
passes the reviewed scope through REVIEW_TARGET_PATHS and REVIEW_TARGET_SLICES,
along with the applicable gate and validation status, while retaining
cf-coding-ci as suggested and the existing blocker summary behavior.
🤖 Prompt for all review comments with AI agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

Inline comments:
In `@skills/studio/modules/coding-review-fix.md`:
- Around line 38-46: Add an explicit fallback after the
REVIEW_FINDINGS_REMAINING continuation branches in
CodingReviewFixOutcomeRemainingFindings: when the count remains unset because
the fix manifest and post-fix resolution payload are missing or malformed, route
execution to the existing blocked or verification-failure outcome instead of
allowing the workflow to stall.

---

Outside diff comments:
In `@skills/studio/modules/coding-review-fix.md`:
- Around line 63-69: Update UNIT CodingReviewFixOutcomeDeterministicBlockers so
its NextActionsOffer invocation passes the reviewed scope through
REVIEW_TARGET_PATHS and REVIEW_TARGET_SLICES, along with the applicable gate and
validation status, while retaining cf-coding-ci as suggested and the existing
blocker summary behavior.
🪄 Autofix (Beta)

Fix all unresolved CodeRabbit comments on this PR:

  • Push a commit to this branch (recommended)
  • Create a new PR with the fixes

ℹ️ Review info
⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: 53034f94-7767-4708-938a-37927a986605

📥 Commits

Reviewing files that changed from the base of the PR and between e437748 and c536e4a.

📒 Files selected for processing (10)
  • skills/studio/modules/coding-review-fix.md
  • skills/studio/modules/runtime/blocked-report.md
  • skills/studio/modules/write-docs-completion.md
  • skills/studio/modules/write-skills-completion.md
  • workflows/coding-ci.md
  • workflows/coding-fix.md
  • workflows/documenting-ci.md
  • workflows/documenting-fix.md
  • workflows/prompting-ci.md
  • workflows/prompting-fix.md
🚧 Files skipped from review as they are similar to previous changes (8)
  • workflows/coding-ci.md
  • skills/studio/modules/write-skills-completion.md
  • workflows/coding-fix.md
  • workflows/prompting-ci.md
  • skills/studio/modules/runtime/blocked-report.md
  • skills/studio/modules/write-docs-completion.md
  • workflows/documenting-fix.md
  • workflows/prompting-fix.md

Comment thread skills/studio/modules/coding-review-fix.md
Signed-off-by: ainetx <viator@via-net.org>
Co-authored-by: Constructor Studio <291158726+constructor-studio[bot]@users.noreply.github.com>
Studio-Generated-By: Constructor Studio
Studio-Source-Repo: https://github.com/constructorfabric/studio
Constructor-Fabric: https://github.com/constructorfabric
Studio-Version: skill=1.0.0
Studio-Workflows: cf-prompting-review,cf-prompting-fix,cf-prompting-ci,cf-git-commit
@sonarqubecloud

Copy link
Copy Markdown

@ainetx
ainetx merged commit e3a283f into main Jul 24, 2026
23 checks passed
@ainetx
ainetx deleted the fix-prompts-fixers branch July 24, 2026 03:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant