Repository navigation
Journal source-bound view observations and rebuild visibility facts - #128
Draft
isomorphisms wants to merge 1 commit into
Draft
isomorphisms wants to merge 1 commit into
isomorphisms wants to merge 1 commit into
Conversation
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
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.
View exposure must survive replaceable adapters without becoming a claim that a person read or understood content. This child of the source-bound fragment store implements an Idriç observation record, idempotent acceptance and private TSV replay over the existing source/revision/fragment identities.
The semantic core records explicit observation/adapter/clock identity, code-point range, interval, kind, foreground and occlusion. It refuses stale source tuples, conflicting callback identities, overlapping same-adapter samples and backwards time. Newline commits a row; replay preserves prior valid rows and reports invalid complete rows or an incomplete final tail. The version-one per-fragment duration query counts only unoccluded foreground visibility and can be rebuilt. Append normalization refuses silently rewriting a corrupt/torn prior journal.
Grease snapshots bounded source, graph, prior journal and one explicit proposed adapter row, verifies source SHA256 and UTF8, preserves the normalizer's status, and publishes a new immutable generation through Longview's existing adapter. Existing generations remain independently readable.
Evidence: actual current Idriç checker ff4d852862a3942592f8ade9afde8d409d9803be typechecks core, command and acceptance. Its pure compiler normalizer reports True for all17 fake-clock and recovery cases. A mutation counting background time makes the duration and torn-tail duration assertions False; delivered source restores foreground filtering. Actual current Grease5651 executes generation roundtrip, partial producer bytes followed by exit7 refusal, prior generation survival and stale-byte refusal; the producer is explicitly an OS fixture.
Status: PARTIAL. Integrated Idriç→Grease execution remains blocked on the parent S06 qualified ICK/NDK consumer executable gate. No alternate backend was used. Physical visibility/occlusion, Android installation and real private corpus are NOT_RUN. Exact receipts and compatibility options are in docs/view-observation-acceptance.md. D06 owns platform observation wiring.
Owner #101; assignment #120 / IB-S07. Dependency: isomorphisms/ib PR #123, “Persist source-bound fragments and checked reading traversals” (#123).