Issues

WT-01 census counts in the requirement row, manifest note and census are hand-copied; no gate re-derives them

labforadvancedstudy/palladium-a#83 · opened

on Oct 7, 2026

A u64 in a generic struct field is emitted as signed long long; values >= 2^63 give silently wrong results

labforadvancedstudy/palladium-a#82 · opened

on Oct 7, 2026

Reading d.inner.v after d.inner was moved is accepted (the field-read path checks only the root binding)

labforadvancedstudy/palladium-a#81 · opened

on Oct 7, 2026

Moving a non-Copy struct field out of a reference parameter (&self, &mut self, d: &D) is accepted; a local borrow refuses the same move

labforadvancedstudy/palladium-a#80 · opened

on Oct 7, 2026

1

A cyclic type alias (type A = B; type B = A;) hangs the compiler in type checking instead of being refused

labforadvancedstudy/palladium-a#79 · opened

on Oct 7, 2026

let y: T inside a generic function body is emitted as void* and gcc refuses it

labforadvancedstudy/palladium-a#78 · opened

on Oct 7, 2026

A generic function called at two struct types emits one instantiation (gcc: passing 'struct Q' to parameter of type 'struct P')

labforadvancedstudy/palladium-a#77 · opened

on Oct 7, 2026

Two instantiations of a generic struct in one function: a literal binds to the wrong one by its first field and the value is truncated (silent wrong output)

labforadvancedstudy/palladium-a#76 · opened

on Oct 7, 2026

doc-evidence follow-ups: '..' ancestor exemption reaches above ROOT; ls -R / sort -R refused with grep's reason

labforadvancedstudy/palladium-a#75 · opened

on Oct 6, 2026

1

An annotated local of a generic struct type (let g: G<i64> = …) is lowered as void* and gcc refuses it

labforadvancedstudy/palladium-a#74 · opened

on Oct 6, 2026

1

make gates can exit 2 under heavy load: test-xfail's ignored listing hits gate_probe's 5 s post-exit EOF window

labforadvancedstudy/palladium-a#73 · opened

on Oct 6, 2026

doc-evidence cmd: items still read untracked/ignored files outside the refused directories (scripts/pycache)

labforadvancedstudy/palladium-a#72 · opened

on Oct 6, 2026

2

xs[i][1] = 9 (computed outer index, nested) is refused as 'Cannot assign to temporary value'

labforadvancedstudy/palladium-a#71 · opened

on Oct 6, 2026

A read through a computed index is never recorded as a move (xs[0] moved, then xs[i] with i = 0 moved again passes borrowck)

labforadvancedstudy/palladium-a#70 · opened

on Oct 6, 2026

A borrow stored into an outer binding from inside a block is released at the block's end (r = &d.inner in an if arm, then d.inner moved, passes borrowck)

labforadvancedstudy/palladium-a#69 · opened

on Oct 6, 2026

A value if whose arm tail is a place never records the move (let x = if c { d.inner } else { e.inner }; then d.inner again is accepted)

labforadvancedstudy/palladium-a#68 · opened

on Oct 6, 2026

&mut of a field under a live & of its parent passes the borrow checker (borrow() only checks identical places)

labforadvancedstudy/palladium-a#67 · opened

on Oct 6, 2026

Match guards are never borrow-checked (a move inside a guard is not recorded)

labforadvancedstudy/palladium-a#66 · opened

on Oct 6, 2026

let d: D = d; in an inner block emits struct D d = d; and reads uninitialised memory (silent miscompile)

labforadvancedstudy/palladium-a#65 · opened

on Oct 6, 2026

1

A generic function instantiated at char or f64 is refused: 'expected char, found Char'

labforadvancedstudy/palladium-a#64 · opened

on Oct 6, 2026

A generic struct literal with a struct type argument falls back to the uninstantiated struct (incomplete type 'struct Box2')

labforadvancedstudy/palladium-a#63 · opened

on Oct 6, 2026

2

An array literal passed directly as a call argument is emitted as f({1, 2}) and gcc refuses it

labforadvancedstudy/palladium-a#62 · opened

on Oct 6, 2026

An enum payload of array type is emitted as 'long long[2] field0' and gcc refuses it

labforadvancedstudy/palladium-a#61 · opened

on Oct 6, 2026

Assigning through r for a &mut parameter emits a double dereference (((*r)) = …) that gcc refuses

labforadvancedstudy/palladium-a#60 · opened

on Oct 6, 2026

1

Use of moved value is reported with no location

labforadvancedstudy/palladium-a#59 · opened

on Oct 6, 2026

Navigation Menu

Repository navigation

Issues

WT-01 census counts in the requirement row, manifest note and census are hand-copied; no gate re-derives them

A u64 in a generic struct field is emitted as signed long long; values >= 2^63 give silently wrong results

Reading d.inner.v after d.inner was moved is accepted (the field-read path checks only the root binding)

Moving a non-Copy struct field out of a reference parameter (&self, &mut self, d: &D) is accepted; a local borrow refuses the same move

A cyclic type alias (type A = B; type B = A;) hangs the compiler in type checking instead of being refused

let y: T inside a generic function body is emitted as void* and gcc refuses it

A generic function called at two struct types emits one instantiation (gcc: passing 'struct Q' to parameter of type 'struct P')

Two instantiations of a generic struct in one function: a literal binds to the wrong one by its first field and the value is truncated (silent wrong output)

doc-evidence follow-ups: '..' ancestor exemption reaches above ROOT; ls -R / sort -R refused with grep's reason

An annotated local of a generic struct type (let g: G<i64> = …) is lowered as void* and gcc refuses it

make gates can exit 2 under heavy load: test-xfail's ignored listing hits gate_probe's 5 s post-exit EOF window

doc-evidence cmd: items still read untracked/ignored files outside the refused directories (scripts/pycache)

xs[i][1] = 9 (computed outer index, nested) is refused as 'Cannot assign to temporary value'

A read through a computed index is never recorded as a move (xs[0] moved, then xs[i] with i = 0 moved again passes borrowck)

A borrow stored into an outer binding from inside a block is released at the block's end (r = &d.inner in an if arm, then d.inner moved, passes borrowck)

A value if whose arm tail is a place never records the move (let x = if c { d.inner } else { e.inner }; then d.inner again is accepted)

&mut of a field under a live & of its parent passes the borrow checker (borrow() only checks identical places)

Match guards are never borrow-checked (a move inside a guard is not recorded)

let d: D = d; in an inner block emits struct D d = d; and reads uninitialised memory (silent miscompile)

A generic function instantiated at char or f64 is refused: 'expected char, found Char'

A generic struct literal with a struct type argument falls back to the uninstantiated struct (incomplete type 'struct Box2')

An array literal passed directly as a call argument is emitted as f({1, 2}) and gcc refuses it

An enum payload of array type is emitted as 'long long[2] field0' and gcc refuses it

Assigning through r for a &mut parameter emits a double dereference (((*r)) = …) that gcc refuses

Use of moved value is reported with no location