percolation-inversion-compiler-ts 0.4.4

package/fixtures/python_v044_cli/doctor_development.json

@@ -0,0 +1,264 @@
+{
+  "checks": [
+    {
+      "check_id": "provenance-manifest",
+      "details": {
+        "reasons": []
+      },
+      "message": "release provenance manifest verifies schema, snapshot, examples, and metadata",
+      "status": "warn"
+    },
+    {
+      "check_id": "schema-registry",
+      "details": {
+        "schema_count": 277
+      },
+      "message": "public schema registry is available",
+      "status": "pass"
+    },
+    {
+      "check_id": "derived-snapshots",
+      "details": {
+        "snapshot_count": 5,
+        "unsupported_by_artifact": {
+          "alt": 0,
+          "bit": 0,
+          "ecpt": 0,
+          "sqot": 0,
+          "trc": 0
+        }
+      },
+      "message": "bundled derived snapshots are available and keep unsupported at zero",
+      "status": "pass"
+    },
+    {
+      "check_id": "adapter-route-catalog",
+      "details": {
+        "binding_count": 29,
+        "contract_enforced_routes": [
+          "ecpt.adapters.bridge.verify_cross_theory_bridge",
+          "ecpt.adapters.trace_complex.verify_diagnostic_projection",
+          "trc.adapters.contracts.verify_assume_guarantee_library",
+          "trc.adapters.metric.verify_distributionally_robust_dual",
+          "trc.adapters.observation.verify_partition_cover"
+        ],
+        "discharge_level_summary": {
+          "contract_enforced": 5,
+          "external_domain_required": 19,
+          "finite_value_check": 4,
+          "replay_check": 1
+        },
+        "external_domain_required_routes": [
+          "alt.adapters.causal.verify_token_effect",
+          "alt.adapters.hazard.verify_adversarial_token_clearance",
+          "alt.adapters.reproduction.verify_capital_reproduction_matrix",
+          "alt.adapters.root.verify_role_separated_quorum",
+          "alt.adapters.target.verify_alt_cara_target",
+          "alt.adapters.telemetry.verify_cost_instrumentation",
+          "alt.adapters.transport.verify_density_ratio_support",
+          "core.adapters.external.verify_domain_obligation",
+          "ecpt.adapters.ecology.verify_domain_abstraction",
+          "ecpt.adapters.policy.verify_execution_policy",
+          "ecpt.adapters.proxy.verify_target_contract",
+          "ecpt.adapters.speculative.verify_channel_and_repair",
+          "sqot.adapters.adversarial.verify_transfer_game",
+          "sqot.adapters.integrity.verify_protocol_kernel",
+          "sqot.adapters.privacy.verify_rejoin_transcript",
+          "sqot.adapters.salience.verify_queue_policy",
+          "sqot.adapters.thermodynamic.verify_discharge_envelope",
+          "trc.adapters.latent_oracle.verify_model_witness",
+          "trc.adapters.redesign.verify_response_interval"
+        ],
+        "missing_required_routes": [],
+        "missing_routes": [],
+        "replay_residual_routes": [
+          "trc.adapters.physical_hybrid.verify_envelope"
+        ],
+        "route_count": 44,
+        "unavailable_routes": [],
+        "unbound_contract_routes": [],
+        "unresolved_domain_obligation_count": 27
+      },
+      "message": "every external obligation route has an AdapterRouteSpec",
+      "status": "pass"
+    },
+    {
+      "check_id": "optional-adapters",
+      "details": {
+        "dependencies": {
+          "networkx": "missing",
+          "ot": "missing",
+          "pint": "missing"
+        }
+      },
+      "message": "optional scientific adapters are reported explicitly",
+      "status": "warn"
+    },
+    {
+      "check_id": "canonical-tex",
+      "details": {
+        "provenance_verified": false
+      },
+      "message": "PIC_CANONICAL_TEX_DIR is not set; verified provenance may substitute local TeX",
+      "status": "warn"
+    },
+    {
+      "check_id": "canonical-manifest",
+      "details": {
+        "record_count": 5,
+        "schema_version": "canonical-manifest-2.0"
+      },
+      "message": "canonical DOI manifest uses SHA-256 as primary integrity identity",
+      "status": "pass"
+    },
+    {
+      "check_id": "security-metadata",
+      "details": {
+        "distribution_metadata": false,
+        "source_files": {
+          "CITATION.cff": false,
+          "LICENSE": true,
+          "NOTICE": true,
+          "SECURITY.md": false,
+          "THIRD_PARTY_LICENSES.md": false
+        }
+      },
+      "message": "security, citation, and license metadata are present",
+      "status": "pass"
+    },
+    {
+      "check_id": "schema-provenance",
+      "details": {
+        "provenance_verified": false,
+        "signed": false
+      },
+      "message": "schema bundle provenance is verified by deterministic SHA-256 manifest",
+      "status": "warn"
+    },
+    {
+      "check_id": "status-policy",
+      "details": {
+        "policy": [
+          "declared_status is metadata",
+          "checker output derives status",
+          "external routes default to diagnostic unless accepted evidence is present"
+        ]
+      },
+      "message": "non-promotion and residual preservation policies are active",
+      "status": "pass"
+    }
+  ],
+  "commercial_readiness": {
+    "accepted": false,
+    "bounded_intake_default": true,
+    "checks": {
+      "bounded_candidate_intake": "ready",
+      "connector_dependency": "ready",
+      "curated_demo": "ready",
+      "identity": "ready",
+      "install_mode": "installed-package",
+      "live_connector_opt_out": "ready",
+      "live_connectors": "bounded-default-on",
+      "provenance": "diagnostic",
+      "schema_registry": "ready",
+      "security_metadata": "fail",
+      "snapshots": "ready",
+      "token_readiness": "ready"
+    },
+    "connector_dependency_ready": true,
+    "curated_demo_available": true,
+    "identity_ready": true,
+    "install_mode": "installed-package",
+    "live_connector_opt_out_available": true,
+    "live_connectors_default_enabled": true,
+    "live_connectors_default_off": false,
+    "live_default_mode": "explicit-source-bounded-candidate-intake",
+    "onboarding_status": "fail",
+    "operationally_usable": false,
+    "package_version": "0.4.4",
+    "production_identity_required": false,
+    "provenance_verified": false,
+    "reasons": [
+      "release or schema provenance is not verified in this environment",
+      "security, citation, or license metadata is incomplete"
+    ],
+    "schema_count": 277,
+    "schema_registry_ready": true,
+    "security_metadata_present": false,
+    "settled": false,
+    "snapshot_bundle_ready": true,
+    "snapshot_count": 5,
+    "summary_id": "pic-commercial-readiness",
+    "token_ready": true
+  },
+  "overall_status": "warn",
+  "package_version": "0.4.4",
+  "python_version": "3.13.5",
+  "report_id": "pic-operational-readiness",
+  "safety_invariants": [
+    "registry entries are metadata, not evidence",
+    "derived_status is checker-derived",
+    "unresolved external obligations do not promote to settled",
+    "snapshots are derived metadata and do not vendor TeX/PDF sources"
+  ],
+  "summary": {
+    "adapter_route_count": 44,
+    "canonical_manifest_records": 5,
+    "contract_enforced_routes": [
+      "ecpt.adapters.bridge.verify_cross_theory_bridge",
+      "ecpt.adapters.trace_complex.verify_diagnostic_projection",
+      "trc.adapters.contracts.verify_assume_guarantee_library",
+      "trc.adapters.metric.verify_distributionally_robust_dual",
+      "trc.adapters.observation.verify_partition_cover"
+    ],
+    "discharge_level_summary": {
+      "contract_enforced": 5,
+      "external_domain_required": 19,
+      "finite_value_check": 4,
+      "replay_check": 1
+    },
+    "discharge_route_binding_count": 29,
+    "external_domain_required_routes": [
+      "alt.adapters.causal.verify_token_effect",
+      "alt.adapters.hazard.verify_adversarial_token_clearance",
+      "alt.adapters.reproduction.verify_capital_reproduction_matrix",
+      "alt.adapters.root.verify_role_separated_quorum",
+      "alt.adapters.target.verify_alt_cara_target",
+      "alt.adapters.telemetry.verify_cost_instrumentation",
+      "alt.adapters.transport.verify_density_ratio_support",
+      "core.adapters.external.verify_domain_obligation",
+      "ecpt.adapters.ecology.verify_domain_abstraction",
+      "ecpt.adapters.policy.verify_execution_policy",
+      "ecpt.adapters.proxy.verify_target_contract",
+      "ecpt.adapters.speculative.verify_channel_and_repair",
+      "sqot.adapters.adversarial.verify_transfer_game",
+      "sqot.adapters.integrity.verify_protocol_kernel",
+      "sqot.adapters.privacy.verify_rejoin_transcript",
+      "sqot.adapters.salience.verify_queue_policy",
+      "sqot.adapters.thermodynamic.verify_discharge_envelope",
+      "trc.adapters.latent_oracle.verify_model_witness",
+      "trc.adapters.redesign.verify_response_interval"
+    ],
+    "external_obligation_totals": {
+      "alt": 54,
+      "bit": 0,
+      "ecpt": 30,
+      "sqot": 15,
+      "trc": 32
+    },
+    "optional_dependency_status": {
+      "networkx": "missing",
+      "ot": "missing",
+      "pint": "missing"
+    },
+    "profile": "development",
+    "provenance_verified": false,
+    "replay_residual_routes": [
+      "trc.adapters.physical_hybrid.verify_envelope"
+    ],
+    "required_routes": [],
+    "residual_external_obligation_count": 27,
+    "schema_count": 277,
+    "snapshot_count": 5
+  }
+}

