phaseprobe 0.2.0__py3-none-any.whl

phaseprobe/data/examples/predator-prey-check.json

@@ -0,0 +1,25 @@
+{
+  "schema_version": "1.0",
+  "model": "predator-prey",
+  "seed": 31,
+  "parameters": {"alpha": 1.1, "beta": 0.4, "delta": 0.1, "gamma": 0.4},
+  "model_config": {"initial_state": {"prey": 10.0, "predator": 5.0}},
+  "simulation": {
+    "steps": 4000,
+    "burn_in": 0,
+    "dt": 0.005,
+    "sample_every": 1,
+    "trace_cap": 4000,
+    "hard_state_limit": 1000.0
+  },
+  "tolerances": {"invariant_drift": 1e-7},
+  "check": {"analysis": "invariants"},
+  "policy": {
+    "forbid_findings": true,
+    "require_finding": false,
+    "require_invariants": true
+  },
+  "classification_rule": "Both retained populations remain strictly positive, classified as a bounded positive oscillation.",
+  "refinement_rule": "Fixed-step RK4 at dt=0.005; compare the analytic first integral against its initial retained value.",
+  "invalid_state_policy": "Abort on invalid integration; fail policy on invariant drift or non-positive population."
+}

phaseprobe/data/examples/predator-prey-negative.json

@@ -0,0 +1,25 @@
+{
+  "schema_version": "1.0",
+  "model": "predator-prey",
+  "seed": 31,
+  "parameters": {"alpha": 1.1, "beta": 0.4, "delta": 0.1, "gamma": 0.4},
+  "model_config": {"initial_state": {"prey": 10.0, "predator": 5.0}},
+  "simulation": {
+    "steps": 80,
+    "burn_in": 0,
+    "dt": 0.25,
+    "sample_every": 1,
+    "trace_cap": 80,
+    "hard_state_limit": 1000.0
+  },
+  "tolerances": {"invariant_drift": 1e-7},
+  "check": {"analysis": "invariants"},
+  "policy": {
+    "forbid_findings": true,
+    "require_finding": false,
+    "require_invariants": true
+  },
+  "classification_rule": "Same boundedness classifier as the refined-solver positive control.",
+  "refinement_rule": "Deliberately coarse fixed step demonstrates the invariant-drift policy control.",
+  "invalid_state_policy": "Abort on invalid integration; otherwise fail the declared invariant policy."
+}

phaseprobe/data/examples/toggle-negative.json

@@ -0,0 +1,30 @@
+{
+  "schema_version": "1.0",
+  "model": "genetic-toggle",
+  "seed": 47,
+  "parameters": {"alpha_u": 3.0, "alpha_v": 3.0, "hill_u": 2.0, "hill_v": 2.0},
+  "model_config": {"initial_state": {"u": 3.0, "v": 0.2}},
+  "simulation": {
+    "steps": 1500,
+    "burn_in": 0,
+    "dt": 0.02,
+    "sample_every": 2,
+    "trace_cap": 750,
+    "hard_state_limit": 100.0
+  },
+  "tolerances": {"dominance": 0.05, "state_bound": 10.0},
+  "perturb": {
+    "dimension": "v",
+    "start": 0.01,
+    "stop": 0.5,
+    "points": 6,
+    "scale": "linear",
+    "predicate": "classification-change",
+    "divergence_threshold": 1.0,
+    "refine_iterations": 6,
+    "repeatability": 2
+  },
+  "classification_rule": "Same terminal dominance classifier as the positive toggle example.",
+  "refinement_rule": "No refinement if all bounded perturbations retain the baseline qualitative class.",
+  "invalid_state_policy": "Abort on invalid integration."
+}

phaseprobe/data/examples/toggle-perturb.json

@@ -0,0 +1,31 @@
+{
+  "schema_version": "1.0",
+  "model": "genetic-toggle",
+  "seed": 47,
+  "parameters": {"alpha_u": 3.0, "alpha_v": 3.0, "hill_u": 2.0, "hill_v": 2.0},
+  "model_config": {"initial_state": {"u": 3.0, "v": 0.2}},
+  "simulation": {
+    "steps": 1500,
+    "burn_in": 0,
+    "dt": 0.02,
+    "sample_every": 2,
+    "trace_cap": 750,
+    "hard_state_limit": 100.0
+  },
+  "tolerances": {"dominance": 0.05, "state_bound": 10.0},
+  "perturb": {
+    "dimension": "v",
+    "start": 0.1,
+    "stop": 4.0,
+    "points": 9,
+    "scale": "linear",
+    "predicate": "classification-change",
+    "target_classification": "v-dominant",
+    "divergence_threshold": 1.0,
+    "refine_iterations": 8,
+    "repeatability": 2
+  },
+  "classification_rule": "Classify the terminal state as u-dominant, v-dominant, or balanced using a declared absolute dominance tolerance.",
+  "refinement_rule": "Ascending bounded v perturbations, then bracketed binary refinement and exact repeatability confirmation.",
+  "invalid_state_policy": "Abort on invalid integration or concentration outside the hard state limit."
+}