Skip to content

feat(zeroshot-rust): define independent issue and source-code provider contracts#703

Merged
tomdps merged 2 commits into
devfrom
zeroshot/soaring-citadel-93
Jul 16, 2026
Merged

feat(zeroshot-rust): define independent issue and source-code provider contracts#703
tomdps merged 2 commits into
devfrom
zeroshot/soaring-citadel-93

Conversation

@tomdps

@tomdps tomdps commented Jul 16, 2026

Copy link
Copy Markdown
Collaborator

Implements #694.

What changed

  • Adds separate bounded IssueProvider and SourceCodeProvider contracts, registries, identities, capabilities, and evidence types.
  • Enforces inspect-before-repeat and merge-receipt binding to the requested base/head.
  • Adds deterministic contract, bounds, architecture, and compile-fail coverage.
  • Isolates the existing Node unit-test environment so the full repository gate remains reliable.
  • Documents the new product-private provider boundaries in AGENTS.md.

Validation

  • cargo build -p zeroshot-rust --all-targets
  • cargo test -p zeroshot-rust --test provider_contracts
  • cargo test -p zeroshot-rust --test provider_bounds
  • cargo test -p zeroshot-rust --test backend_boundary
  • cargo test -p zeroshot-rust --test architecture
  • cargo test -p zeroshot-rust --doc
  • cargo fmt --all -- --check
  • cargo clippy --workspace --all-targets -- -D warnings
  • cargo test --workspace
  • npm run protocol:check
  • npm run lint
  • npm run test:unit
  • opcore check --changed

Both Zeroshot validation agents approved the final commit.

@tomdps
tomdps enabled auto-merge July 16, 2026 21:57
…el-93

# Conflicts:
#	AGENTS.md
#	tests/run-tests.js
#	zeroshot-rust/Cargo.toml
#	zeroshot-rust/tests/architecture.rs
@tomdps
tomdps added this pull request to the merge queue Jul 16, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jul 16, 2026
@tomdps
tomdps added this pull request to the merge queue Jul 16, 2026
Merged via the queue into dev with commit 4cd72d5 Jul 16, 2026
5 checks passed
@tomdps
tomdps deleted the zeroshot/soaring-citadel-93 branch July 16, 2026 22:20
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