fable-engine 1.3.1__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- fable_compressor.py +356 -0
- fable_engine/__init__.py +1 -0
- fable_engine/actions/__init__.py +291 -0
- fable_engine/actions/cas.py +182 -0
- fable_engine/actions/deliberation.py +523 -0
- fable_engine/actions/fleet.py +807 -0
- fable_engine/actions/lifecycle.py +298 -0
- fable_engine/actions/scrapers.py +116 -0
- fable_engine/actions/system3.py +815 -0
- fable_engine/browser.py +824 -0
- fable_engine/cas.py +974 -0
- fable_engine/fable_session.json +510 -0
- fable_engine/guards.py +283 -0
- fable_engine/schema.py +714 -0
- fable_engine/scrapers/__init__.py +32 -0
- fable_engine/scrapers/arxiv.py +115 -0
- fable_engine/scrapers/base.py +386 -0
- fable_engine/scrapers/github.py +129 -0
- fable_engine/scrapers/reddit.py +154 -0
- fable_engine/scrapers/web.py +120 -0
- fable_engine/scrapers/x.py +125 -0
- fable_engine/scrapers/youtube.py +132 -0
- fable_engine/server.py +414 -0
- fable_engine/session.py +1819 -0
- fable_engine/test_server.py +1362 -0
- fable_engine/updater.py +541 -0
- fable_engine-1.3.1.dist-info/LICENSE +22 -0
- fable_engine-1.3.1.dist-info/METADATA +173 -0
- fable_engine-1.3.1.dist-info/RECORD +104 -0
- fable_engine-1.3.1.dist-info/WHEEL +5 -0
- fable_engine-1.3.1.dist-info/entry_points.txt +5 -0
- fable_engine-1.3.1.dist-info/top_level.txt +6 -0
- fable_mode/__init__.py +3 -0
- fable_mode/__main__.py +4 -0
- fable_mode/adapters.py +1014 -0
- fable_mode/installer.py +553 -0
- fable_mode/launcher.py +437 -0
- fable_mode/manifest.py +142 -0
- fable_mode/resources.json +114 -0
- fable_mode/safety.py +103 -0
- fable_mode_entry.py +10 -0
- fable_v2/__init__.py +146 -0
- fable_v2/adapters.py +151 -0
- fable_v2/coder_fleet/__init__.py +100 -0
- fable_v2/coder_fleet/ast_tools.py +158 -0
- fable_v2/coder_fleet/compute.py +199 -0
- fable_v2/coder_fleet/design_engine.py +1316 -0
- fable_v2/coder_fleet/diagnostics.py +293 -0
- fable_v2/coder_fleet/fleet_dispatcher.py +214 -0
- fable_v2/coder_fleet/mock_auditor.py +306 -0
- fable_v2/coder_fleet/mutation.py +216 -0
- fable_v2/coder_fleet/property_oracle.py +260 -0
- fable_v2/coder_fleet/receipt_attestor.py +122 -0
- fable_v2/coder_fleet/red_team_swarm.py +908 -0
- fable_v2/coder_fleet/test_harness.py +198 -0
- fable_v2/coder_fleet/vector_engine.py +1287 -0
- fable_v2/coder_fleet/visual.py +357 -0
- fable_v2/coder_fleet/workspace.py +153 -0
- fable_v2/cortical/__init__.py +20 -0
- fable_v2/cortical/plasticity_engine.py +992 -0
- fable_v2/execution_broker.py +811 -0
- fable_v2/proof_engine.py +1141 -0
- fable_v2/protocol.py +485 -0
- fable_v2/runtime.py +1010 -0
- fable_v2/system3/__init__.py +204 -0
- fable_v2/system3/causal.py +558 -0
- fable_v2/system3/dialectical.py +577 -0
- fable_v2/system3/evolution.py +503 -0
- fable_v2/system3/executive.py +338 -0
- fable_v2/system3/free_energy.py +479 -0
- fable_v2/system3/hyperbolic.py +555 -0
- fable_v2/system3/induction.py +336 -0
- fable_v2/system3/kripke.py +548 -0
- fable_v2/system3/oracle.py +745 -0
- fable_v2/verifiers.py +72 -0
- tests/__init__.py +1 -0
- tests/test_anti_loop_circuit_breaker.py +64 -0
- tests/test_auto_updater.py +407 -0
- tests/test_coder_fleet.py +535 -0
- tests/test_delegation_compiler.py +54 -0
- tests/test_descriptor_boundaries.py +126 -0
- tests/test_design_engine.py +603 -0
- tests/test_epistemic_evidence_validator.py +66 -0
- tests/test_execution_broker.py +233 -0
- tests/test_fable_v2.py +406 -0
- tests/test_fleet_transitions.py +116 -0
- tests/test_fsm_redteam_evolution.py +406 -0
- tests/test_goal_rubric_and_pipeline.py +367 -0
- tests/test_hebbian_plasticity.py +585 -0
- tests/test_packaging_runtime.py +194 -0
- tests/test_proof_engine.py +259 -0
- tests/test_red_team_swarm.py +645 -0
- tests/test_redteam_remediation.py +169 -0
- tests/test_registration_transaction.py +375 -0
- tests/test_requested_regressions.py +467 -0
- tests/test_scrapers.py +370 -0
- tests/test_server_actions.py +93 -0
- tests/test_server_frontier_actions.py +269 -0
- tests/test_server_protocol.py +88 -0
- tests/test_stealth_browser.py +970 -0
- tests/test_system3.py +381 -0
- tests/test_system3_deep_integration.py +385 -0
- tests/test_system3_frontier.py +436 -0
- tests/test_vector_engine.py +608 -0
|
@@ -0,0 +1,204 @@
|
|
|
1
|
+
"""System 3 Meta-Cognitive Deliberation, Hyperbolic Manifold, Modal Logic & Active Inference Architecture."""
|
|
2
|
+
|
|
3
|
+
from .causal import (
|
|
4
|
+
BrittlenessReport,
|
|
5
|
+
CausalCycleError,
|
|
6
|
+
CausalDAG,
|
|
7
|
+
CausalEdge,
|
|
8
|
+
CausalNode,
|
|
9
|
+
CausalNodeNotFoundError,
|
|
10
|
+
CausalNodeType,
|
|
11
|
+
InterventionResult,
|
|
12
|
+
)
|
|
13
|
+
from .dialectical import (
|
|
14
|
+
AntithesisCritique,
|
|
15
|
+
Contradiction,
|
|
16
|
+
DialecticalSynthesizer,
|
|
17
|
+
EmergentSynthesis,
|
|
18
|
+
ThesisCandidate,
|
|
19
|
+
TRIZContradictionResolver,
|
|
20
|
+
TRIZPrinciple,
|
|
21
|
+
TRIZResolutionRecommendation,
|
|
22
|
+
TRIZ_PRINCIPLES_CATALOG,
|
|
23
|
+
)
|
|
24
|
+
from .evolution import (
|
|
25
|
+
GENE_ALLELE_OPTIONS,
|
|
26
|
+
PARETO_DIMENSIONS,
|
|
27
|
+
CognitiveGenePool,
|
|
28
|
+
CognitiveGenome,
|
|
29
|
+
create_random_genome,
|
|
30
|
+
)
|
|
31
|
+
from .executive import (
|
|
32
|
+
CognitiveBiasDetector,
|
|
33
|
+
CognitiveBiasFinding,
|
|
34
|
+
CognitiveBiasType,
|
|
35
|
+
CognitiveGear,
|
|
36
|
+
DynamicSearchHeuristicRewriter,
|
|
37
|
+
SearchHeuristicConfig,
|
|
38
|
+
System3Executive,
|
|
39
|
+
TriLevelArbitrator,
|
|
40
|
+
)
|
|
41
|
+
from .free_energy import (
|
|
42
|
+
ActiveInferenceEngine,
|
|
43
|
+
FreeEnergyReport,
|
|
44
|
+
GenerativeModel,
|
|
45
|
+
Policy,
|
|
46
|
+
PolicyEvaluation,
|
|
47
|
+
create_default_architecture_pomdp,
|
|
48
|
+
)
|
|
49
|
+
from .hyperbolic import (
|
|
50
|
+
HyperbolicGeometryError,
|
|
51
|
+
HyperbolicPoint,
|
|
52
|
+
HyperbolicTreeEmbedder,
|
|
53
|
+
PoincareBall,
|
|
54
|
+
TreeEmbeddingNode,
|
|
55
|
+
TreeEmbeddingResult,
|
|
56
|
+
)
|
|
57
|
+
from .induction import (
|
|
58
|
+
AxiomProvenance,
|
|
59
|
+
AxiomStatus,
|
|
60
|
+
MetaProofInducer,
|
|
61
|
+
NeuroSymbolicAxiom,
|
|
62
|
+
)
|
|
63
|
+
from .kripke import (
|
|
64
|
+
CTLOperator,
|
|
65
|
+
FormulaNode,
|
|
66
|
+
FormulaParser,
|
|
67
|
+
KripkeModelChecker,
|
|
68
|
+
KripkeStructure,
|
|
69
|
+
KripkeWorld,
|
|
70
|
+
ModelCheckResult,
|
|
71
|
+
)
|
|
72
|
+
from .oracle import (
|
|
73
|
+
Abort,
|
|
74
|
+
And,
|
|
75
|
+
App,
|
|
76
|
+
Case,
|
|
77
|
+
CurryHowardVerifier,
|
|
78
|
+
Eq,
|
|
79
|
+
Exists,
|
|
80
|
+
Forall,
|
|
81
|
+
FormalProofResult,
|
|
82
|
+
Fst,
|
|
83
|
+
Implies,
|
|
84
|
+
Inl,
|
|
85
|
+
Inr,
|
|
86
|
+
Lam,
|
|
87
|
+
Not,
|
|
88
|
+
Or,
|
|
89
|
+
Pair,
|
|
90
|
+
ProofOracle,
|
|
91
|
+
ProofStatus,
|
|
92
|
+
Prop,
|
|
93
|
+
Refl,
|
|
94
|
+
Snd,
|
|
95
|
+
TacticsEngine,
|
|
96
|
+
Term,
|
|
97
|
+
TermKind,
|
|
98
|
+
Type,
|
|
99
|
+
TypeError,
|
|
100
|
+
TypeKind,
|
|
101
|
+
UndecidabilityDetector,
|
|
102
|
+
Unit,
|
|
103
|
+
UnitTerm,
|
|
104
|
+
Var,
|
|
105
|
+
Void,
|
|
106
|
+
)
|
|
107
|
+
|
|
108
|
+
__all__ = [
|
|
109
|
+
# Causal
|
|
110
|
+
"BrittlenessReport",
|
|
111
|
+
"CausalCycleError",
|
|
112
|
+
"CausalDAG",
|
|
113
|
+
"CausalEdge",
|
|
114
|
+
"CausalNode",
|
|
115
|
+
"CausalNodeNotFoundError",
|
|
116
|
+
"CausalNodeType",
|
|
117
|
+
"InterventionResult",
|
|
118
|
+
# Dialectical
|
|
119
|
+
"AntithesisCritique",
|
|
120
|
+
"Contradiction",
|
|
121
|
+
"DialecticalSynthesizer",
|
|
122
|
+
"EmergentSynthesis",
|
|
123
|
+
"ThesisCandidate",
|
|
124
|
+
"TRIZContradictionResolver",
|
|
125
|
+
"TRIZPrinciple",
|
|
126
|
+
"TRIZResolutionRecommendation",
|
|
127
|
+
"TRIZ_PRINCIPLES_CATALOG",
|
|
128
|
+
# Evolution
|
|
129
|
+
"CognitiveGenePool",
|
|
130
|
+
"CognitiveGenome",
|
|
131
|
+
"GENE_ALLELE_OPTIONS",
|
|
132
|
+
"PARETO_DIMENSIONS",
|
|
133
|
+
"create_random_genome",
|
|
134
|
+
# Induction
|
|
135
|
+
"AxiomProvenance",
|
|
136
|
+
"AxiomStatus",
|
|
137
|
+
"MetaProofInducer",
|
|
138
|
+
"NeuroSymbolicAxiom",
|
|
139
|
+
# Executive
|
|
140
|
+
"CognitiveBiasDetector",
|
|
141
|
+
"CognitiveBiasFinding",
|
|
142
|
+
"CognitiveBiasType",
|
|
143
|
+
"CognitiveGear",
|
|
144
|
+
"DynamicSearchHeuristicRewriter",
|
|
145
|
+
"SearchHeuristicConfig",
|
|
146
|
+
"System3Executive",
|
|
147
|
+
"TriLevelArbitrator",
|
|
148
|
+
# Hyperbolic
|
|
149
|
+
"HyperbolicGeometryError",
|
|
150
|
+
"HyperbolicPoint",
|
|
151
|
+
"HyperbolicTreeEmbedder",
|
|
152
|
+
"PoincareBall",
|
|
153
|
+
"TreeEmbeddingNode",
|
|
154
|
+
"TreeEmbeddingResult",
|
|
155
|
+
# Kripke
|
|
156
|
+
"CTLOperator",
|
|
157
|
+
"FormulaNode",
|
|
158
|
+
"FormulaParser",
|
|
159
|
+
"KripkeModelChecker",
|
|
160
|
+
"KripkeStructure",
|
|
161
|
+
"KripkeWorld",
|
|
162
|
+
"ModelCheckResult",
|
|
163
|
+
# Free Energy
|
|
164
|
+
"ActiveInferenceEngine",
|
|
165
|
+
"FreeEnergyReport",
|
|
166
|
+
"GenerativeModel",
|
|
167
|
+
"Policy",
|
|
168
|
+
"PolicyEvaluation",
|
|
169
|
+
"create_default_architecture_pomdp",
|
|
170
|
+
# Oracle
|
|
171
|
+
"Abort",
|
|
172
|
+
"And",
|
|
173
|
+
"App",
|
|
174
|
+
"Case",
|
|
175
|
+
"CurryHowardVerifier",
|
|
176
|
+
"Eq",
|
|
177
|
+
"Exists",
|
|
178
|
+
"Forall",
|
|
179
|
+
"FormalProofResult",
|
|
180
|
+
"Fst",
|
|
181
|
+
"Implies",
|
|
182
|
+
"Inl",
|
|
183
|
+
"Inr",
|
|
184
|
+
"Lam",
|
|
185
|
+
"Not",
|
|
186
|
+
"Or",
|
|
187
|
+
"Pair",
|
|
188
|
+
"ProofOracle",
|
|
189
|
+
"ProofStatus",
|
|
190
|
+
"Prop",
|
|
191
|
+
"Refl",
|
|
192
|
+
"Snd",
|
|
193
|
+
"TacticsEngine",
|
|
194
|
+
"Term",
|
|
195
|
+
"TermKind",
|
|
196
|
+
"Type",
|
|
197
|
+
"TypeError",
|
|
198
|
+
"TypeKind",
|
|
199
|
+
"UndecidabilityDetector",
|
|
200
|
+
"Unit",
|
|
201
|
+
"UnitTerm",
|
|
202
|
+
"Var",
|
|
203
|
+
"Void",
|
|
204
|
+
]
|