Skip to main content

Module platform

Module platform 

Source
Expand description

Deterministic, process-local compiler platform products (Phase L3).

This module deliberately orchestrates the existing parser and application semantic model. It neither defines a second parser nor reproduces semantic ownership, artifact, or runtime derivation.

Modules§

cache
incremental
inspection
session
snapshot
workspace
Public submodule names are stable platform contracts; their values live in this file to keep the first platform implementation compact.

Structs§

ApplicationProductRef
CacheEntry
CacheInspectionEntry
CacheLimits
CacheSummary
CancellationToken
CancelledCompilation
CanonicalReusableProductV1
An L3 parse product explicitly authorized for L5 session-local reuse. ParsedFile is a normalized parser result, not authored source text.
CommittedCompilation
CommittedWorkspaceState
CompilationAttemptId
CompilationAttemptState
CompileWorkspaceRequest
CompilerSessionId
CompilerSessionInspection
CompilerSessionState
ContractVersion
Digest
ExpectedCommit
IncrementalCompilationOutcomeV1
IncrementalCompilationPlanV1
Immutable, canonical L5 planning product. It carries no source text.
IncrementalCompileWorkspaceRequestV1
IncrementalInputChangeV1
IncrementalPlan
IncrementalPlanId
IncrementalStage
InvalidatedUnit
PlatformDecodeError
Deterministic canonical-decode failure. pointer is a JSON pointer.
PlatformFailure
PlatformSerializationError
PlatformValidationError
Validation error for the public L3 platform input surface.
ProductCache
ProductCacheInspection
ProductKey
RejectedCompilation
SnapshotUnit
SourceRevisionId
SourceUnitId
UnitProductRef
WorkspaceChangeSet
WorkspaceConfiguration
WorkspaceDependencyEdge
WorkspaceGraph
WorkspaceId
WorkspaceInput
WorkspacePath
WorkspaceProductKey
WorkspaceSnapshot
WorkspaceSnapshotId
WorkspaceSource
WorkspaceUnit

Enums§

ApplicationProductKind
AttemptPhase
CacheEntryState
CompilationOutcome
CompilerSessionStatus
IncrementalCompilationModeV1
The only L5 execution modes. They describe orchestration, never language semantics or generated output.
IncrementalFallbackReasonV1
Stable, non-diagnostic L5 fallback facts in the exact contract order.
IncrementalInputChangeKindV1
Canonical order is declaration order, which is also the L5 contract order.
IncrementalMode
IncrementalStageKind
InvalidationReason
PlatformFailureCode
ProductKind
RequestedCompilationMode
SourceLanguage
WorkspaceDependencyKind

Constants§

COMPILER_SESSION_SCHEMA_VERSION
INCREMENTAL_COMPILATION_PLAN_V1_SCHEMA
L5’s session-local incremental planning product discriminator.
INCREMENTAL_EXECUTION_REPORT_V1_SCHEMA
L5’s service execution-report product discriminator.
INCREMENTAL_PLAN_SCHEMA_VERSION
PRODUCT_CACHE_INSPECTION_SCHEMA_VERSION
WORKSPACE_CONFIGURATION_SCHEMA_VERSION
The public canonical workspace-configuration input schema authorized by L4.
WORKSPACE_GRAPH_SCHEMA_VERSION
WORKSPACE_SNAPSHOT_SCHEMA_VERSION

Traits§

CachedProduct

Functions§

canonical_workspace_configuration_json_v1
Returns exact canonical JSON for the L3 v1 workspace configuration.
compare_snapshots
decode_workspace_graph_json_v1
Decodes one exact canonical L3 v1 workspace graph document without source loading or compiler execution.
decode_workspace_snapshot_json_v1
Decodes one exact canonical L3 v1 workspace snapshot document without loading source, invoking the parser, or mutating a compiler session.
derive_workspace_id_v1
Derives the L3 workspace identity from a fully validated configuration.
force_clean_fallback_v1
Converts a candidate plan to the conservative L5 clean path without deriving any dependency information. Used when the service detects that a retained baseline product no longer validates.
plan_incremental
plan_incremental_compilation_v1
Builds an L5 plan solely from canonical L3 snapshots, graph edges, and product identities. Source membership lacks product-granular authority in L3 v1, so additions and deletions deliberately clean-fallback.
source_universe_fingerprint_v1
Fingerprints the complete normalized source universe using only canonical L3 snapshot facts. The source revision already binds identity, language, and exact authored bytes; no text is retained by this product.
validate_workspace_configuration_v1
Public L3 v1 configuration validation authorized by the L4 service contract.
workspace_configuration_fingerprint_v1
Returns the configuration fingerprint used by L3 workspace products.