Cortex Reference

Consultable material. Designed to be jumped into for a specific rule or workflow rather than read front-to-back. If you are trying to do a task rather than look up a rule, start with Usage/.

Contents

• terminology.md — accepted Wire and Cortex terms. Canonical definitions; the source of truth for vocabulary.
• Wire/ — Wire language reference:
  • grammar.md — normative grammar specification.
  • style.md — formatting and layout conventions for Wire examples and source files.
  • modules-imports-and-file-returns.md — module model, import semantics, file-return rules.
  • contracts-ports-and-matching.md — contract namespace, port declarations, => port-key matching.
  • configured-executors-and-execution-boundary.md — configured executor values, explicit node admission, evaluation-boundary check.
  • executors-and-alphabet.md — executor registration, @ authority, configured executor values, ambient identifiers in config values.
• rewrites.md — bounded dynamic rewrite algebra, budget, admission, materialization, hydration, provenance.
• proof-status.md — human-readable matrix of Lean proof claims and Haskell correspondence status.
• development.md — build, test, formatting, docs, theory, and local validation commands.
• Pulse/ — Pulse runtime reference:
  • schema.md — DB enums, task definitions, runs, checkpoints, stage log, stage attempt log.
  • types.md — task envelope, checkpoint envelope, stage plan, retry policy, memory strategy.
  • service-api.md — HTTP endpoints, authentication, idempotency, cancellation, error taxonomy.

Architecture chapters (../Architecture/) explain why the rules are what they are. References state the rules. The architecture book quotes the references for precision; the references quote the architecture book for context.

Related

• ../Architecture/ — canonical architecture chapters.
• ../Usage/ — practical user guide.
• ../glossary.md — quick-reference term lookup.
• ../taxonomy.md — conceptual classification.