Skip to content

feat(pyc): add qualified semantic primitive pipeline - #33

Merged
zhoubot merged 10 commits into
codex/ac-uint-widthsfrom
codex/pyc-primitive-library
Sep 5, 2026
Merged

feat(pyc): add qualified semantic primitive pipeline#33
zhoubot merged 10 commits into
codex/ac-uint-widthsfrom
codex/pyc-primitive-library

Conversation

@zhoubot

@zhoubot zhoubot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

Summary

  • add vendor-neutral pyc.priority_encode and simple structural/Cycle-Aware Python APIs
  • keep C++ on reference semantics while a Verilog-only pass selects internal pyc.rtl.comb
  • add a validated BSD-3-Clause RTL catalog, digest verification, fail-closed raw-binding rejection, explicit selection priority, minimal source bundling, and versioned manifest definitions/bindings
  • preserve selected RTL closure across multi-module Python builds
  • add ac.priority_encode(...).index/.valid, ACIR verification, shared QueueGraph lowering, gfsim PriorityEncode SimQueue block, and ACIR-to-PYC-to-selected-RTL coverage
  • record Decision 0161 and keep stateful/handshake/CDC PR feat(runtime): integrate Verilog crawler and catalog #29 candidates blocked on the inferred prepare/publish/no-fail commit contract

Dependency

Validation

  • root unit + primitive system: 23 passed
  • Agentic frontend/direct codegen: 74 passed
  • ACIR/ACSim lit: 139/139
  • AC CTest: 15/15
  • PYC selector raw-binding, digest, ambiguity, width, and verifier failures: passed
  • PYC C++ reference and selected Verilog/Verilator/Icarus parity: passed
  • Agentic ACPy -> Frozen ACIR -> QueueGraph -> gfsim C++ compile: passed
  • Agentic ACPy -> Frozen ACIR -> PYC -> selected RTL Verilator: passed
  • contracts, IR coverage, strict decision status (161 rows), API hygiene, bash syntax, and MkDocs strict: passed

Evidence

  • docs/gates/logs/20260905-pyc-priority-rtl-r1/summary.md

Scope boundary

  • This PR admits the first pure combinational family only. It does not claim Issue [ACIR/ACPy] firing问题讨论 #28's stateful cross-resource atomic commit work is complete.

@zhoubot
zhoubot requested a review from xiekunpeng as a code owner September 4, 2026 21:10
@zhoubot
zhoubot merged commit 130dee4 into codex/ac-uint-widths Sep 5, 2026
2 checks passed
@zhoubot
zhoubot deleted the codex/pyc-primitive-library branch September 5, 2026 02:35
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