{
  "continuity_scope": {
    "within_task": "Dynamics are fixed during a task, including calibration and sealed target; within-task dynamics are stable.",
    "certified": "In CERTIFIED_VERSION, matching certified versions for the same apparatus guarantee coefficient continuity. A changed certified version invalidates cross-version coefficient reuse. Tokens reveal no coefficient or answer.",
    "uncertified": "In NO_CONTINUITY_CERTIFICATE, previous observations do not certify the current coefficient; obtain current-task evidence for a supported prediction, or abstain. Private unchanged truth supplies no certificate.",
    "historical": "Historical observations describe their original apparatus, task and observation time. Their endpoints and provenance remain unchanged; they do not assert that an old coefficient necessarily governs a later target."
  },
  "contracts": {
    "CERTIFIED_VERSION": "Dynamics are fixed during a task, including calibration and sealed target; within-task dynamics are stable. In CERTIFIED_VERSION, matching certified versions for the same apparatus guarantee coefficient continuity. A changed certified version invalidates cross-version coefficient reuse. Tokens reveal no coefficient or answer.",
    "NO_CONTINUITY_CERTIFICATE": "Dynamics are fixed during a task, including calibration and sealed target; within-task dynamics are stable. In NO_CONTINUITY_CERTIFICATE, previous observations do not certify the current coefficient; obtain current-task evidence for a supported prediction, or abstain. Private unchanged truth supplies no certificate."
  },
  "objective": "Predict whether sealed target separation reduction (before - after) is strictly greater than its threshold. Both public continuity contracts are supplied. Dynamics are fixed during a task, including calibration and sealed target; within-task dynamics are stable. Changes occur only at registered between-task boundaries. Use the current apparatus continuity contract to choose applicable evidence. Neutral apparatus and target IDs reveal no hidden assignments. Target geometry changes on revisits. Only authentic observations persist; use ordinary search and retrieval. Recompute parameter estimates per task. No derived fact persists into a new task context. Choose every operation, source ID, fact reference and terminal category yourself. No automatic estimation, integration or answer replacement. Estimate returns an immutable fact with the full original interval, assumptions, units and source provenance. Integration accepts that parameter fact ID and the current public target ID; no numeric transcription. Finish with OCCURS, DOES_NOT_OCCUR or INSUFFICIENT_EVIDENCE and cite your committed integration_fact_id when classifying. Missing/invalid citations and unsupported classifications remain separately scored. Eight decisions maximum; eighth finish only. Invalid requests spend a decision. No repairs or correctness feedback. Keep rationale concise.",
  "tools": {
    "search_memory": "query:string, limit:1..6, optional apparatus_id:string. Ordinary metadata/content search of authentic observations; returns catalog and continuity metadata only.",
    "retrieve_memory": "source_ids:list of 1..6 previously searched observation IDs. Returns authentic records; no derived facts or old labels. Historical observations describe their original apparatus, task and observation time. Their endpoints and provenance remain unchanged; they do not assert that an old coefficient necessarily governs a later target.",
    "run_calibration": "experiment_id from current legal calibrations. Six simulation steps and one experiment. Persists authentic endpoints, apparatus/task/continuity provenance. Cannot execute target.",
    "estimate_parameters": "source_ids:list from current/retrieved observations and dynamics_assumptions=chronomata-symmetric-ab-v1. Exact current apparatus required. Returns immutable task-owned fact_id, full inclusive interval, assumptions, units, uncertainty and original source provenance. Applicability under continuity contract is your responsibility.",
    "integrate_public_rules": "parameter_fact_id:string from current-task estimation and target_id:string exactly current public target ID. Loads full original interval and exact target internally with unchanged numerical semantics. Returns immutable integration fact_id and certified event status. No numeric arguments accepted.",
    "finish": "summary exactly OCCURS, DOES_NOT_OCCUR or INSUFFICIENT_EVIDENCE; integration_fact_id:string or null citing your committed current-task exact-target integration. Missing/invalid citation is preserved and scored. flow=stop. Eighth decision finish only."
  }
}