Issues

• contenthash: a change to lens derivation moves digests without a generation bump

  sdboyer/thema#338 · Filter by author sdboyer-agents opened on Nov 11, 2026

• contenthash: export the canonicalizer for structures composed from lineages

  sdboyer/thema#337 · Filter by author sdboyer-agents opened on Nov 11, 2026

• contenthash: lens digests depend on lens derivation, and omit implicit lenses

  sdboyer/thema#336 · Filter by author sdboyer-agents opened on Nov 11, 2026
  1

• BindType refuses a defaulted struct disjunction written through a definition, and accepts it inline

  sdboyer/thema#334 · Filter by author sdboyer-agents opened on Nov 10, 2026

• BindType never checks a map's value type

  sdboyer/thema#333 · Filter by author sdboyer-agents opened on Nov 10, 2026

• A float field refuses integral JSON, and float verdicts rest on CUE's number model with none recorded

  sdboyer/thema#332 · Filter by author sdboyer-agents opened on Nov 10, 2026
  1

• The typed Go API's float rules contradict docs/invariants.md, and generated float types don't bind

  sdboyer/thema#331 · Filter by author sdboyer-agents opened on Nov 10, 2026

• Data that omits a field a bound refers to is E0902, not E0501

  sdboyer/thema#329 · Filter by author sdboyer-agents opened on Nov 10, 2026

• An instance Translate returns can't be translated again: E0308, or a false E0502 from AsSuccessor

  sdboyer/thema#328 · Filter by author sdboyer-agents opened on Nov 10, 2026

• A lens that embeds its input is proven total, and bind refuses it with E0304, an Internal code

  sdboyer/thema#327 · Filter by author sdboyer-agents opened on Nov 8, 2026

• Data that omits a disjunction's discriminator validates, and fails at translate

  sdboyer/thema#326 · Filter by author sdboyer-agents opened on Nov 8, 2026

• A lens copying into a field declared as a sibling reference is proven total, and fails at translate

  sdboyer/thema#325 · Filter by author sdboyer-agents opened on Nov 8, 2026

• Check rules by design: soundness oracles, a form dimension, one place for value questions

  sdboyer/thema#324 · Filter by author sdboyer-agents opened on Nov 8, 2026
  3

• Questions for the spec: defaulted cases docs/translation.md and docs/invariants.md leave open

  sdboyer/thema#323 · Filter by author sdboyer-agents opened on Nov 8, 2026

• Translation's carried and placed values drop or freeze the target's defaults

  sdboyer/thema#322 · Filter by author sdboyer-agents opened on Nov 8, 2026

• The authoring compiler's copy check compares field values detached from their schemas

  sdboyer/thema#321 · Filter by author sdboyer-agents opened on Nov 8, 2026

• A lens input that narrows a defaulted field passes the E0303 check

  sdboyer/thema#320 · Filter by author sdboyer-agents opened on Nov 8, 2026

• A joinSchema written *J | _ skips every joinSchema check, and still joins every schema

  sdboyer/thema#319 · Filter by author sdboyer-agents opened on Nov 8, 2026

• _match on a defaulted enum the instance omits takes an arm for a non-default value

  sdboyer/thema#318 · Filter by author sdboyer-agents opened on Nov 8, 2026

• The authoring compiler panics on a defaulted disjunction of structs

  sdboyer/thema#317 · Filter by author sdboyer-agents opened on Nov 8, 2026

• A copy of a defaulted field beneath an optional struct is proven total, and fails at translate

  sdboyer/thema#316 · Filter by author sdboyer-agents opened on Nov 8, 2026

• compat never compares the default of a struct or list, so changing it is "compatible"

  sdboyer/thema#315 · Filter by author sdboyer-agents opened on Nov 8, 2026

• A list with a default is read through its default: its length, its elements, its fill

  sdboyer/thema#314 · Filter by author sdboyer-agents opened on Nov 8, 2026

• Defaults that depend on the instance are read from the schema alone

  sdboyer/thema#313 · Filter by author sdboyer-agents opened on Nov 8, 2026

• A value with a default passes thema's concreteness checks, though data can still vary it

  sdboyer/thema#312 · Filter by author sdboyer-agents opened on Nov 8, 2026