Repository navigation
K1 — pure named-stream schedule derivation with raw-label timebase support - #369
Merged
Merged
Conversation
…robe (lane ns-k1-02, Claude Sonnet 5.5 authored) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Removes the three checks that could not fail (two counters and their comparisons; the third replaced by a static_assert tying the perturbation array to std::tuple_size of State::tie()). Adds tests for the walk's two termination guards, each with a mutation that must fail, and a raw-label case: bars and POST rows planned, no PRE row. R3: a raw-label partition holds no time interval, so its slot is unbounded; an opened bar keeps no end and no cursor, and the time-close of an open bar is gated by a boundary probe. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Adds three tests over the two unbounded clocks of the frozen no-boundaries case: a Tick opens a lifecycle and plans one provisional POST row when the cadence carries the tick bit; an AdvanceTime plans one provisional POST row and closes nothing by time; a quiet interval plans nothing (the walk stops at the unbounded slot). A bounded control shows the silence is the timebase's. Tests only; no source change.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
K1 — pure named-stream schedule derivation with raw-label timebase support
Branch:
ns-k1-land· Head:62cc8e495afd6d8c3696c68581e72adab3444075· Base:8d614339b9ce92c5a1b6662a29deca5deec0ed71(origin/main)What this adds
A pure schedule derivation for the named-stream contract's bar lifecycle, plus its
tests.
plan_schedulederives, from the retained state and a driving event only(
advance_time,bar_close,tick), the POST rows a run must compute, andreturns the next state; it performs no I/O and fetches nothing.
A timebase without time boundaries (a raw-label partition) is planned on data
alone: its bars open and close on their own events, it plans no PRE row, and it
keeps no bar end and no cursor.
Files
src/native_calc_plan.cpp,src/native_calc_plan.hpp(new) — the derivation and its state.include/pineforge/native_calc_point.hpp(new) — the planned-point shape.src/native_execution_consumer.cpp/.hpp— the consumer's slot lookup and engagement hook.tests/test_native_calc_plan.cpp,tests/test_native_calc_identity.cpp(new) — the derivation andidentity tests, including the frozen-frame cases and the raw-label cases.
CMakeLists.txt,tests/CMakeLists.txt— registration of the new source and the two tests.Verification
ctest -R native_calc4/4, all mutationcontrols observed to fail their named test, and the CI source guards rc 0.
lab remoteon this head:rj-20261011t085013-bd1ded(preflight, release 897/897, sanitizers 869/869, docs 0 warnings) andrj-20261011t085017-76182e(debug 878/878, kernel 328 rows, parity 312 probes, subset 54 probes): all eight steps passed.🤖 Generated with Claude Code