Skip to content

AUDIT.adoc

Latest commit

 

History

History
59 lines (47 loc) · 2.4 KB

AUDIT.adoc

File metadata and controls

59 lines (47 loc) · 2.4 KB
Raw

Audit Gate

Table of Contents

1. Purpose

This root document exists so humans and bots can see the hard audit posture without having to discover the standards repository first.

Canonical source documents live in the standards repository. This file is a repo-local audit gate summary for this repository and automated agents.

2. Hard Rules

  • Do not call anything stable, v1.0.0, or full release unless the stable release gate has been passed end to end.

  • Do not publish implementation-facing work below B in CRG unless the work is genuinely abstract and makes no implementation-readiness claim.

  • D requires RSR compliance or a documented equivalent repository discipline.

  • C requires deep code and folder annotation, not just local confidence.

  • B means beta-stable: external breadth and safe broad trial, not merely public visibility.

  • Papers, whitepapers, release notes, and READMEs must not outrun the proofs, tests, or artefacts that support their claims.

  • Release paths must not ship with placeholders, stubs, FIXME, XXX, template residue, fake fuzz, fake benches, or partial proof debt hidden as if it were complete.

3. Repository-Specific Audit Notes

  • The SPARK classifier kernel (core-spark/) is proved pure and total by gnatprove; the Idris2 ABI (abi-idris2/) and Zig FFI (ffi-zig/) cross-check the same contract. These are the verified parts.

  • The Windows collectors (registry / event-log / 0patch / snapshot) in host-rust/src/collectors/ have not been exercised on a real Windows host. The 0patch CLI collector is speculative. See AFFIRMATION.adoc for the dated honesty snapshot and audits/audit-residuals.adoc for accepted structural residuals.

4. Canonical Standards

Read these as the authoritative source:

  • standards/component-readiness-grades/COMPONENT-READINESS-GRADES.md

  • standards/release-pre-flight/V1-GATE.adoc

  • standards/publication-pre-flight/PREFLIGHT.adoc

  • standards/publication-pre-flight/ESTATE-AUDIT-BASELINE-2026-03-30.adoc

  • standards/session-management-standards/README.adoc

5. Bot Requirement

Bots operating in this repository should treat this document as a key root audit document and should not make optimistic release or publication claims that conflict with it.