package/fixtures/python_v044_cli/identity_explain_profile_production.json

@@ -0,0 +1,39 @@
+{
+  "identity_limit": "cryptographic identity proves protocol-relative key control only; it does not prove legal identity, real-world personhood, organizational authority, or global uniqueness",
+  "packet_promotion_policy": {
+    "allow_residual_external_obligations": false,
+    "minimum_confidence_lower_bound": 0.5,
+    "require_agent_identity_attestation": true,
+    "require_edge_certificate": true,
+    "require_issuer_in_population": true,
+    "require_receiver_compatibility": true,
+    "require_rollback_available": true,
+    "require_route_resolution": true
+  },
+  "profile": "production",
+  "sybil_policy": {
+    "allow_homogeneous_fleet_with_unique_keys": true,
+    "max_agents_per_fleet": 4,
+    "max_agents_per_issuer": null,
+    "max_agents_per_model_digest": null,
+    "max_agents_per_policy_digest": null,
+    "max_clone_fanout": 1,
+    "metadata": {
+      "purpose": "production packet issuer and population checks"
+    },
+    "minimum_identity_strength": "public-key-attested",
+    "policy_id": "sybil-policy:production",
+    "reject_expired": true,
+    "reject_failed_signatures": true,
+    "reject_revoked": true,
+    "require_credential_ref": false,
+    "require_distinct_role_or_worker_index_for_fleet": false,
+    "require_issuer_id": false,
+    "require_unique_agent_id": true,
+    "require_unique_credential_ref": false,
+    "require_unique_public_key_fingerprint": true,
+    "require_unique_public_key_id": true,
+    "required_identity_evidence_refs": [],
+    "trust_profile": "production"
+  }
+}

