SDIP v1.1.0
Additive only. No behaviour of v1.0.0 changed, and the guarantee is unchanged: a
certificate still means what it meant.
Added
-
sdip.equivalence.scale.parametric_wall_ceiling(n_controls)— the G5 wall-clock
ceiling as a function of the work rather than a constant, with
WALL_CEILING_BASE_S,WALL_CEILING_REFERENCE_CONTROLSand
WALL_CEILING_PER_CONTROL_Scarrying their provenance.ceiling(n) = 1350 + 44.92 × (n − 16)It is deliberately NOT a default.
sdip certifystill requires
--wall-ceiling-s, because a ceiling this tool applies on its own behalf is not one
anybody declared (SP9). A test asserts the CLI does not reference it, so adopting
it as a default becomes a deliberate act.Measured over three amendments, two of them discarded (
prereg/P10): the first had
no floor check and would have shipped 1,150 s; the second's floor caught 1,100 s. Both
sit below a run that actually happened (1,168.55 s) and would have failed the next
legitimate chain. Closes D43. -
A dedicated G6 determinism test (
tests/integration/test_determinism_g6.py) — two
positive legs and four controls, including a control for the controls: identical
stores must be reported identical, without which the other three would pass against a
comparator that called everything different. Closes D44.
Fixed
CITATION.cffshipped v1.0.0 declaringversion: 0.1.0.dev0. The field existed
with a stale value, so the release bump skipped it — a citation for the released
software named a version that was never released. Now1.1.0, withdate-released
corrected too.sdip doctor's environment test assumed hooks were installed. It passed on every
developer machine and failed on a fresh checkout. The check was right; the test was
wrong.- A refusal/ingest memory comparison had no declared margin and failed on a 0.7 %
difference — allocator noise. Margin declared at 1.25×, far from the value that
failed. - A CI guard that failed on the correct value. It grepped for
zahidaramai/sdipas
an unresolved placeholder — which it was when written, before the repository existed
at that name. - Two CI gates that could never arm. G4's subject matched no file while G4 was
covered by 21 tests under other names; G6's matched no file because no such test
existed, which is what D44 wrote.
Infrastructure
- CI executes. Workflows moved into
.github/workflows/, and the first fully green
run in this repository's history is 15/15. Every gate job now arms — no
NOT_RUNremains. - The pin-bump rule was corrected at 1.0.0 and holds here: an upstream pin bump is a
major release, because it invalidates every certificate issued under the previous
pin.
Unchanged, and deliberately
The supported/refused table is identical to v1.0.0. No format, geometry, endianness or
backend was added, because none was demanded. A minor release that widens the supported
surface without a real file asking for it is how a narrow guarantee quietly becomes a
broad claim nobody measured.
Install
pip install git+https://github.com/zahidaramai/sdip@v1.1.0
sdip doctor
Not published to PyPI. PyPI is a support commitment, not a checkbox.
CHANGELOG.md · DECISIONS.md ·
OPEN_DEBTS.md · EQUIVALENCE_LEDGER.md