Skip to content

Rebuild research evidence stack (assurance, R10-R15, sidecar v2) - #13

Merged
fraware merged 17 commits into
mainfrom
research/evidence-rebuild-v1
Jul 24, 2026
Merged

fraware merged 17 commits into
mainfrom
research/evidence-rebuild-v1

Conversation

@fraware

@fraware fraware commented Jul 24, 2026

Copy link
Copy Markdown
Owner

Summary

  • Rebuild Phase 0 soak, assurance digests, L0-L4 levels/migration, machine checks, and status reporting so promotion evidence fails closed when incomplete or corrupted.
  • Land R10 sampling/corpus, R11 observatory studies, R12 multi-host/hash gates, R13 CBF verification, R14 proof-carrying flagship, sidecar protocol v2, and R15 blocked training harness.
  • Align schemas, runbooks, and promotion docs with the rebuilt evidence model.

Test plan

  • pytest tests/research tests/platform/sidecar -q
  • Confirm multi-host soak workflow and governed hash tests pass
  • Spot-check RESEARCH_STATUS and assurance schema validation

fraware added 17 commits July 24, 2026 00:58
Rebuild soak collection so host/role matrix gaps and stale evidence fail closed instead of silently aggregating incomplete runs.
Digest-bound evidence and pass/fail/unknown verification keep replay and bundle rebuild honest when checks cannot decide.
Schema migration normalizes legacy bundles onto the current id so level inference stays consistent across replay and promotion gates.
Fail closed on tampered digests and incomplete evidence so promotion cannot ride on corrupted or gap-filled bundles.
Machine-readable status aggregation keeps research progress claims tied to current assurance evidence rather than stale narrative.
Ranked sampling and disagreement features focus shadow evaluation on consequential near-boundary regimes instead of uniform draws.
New regimes and sampling-study schema updates make CI fixtures exercise boundary disagreement coverage with reproducible corpus versioning.
Verified-forward gating and adapter catalog keep observatory differentiation claims scoped to implemented, checkable targets.
Structured transition probes and study runners replace ad-hoc sweeps so gradient-mode comparisons stay comparable across regimes.
CI and runbook require complete host/role matrices before soak aggregates can count as promotion evidence.
Artifact hash checks bind promotion evidence to governed manifests so swapped files cannot pass multi-host attestation.
Held-out and batch checks harden domain stage gates so CBF claims rest on reproducible feasibility and RH behavior.
Assembled claims, limitations, and replay evidence make flagship promotion decisions explicit and fail-closed when gates are unmet.
Versioned handshake and mode docs keep Moreau sidecar exchanges aligned so interrupted or mismatched sessions fail predictably.
Fail-closed comparison arms and scaffold reports prevent training execution until critical promotion gates clear.
Schema and conftest updates keep CI validation in lockstep with digest fields and three-valued verification status.
Docs and polish tests capture L0-L4 verification language so deliverable claims match the rebuilt evidence model.
@fraware
fraware merged commit 0e745d4 into main Jul 24, 2026
8 of 11 checks passed
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