Skip to content

Integrate Jagged PCS for Ceno CPU - #58

Merged
kunxian-xia merged 11 commits into
feat/jagged_pcsfrom
feat/jagged_pcs_impl
May 13, 2026
Merged

Integrate Jagged PCS for Ceno CPU#58
kunxian-xia merged 11 commits into
feat/jagged_pcsfrom
feat/jagged_pcs_impl

Conversation

@hero78119

Copy link
Copy Markdown
Collaborator

Problem

Ceno CPU needs Jagged PCS as a drop-in PCS path so per-chip commitments can be reduced into one q' opening over the existing inner PCS.

Approach

  • Add Jagged PCS commit/open support around the existing PCS trait flow.

Testing

  • cargo test -p mpcs jagged --quiet

Risk / Rollout

Main risk is opening-shape mismatch between padded Ceno MLEs and native q'. Rollout should stay CPU-only first; GPU integration can follow after CPU e2e validation.

Copilot Reviewer Directive (keep this section)

When Copilot reviews this PR, apply .github/copilot-instructions.md strictly.

  • Perform review only; do not commit/push/propose code changes.
  • Prefer inline comments on changed lines for each actionable finding.
  • If inline comments are unavailable, use [severity] path:line (symbol) format.
  • Prioritize soundness, performance, and architecture risks over style.
  • Output order: findings by severity, then open questions, then brief summary.
  • If PR description is empty or missing key context, report PR metadata: description as a finding.

@hero78119 hero78119 changed the title jagged pcs impl Integrate Jagged PCS for Ceno CPU May 12, 2026
@kunxian-xia
kunxian-xia merged commit 399c29e into feat/jagged_pcs May 13, 2026
2 of 3 checks passed
@kunxian-xia
kunxian-xia deleted the feat/jagged_pcs_impl branch May 13, 2026 05:01
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.

2 participants