developer_productivity

Developer tooling polish and productivity contracts for M59.

Types

DiagnosticsDomain

Runtime diagnostics domain.

pub type DiagnosticsDomain {
  SessionDiagnostics
  EventDiagnostics
  DiffDiagnostics
  TransportDiagnostics
}

Constructors

```
SessionDiagnostics
```
```
EventDiagnostics
```
```
DiffDiagnostics
```
```
TransportDiagnostics
```

EditorDiagnosticContract

Editor diagnostic contract.

pub type EditorDiagnosticContract {
  EditorDiagnosticContract(
    code: String,
    severity: String,
    source_module: String,
    quick_fix: String,
    symbol: String,
  )
}

Constructors

EditorDiagnosticContract(
  code: String,
  severity: String,
  source_module: String,
  quick_fix: String,
  symbol: String,
)

NavigationContract

Code-navigation metadata contract.

pub type NavigationContract {
  NavigationContract(
    module_ref: String,
    symbol: String,
    path: String,
    command: String,
  )
}

Constructors

NavigationContract(
  module_ref: String,
  symbol: String,
  path: String,
  command: String,
)

ProductivitySuite

M59 developer tooling suite contract.

pub type ProductivitySuite {
  ProductivitySuite(
    name: String,
    diagnostics: List(RuntimeDiagnosticsSurface),
    profiling: List(ProfilingSurface),
    quality_gates: List(ToolingQualityGate),
    refactor_workflows: List(RefactorWorkflow),
    editor_diagnostics: List(EditorDiagnosticContract),
    navigation_contracts: List(NavigationContract),
  )
}

Constructors

ProductivitySuite(
  name: String,
  diagnostics: List(RuntimeDiagnosticsSurface),
  profiling: List(ProfilingSurface),
  quality_gates: List(ToolingQualityGate),
  refactor_workflows: List(RefactorWorkflow),
  editor_diagnostics: List(EditorDiagnosticContract),
  navigation_contracts: List(NavigationContract),
)

ProfilingDimension

Profiling hotspot dimension.

pub type ProfilingDimension {
  LatencyHotspot
  AllocationHotspot
  RenderHotspot
}

Constructors

```
LatencyHotspot
```
```
AllocationHotspot
```
```
RenderHotspot
```

ProfilingSurface

Actionable profiling surface for one hotspot dimension.

pub type ProfilingSurface {
  ProfilingSurface(
    dimension: ProfilingDimension,
    command: String,
    budget_label: String,
    remediation_hint: String,
    deterministic: Bool,
  )
}

Constructors

ProfilingSurface(
  dimension: ProfilingDimension,
  command: String,
  budget_label: String,
  remediation_hint: String,
  deterministic: Bool,
)

RefactorWorkflow

Representative refactor workflow contract.

pub type RefactorWorkflow {
  RefactorWorkflow(
    name: String,
    baseline_patch_lines: Int,
    polished_patch_lines: Int,
    required_gates: List(String),
    deterministic: Bool,
  )
}

Constructors

RefactorWorkflow(
  name: String,
  baseline_patch_lines: Int,
  polished_patch_lines: Int,
  required_gates: List(String),
  deterministic: Bool,
)

RuntimeDiagnosticsSurface

Actionable runtime diagnostics surface.

pub type RuntimeDiagnosticsSurface {
  RuntimeDiagnosticsSurface(
    domain: DiagnosticsDomain,
    command: String,
    key_signals: List(String),
    remediation_hint: String,
    custom_instrumentation_required: Bool,
  )
}

Constructors

RuntimeDiagnosticsSurface(
  domain: DiagnosticsDomain,
  command: String,
  key_signals: List(String),
  remediation_hint: String,
  custom_instrumentation_required: Bool,
)

ToolingQualityGate

Deterministic quality gate for generator/refactor workflows.

pub type ToolingQualityGate {
  ToolingQualityGate(
    name: String,
    command: String,
    snapshot_prefix: String,
    deterministic: Bool,
  )
}

Constructors

ToolingQualityGate(
  name: String,
  command: String,
  snapshot_prefix: String,
  deterministic: Bool,
)

