Skip to content

ĀML hardening: independent verification, release discipline, evidence corpus - #166

Closed
aruintelligence wants to merge 5 commits into
mainfrom
hardening/independent-release-v2-20260914
Closed

aruintelligence wants to merge 5 commits into
mainfrom
hardening/independent-release-v2-20260914

Conversation

@aruintelligence

Copy link
Copy Markdown
Owner

Purpose

Consolidate the next ĀML hardening wave around independent verification, immutable release identity, and disciplined real-screen evidence, rebased cleanly on current main.

Changes

  • Moves verifier challenge cases into conformance/verifier-challenge-cases.json, a language-neutral corpus using a narrow RFC 6901 JSON Pointer replacement profile.
  • Updates the black-box harness to consume that corpus while preserving exact challenge/witness-vector SHA-256 bindings.
  • Adds the case corpus and its SHA-256 to the reference-code-free External Verifier Kit without removing current verifier snapshot/catalog/migration protections.
  • Updates regression tests so archived conformance evidence still verifies against the exact challenge contract while case definitions remain readable without inspecting canonical harness source.
  • Adds docs/RELEASE_DISCIPLINE.md to separate stable, preview, and experimental states and define minimum release evidence.
  • Adds docs/REAL_SCREEN_EVIDENCE_CONTRACT.md to standardize capture provenance, labels, policy binding, receipts, reruns, before/after evidence, and claim boundaries.
  • Adds publications/INDEPENDENT_IMPLEMENTATION_CHALLENGE.md to invite outside clean-room implementations with PASS / FAIL / MIXED reporting.

Evidence boundary

Project-authored CI remains project-controlled evidence. A black-box PASS is compatibility evidence for the exact tested contract, not certification, proof of implementation independence, standards approval, scientific validation, regulatory compliance, safety, or adoption.

The attention/restoration labels used in real-screen experiments remain declared reviewer inputs, not objective measurements of cognition or wellbeing.

Older PR consolidation

This modernizes the useful language-neutral verifier-case idea from #68 against current main instead of merging its stale implementation. The real-screen evidence from #152 is already present in current main; this adds a forward evidence contract without overwriting historical packages.

Copy link
Copy Markdown
Owner Author

Superseded by #160 for the versioned verifier-contract work and #169 for the documentation/evidence-discipline work. Splitting these concerns avoids merging two competing verifier-contract implementations and keeps the real-screen guidance aligned with the canonical manifest schema already on main.

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