Reference
Reference index
A directory of Plectis's components, rules and ideas, and paper modules. Choose a directory for descriptions, source code and evidence.
Expand a list below to look up an entry by name or identifier. The same entries and their counts are available in
content-graph.json.
Components by area
Bounded public components grouped by source family.
Open the component directory →
Browse names and identifiers
Entry & orientation
- Cold Reader Route Map
cold_reader_route_map - Public Reveal Walkthrough
public_reveal_walkthrough
Architecture & navigation
- Pattern Binding Contract
pattern_binding_contract - Pattern Assimilation Step
pattern_assimilation_step - Executable Doctrine Grammar
executable_doctrine_grammar - Standards Meta Diagnostics
standards_meta_diagnostics - Voice To Doctrine Self Improvement Loop
voice_to_doctrine_self_improvement_loop - Cognitive Operator Registry
cognitive_operator_registry - Routing Anti Patterns Registry
routing_anti_patterns_registry - Doctrine Fact Claim Audit
doctrine_fact_claim_audit - Self Ignorance Coverage Ledger
self_ignorance_coverage_ledger - Reference Knowledge Routing
annex_knowledge_routing
Formal math & proof
- Certificate Kernel Execution Lab
certificate_kernel_execution_lab - Formal Math Lean Proof Witness
formal_math_lean_proof_witness - Verifier Lab Execution Spine
verifier_lab_execution_spine - Corpus Readiness Mathlib Absence Gate
corpus_readiness_mathlib_absence_gate - Proof Diagnostic Evidence Spine
proof_diagnostic_evidence_spine - Formal Math Readiness Gate
formal_math_readiness_gate - Mathematical Strategy Atlas Hypothesis Scorer
mathematical_strategy_atlas_hypothesis_scorer - Tactic Portfolio Availability Probe
tactic_portfolio_availability_probe - Target Shape Tactic Routing Gate
target_shape_tactic_routing_gate - Lean Std Premise Index
lean_std_premise_index - Formal Math Premise Retrieval
formal_math_premise_retrieval - Formal Math Verifier Trace Repair Loop
formal_math_verifier_trace_repair_loop - Formal Evidence Cell Anchor Resolver
formal_evidence_cell_anchor_resolver - Undeclared Library Prior Symbol Classifier
undeclared_library_prior_symbol_classifier - Ring2 Premise Retrieval Precision Recall Harness
ring2_premise_retrieval_precision_recall_harness - Verifier Lab Kernel
verifier_lab_kernel - Finite Erdos Denominator-Order Certificate Strike
finite_erdos_denominator_certificate_strike - Lean Proof-Search Lab Runtime
lean_proof_search_lab_runtime
Agent reliability & safety
- Agent Completion Faithfulness Audit
agent_closeout_faithfulness_audit - Bounded Autonomy Campaign Packet
bounded_autonomy_campaign_packet - Provider Context Recipe Budget Policy
provider_context_recipe_budget_policy - Cold Evaluation Honesty Bundle
batch10_cold_eval_honesty_capsule - Validator Checker Bundle
batch8_validator_checker_capsule - Secondary Runtime Source Bundle
batch7_secondary_runtime_capsule - Agent Benchmark Integrity Anti Gaming Replay
agent_benchmark_integrity_anti_gaming_replay - Monitor Evidence-Boundary Replay
agent_monitor_redteam_falsification_replay - Sabotage-Monitor Contract Replay
agent_sabotage_scheming_monitor_replay - Agent Memory Temporal Conflict Replay
agent_memory_temporal_conflict_replay - Memory-Poisoning Quarantine Policy Replay
sleeper_memory_poisoning_quarantine_replay - Belief-State Reward Bundle Replay
belief_state_process_reward_replay - Sandbox-Policy Replay
agent_sandbox_policy_escape_replay - Prompt-Injection Flow-Policy Replay
indirect_prompt_injection_information_flow_policy_replay - Vulnerability Patch-Proof Replay
agentic_vulnerability_discovery_patch_proof_replay - Agent Route Observability Runtime
agent_route_observability_runtime - Bridge Campaign DAG Validation
bridge_campaign_dag_validation - Metabolism Queue Reconciliation
metabolism_queue_reconciliation - Egress Self-Compliance Audit
egress_self_compliance_audit
Research & science
- Finance Forecast Evaluation Spine
finance_forecast_evaluation_spine - Prediction Market Board Bundle
batch12_prediction_market_board_capsule - Market Dashboard Read-Model Bundle
batch12_market_dashboard_read_model_capsule - Toy-Transformer Attribution Replay
mechanistic_interpretability_circuit_attribution_replay - Gridworld Counterfactual State Replay
spatial_world_model_counterfactual_simulation_replay - Research Replication Rubric Artifact Replay
research_replication_rubric_artifact_replay - Materials Lab-Safety Refusal Replay
materials_chemistry_closed_loop_lab_safety_replay - Prediction Oracle Reconciliation
prediction_oracle_reconciliation - Derived Fact Provider Runtime
derived_fact_provider_runtime
Import & drift control
- Source Projection Import Protocol
macro_projection_import_protocol - Projection-Drift Contract Validator
world_model_projection_drift_control_room - Unsurfaced Source Primitives Bundle
batch6_unsurfaced_primitives_capsule - Trace, Code-Map & Scheduling Engines Bundle
batch7_macro_engines_capsule - Oracle Sibling Source Bundle
batch7_oracle_sibling_capsule - Demo Take Console Source Bundle
batch7_demo_take_console_capsule - Tools-Tail Primitives Bundle
batch8_tools_tail_primitives_capsule - Policy Engines Bundle
batch8_policy_engines_capsule - Audio Level RMS Port
batch8_audio_level_rms_port - Structural Theses Finance Bundle
batch8_structural_theses_capsule - Engine Room Demo
engine_room_demo - Backend & Governance Engines Bundle
batch9_macro_engines_capsule - Governance & Compiler Mechanisms Bundle
batch10_governance_compilers_capsule - Saturation Engines Bundle
batch11_saturation_engines_capsule - Tool Server Pressure Inventory
tool_server_pressure_inventory - Compliance Pipeline Bundle
batch8_compliance_pipeline_capsule - Live Source Drift Bundle
batch10_live_source_drift_capsule - Release Public Wording Gate
batch12_release_claim_language_gate - Generated Projection Drift Runtime
generated_projection_drift_runtime
Work & continuity
- Mission Transaction Work Spine
mission_transaction_work_spine - Durable Agent Work Landing Replay
durable_agent_work_landing_replay - Bridge-Continuity Sign-off Replay
bridge_phase_continuity_runtime - Concurrency Mission Control
concurrency_mission_control - Semantic Singleflight Dedup Runtime
semantic_singleflight_dedup_runtime
Doctrine reference
Principles, axioms, concepts, mechanisms, and paper modules from the public rule lattice.
Open the rules and ideas directory →
Browse names and identifiers
Principles
- Recompute, do not echo
P-1 - Lower claim strength to checker strength
P-2 - Concentrate trust in small checkers
P-3 - Possession is not permission
P-4 - Cache by content, not by name
P-5 - Status fails closed
P-6 - Track known unknowns without claiming the unknown is mapped
P-7 - Refuse inadmissible computations with typed reasons
P-8 - Preserve provenance across every boundary
P-9 - Do not land effects without compensation
P-10 - Bind volatile facts to refresh routes
P-11 - Make doctrine executable before authoritative
P-12 - Apply the same floor to meta artifacts
P-13 - Carry basis and provenance together
P-14 - Keep projections below source authority
P-15 - Bind authority to transaction scope
P-16 - Anchor graph mutations to unique source rows
P-17 - Require fan-in before activation
P-18 - Classify residual pressure before wiring
P-19 - Bind result records before record authority
P-20
Axioms
- Derivation before assertion
AX-1 - Kernelized verification
AX-2 - Authority by derivation, not possession
AX-3 - Content-addressed determinism
AX-4 - Fail-closed monotone lattice
AX-5 - Open-world epistemics
AX-6 - Typed partiality and refusal
AX-7 - Provenance propagation and non-interference
AX-8 - Compensable transactional effects
AX-9 - Temporal validity and freshness contracts
AX-10 - Executable grammar before doctrine authority
AX-11 - Reflexive accountability / no privileged meta-layer
AX-12
Anti-principles
- Fixture-label echo
AP-1 - Producer trust
AP-2 - Rank-as-product-score
AP-3 - Cache-across-drift
AP-4 - Unknown-unknown exhaustiveness
AP-5 - Inadmissible number emission
AP-6 - Public/private membrane breach
AP-7 - Blind irreversible mutation
AP-8 - Frozen live fact
AP-9 - Prose-as-executable-authority
AP-10 - Meta-artifact exemption
AP-11 - Synthetic system substitution
AP-12 - Generated-result record source inversion
AP-13 - Public-authority inflation
AP-14 - Mechanism theater
AP-15 - Receiver inflation
AP-16 - Projection-as-source
AP-17
Concepts
- agent reliability and safety validators as bounded public scope limits
concept.agent_reliability_and_safety_validator_bundle - entry and reveal routes as bounded cold-reader readiness evidence
concept.entry_and_reveal_route_readiness_bundle - standard as schema contract with explicit scope limit
concept.executable_doctrine_grammar_standard_bundle - doctrine handles as typed mistake-prevention boundaries
concept.first_screen_doctrine_effect_frame - formal math and proof witnesses as bounded public proof-adjacent result records
concept.formal_math_and_proof_witness_bundle - source import and projection drift controls as provenance-preserving boundaries
concept.import_projection_and_drift_control_bundle - research and science replay validators as reproducibility scope limits
concept.research_and_science_replay_evidence_bundle - component-standard-runtime-result record coverage as projection-only evidence
concept.standards_meta_diagnostics_bundle - local pressure rows as typed candidates for owner-surface refinement
concept.voice_to_doctrine_self_improvement_loop_bundle - work landing and continuity controls as transaction-scoped coordination evidence
concept.work_landing_and_continuity_control_bundle
Mechanisms
- validates public benchmark integrity replay
mechanism.agent_benchmark_integrity_anti_gaming_replay.validates_public_benchmark_integrity_replay - validates completion evidence claims
mechanism.agent_closeout_faithfulness_audit.validates_closeout_evidence_claims - validates public memory conflict replay
mechanism.agent_memory_temporal_conflict_replay.validates_public_memory_conflict_replay - validates public monitor verdict result records
mechanism.agent_monitor_redteam_falsification_replay.validates_public_monitor_verdict_receipts - validates public route feedback
mechanism.agent_route_observability_runtime.validates_public_route_feedback - validates public sabotage scheming monitor replay
mechanism.agent_sabotage_scheming_monitor_replay.validates_public_sabotage_scheming_monitor_replay - validates public sandbox policy trace
mechanism.agent_sandbox_policy_escape_replay.validates_public_sandbox_policy_trace - validates public agentic vulnerability patch proof replay
mechanism.agentic_vulnerability_discovery_patch_proof_replay.validates_public_agentic_vulnerability_patch_proof_replay - verifies reference knowledge router
mechanism.annex_knowledge_routing.verifies_annex_knowledge_router - validates public unsurfaced primitives bundle
mechanism.batch6_unsurfaced_primitives_capsule.validates_public_unsurfaced_primitives_capsule - validates public demo take console bundle
mechanism.batch7_demo_take_console_capsule.validates_public_demo_take_console_capsule - validates public source engines bundle
mechanism.batch7_macro_engines_capsule.validates_public_macro_engines_capsule - validates public oracle sibling bundle
mechanism.batch7_oracle_sibling_capsule.validates_public_oracle_sibling_capsule - validates public secondary runtime bundle
mechanism.batch7_secondary_runtime_capsule.validates_public_secondary_runtime_capsule - validates public audio level rms port
mechanism.batch8_audio_level_rms_port.validates_public_audio_level_rms_port - validates public compliance pipeline bundle
mechanism.batch8_compliance_pipeline_capsule.validates_public_compliance_pipeline_capsule - validates public policy engines bundle
mechanism.batch8_policy_engines_capsule.validates_public_policy_engines_capsule - validates public structural theses bundle
mechanism.batch8_structural_theses_capsule.validates_public_structural_theses_capsule - validates public tools tail primitives bundle
mechanism.batch8_tools_tail_primitives_capsule.validates_public_tools_tail_primitives_capsule - validates public validator checker bundle
mechanism.batch8_validator_checker_capsule.validates_public_validator_checker_capsule - validates public source engines bundle
mechanism.batch9_macro_engines_capsule.validates_public_macro_engines_capsule - validates public cold eval honesty bundle
mechanism.batch10_cold_eval_honesty_capsule.validates_public_cold_eval_honesty_capsule - validates public governance compilers bundle
mechanism.batch10_governance_compilers_capsule.validates_public_governance_compilers_capsule - validates public live source drift bundle
mechanism.batch10_live_source_drift_capsule.validates_public_live_source_drift_capsule - validates public saturation engines bundle
mechanism.batch11_saturation_engines_capsule.validates_public_saturation_engines_capsule - validates public market dashboard read model bundle
mechanism.batch12_market_dashboard_read_model_capsule.validates_public_market_dashboard_read_model_capsule - validates public prediction market board bundle
mechanism.batch12_prediction_market_board_capsule.validates_public_prediction_market_board_capsule - validates public launch claim language gate
mechanism.batch12_release_claim_language_gate.validates_public_release_claim_language_gate - validates public belief state process reward replay
mechanism.belief_state_process_reward_replay.validates_public_belief_state_process_reward_replay - validates public bounded autonomy campaign packet
mechanism.bounded_autonomy_campaign_packet.validates_public_bounded_autonomy_campaign_packet - verifies bridge campaign dag
mechanism.bridge_campaign_dag_validation.verifies_bridge_campaign_dag - validates synthetic bridge continuity
mechanism.bridge_phase_continuity_runtime.validates_synthetic_bridge_continuity - validates public certificate kernel execution
mechanism.certificate_kernel_execution_lab.validates_public_certificate_kernel_execution - validates public operator contract
mechanism.cognitive_operator_registry.validates_public_operator_contract - validates public source root bootstrap
mechanism.cold_clone_probe.validates_public_source_root_bootstrap - validates public first run route map
mechanism.cold_reader_route_map.validates_public_first_run_route_map - validates public concurrency mission control
mechanism.concurrency_mission_control.validates_public_concurrency_mission_control - validates public corpus readiness boundary
mechanism.corpus_readiness_mathlib_absence_gate.validates_public_corpus_readiness_boundary - validates public mathlib absence boundary
mechanism.corpus_readiness_mathlib_absence_gate.validates_public_mathlib_absence_boundary - verifies derived fact provider engine
mechanism.derived_fact_provider_runtime.verifies_derived_fact_provider_engine - validates public doctrine fact claim audit
mechanism.doctrine_fact_claim_audit.validates_public_doctrine_fact_claim_audit - validates public work landing replay contract
mechanism.durable_agent_work_landing_replay.validates_public_work_landing_replay_contract - verifies egress self compliance gate
mechanism.egress_self_compliance_audit.verifies_egress_self_compliance_gate - validates public reference knowledge router
mechanism.engine_room_annex_knowledge_router.validates_public_annex_knowledge_router - validates public command run singleflight
mechanism.engine_room_command_run_singleflight.validates_public_command_run_singleflight - validates public engine room demo
mechanism.engine_room_demo.validates_public_engine_room_demo - validates public derived fact provider engine
mechanism.engine_room_derived_fact_provider_engine.validates_public_derived_fact_provider_engine - validates public egress self compliance gate
mechanism.engine_room_egress_self_compliance_gate.validates_public_egress_self_compliance_gate - validates public generated projection drift gate
mechanism.engine_room_generated_projection_drift_gate.validates_public_generated_projection_drift_gate - validates public lean proof search lab
mechanism.engine_room_lean_proof_search_lab.validates_public_lean_proof_search_lab - validates public projection leak gate
mechanism.engine_room_public_projection_leak_gate.validates_public_projection_leak_gate - validates public doctrine grammar bundle
mechanism.executable_doctrine_grammar.validates_public_doctrine_grammar_bundle - validates public finance forecast evaluation spine
mechanism.finance_forecast_evaluation_spine.validates_public_finance_forecast_evaluation_spine - verifies finite denominator order certificate
mechanism.finite_erdos_denominator_certificate_strike.verifies_finite_denominator_order_certificate - validates public first screen composition root
mechanism.first_screen_composition_root.validates_public_first_screen_composition_root - validates public evidence cell anchor resolution
mechanism.formal_evidence_cell_anchor_resolver.validates_public_evidence_cell_anchor_resolution - validates public evidence cell anchors
mechanism.formal_evidence_cell_anchor_resolver.validates_public_evidence_cell_anchors - validates public lean lake witness
mechanism.formal_math_lean_proof_witness.validates_public_lean_lake_witness - validates public lean witness
mechanism.formal_math_lean_proof_witness.validates_public_lean_witness - validates public premise retrieval projection
mechanism.formal_math_premise_retrieval.validates_public_premise_retrieval_projection - validates public premise retrieval slice
mechanism.formal_math_premise_retrieval.validates_public_premise_retrieval_slice - validates public formal math readiness bundle
mechanism.formal_math_readiness_gate.validates_public_formal_math_readiness_bundle - validates public readiness boundary
mechanism.formal_math_readiness_gate.validates_public_readiness_boundary - validates public verifier trace repair bundle
mechanism.formal_math_verifier_trace_repair_loop.validates_public_verifier_trace_repair_bundle - verifies generated projection drift gate
mechanism.generated_projection_drift_runtime.verifies_generated_projection_drift_gate - validates public indirect prompt injection information flow policy replay
mechanism.indirect_prompt_injection_information_flow_policy_replay.validates_public_indirect_prompt_injection_information_flow_policy_replay - verifies lean proof search lab
mechanism.lean_proof_search_lab_runtime.verifies_lean_proof_search_lab - validates public lean std premise catalog
mechanism.lean_std_premise_index.validates_public_lean_std_premise_catalog - validates public lean std premise index
mechanism.lean_std_premise_index.validates_public_lean_std_premise_index - validates public source projection imports
mechanism.macro_projection_import_protocol.validates_public_macro_projection_imports - validates public materials lab safety replay
mechanism.materials_chemistry_closed_loop_lab_safety_replay.validates_public_materials_lab_safety_replay - validates public strategy hypothesis projection
mechanism.mathematical_strategy_atlas_hypothesis_scorer.validates_public_strategy_hypothesis_projection - validates public mechanistic interpretability circuit attribution replay
mechanism.mechanistic_interpretability_circuit_attribution_replay.validates_public_mechanistic_interpretability_circuit_attribution_replay - verifies metabolism runtime
mechanism.metabolism_queue_reconciliation.verifies_metabolism_runtime - validates public axiom support boundary
mechanism.microcosm_axiom_substrate.validates_public_axiom_support_boundary - validates public mission transaction bundle
mechanism.mission_transaction_work_spine.validates_public_mission_transaction_bundle - validates public pattern assimilation step
mechanism.pattern_assimilation_step.validates_public_pattern_assimilation_step - validates public pattern bindings
mechanism.pattern_binding_contract.validates_public_pattern_bindings - validates public prediction oracle reconciliation
mechanism.prediction_oracle_reconciliation.validates_public_prediction_oracle_reconciliation - validates ring2 diagnostic evidence membrane
mechanism.proof_diagnostic_evidence_spine.validates_ring2_diagnostic_evidence_membrane - validates public context budget boundary
mechanism.provider_context_recipe_budget_policy.validates_public_context_budget_boundary - validates public reveal walkthrough
mechanism.public_reveal_walkthrough.validates_public_reveal_walkthrough - validates public research replication replay
mechanism.research_replication_rubric_artifact_replay.validates_public_research_replication_replay - validates public premise retrieval attribution
mechanism.ring2_premise_retrieval_precision_recall_harness.validates_public_premise_retrieval_attribution - validates public routing anti patterns registry
mechanism.routing_anti_patterns_registry.validates_public_routing_anti_patterns_registry - validates public self ignorance coverage ledger
mechanism.self_ignorance_coverage_ledger.validates_public_self_ignorance_coverage_ledger - dedups command runs by repo state key
mechanism.semantic_singleflight_dedup_runtime.dedups_command_runs_by_repo_state_key - validates public sleeper memory poisoning quarantine replay
mechanism.sleeper_memory_poisoning_quarantine_replay.validates_public_sleeper_memory_poisoning_quarantine_replay - validates public spatial world model counterfactual simulation replay
mechanism.spatial_world_model_counterfactual_simulation_replay.validates_public_spatial_world_model_counterfactual_simulation_replay - validates public standards meta diagnostics
mechanism.standards_meta_diagnostics.validates_public_standards_meta_diagnostics - validates public tactic availability projection
mechanism.tactic_portfolio_availability_probe.validates_public_tactic_availability_projection - validates public tactic routing boundary
mechanism.target_shape_tactic_routing_gate.validates_public_tactic_routing_boundary - validates public tool server pressure inventory
mechanism.tool_server_pressure_inventory.validates_public_tool_server_pressure_inventory - validates public symbol boundary
mechanism.undeclared_library_prior_symbol_classifier.validates_public_symbol_boundary - validates public verifier transition witness
mechanism.verifier_lab_execution_spine.validates_public_verifier_transition_witness - composes public formal math result records
mechanism.verifier_lab_kernel.composes_public_formal_math_receipts - validates public voice to doctrine self improvement loop
mechanism.voice_to_doctrine_self_improvement_loop.validates_public_voice_to_doctrine_self_improvement_loop - validates public projection drift control boundary
mechanism.world_model_projection_drift_control_room.validates_public_projection_drift_control_boundary
Paper modules
- Verifier Lab Kernel
paper_module.verifier_lab_kernel - Agent Route Observability Runtime
paper_module.agent_route_observability_runtime - Agent Benchmark Integrity Anti-Gaming Replay
paper_module.agent_benchmark_integrity_anti_gaming_replay - Research Replication Rubric Artifact Replay
paper_module.research_replication_rubric_artifact_replay - Agentic Vulnerability Discovery Patch-Proof Replay
paper_module.agentic_vulnerability_discovery_patch_proof_replay - Materials Chemistry Closed-Loop Lab-Safety Replay
paper_module.materials_chemistry_closed_loop_lab_safety_replay - Certificate Kernel Execution Lab
paper_module.certificate_kernel_execution_lab - Corpus Readiness Mathlib Absence Gate
paper_module.corpus_readiness_mathlib_absence_gate - Pattern Binding Contract
paper_module.pattern_binding_contract - Bridge Phase Continuity Runtime
paper_module.bridge_phase_continuity_runtime - Cognitive Operator Registry
paper_module.cognitive_operator_registry - Agent Completion Faithfulness Audit
paper_module.agent_closeout_faithfulness_audit - Cold-Reader Route Map
paper_module.cold_reader_route_map - Proof Diagnostic Evidence Spine
paper_module.proof_diagnostic_evidence_spine - Durable Agent Work-Landing Replay
paper_module.durable_agent_work_landing_replay - Work Landing Control Spine
paper_module.work_landing_control_spine - Executable Doctrine Grammar
paper_module.executable_doctrine_grammar - Source Projection Import Protocol
paper_module.macro_projection_import_protocol - Mission Transaction Work Spine
paper_module.mission_transaction_work_spine - Formal Math Readiness Gate
paper_module.formal_math_readiness_gate - Formal Math Lean Proof Witness
paper_module.formal_math_lean_proof_witness - Formal Math Verifier Trace Repair Loop
paper_module.formal_math_verifier_trace_repair_loop - Formal Evidence Cell Anchor Resolver
paper_module.formal_evidence_cell_anchor_resolver - Formal Math Premise Retrieval
paper_module.formal_math_premise_retrieval - Lean/Std Premise Index
paper_module.lean_std_premise_index - World-Model Projection Drift Control Room
paper_module.world_model_projection_drift_control_room - Public Reveal Walkthrough
paper_module.public_reveal_walkthrough - Standards Meta Diagnostics
paper_module.standards_meta_diagnostics - Finance Forecast Evaluation Spine
paper_module.finance_forecast_evaluation_spine - Engine Room Demo
paper_module.engine_room_demo - Agent Memory Temporal-Conflict Replay
paper_module.agent_memory_temporal_conflict_replay - Agent Monitor Redteam Falsification Replay
paper_module.agent_monitor_redteam_falsification_replay - Agent Sabotage Scheming-Monitor Replay
paper_module.agent_sabotage_scheming_monitor_replay - Agent Sandbox Policy-Escape Replay
paper_module.agent_sandbox_policy_escape_replay - Belief-State Process Reward Replay
paper_module.belief_state_process_reward_replay - Sleeper Memory Poisoning Quarantine Replay
paper_module.sleeper_memory_poisoning_quarantine_replay - Indirect Prompt-Injection Information-Flow Policy Replay
paper_module.indirect_prompt_injection_information_flow_policy_replay - Tactic Portfolio Availability
paper_module.tactic_portfolio_availability - Target Shape Tactic Routing
paper_module.target_shape_tactic_routing - Ring-2 Premise Precision Recall
paper_module.ring2_premise_precision_recall - Mathematical Strategy Atlas
paper_module.mathematical_strategy_atlas - Verifier Lab Execution Spine
paper_module.verifier_lab_execution_spine - Bounded Autonomy Campaign Packet
paper_module.bounded_autonomy_campaign_packet - Computer-Use Action Trace Replay
paper_module.computer_use_action_trace_replay - Concurrency Mission Control
paper_module.concurrency_mission_control - Doctrine Fact Claim Audit
paper_module.doctrine_fact_claim_audit - Self-Ignorance Coverage Ledger
paper_module.self_ignorance_coverage_ledger - Tool Server Pressure Inventory
paper_module.tool_server_pressure_inventory - Mechanistic Interpretability Circuit Attribution Replay
paper_module.mechanistic_interpretability_circuit_attribution_replay - Spatial World Model Counterfactual Simulation Replay
paper_module.spatial_world_model_counterfactual_simulation_replay - Prediction Oracle Reconciliation
paper_module.prediction_oracle_reconciliation - Provider Context Recipe Budget
paper_module.provider_context_recipe_budget - Undeclared Library Prior Classifier
paper_module.undeclared_library_prior_classifier - Voice to Doctrine Self-Improvement Loop
paper_module.voice_to_doctrine_self_improvement_loop - Routing Anti-Patterns Registry
paper_module.routing_anti_patterns_registry - Set 8 Audio Level RMS Port
paper_module.batch8_audio_level_rms_port - Set 8 Compliance Pipeline Bundle
paper_module.batch8_compliance_pipeline_capsule - Set 8 Policy Engines Bundle
paper_module.batch8_policy_engines_capsule - Set 8 Structural Theses Bundle
paper_module.batch8_structural_theses_capsule - Set 8 Tools-Tail Primitives Bundle
paper_module.batch8_tools_tail_primitives_capsule - Set 8 Validator Checker Bundle
paper_module.batch8_validator_checker_capsule - Set 12 Market Dashboard Read-Model Bundle
paper_module.batch12_market_dashboard_read_model_capsule - Set 12 Prediction Market Board Bundle
paper_module.batch12_prediction_market_board_capsule - Set 12 launch claim-Language Gate
paper_module.batch12_release_claim_language_gate - Set 10 Cold Eval Honesty Bundle
paper_module.batch10_cold_eval_honesty_capsule - Set 10 Live Source Drift Bundle
paper_module.batch10_live_source_drift_capsule - Set 7 Source Engines Bundle
paper_module.batch7_macro_engines_capsule - Set 9 Source Engines Bundle
paper_module.batch9_macro_engines_capsule - Pattern Assimilation
paper_module.pattern_assimilation - Set 10 Governance And Compilers Bundle
paper_module.batch10_governance_compilers_capsule - Set 11 Saturation Engines Bundle
paper_module.batch11_saturation_engines_capsule - Set 6 Unsurfaced Primitives Bundle
paper_module.batch6_unsurfaced_primitives_capsule - Engine Room Public Projection Leak Gate
paper_module.engine_room_public_projection_leak_gate - Set 7 Oracle Sibling Bundle
paper_module.batch7_oracle_sibling_capsule - Set 7 Demo Take Console Bundle
paper_module.batch7_demo_take_console_capsule - Engine Room Generated Projection Drift Gate
paper_module.engine_room_generated_projection_drift_gate - Engine Room Command-Run Singleflight
paper_module.engine_room_command_run_singleflight - Engine Room Metabolism Runtime
paper_module.engine_room_metabolism_runtime - Engine Room Bridge Campaign DAG
paper_module.engine_room_bridge_campaign_dag - Engine Room Reference Knowledge Router
paper_module.engine_room_annex_knowledge_router - Engine Room Derived Fact Provider Engine
paper_module.engine_room_derived_fact_provider_engine - Engine Room Egress Self-Compliance Gate
paper_module.engine_room_egress_self_compliance_gate - Engine Room Lean Proof Search Lab
paper_module.engine_room_lean_proof_search_lab - Cold Clone Probe
paper_module.cold_clone_probe - First-Screen Composition Root
paper_module.first_screen_composition_root - Set 7 Secondary Runtime Bundle
paper_module.batch7_secondary_runtime_capsule - Microcosm Axiom System
paper_module.microcosm_axiom_substrate - Semantic Singleflight Dedup Runtime
paper_module.semantic_singleflight_dedup_runtime - Finite Erdos Denominator-Order Certificate Strike
paper_module.finite_erdos_denominator_certificate_strike - Bridge Campaign DAG Validation
paper_module.bridge_campaign_dag_validation - Metabolism Queue Reconciliation
paper_module.metabolism_queue_reconciliation - Derived Fact Provider Runtime
paper_module.derived_fact_provider_runtime - Reference Knowledge Routing
paper_module.annex_knowledge_routing - Egress Self-Compliance Audit
paper_module.egress_self_compliance_audit - Generated Projection Drift Runtime
paper_module.generated_projection_drift_runtime - Lean Proof-Search Lab Runtime
paper_module.lean_proof_search_lab_runtime
Paper module detail projection
An alternate richer view of paper modules with component and rule-feed links.
Open the paper module directory →
Browse names and identifiers
Paper module detail
- Verifier Lab Kernel
paper_module.verifier_lab_kernel - Agent Route Observability Runtime
paper_module.agent_route_observability_runtime - Agent Benchmark Integrity Anti-Gaming Replay
paper_module.agent_benchmark_integrity_anti_gaming_replay - Research Replication Rubric Artifact Replay
paper_module.research_replication_rubric_artifact_replay - Agentic Vulnerability Discovery Patch-Proof Replay
paper_module.agentic_vulnerability_discovery_patch_proof_replay - Materials Chemistry Closed-Loop Lab-Safety Replay
paper_module.materials_chemistry_closed_loop_lab_safety_replay - Certificate Kernel Execution Lab
paper_module.certificate_kernel_execution_lab - Corpus Readiness Mathlib Absence Gate
paper_module.corpus_readiness_mathlib_absence_gate - Pattern Binding Contract
paper_module.pattern_binding_contract - Bridge Phase Continuity Runtime
paper_module.bridge_phase_continuity_runtime - Cognitive Operator Registry
paper_module.cognitive_operator_registry - Agent Completion Faithfulness Audit
paper_module.agent_closeout_faithfulness_audit - Cold-Reader Route Map
paper_module.cold_reader_route_map - Proof Diagnostic Evidence Spine
paper_module.proof_diagnostic_evidence_spine - Durable Agent Work-Landing Replay
paper_module.durable_agent_work_landing_replay - Work Landing Control Spine
paper_module.work_landing_control_spine - Executable Doctrine Grammar
paper_module.executable_doctrine_grammar - Source Projection Import Protocol
paper_module.macro_projection_import_protocol - Mission Transaction Work Spine
paper_module.mission_transaction_work_spine - Formal Math Readiness Gate
paper_module.formal_math_readiness_gate - Formal Math Lean Proof Witness
paper_module.formal_math_lean_proof_witness - Formal Math Verifier Trace Repair Loop
paper_module.formal_math_verifier_trace_repair_loop - Formal Evidence Cell Anchor Resolver
paper_module.formal_evidence_cell_anchor_resolver - Formal Math Premise Retrieval
paper_module.formal_math_premise_retrieval - Lean/Std Premise Index
paper_module.lean_std_premise_index - World-Model Projection Drift Control Room
paper_module.world_model_projection_drift_control_room - Public Reveal Walkthrough
paper_module.public_reveal_walkthrough - Standards Meta Diagnostics
paper_module.standards_meta_diagnostics - Finance Forecast Evaluation Spine
paper_module.finance_forecast_evaluation_spine - Engine Room Demo
paper_module.engine_room_demo - Agent Memory Temporal-Conflict Replay
paper_module.agent_memory_temporal_conflict_replay - Agent Monitor Redteam Falsification Replay
paper_module.agent_monitor_redteam_falsification_replay - Agent Sabotage Scheming-Monitor Replay
paper_module.agent_sabotage_scheming_monitor_replay - Agent Sandbox Policy-Escape Replay
paper_module.agent_sandbox_policy_escape_replay - Belief-State Process Reward Replay
paper_module.belief_state_process_reward_replay - Sleeper Memory Poisoning Quarantine Replay
paper_module.sleeper_memory_poisoning_quarantine_replay - Indirect Prompt-Injection Information-Flow Policy Replay
paper_module.indirect_prompt_injection_information_flow_policy_replay - Tactic Portfolio Availability
paper_module.tactic_portfolio_availability - Target Shape Tactic Routing
paper_module.target_shape_tactic_routing - Ring-2 Premise Precision Recall
paper_module.ring2_premise_precision_recall - Mathematical Strategy Atlas
paper_module.mathematical_strategy_atlas - Verifier Lab Execution Spine
paper_module.verifier_lab_execution_spine - Bounded Autonomy Campaign Packet
paper_module.bounded_autonomy_campaign_packet - Computer-Use Action Trace Replay
paper_module.computer_use_action_trace_replay - Concurrency Mission Control
paper_module.concurrency_mission_control - Doctrine Fact Claim Audit
paper_module.doctrine_fact_claim_audit - Self-Ignorance Coverage Ledger
paper_module.self_ignorance_coverage_ledger - Tool Server Pressure Inventory
paper_module.tool_server_pressure_inventory - Mechanistic Interpretability Circuit Attribution Replay
paper_module.mechanistic_interpretability_circuit_attribution_replay - Spatial World Model Counterfactual Simulation Replay
paper_module.spatial_world_model_counterfactual_simulation_replay - Prediction Oracle Reconciliation
paper_module.prediction_oracle_reconciliation - Provider Context Recipe Budget
paper_module.provider_context_recipe_budget - Undeclared Library Prior Classifier
paper_module.undeclared_library_prior_classifier - Voice to Doctrine Self-Improvement Loop
paper_module.voice_to_doctrine_self_improvement_loop - Routing Anti-Patterns Registry
paper_module.routing_anti_patterns_registry - Set 8 Audio Level RMS Port
paper_module.batch8_audio_level_rms_port - Set 8 Compliance Pipeline Bundle
paper_module.batch8_compliance_pipeline_capsule - Set 8 Policy Engines Bundle
paper_module.batch8_policy_engines_capsule - Set 8 Structural Theses Bundle
paper_module.batch8_structural_theses_capsule - Set 8 Tools-Tail Primitives Bundle
paper_module.batch8_tools_tail_primitives_capsule - Set 8 Validator Checker Bundle
paper_module.batch8_validator_checker_capsule - Set 12 Market Dashboard Read-Model Bundle
paper_module.batch12_market_dashboard_read_model_capsule - Set 12 Prediction Market Board Bundle
paper_module.batch12_prediction_market_board_capsule - Set 12 launch claim-Language Gate
paper_module.batch12_release_claim_language_gate - Set 10 Cold Eval Honesty Bundle
paper_module.batch10_cold_eval_honesty_capsule - Set 10 Live Source Drift Bundle
paper_module.batch10_live_source_drift_capsule - Set 7 Source Engines Bundle
paper_module.batch7_macro_engines_capsule - Set 9 Source Engines Bundle
paper_module.batch9_macro_engines_capsule - Pattern Assimilation
paper_module.pattern_assimilation - Set 10 Governance And Compilers Bundle
paper_module.batch10_governance_compilers_capsule - Set 11 Saturation Engines Bundle
paper_module.batch11_saturation_engines_capsule - Set 6 Unsurfaced Primitives Bundle
paper_module.batch6_unsurfaced_primitives_capsule - Engine Room Public Projection Leak Gate
paper_module.engine_room_public_projection_leak_gate - Set 7 Oracle Sibling Bundle
paper_module.batch7_oracle_sibling_capsule - Set 7 Demo Take Console Bundle
paper_module.batch7_demo_take_console_capsule - Engine Room Generated Projection Drift Gate
paper_module.engine_room_generated_projection_drift_gate - Engine Room Command-Run Singleflight
paper_module.engine_room_command_run_singleflight - Engine Room Metabolism Runtime
paper_module.engine_room_metabolism_runtime - Engine Room Bridge Campaign DAG
paper_module.engine_room_bridge_campaign_dag - Engine Room Reference Knowledge Router
paper_module.engine_room_annex_knowledge_router - Engine Room Derived Fact Provider Engine
paper_module.engine_room_derived_fact_provider_engine - Engine Room Egress Self-Compliance Gate
paper_module.engine_room_egress_self_compliance_gate - Engine Room Lean Proof Search Lab
paper_module.engine_room_lean_proof_search_lab - Cold Clone Probe
paper_module.cold_clone_probe - First-Screen Composition Root
paper_module.first_screen_composition_root - Set 7 Secondary Runtime Bundle
paper_module.batch7_secondary_runtime_capsule - Microcosm Axiom System
paper_module.microcosm_axiom_substrate - Semantic Singleflight Dedup Runtime
paper_module.semantic_singleflight_dedup_runtime - Finite Erdos Denominator-Order Certificate Strike
paper_module.finite_erdos_denominator_certificate_strike - Bridge Campaign DAG Validation
paper_module.bridge_campaign_dag_validation - Metabolism Queue Reconciliation
paper_module.metabolism_queue_reconciliation - Derived Fact Provider Runtime
paper_module.derived_fact_provider_runtime - Reference Knowledge Routing
paper_module.annex_knowledge_routing - Egress Self-Compliance Audit
paper_module.egress_self_compliance_audit - Generated Projection Drift Runtime
paper_module.generated_projection_drift_runtime - Lean Proof-Search Lab Runtime
paper_module.lean_proof_search_lab_runtime