Values

default_suite

pub fn default_suite() -> ProductivitySuite

Default developer tooling suite.

diagnosable_without_custom_instrumentation

pub fn diagnosable_without_custom_instrumentation(
  suite: ProductivitySuite,
) -> Bool

True when runtime/performance issues are diagnosable without custom instrumentation.

diagnostics

pub fn diagnostics(
  suite: ProductivitySuite,
) -> List(RuntimeDiagnosticsSurface)

Diagnostics accessor.

diagnostics_domain_label

pub fn diagnostics_domain_label(
  domain: DiagnosticsDomain,
) -> String

Diagnostics domain label.

diagnostics_signature

pub fn diagnostics_signature(
  surface: RuntimeDiagnosticsSurface,
) -> String

Stable diagnostics-surface signature.

editor_diagnostic_signature

pub fn editor_diagnostic_signature(
  contract: EditorDiagnosticContract,
) -> String

Stable editor-diagnostic signature.

editor_diagnostics

pub fn editor_diagnostics(
  suite: ProductivitySuite,
) -> List(EditorDiagnosticContract)

Editor-diagnostics accessor.

fixture_snapshots

pub fn fixture_snapshots() -> List(#(String, String))

Deterministic fixture snapshots for M59 drift gates.

monorepo_suite

pub fn monorepo_suite() -> ProductivitySuite

Monorepo-focused suite.

name

pub fn name(suite: ProductivitySuite) -> String

Suite name accessor.

navigation_contracts

pub fn navigation_contracts(
  suite: ProductivitySuite,
) -> List(NavigationContract)

Navigation-contract accessor.

navigation_signature

pub fn navigation_signature(
  contract: NavigationContract,
) -> String

Stable navigation-contract signature.

patch_churn_reduction_percent

pub fn patch_churn_reduction_percent(
  workflow: RefactorWorkflow,
) -> Int

Patch-churn reduction percentage for one workflow.

plugin_suite

pub fn plugin_suite() -> ProductivitySuite

Plugin-heavy suite.

profile_version_label

pub fn profile_version_label() -> String

Stable M59 profile version label.

profiling

pub fn profiling(
  suite: ProductivitySuite,
) -> List(ProfilingSurface)

Profiling accessor.

profiling_dimension_label

pub fn profiling_dimension_label(
  dimension: ProfilingDimension,
) -> String

Profiling dimension label.

profiling_signature

pub fn profiling_signature(surface: ProfilingSurface) -> String

Stable profiling-surface signature.

quality_gate_signature

pub fn quality_gate_signature(gate: ToolingQualityGate) -> String

Stable quality-gate signature.

quality_gates

pub fn quality_gates(
  suite: ProductivitySuite,
) -> List(ToolingQualityGate)

Quality-gates accessor.

refactor_workflow_signature

pub fn refactor_workflow_signature(
  workflow: RefactorWorkflow,
) -> String

Stable refactor-workflow signature.

refactor_workflows

pub fn refactor_workflows(
  suite: ProductivitySuite,
) -> List(RefactorWorkflow)

Refactor-workflows accessor.

reference_suites

pub fn reference_suites() -> List(ProductivitySuite)

Deterministic M59 reference suites.

signature

pub fn signature(suite: ProductivitySuite) -> String

Stable suite signature.

snapshot_signature

pub fn snapshot_signature() -> String

Deterministic M59 snapshot signature.

snapshot_version

pub const snapshot_version: Int

stable_quality_signals

pub fn stable_quality_signals(suite: ProductivitySuite) -> Bool

True when tooling quality signals are stable enough for CI gating.

supports_editor_navigation

pub fn supports_editor_navigation(
  suite: ProductivitySuite,
) -> Bool

True when editor diagnostics and navigation metadata are coherent.

valid_suite

pub fn valid_suite(suite: ProductivitySuite) -> Bool

Validate one M59 suite contract.

workflows_reduce_patch_churn

pub fn workflows_reduce_patch_churn(
  suite: ProductivitySuite,
) -> Bool

True when representative refactor workflows reduce patch churn.