package/fixtures/python_v044_cli/phase_benchmark.json

@@ -0,0 +1,42 @@
+{
+  "accepted": true,
+  "baseline_candidate_only_count": 1,
+  "baseline_label": "unstructured-candidate-sharing",
+  "baseline_phase_gap": 0.8074324324324325,
+  "candidate_label": "pic-guided-finite-routing",
+  "finite_route_count_delta": 2,
+  "invariant_checks": {
+    "candidate_only_volume_does_not_reduce_gap": true,
+    "planner_does_not_execute_commands": true,
+    "residuals_visible": true,
+    "settled_not_promoted": true
+  },
+  "operationally_usable": true,
+  "pic_guided_phase_gap": 0.8074324324324325,
+  "pic_guided_repairable_bottleneck_count": 7,
+  "profile": "development",
+  "reasons": [
+    "candidate-only sharing is kept visible but cannot reduce phase gaps",
+    "PIC-guided routing exposes finite verifier and repair work without execution"
+  ],
+  "report_id": "phase-acceleration-benchmark",
+  "residual_visibility_delta": 4,
+  "safety_invariants": [
+    "phase acceleration planning is recommendation-only and does not execute actions",
+    "raw external candidate volume cannot improve Psi, BR, AC, or settled status",
+    "candidate packets, agent messages, and proxy-only ALT reports remain candidates",
+    "settled remains false unless scoped finite verifier rules discharge all obligations",
+    "residual ledgers and missing obligations must be preserved into downstream loops",
+    "ASI-proxy phase is protocol-relative workflow coordination, not real ASI proof",
+    "no physical, simulator, oracle, legal, or policy outcome is proven by this report",
+    "live connectors are bounded and candidate-only by default when an explicit source is supplied",
+    "no background crawling",
+    "no autonomous polling",
+    "no arbitrary shell execution",
+    "no repository mutation",
+    "no hidden promotion from accepted or workflow_usable to settled"
+  ],
+  "scenario": "candidate-sharing-vs-pic-guided-routing",
+  "settled": false,
+  "workflow_usable": true
+}