Module warmstart 

Warm-start exact finite-horizon objective controller for AIXI-family runs.

Structs

WarmStartExactJhAgent

Warm-start exact finite-horizon objective controller.

WarmStartExactJhConfig

Configuration parameters for the warm-start exact-J_H controller.

WarmStartExactJhTeacherContract

Versioned same-task contract attached to a warm-start teacher dataset.

WarmStartExactJhTeacherDataset

Same-task teacher dataset for WarmStartExactJhAgent.

WarmStartExactJhTeacherTrace

Same-task trace used to initialize a warm-start exact-J_H controller.

WarmStartExactJhTraceRecorder

Records normalized warm-start action/percept telemetry into one teacher trace.

WarmStartExactJhTransition

One observed environment transition in a same-task warm-start trace.

Enums

WarmStartExactJhError

Error type for warm-start exact-J_H agent construction and execution.

Functions

merge_warmstart_teacher_trace_deterministic

Merge one teacher trace into traces, preserving deterministic lexicographic order.

merge_warmstart_teacher_traces_deterministic

Merge teacher traces into traces, returning the number and payload of inserted traces.

read_warmstart_teacher_dataset_path

Read a warm-start teacher dataset from a filesystem path.

standalone_warmstart_teacher_contract_for_compiled_planner_run

Build the standalone same-task teacher contract for a compiled warm-start planner run.

validate_standalone_warmstart_provenance

Validates standalone planner-run provenance hashes against canonical standalone declarations.

validate_warmstart_teacher_against_compiled_planner_run

Validates a parsed teacher contract against a compiled standalone PlannerRunSpec (CLI / asset loader).

validate_warmstart_teacher_dataset_for_compiled_planner_run

Validate a complete warm-start teacher dataset against a compiled planner run.

validate_warmstart_teacher_planner_task_fingerprint

Validates teacher WarmStartExactJhTeacherContract::schema_version and WarmStartExactJhTeacherContract::task_fingerprint against a compiled planner run.

validate_warmstart_teacher_transition_against_contract

Validate one reconstructed teacher transition against a warm-start bridge contract.

warmstart_jsonl_action_record

Build a normalized JSONL action record.

warmstart_jsonl_percept_record

Build a normalized JSONL percept record.

warmstart_target_return_horizon

Return the target exact-return horizon for a compiled warm-start planner run.

warmstart_teacher_trace_from_jsonl_path

Parse a normalized planner JSONL trace from a filesystem path.

warmstart_teacher_trace_from_jsonl_reader

Parse a normalized planner JSONL trace into a warm-start teacher trace.

warmstart_teacher_trace_from_jsonl_slice

Parse a normalized planner JSONL trace from bytes.

write_warmstart_teacher_dataset_path

Write a warm-start teacher dataset to a filesystem path.