QATQ is requesting an attributable external human review of the finite Hamming and Rankin certificate surface prepared for v0.4.1.
Implementation PR: #31
Review packet: https://github.com/kabudu/qatq/blob/codex/v0.4.1-independent-validation/validation/oracle-v0.4.1/EXTERNAL_REVIEW_PACKET.md
Machine-readable differential results: https://github.com/kabudu/qatq/blob/codex/v0.4.1-independent-validation/validation/oracle-v0.4.1/evidence/results.json
A useful review should cover the finite Hamming expression, Rankin orthoplex and negative-inner-product domains, exact flooring, the separate SageMath implementation, and boundary-case coverage. Please include your relevant competence basis and identify any claim-narrowing limitation.
Until an identified competent reviewer posts a completed review, the repository status remains NOT_REVIEWED. CI success, automated review, and an open request do not count as external human review.
QATQ is requesting an attributable external human review of the finite Hamming and Rankin certificate surface prepared for v0.4.1.
Implementation PR: #31
Review packet: https://github.com/kabudu/qatq/blob/codex/v0.4.1-independent-validation/validation/oracle-v0.4.1/EXTERNAL_REVIEW_PACKET.md
Machine-readable differential results: https://github.com/kabudu/qatq/blob/codex/v0.4.1-independent-validation/validation/oracle-v0.4.1/evidence/results.json
A useful review should cover the finite Hamming expression, Rankin orthoplex and negative-inner-product domains, exact flooring, the separate SageMath implementation, and boundary-case coverage. Please include your relevant competence basis and identify any claim-narrowing limitation.
Until an identified competent reviewer posts a completed review, the repository status remains NOT_REVIEWED. CI success, automated review, and an open request do not count as external human review.