Crate macroonz_compiler 

A compiler for declared code: one complete request goes in, one sealed expansion comes out, or one diagnostic that says exactly why not.

The crate README is the specification — what a kind is, what each step of the road settles, and which half of the work is the caller’s. Every home below carries its own README as its module documentation. The module list is a reading order: homes cite their semantic owners directly, including the request-owned door whose diagnostic projections are consumed by the diagnostic home, and the crate depends on nothing else in this workspace.

Re-exports

pub use bounded::Bounded;

pub use bounded::Capped;

pub use bounded::Capping;

pub use bounded::Empty;

pub use bounded::NonEmpty;

pub use bounded::NonEmptyError;

pub use bounded::Overflow;

pub use closure::CLOSURE_ISSUE_LIMIT;

pub use closure::CarriedTokens;

pub use closure::Closure;

pub use closure::ClosureError;

pub use closure::ClosureIssue;

pub use closure::PartitionCargo;

pub use closure::PartitionedEmission;

pub use diagnostic::ASSEMBLY_FAMILY;

pub use diagnostic::BENCH_HELPER_FAMILY;

pub use diagnostic::BINDING_FAMILY;

pub use diagnostic::CAPTURE_FAMILY;

pub use diagnostic::CLOSURE_FAMILY;

pub use diagnostic::CODEC_DECLARATION_FAMILY;

pub use diagnostic::CONCURRENCY_HELPER_FAMILY;

pub use diagnostic::DECLARATION_FAMILY;

pub use diagnostic::Diagnostic;

pub use diagnostic::DiagnosticName;

pub use diagnostic::DiagnosticNameRefusal;

pub use diagnostic::EXPLANATION_FAMILY;

pub use diagnostic::FIRST_HELPER_FAMILY;

pub use diagnostic::Family;

pub use diagnostic::Line;

pub use diagnostic::LineBody;

pub use diagnostic::LineSite;

pub use diagnostic::NETWORK_HELPER_FAMILY;

pub use diagnostic::Observed;

pub use diagnostic::PLANNING_FAMILY;

pub use diagnostic::Phase;

pub use diagnostic::Placement;

pub use diagnostic::RELATED_ISSUE_LIMIT;

pub use diagnostic::RENDERING_FAMILY;

pub use diagnostic::REPAIR_LIMIT;

pub use diagnostic::RefusalClass;

pub use diagnostic::Refused;

pub use diagnostic::RelatedIdentity;

pub use diagnostic::RelatedSet;

pub use diagnostic::RenderedMagnitude;

pub use diagnostic::Repair;

pub use diagnostic::Route;

pub use diagnostic::SECOND_HELPER_FAMILY;

pub use diagnostic::SHADOW_HELPER_FAMILY;

pub use diagnostic::SHELL_FAMILY;

pub use diagnostic::SUPPORT_DECLARATION_FAMILY;

pub use diagnostic::Site;

pub use diagnostic::SiteCoordinate;

pub use diagnostic::composed;

pub use expansion::Accounted;

pub use expansion::BINDING_FACT;

pub use expansion::BindError;

pub use expansion::Expansion;

pub use explanation::ASSUMPTION_LIMIT;

pub use explanation::AnsweredOutput;

pub use explanation::DECLARED_QUESTION_LIMIT;

pub use explanation::EXPLANATION_ISSUE_LIMIT;

pub use explanation::ExplanationError;

pub use explanation::ExplanationIssue;

pub use explanation::RELATED_KIND_LIMIT;

pub use explanation::RelatedDisposition;

pub use explanation::UNIVERSAL_QUESTION_COUNT;

pub use explanation::UniversalAnswer;

pub use explanation::UniversalQuestion;

pub use explanation::View;

pub use identity::Anchoring;

pub use identity::BUNDLE_PROFILE;

pub use identity::CAPTURED_DECLARATION_PROFILE;

pub use identity::CAPTURED_HELPER_PROFILE;

pub use identity::CLOSED_EXPANSION_PROFILE;

pub use identity::CLOSURE_PROFILE;

pub use identity::ClosedExpansionId;

pub use identity::ClosureId;

pub use identity::DECLARATION_DOCUMENTATION_PROFILE;

pub use identity::DECLARED_NAME_PROFILE;

pub use identity::DIAGNOSTIC_RELATION_PROFILE;

pub use identity::EXPLANATION_PROFILE;

pub use identity::ExplanationId;

pub use identity::GENERATED_UNIT_PROFILE;

pub use identity::GENERATOR;

pub use identity::GENERATOR_VERSION_PROFILE;

pub use identity::GeneratorIdentity;

pub use identity::HUMAN_TEXT_LIMIT;

pub use identity::HumanProjection;

pub use identity::Identity;

pub use identity::MACROONZ_STEM;

pub use identity::ORIGIN_NODE_PROFILE;

pub use identity::OwnerFact;

pub use identity::OwnerIdentity;

pub use identity::PLAN_PROFILE;

pub use identity::PROJECTION_CONTENT_PROFILE;

pub use identity::PROJECTION_INTENT_PROFILE;

pub use identity::PROJECTION_KIND_PROFILE;

pub use identity::PlanId;

pub use identity::Profile;

pub use identity::Provenance;

