Use GitHub Issues for reproducible defects, setup questions, and documentation requests. Include Proofline version, operating system, exact command, sanitized output, expected result, and actual result.
Do not attach confidential sources, evidence packages, database files, credentials, private keys, or undisclosed vulnerabilities. Redact local paths and source text when they are not required to reproduce the problem. Use GitHub Security Advisories for suspected vulnerabilities.
Support covers this repository's local single-user boundary. It does not imply a hosted service, response-time commitment, shared-workspace administration, or third-party provider support. English controls if a translation conflicts.
Dùng GitHub Issues cho defect có thể reproduce, câu hỏi setup và yêu cầu documentation. Gửi Proofline version, operating system, exact command, output đã sanitize, expected result và actual result.
Không đính kèm confidential source, evidence package, database file, credential, private key hoặc vulnerability chưa công bố. Redact local path và source text khi không cần để reproduce. Dùng GitHub Security Advisories cho vulnerability nghi ngờ.
Support chỉ bao phủ local single-user boundary của repository này. Nó không ngụ ý hosted service, cam kết response time, quản trị shared workspace hoặc hỗ trợ third-party provider. English có hiệu lực nếu bản dịch xung đột.
再現可能な defect、setup の質問、documentation request は GitHub Issues を使ってください。Proofline version、operating system、exact command、sanitize 済み output、expected result、actual result を含めます。
Confidential source、evidence package、database file、credential、private key、未公開 vulnerability を添付しないでください。再現に不要な local path と source text は redact します。Vulnerability の疑いには GitHub Security Advisories を使います。
Support の対象はこの repository の local single-user boundary です。Hosted service、response-time commitment、shared-workspace administration、third-party provider support を意味しません。翻訳が競合する場合は English を優先します。