Skip to content

E0308 repartition on current main: re-derive raw rows -> canonical sites -> mechanism roots against the existing 15-root vocabulary, fail closed on new residue #8972

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

Closed
briansrls wants to merge 19 commits into from
Closed

E0308 repartition on current main: re-derive raw rows -> canonical sites -> mechanism roots against the existing 15-root vocabulary, fail closed on new residue #8972

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
5def9d7
A generic record literal admits the wrong field type silently at six …
Aug 22, 2026
b4c59fe
Correct the mechanism: substitution is innocent, the class is any typ…
Aug 22, 2026
84c65c3
The class is two rows, and the corpus reds the closed one: report it …
Aug 22, 2026
6552623
The 8 and the 4 have different dispositions: the census rows encode t…
Aug 22, 2026
e636aca
LexMatchThunk is not generic, so it is none of the three rows: a four…
Aug 22, 2026
871e2ea
Withdrawn: the generic carrier is the algebra, not the thunk -- one-v…
Aug 22, 2026
ca11d6f
Merge main (19f0be86dd) to re-anchor measurements
Aug 22, 2026
6df8af2
WIP: (a) fork dissolution — field_declared_type_node, authority + mirror
Aug 22, 2026
57990af
(a) mirror half restored: field_declared_type_node in v1_compiler_inf…
Aug 22, 2026
4040170
Drop stray backup file
Aug 22, 2026
caf490b
(a) fork dissolution + measured (c) exposure; placeholder-carrier hyp…
Aug 22, 2026
2b7a17a
(c) an UNESTABLISHED return type must not become a lambda's body expe…
Aug 22, 2026
f5be77a
Merge main (abf7194e2b) — absorb after hold lift
Aug 22, 2026
ffddac8
Install the emitted mirror for v1_compiler_infer.rs (regen candidate,…
Aug 22, 2026
0c93747
Delete four dissolved frontier rows (observed=0), fix two ContentHash…
Aug 22, 2026
6b6ad94
(c) sibling: an UNESTABLISHED substituted param type must not bind a …
Aug 23, 2026
6657825
Merge main (2879ab241d)
Aug 23, 2026
df90bc8
Install emitted mirror for v1_compiler_emit_rust.rs (clone elision fr…
Aug 23, 2026
974ac5d
Merge main (c07d13a49f)
Aug 23, 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
2 changes: 1 addition & 1 deletion dag/gunbc/accelerator_demo_plan.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ fn relu_mul_add_schedule() -> std.realization_schedule.Schedule {

fn build_realization_plan(schedule: std.realization_schedule.Schedule) -> RealizationPlan<Nano> {
RealizationPlan {
target: demo_target_label
target: std.content_hash.content_hash_of_value(value: demo_target_label)
objective: RealizationObjective { goals: [] }
schedule: schedule
total: demo_plan_total()
Expand Down
2 changes: 1 addition & 1 deletion dag/test/claim/realization_width_witness_test.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ fn witness_threads_4() -> HardwareThreadCount {

fn synthetic_plan() -> RealizationPlan<Nano> {
RealizationPlan {
target: "width-witness-target"
target: std.content_hash.content_hash_of_value(value: "width-witness-target")
objective: RealizationObjective { goals: [] }
schedule: [
[RunnableSingleClaim { entry: gate_entry, function: compile_gate_fn, profile: runnable_resource_profile_negligible() }],
Expand Down
Loading
Loading