ReqAtoms.metta
MeTTaClaw artifact
464B
arrow_layer.metta
MeTTaClaw artifact
4.0KB
bc_base_v2.metta
MeTTaClaw artifact
61B
bc_deep_test_base.metta
MeTTaClaw artifact
180B
bc_deep_v2.metta
MeTTaClaw artifact
332B
bc_deep_v3.metta
MeTTaClaw artifact
255B
bc_deep_v4.metta
MeTTaClaw artifact
485B
bc_test.metta
BC test suite validating inference correctness
234B
bc_unified.metta
Unified backward chainer: deduction+abduction in 13 lines
307B
bc_unified_v2.metta
Unified backward chainer: deduction+abduction in 13 lines
727B
bc_v10_general_fold.metta
Backward chainer iteration with truth-value propagation
948B
bc_v5.metta
Backward chainer iteration with truth-value propagation
587B
bc_v6.metta
Backward chainer iteration with truth-value propagation
1.1KB
bc_v6_diamond.metta
Backward chainer iteration with truth-value propagation
477B
bc_v7_auto_revise.metta
Backward chainer iteration with truth-value propagation
829B
bc_v7b_fold.metta
Backward chainer iteration with truth-value propagation
725B
bc_v8_full_revise.metta
Backward chainer iteration with truth-value propagation
816B
bc_v9_fold_rev.metta
Backward chainer iteration with truth-value propagation
910B
bc_v9b_fold_rev.metta
Backward chainer iteration with truth-value propagation
917B
bc_v9c_fold_rev.metta
Backward chainer iteration with truth-value propagation
941B
calendar.metta
MeTTaClaw artifact
72B
circular_chain_safety.metta
N-hop deduction chain with truth decay
1.4KB
decision_v5.metta
Goal-priority operator selection via expected utility
5.7KB
exp_obj.metta
MeTTaClaw artifact
16.8KB
experience_objects.metta
Episodic experience atoms for reflective self-model
19.4KB
intensional_sim_v01.metta
Intensional similarity via Jaccard over IntSet properties
940B
loop_detect_skill.metta
Spin-loop detection breaking repeated identical states
145B
meta_rule_discovery_v27c.metta
Meta-rule discovery: automatic NAL pattern detection
4.1KB
micro_planner.metta
Planning for goal-directed action sequences
1.2KB
negation_mp_patch.metta
Negation and modus ponens reasoning
777B
nondet_reasoning_template.metta
MeTTaClaw artifact
1.8KB
nondet_synth_demo.metta
MeTTaClaw artifact
738B
oracle_feed_mvp.metta
Multi-source oracle revision for DeFi risk signals
1.6KB
rebam_protocol.metta
Reputation assessment via NAL revision contraction mapping
894B
reqatom_verify.metta
MeTTaClaw artifact
464B
requirement_atoms.metta
Formal requirements with acceptance STVs
5.1KB
requirement_atoms_backfill.metta
Formal requirements with acceptance STVs
2.6KB
revision_rescue_principle.metta
NAL revision: evidence accumulation from independent sources
182B
temporal_predict_test.metta
Temporal reasoning with multi-step prediction chains
966B
temporal_predict_v2.metta
Temporal reasoning with multi-step prediction chains
602B
test_find_shared.metta
MeTTaClaw artifact
119B
test_nal_invoke.metta
MeTTaClaw artifact
103B
trivial_test.metta
MeTTaClaw artifact
8B
unified_beliefs.metta
Unified component combining multiple domains
11.8KB
unified_kb.metta
Unified component combining multiple domains
76.8KB
v03_combined_test.metta
MeTTaClaw artifact
347B
v19_fixed.metta
MeTTaClaw artifact
4.4KB
wm_v1.metta
MeTTaClaw artifact
875B