pub use identity::RENDERED_UNIT_PROFILE;

pub use identity::ShapeVersion;

pub use identity::Subject;

pub use identity::Transcript;

pub use identity::Version;

pub use identity::encode_bytes;

pub use identity::encode_length;

pub use identity::names_are_separating;

pub use kind::Answer;

pub use kind::CanonicalContent;

pub use kind::Destination;

pub use kind::Disposition;

pub use kind::DispositionRecord;

pub use kind::DispositionSet;

pub use kind::DispositionSetError;

pub use kind::Kind;

pub use kind::KindSet;

pub use kind::NoQuestions;

pub use kind::Question;

pub use kind::Role;

pub use kind::SoleRole;

pub use origin::DecisionTrace;

pub use origin::Nonclaim;

pub use origin::ORIGIN_EDGE_LIMIT;

pub use origin::OriginEdge;

pub use origin::OriginRelation;

pub use origin::OriginTrail;

pub use origin::TRACE_ENTRY_LIMIT;

pub use origin::TraceDecision;

pub use origin::TraceEntry;

pub use origin::TrailError;

pub use plan::Account;

pub use plan::BoundAxis;

pub use plan::ContentBinding;

pub use plan::Context;

pub use plan::ContradictionPair;

pub use plan::DEPENDENCY_LIMIT;

pub use plan::DigestContract;

pub use plan::Intent;

pub use plan::InvalidationSet;

pub use plan::InvalidationTrigger;

pub use plan::MEMBERSHIP_LIMIT;

pub use plan::Membership;

pub use plan::NONCLAIM_LIMIT;

pub use plan::PLAN_ISSUE_LIMIT;

pub use plan::Plan;

pub use plan::PlanDecisions;

pub use plan::PlanError;

pub use plan::PlanIssue;

pub use plan::PlannedMember;

pub use plan::PlannedOutput;

pub use plan::TRIGGER_LIMIT;

pub use render::Output;

pub use render::RENDERED_BYTE_LIMIT;

pub use render::RenderError;

pub use render::RenderedProjection;

pub use render::RenderedUnit;

pub use request::CrateBinding;

pub use request::Door;

pub use request::Producer;

pub use request::RUST_DECLARATION_PROFILE;

pub use request::Request;

pub use request::SELECTION_FACT;

pub use request::bound_content;

pub use token::CAPTURE_WORK_LIMIT;

pub use token::CAPTURED_TOKEN_LIMIT;

pub use token::CAPTURED_TREE_TOKEN_LIMIT;

pub use token::CaptureBound;

pub use token::CaptureBuildRefusal;

pub use token::CaptureBuilder;

pub use token::CaptureLevel;

pub use token::CaptureWalk;

pub use token::CapturedAtom;

pub use token::CapturedDelimiter;

pub use token::CapturedInput;

pub use token::CapturedPayload;

pub use token::CapturedTokenTree;

pub use token::CoordinateRole;

pub use token::GENERATED_TOKEN_LIMIT;

pub use token::GeneratedDelimiter;

pub use token::GeneratedSpacing;

pub use token::GeneratedToken;

pub use token::GeneratedTree;

pub use token::LiteralReadCause;

pub use token::SourceCoordinate;

pub use token::SpanHandle;

pub use token::SpanResolutionRefusal;

pub use token::SpanTable;

pub use token::TEXT_SOURCE_BYTE_LIMIT;

pub use token::TOKEN_PATH_DEPTH_LIMIT;

pub use token::TextCapture;

pub use token::TextLexicalCause;

pub use token::TextReadCause;

pub use token::TextReadRefusal;

pub use token::TokenPath;

pub use token::absolute_path;

pub use token::and_all;

pub use token::attribute;

pub use token::bound_local;

pub use token::bound_path;

pub use token::call;

pub use token::capture_literal;

pub use token::comma;

pub use token::comma_many;

pub use token::constant;

pub use token::documentation;

pub use token::equality;

pub use token::function;

pub use token::group;

pub use token::metavariable;

pub use token::method_call;

pub use token::method_chain;

pub use token::rendered_identifier;

pub use token::rendered_name;

pub use token::result_type;

pub use token::roster;

pub use token::rust_keyword;

pub use token::text_pair;

pub use token::twin_path;

Modules

bounded

bounded — collection shape under an owned ceiling

closure

closure — the proof that what was rendered is what was planned

codec

codec

descriptor

descriptor — the kinds that speak to the harness

diagnostic

diagnostic — one typed value per observation

expansion

expansion — one request’s sealed result

explanation

explanation — the answer sheet nothing is generated without

host

host — the bridge to proc_macro

identity

identity

kind

kind

origin

origin — where a generated thing came from

plan

plan — everything a request settles before any syntax exists

render

render — what a renderer actually materialized

request

request — the front door

stamp

stamp — one authored pattern, published as source

support

support — inert cargo across a consumption boundary

token

token — the public seam on both sides

Macros

kinds

Declares one set of kinds: a marker type and its Kind implementation per row, the enumerated set, its KindSet implementation, and its DispositionRecord.

roster

Declares one closed vocabulary: the enum, its complete roster, and one declared name per row.

subjects

Declares one roster of identity subjects under one stem, as the home’s README shows.