Supported syntax is not published yet; future design areas are tracked explicitly.
This page intentionally separates supported syntax from planned and research topics. In this checkout, no Felidae parser, grammar, or compiler tests were found, so no syntax is documented as supported.
Facts
Named key-value facts are first-class program data and participate in explicit query solving.
Methods
Methods use named parameters, immutable := bindings, conditions and structured return values.
Queries
The CLI accepts ? queries and the runtime parses/solves them through the same integer parser/runtime.
Arrays and lambdas
Arrays, array helpers and lambda-based explicit iteration are used by current v2 programs.
Nested data / member access
Structured values and same-line member access support fact-oriented dataflow.
Imports
Local .fx imports and core library resolution are registered through the runtime loader.
Inheritance
extend-based fact inheritance appears in current v2 examples and Celidae hierarchy analysis.
Custom operators
Current v2 examples exercise @mixfix/@overload metadata and the debugger exposes operator metadata JSON.
Native modules
Typed .fx contracts map to native C++ module implementations through the native runtime.
Diagnostics / LSP
felidae_debug owns structured diagnostics and a JSON-RPC LSP surface.
Celidae visualization
Nine-view C++ analysis/visualization source and tests exist; current build-target integration is not yet consistent.
Cross-platform distribution
Native host builds are supported; non-native wrappers currently require new CMake toolchain work.
AI-agent abstractions
Agent, policy, memory and tool-orchestration concepts remain research direction, not current compiler syntax promised by this page.