{"entries":[{"lastCommit":{"author":{"email":"mpvl@gmail.com","name":"Marcel van Lohuizen","when":"2026-04-28T18:08:22.000000+02:00"},"committer":{"email":"mpvl@gmail.com","name":"Marcel van Lohuizen","when":"2026-04-30T13:44:27.000000Z"},"hash":"349c4571b1f1f188cbd28df286f9e19de4fca808","message":"tools/fix: extract and extend explicitopen fix\n\nExtract the explicitopen fix logic into fixopen.go\nand extend it with several improvements:\n\n- Hoist embedded close() to wrapper level: under old\n semantics, embedding close() opened up the embedding.\n Under explicitopen it no longer does, so the fix now\n removes close() from the embedding and applies it as\n a wrapper around the containing struct.\n- Wrapper selection: close-only uses close(), close\n with other refs uses close(__reclose()), close with\n defs uses __closeAll (which subsumes close).\n- Single-embed simplification: structs with a single\n embedding are simplified to the expression directly\n without wrapping.\n- Add TODO comment for top-level definition embeddings,\n which are likely intended as schema constraints.\n- Split tests into explicitopen.txtar (basic cases),\n explicitopen_expr.txtar (close/conjunction/disjunction\n expressions), and explicitopen_shorthands.txtar\n (single-embed shortcuts and comprehension TODOs).\n\nSigned-off-by: Marcel van Lohuizen \nChange-Id: If2d6b35c07dffb24b7ada346653ff2929b07fc08\nReviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1236310\nTryBot-Result: CUEcueckoo \nReviewed-by: Daniel Martí \nUnity-Result: CUE porcuepine \n","tree":"f399b434ffa58e6c1aba73fa499cae4e3e8b561c"},"mode":"0100644","name":"fix.go","size":11008},{"lastCommit":{"author":{"email":"mpvl@gmail.com","name":"Marcel van Lohuizen","when":"2026-04-28T18:08:22.000000+02:00"},"committer":{"email":"mpvl@gmail.com","name":"Marcel van Lohuizen","when":"2026-04-30T13:44:27.000000Z"},"hash":"349c4571b1f1f188cbd28df286f9e19de4fca808","message":"tools/fix: extract and extend explicitopen fix\n\nExtract the explicitopen fix logic into fixopen.go\nand extend it with several improvements:\n\n- Hoist embedded close() to wrapper level: under old\n semantics, embedding close() opened up the embedding.\n Under explicitopen it no longer does, so the fix now\n removes close() from the embedding and applies it as\n a wrapper around the containing struct.\n- Wrapper selection: close-only uses close(), close\n with other refs uses close(__reclose()), close with\n defs uses __closeAll (which subsumes close).\n- Single-embed simplification: structs with a single\n embedding are simplified to the expression directly\n without wrapping.\n- Add TODO comment for top-level definition embeddings,\n which are likely intended as schema constraints.\n- Split tests into explicitopen.txtar (basic cases),\n explicitopen_expr.txtar (close/conjunction/disjunction\n expressions), and explicitopen_shorthands.txtar\n (single-embed shortcuts and comprehension TODOs).\n\nSigned-off-by: Marcel van Lohuizen \nChange-Id: If2d6b35c07dffb24b7ada346653ff2929b07fc08\nReviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1236310\nTryBot-Result: CUEcueckoo \nReviewed-by: Daniel Martí \nUnity-Result: CUE porcuepine \n","tree":"f399b434ffa58e6c1aba73fa499cae4e3e8b561c"},"mode":"0100644","name":"fix_test.go","size":3576},{"lastCommit":{"author":{"email":"mvdan@mvdan.cc","name":"Daniel Martí","when":"2026-05-09T12:16:14.000000+01:00"},"committer":{"email":"mvdan@mvdan.cc","name":"Daniel Martí","when":"2026-05-11T09:14:03.000000Z"},"hash":"a07a818158e65b3b188f99f792bf8f75726b8ec0","message":"tools/fix: remove the unused processor type\n\nIt used to keep lots of state and be shared between many methods,\nbut at this point it's entirely unnecessary.\ncwd is never read, err is never written to,\nand instances is only used locally within Instances.\n\nSigned-off-by: Daniel Martí \nChange-Id: Id702280c591c13fabae2dd009b070d687aacdff1\nReviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1236927\nTryBot-Result: CUEcueckoo \nUnity-Result: CUE porcuepine \nReviewed-by: Matthew Sackman \n","tree":"5498c178117a5978ce14d377542d4c112be1a5b3"},"mode":"0100644","name":"fixall.go","size":2143},{"lastCommit":{"author":{"email":"mpvl@gmail.com","name":"Marcel van Lohuizen","when":"2026-04-28T16:31:45.000000+02:00"},"committer":{"email":"mpvl@gmail.com","name":"Marcel van Lohuizen","when":"2026-04-29T18:20:18.000000Z"},"hash":"f679d39f4f5c4a5df326d41dada80da95f94f586","message":"tools/fix: add inline @test framework\n\nAdd inline test framework in fixall_test.go that\nruns @test assertions on both pre-fix and\npost-fix archives to verify fixes preserve\nsemantics.\n\nThe idea: @test attributes get copied by the fix\nthe the new files as is.\nBy testing both in and out, we ensure that the\ncode generated by fix is correct.\n\nAdd @test(eq) assertions to aliasv2\nfor field aliases, value aliases, and __self\nhandling for demonstration.\n\nFix compile errors in aliasv2.txtar: add missing\nvariable definitions (x, name) for dynamic\nfields, add references to unused aliases (Z,\nOptField, ReqField, X, DynInterpAlias), fix\nInner.Leaf.value to Inner.deep.value.\n\nSigned-off-by: Marcel van Lohuizen \nChange-Id: Id935408d9665283df4020ded2ca9d30f29037a07\nReviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1236308\nReviewed-by: Daniel Martí \nTryBot-Result: CUEcueckoo \nUnity-Result: CUE porcuepine \n","tree":"570a61d0a57f40c0de0ea1bdb951245a4c103880"},"mode":"0100644","name":"fixall_test.go","size":6572},{"lastCommit":{"author":{"email":"mpvl@gmail.com","name":"Marcel van Lohuizen","when":"2026-04-28T18:08:22.000000+02:00"},"committer":{"email":"mpvl@gmail.com","name":"Marcel van Lohuizen","when":"2026-04-30T13:44:27.000000Z"},"hash":"349c4571b1f1f188cbd28df286f9e19de4fca808","message":"tools/fix: extract and extend explicitopen fix\n\nExtract the explicitopen fix logic into fixopen.go\nand extend it with several improvements:\n\n- Hoist embedded close() to wrapper level: under old\n semantics, embedding close() opened up the embedding.\n Under explicitopen it no longer does, so the fix now\n removes close() from the embedding and applies it as\n a wrapper around the containing struct.\n- Wrapper selection: close-only uses close(), close\n with other refs uses close(__reclose()), close with\n defs uses __closeAll (which subsumes close).\n- Single-embed simplification: structs with a single\n embedding are simplified to the expression directly\n without wrapping.\n- Add TODO comment for top-level definition embeddings,\n which are likely intended as schema constraints.\n- Split tests into explicitopen.txtar (basic cases),\n explicitopen_expr.txtar (close/conjunction/disjunction\n expressions), and explicitopen_shorthands.txtar\n (single-embed shortcuts and comprehension TODOs).\n\nSigned-off-by: Marcel van Lohuizen \nChange-Id: If2d6b35c07dffb24b7ada346653ff2929b07fc08\nReviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1236310\nTryBot-Result: CUEcueckoo \nReviewed-by: Daniel Martí \nUnity-Result: CUE porcuepine \n","tree":"f399b434ffa58e6c1aba73fa499cae4e3e8b561c"},"mode":"0100644","name":"fixopen.go","size":10883},{"lastCommit":{"author":{"email":"mpvl@golang.org","name":"Marcel van Lohuizen","when":"2021-01-24T12:51:47.000000+01:00"},"committer":{"email":"mpvl@golang.org","name":"Marcel van Lohuizen","when":"2021-01-28T14:45:57.000000Z"},"hash":"f55f17eadc14327c3c46a6d6e74c71ce5c1eec3a","message":"tools/fix: eliminate x & _ and unnecessary parens\n\nChange-Id: I4612a0578703d7b13328d052ad6bae85c46cf69c\nReviewed-on: https://cue-review.googlesource.com/c/cue/+/8302\nReviewed-by: CUE cueckoo \nReviewed-by: Paul Jolly \n","tree":"2b08578f9a05969d66f11bc02c18a67cfe18b7cd"},"mode":"0100644","name":"simplify.go","size":1568},{"lastCommit":{"author":{"email":"mpvl@gmail.com","name":"Marcel van Lohuizen","when":"2026-04-29T11:10:27.000000+02:00"},"committer":{"email":"mpvl@gmail.com","name":"Marcel van Lohuizen","when":"2026-04-30T15:57:53.000000Z"},"hash":"619d46e2bab34bb010f46609301c5807b3c36067","message":"internal/core/adt: fix conjunction semantics for opened embeddings\n\nWhen a conjunction is opened with `...` (e.g. `(#C1 & #C2)...`\nor `#C...` where `#C: #C1 & #C2`), the conjunction operands\nshould still mutually constrain each other, while allowing\nextra fields in the enclosing struct.\n\nAdd `ConjunctOpened` flag to `CloseInfo` to track conjunction\noperands that are opened. In `hasEvidenceForOne`, use a\npre-scan to determine if a field is \"known\" to the\nconjunction (has conjuncts from within the embedding scope).\nIf so, reject it when no operand accepts it. If not, the\nfield is external and should be allowed.\n\nThis fixes the case where `__closeAll` wraps an outer struct\ncontaining a nested field with an opened conjunction\nembedding.\n\nSigned-off-by: Marcel van Lohuizen \nChange-Id: Ic3f8b271da138017c756ca5e84d727d29b849766\nReviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1236311\nUnity-Result: CUE porcuepine \nReviewed-by: Daniel Martí \nTryBot-Result: CUEcueckoo \n","tree":"3caedcfa732de5990654b1a4ede49bd7b650487a"},"mode":"0040000","name":"testdata","size":0}],"lastCommit":{"author":{"email":"mvdan@mvdan.cc","name":"Daniel Martí","when":"2026-05-09T12:16:14.000000+01:00"},"committer":{"email":"mvdan@mvdan.cc","name":"Daniel Martí","when":"2026-05-11T09:14:03.000000Z"},"hash":"a07a818158e65b3b188f99f792bf8f75726b8ec0","message":"tools/fix: remove the unused processor type\n\nIt used to keep lots of state and be shared between many methods,\nbut at this point it's entirely unnecessary.\ncwd is never read, err is never written to,\nand instances is only used locally within Instances.\n\nSigned-off-by: Daniel Martí \nChange-Id: Id702280c591c13fabae2dd009b070d687aacdff1\nReviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1236927\nTryBot-Result: CUEcueckoo \nUnity-Result: CUE porcuepine \nReviewed-by: Matthew Sackman \n","tree":"5498c178117a5978ce14d377542d4c112be1a5b3"}}