Skip to content

RH-M0: freeze the external-validity manifest #69

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
PhysShell merged 13 commits into from
Aug 30, 2026
Merged

RH-M0: freeze the external-validity manifest #69

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
cde7356
RH-M0: freeze the external-validity manifest
PhysShell Aug 29, 2026
9c0a861
RH-M0: address the five external review findings
PhysShell Aug 30, 2026
6555e68
RH-M0: state every constraint as a prohibition, not as a denied permi…
PhysShell Aug 30, 2026
03d56ac
RH-M0: no verdict axis may be passed without resolving anything
PhysShell Aug 30, 2026
5c89ba5
RH-M0: one verdict token, and the check that would have caught it
PhysShell Aug 30, 2026
ac54fcb
RH-M0: narrow the consistency rule to what it actually checks
PhysShell Aug 30, 2026
6e3304a
RH-M0: total natural outcome rule, concrete axis dispositions, no glo…
PhysShell Aug 30, 2026
ad58b29
RH-M0: exact truth tokens, total hard axis, LF checksum artifact
PhysShell Aug 30, 2026
1105718
RH-M0: make the checker prose follow the structure it describes
PhysShell Aug 30, 2026
b10d48b
RH-M0: remove the cached value instead of building something to maint…
PhysShell Aug 30, 2026
e418ec7
RH-M0: truth needs endpoints, and the evidence card needs an allowlist
PhysShell Aug 30, 2026
ff66d0f
RH-M0: refuse an ambiguous endpoint identity, and map the projection …
PhysShell Aug 30, 2026
493000d
RH-M0: give the labeler's reference a namespace
PhysShell Aug 30, 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
Loading
Loading