Skip to content

Implement amendments 11-13: entrants, partitioned mass, declared tolerance #851

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

Open
MaxGhenis wants to merge 4 commits into
base: graph-amendments-11-13
Choose a base branch
from
Open

Implement amendments 11-13: entrants, partitioned mass, declared tolerance #851

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
d048b68
Implement amendments 11-13: entrants, partitioned mass, declared tole…
MaxGhenis Sep 2, 2026
cd93fc8
Merge branch 'graph-amendments-11-13' into graph-amendments-impl
MaxGhenis Sep 2, 2026
6348ed7
Amendment 14 implementation: entrant persons carry their stratum (B7 …
MaxGhenis Sep 2, 2026
7a8ecbe
Address the #851 review: seven rulings, each with its regression test
MaxGhenis Sep 2, 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
1 change: 0 additions & 1 deletion .impl-b7-link
View file
Open in desktop

This file was deleted.

12 changes: 6 additions & 6 deletions packages/microcosm-fit/src/microcosm/fit/kernels.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -49,12 +49,12 @@
)
"""Distributions whose versions form part of ``fit.qrf@1``'s identity."""

#: How far ``fit.qrf@1`` numbers may move between machines. The forest stack
#: promises no cross-platform bit stability (charter H1 records the claim as
#: ``tolerance_bound``); this bound is provisional until measured on the H1
#: fixture across arm64 and x86_64 (amendment 13 follow-up), and parity in
#: the locked environment is still asserted byte for byte.
FIT_QRF_TOLERANCE = Tolerance(rtol=1e-6)
#: Provisional one-ULP acceptance budget, not an established cross-platform
#: upper bound. On 2026-09-02, one 12-output positive-only H1 fixture was
#: bit-identical between native arm64 and x86_64 under Rosetta. Broader
#: native-x86, seed, regime, near-tie, and non-binary-exact coverage is required
#: before treating this as a kernel-wide bound.
FIT_QRF_TOLERANCE = Tolerance(ulps=1)


QRF_EXECUTOR_SEED_HIGH = 2**31 - 1
Expand Down
2 changes: 1 addition & 1 deletion packages/microcosm-fit/tests/test_kernels.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -234,7 +234,7 @@ def test_capabilities_protocol_and_wrapped_source_hash() -> None:
numeric=Numeric.TOLERANCE_BOUND,
seed_source=SeedSource.PARAM,
dependencies=FIT_QRF_DEPENDENCIES,
tolerance=Tolerance(rtol=1e-6),
tolerance=Tolerance(ulps=1),
)
assert QRF_EXECUTOR_KERNEL.capabilities.seed_source is SeedSource.EXECUTOR
assert QRF_PARAM_KERNEL.implementation_hash() == source_hash(
Expand Down
3 changes: 2 additions & 1 deletion packages/microcosm-graph/src/microcosm/graph/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -83,6 +83,7 @@
"Ownership",
"Param",
"Population",
"PopulationView",
"PopulationError",
"ResumePolicy",
"RunManifest",
Expand Down Expand Up @@ -137,7 +138,7 @@ def _check_frame_version() -> None:
)
from .executor import NodeRejected, run_graph # noqa: E402
from .explain import explain_html # noqa: E402
from .manifest import Decision, NodeReceipt, RunManifest # noqa: E402
from .manifest import Decision, NodeReceipt, PopulationView, RunManifest # noqa: E402
from .population import MassRecord, Population, PopulationError # noqa: E402
from .serialize import graph_from_json, graph_to_json # noqa: E402
from .store import ( # noqa: E402
Expand Down
Loading