Skip to content

CQ-SAT/GCC v0.22.0

Choose a tag to compare

View all tags
@kabudu kabudu released this 17 Jul 22:35
v0.22.0
e15304e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

First-person, self-service external evaluations

CQ-SAT/GCC v0.22.0 corrects the external engagement model for an individual maintainer.

  • all sendable partner and assessor communication now uses “I”, not “we”
  • partners and independent reviewers operate the evaluation themselves using repository resources
  • the maintainer does not participate in setup or execution and does not access RTL, properties, traces, workers, credentials, private registers, meetings, or intermediate findings
  • the repository makes no engineering-support, consultancy, legal, certification, or partner-specific operational commitment
  • private data agreements, execution, oracle comparison, review, and production-gate checking remain entirely within the partner/assessor boundary
  • a new non-confidential outcome template reports only suitability, aggregate outcome, material limitations, gate status, recommendation, and authorised references

All CI, 67 Rust tests, 25,000 deterministic parser mutations, current/historical RTL corpus, independent oracle, hostile-input isolation, evidence-gate adversarial tests, operations qualification, and RustSec audit checks passed. No external evidence has been invented; CQ-SAT/GCC remains a research preview pending partner-operated assessment.

Assets 2
Loading