felix.git/test/golden/inductive/parsing.golden, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-07-28T12:54:42+00:00 Check direct inductives through fixed-point replay 2026-07-28T12:54:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T12:54:42+00:00 urn:sha1:ba4acdaa305d01469f66cd316edde4d22ea2fff9 Validate relation parameter arity 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T15:32:47+00:00 urn:sha1:3b573d94d4c5e82802745daa7c7d679727155e7d Use semantic subset formula inside inductive defns 2026-07-23T17:56:52+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-23T17:56:52+00:00 urn:sha1:d1d3f178db000a6ffd928a75af8eb1ba2b7f8b9a Track ownership of top-level symbols 2026-07-03T00:13:21+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-03T00:13:21+00:00 urn:sha1:40bc466d6a996e731cba21f24a58be08b1f22689 Require every ownable top-level symbol to be introduced by a dedicated owner before it can appear in facts. Reject duplicate ownership and prevent symbols used by inductive definitions from being defined later. Use the ownership/dependency information to reject hidden recursive inductive definitions and to generate referenceable inductive principles. BREAKING CHANGE: Top-level facts no longer introduce symbols implicitly. Update tests 2026-03-07T01:51:33+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-07T01:51:33+00:00 urn:sha1:b2b47f6ac4fb5604b0652724e8259ce52de13164 Update golden tests 2026-02-13T23:54:25+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-13T23:54:25+00:00 urn:sha1:1122576d9283d499915ec4d0a87ee8cf03e5339e Remove `lookupLexicalItem`, attach info in AST instead 2026-02-05T18:50:34+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T18:50:34+00:00 urn:sha1:b25ec4c14cc4c4cfc0dd410a4b8cd74d411ad06c Remove `lookupOp` and add marker to AST instead 2026-02-05T17:01:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T17:01:54+00:00 urn:sha1:6d9c4d9db7adcee4f7344e197163d7ae146fe72f Fix `filterTask`, make var names more consistent 2025-12-17T18:35:56+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-17T18:35:56+00:00 urn:sha1:a077ea7a68bd7d723da499057b484bcb265b5336 Fix column location 2025-12-14T16:54:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-14T16:54:05+00:00 urn:sha1:8e7d2c94d8449b8512fd6257534b4c593319b4ae