Skip to content

fix: close Phase E1 profile-binding soundness holes #67

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
txmed82 merged 2 commits into from
Sep 11, 2026
Merged

fix: close Phase E1 profile-binding soundness holes #67

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ab80dd3
fix: close Phase E1 profile-binding soundness holes (conflation, iden…
txmed Sep 11, 2026
7a040bb
fix: accept fully finite valid_range; reject only both-unbounded (dro…
txmed Sep 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions docs/NEXT_STATUS.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ not report those workstreams as implemented. The historical N1–N11 ledger and
audit findings are retained after the roadmap. An old `shipped` designation
applies to its named mechanism, not to every new acceptance criterion here.

### Implementation status — 2026-09-09
### Implementation status — 2026-09-11

Work is merged per phase as PRs; nothing below claims a workstream finished
unless every acceptance criterion is met. Partial means shipped mechanism
Expand All @@ -32,7 +32,7 @@ language — this table is the current status source of truth.
| B | partial | Threat model + env scrubbing (#36), container backend (#38), bounded transfer (#39), remainder + attestation + CI image (#40), probes (#41) | B5 cloud mint/storage (blocked: cloud owner); registry image publication (commercial decision) |
| C | partial | Dossier + cited gate (#37), orphan-label refusal + provenance + fault robustness (#42) | C4 world-native distributions (need SOFA/GPU world revisions); C5 phantom (blocked: partner) |
| D | partial | Paired comparison + CIs (#43), compare CLI (#45), split manifests with patient/site grouping (#60-62), D5 explicit cohort subgroup validation, head-covered trial bindings, clustered continuous bootstrap, and cloud parity (#64, cloud #5) | D5 benchmark-level reporting with external study data |
| E | partial | Obs/action contract + A3 (#44), interactive streams (#46), LeRobot reader + MONAI (#51), honest video adapter (#54), semantic domain profiles for StreamSpec and CapabilitySpec (#66) | E4 media alignment (no test media; mp4 banned from VC); real robotics policy adapter |
| E | partial | Obs/action contract + A3 (#44), interactive streams (#46), LeRobot reader + MONAI (#51), honest video adapter (#54), semantic domain profiles for StreamSpec and CapabilitySpec (#66), profile-binding soundness closure: channel/schema conflation, identity pinning, geometry and calibration validation (#67) | E4 media alignment (no test media; mp4 banned from VC); real robotics policy adapter |
| F | partial | Prefix-replay branching proof + seed caveat (#47), trajectory-backed forecast task + null baseline (#56), planning utility measurement and recipe (#58) | F1 trajectory benchmark imports; F4 closed-loop simulator branching |
| G | partial | SB3 PPO recipe + measurement (#48), runnable fixes (#50, #52), kernel-observed episode divergence (#57, #59), verifier-derived training rewards with divergence penalty (#65) | Prime interop |
| H | partial | Episode resume (#49), crash-safe writes + partial recovery (#53), strict trial provenance + pre-write drift rejection (#59) | Fleet queue/autoscaling (blocked: hosted capacity decision); vectorized stepping (not justified by measured need) |
Expand Down
Loading
Loading