Module presentar 

Presentar YAML Support (PROBAR-SPEC-015)

Native support for testing presentar TUI configurations with 100-point falsification protocol (F001-F100). Presentar YAML support for probar.

This module provides native support for testing presentar YAML configurations, enabling automated validation of TUI dashboards, terminal rendering, and falsification protocols.

Architecture

┌─────────────────────────────────────────────────────────┐
│                 Presentar Integration                    │
├─────────────────────────────────────────────────────────┤
│  schema.rs      → YAML schema types (PresentarConfig)   │
│  validator.rs   → Config validation rules               │
│  terminal.rs    → CellBuffer snapshot assertions        │
│  falsification.rs → F001-F100 generator                 │
└─────────────────────────────────────────────────────────┘

References

• Tretmans (2008): Model-Based Testing of Reactive Systems
• Claessen & Hughes (2000): QuickCheck property-based testing
• Jia & Harman (2011): Mutation Testing theory

Structs

Cell

A single terminal cell.

Color

RGB color representation.

FalsificationCheck

A single falsification check.

FalsificationResult

Result of a falsification check.

KeybindingConfig

Keybinding configuration.

LayoutConfig

Layout configuration.

PanelConfig

Generic panel configuration.

PanelConfigs

Panel configurations.

PresentarConfig

Presentar configuration schema (ptop.yaml).

TerminalSnapshot

Terminal snapshot for testing.

ThemeConfig

Theme configuration.

ValidationResult

Validation result with warnings.

Enums

PanelType

Panel type enumeration.

PresentarError

Presentar validation errors.

TerminalAssertion

Terminal assertion types.

Constants

FALSIFICATION_COUNT

Number of falsification checks (F001-F100).

SCHEMA_VERSION

Presentar schema version supported by this module.

Functions

generate_falsification_playbook

Generate a falsification playbook from presentar configuration.

parse_and_validate

Parse and validate YAML in one step.

validate_config

Validate a presentar configuration.