Repository navigation
Rewrite canonical IB slice in current Idriç style - #48
Merged
Merged
Conversation
isomorphisms
changed the base branch from
types/canonical-information-prepaint
to
main
October 6, 2026 13:03
Owner
Author
|
Retirement sweep result: this is the sole live canonical-information/prepaint successor at 631052f. The exact ancestor is closed with all distinct obligations preserved here. Retargeted to current main, preserved main tests/bootstrap and repaired the reserved local in CanonicalInformationSmoke. Exact-head universal gate 37467786433, Android WebView 37467786476 and prepaint 37467786364 passed. Foundation 37467786489 and exact-text 37467786591 remain in compiler bootstrap. Pending compilation and model execution block merge; the fixture repair is not yet qualified by a completed canonical smoke. No skipped/pending check is treated as PASS. One live successor. Current foundation: https://github.com/isomorphisms/ib/actions/runs/37467786489 |
This was referenced Oct 14, 2026
…ostics Reproduced with Idriç 7050c116: Text is lowered to the String type even in constructor position. Rename that block constructor and explicitly import Data.Text for unlines. Preserve all canonical assertions and retain diagnostic artifacts on failure.
isomorphisms
marked this pull request as ready for review
October 20, 2026 00:12
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.
Preserves the complete canonical information/prepaint line from isomorphisms/ib PR #47, “Define canonical Idriç information and prepaint model” (#47). Exact ancestry and semantic obligations are retained in docs/canonical-information-successor.md.
Reconciled current main foundation files and tests, repaired the reserved
partiallocal that failed the old compiler run, and restored all canonical smoke assertions under exact-head checkout with direct compiler/program exit handling. Extractor migration remains separate. This line is independent of Pensieve and Longview.CI-REPAIR-01 reproduced the pinned compiler failure:
Textis lowered to the language's text type and cannot serve as this block constructor. The constructor is nowTextBlock; the smoke program explicitly imports Data.Text for unlines. All original canonical assertions remain, and failure diagnostics are retained as a pinned upload artifact.Exact-head foundation run 39344765425 and universal gate 39344765362 passed at dcfc257. Canonical construction, six blocks, two table cells, empty-reference refusal, six heading levels, zero and strictly increasing revisions, serialization, the independent AICI ingestion action, browser core and workbench executed. A local deliberately empty-reference-admitting mutant reports empty-image-refused=False and is rejected by the retained assertion. Native-reader, extraction migration and physical-device acceptance remain separate.