https://github.com/wonderben-code/convergence-codex
· scanned 2026-06-16 00:59 UTC (2 months, 1 week ago)
53 raw signals (0 security + 53 graph)
Last scanned 2 months, 1 week ago · v1 · 37 actionable findings from 1 signal source. 16 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.
All 395 nodes from the latest scan, grouped by kind. Each node is a unit the engine identified (file, function, endpoint, table…). Most users won't need this view — it's primarily for debugging the engine's graph extraction or for AI agents that want to enumerate the project structure.
| Label | Layer | Status | Path |
|---|---|---|---|
__init__ |
software | healthy | synthesis/composer.py:32 |
detect_boundaries |
software | healthy | synthesis/composer.py:36 |
_assign_findings_to_bundles |
software | healthy | synthesis/composer.py:137 |
compose |
software | healthy | synthesis/composer.py:167 |
review_paper |
software | healthy | synthesis/composer.py:271 |
revise_paper |
software | healthy | synthesis/composer.py:311 |
verify_completeness |
software | healthy | synthesis/composer.py:367 |
_generate_title |
software | healthy | synthesis/composer.py:414 |
_compose_abstract |
software | healthy | synthesis/composer.py:425 |
_compose_introduction |
software | healthy | synthesis/composer.py:432 |
_compose_methods |
software | healthy | synthesis/composer.py:440 |
_compose_results |
software | healthy | synthesis/composer.py:471 |
_compose_discussion |
software | healthy | synthesis/composer.py:532 |
_compose_novel_contributions |
software | healthy | synthesis/composer.py:552 |
_compose_honest_scope |
software | healthy | synthesis/composer.py:586 |
_compose_conclusion |
software | healthy | synthesis/composer.py:631 |
_compose_references |
software | healthy | synthesis/composer.py:642 |
_assemble_markdown |
software | healthy | synthesis/composer.py:657 |
_build_discoveries_summary |
software | healthy | synthesis/composer.py:683 |
_build_proofs_summary |
software | healthy | synthesis/composer.py:692 |
_load_corpus_context |
software | healthy | synthesis/composer.py:703 |
_extract_keywords |
software | healthy | synthesis/composer.py:734 |
_build_appendix_discoveries |
software | healthy | synthesis/composer.py:749 |
_build_appendix_formalisations |
software | healthy | synthesis/composer.py:822 |
_build_appendix_validation |
software | healthy | synthesis/composer.py:934 |
load |
software | healthy | synthesis/config.py:41 |
ensure_dirs |
software | healthy | synthesis/config.py:73 |
_find_project_root |
software | healthy | synthesis/config.py:79 |
__init__ |
software | healthy | synthesis/capstone.py:54 |
census |
software | healthy | synthesis/capstone.py:74 |
generate_claims |
software | healthy | synthesis/capstone.py:231 |
_formulate_claim |
software | healthy | synthesis/capstone.py:269 |
_trace_convergences |
software | healthy | synthesis/capstone.py:394 |
_trace |
software | healthy | synthesis/capstone.py:402 |
plan_papers |
software | healthy | synthesis/capstone.py:420 |
compose_paper |
software | healthy | synthesis/capstone.py:559 |
review_capstone |
software | healthy | synthesis/capstone.py:836 |
revise_capstone |
software | healthy | synthesis/capstone.py:866 |
cross_paper_check |
software | healthy | synthesis/capstone.py:916 |
extract_predictions |
software | healthy | synthesis/capstone.py:930 |
_parse_predictions |
software | healthy | synthesis/capstone.py:972 |
_make_section |
software | healthy | synthesis/capstone.py:1010 |
_assemble_markdown |
software | healthy | synthesis/capstone.py:1020 |
_format_convergences_for_prompt |
software | healthy | synthesis/capstone.py:1046 |
_format_convergences_detailed |
software | healthy | synthesis/capstone.py:1069 |
_format_proofs_for_prompt |
software | healthy | synthesis/capstone.py:1106 |
_describe_cascade_position |
software | healthy | synthesis/capstone.py:1131 |
_describe_cascade_evidence |
software | healthy | synthesis/capstone.py:1145 |
_build_cascade_summary |
software | healthy | synthesis/capstone.py:1163 |
_list_domain_pairs |
software | healthy | synthesis/capstone.py:1187 |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
README.md |
software | healthy | README.md |
pyproject.toml |
software | healthy | pyproject.toml |
LICENSE |
software | healthy | LICENSE |
__init__.py |
software | healthy | synthesis/__init__.py |
composer.py |
software | healthy | synthesis/composer.py |
config.py |
software | healthy | synthesis/config.py |
capstone.py |
software | healthy | synthesis/capstone.py |
cli.py |
software | healthy | synthesis/cli.py |
models.py |
software | healthy | synthesis/models.py |
store.py |
software | healthy | synthesis/store.py |
api.py |
software | healthy | synthesis/api.py |
__init__.py |
software | healthy | synthesis/prompts/__init__.py |
compose.py |
software | healthy | synthesis/prompts/compose.py |
boundary.py |
software | healthy | synthesis/prompts/boundary.py |
capstone.py |
software | healthy | synthesis/prompts/capstone.py |
review.py |
software | healthy | synthesis/prompts/review.py |
Tree_of_Reality.md |
software | healthy | docs/Tree_of_Reality.md |
Tree_of_Reality.html |
software | healthy | docs/Tree_of_Reality.html |
COMPENDIUM_FORMAT.md |
software | healthy | docs/COMPENDIUM_FORMAT.md |
TREE_OF_REALITY_STRUCTURE.md |
software | healthy | docs/TREE_OF_REALITY_STRUCTURE.md |
LEAN_INTEGRITY_PROTOCOL.md |
software | healthy | docs/LEAN_INTEGRITY_PROTOCOL.md |
Tree_of_Reality_explorer.html |
software | healthy | docs/Tree_of_Reality_explorer.html |
VERSION_HISTORY.md |
software | healthy | docs/VERSION_HISTORY.md |
Tree_of_Reality_cladogram.html |
software | healthy | docs/Tree_of_Reality_cladogram.html |
PAPER_F_CONTRIBUTING.md |
software | healthy | docs/PAPER_F_CONTRIBUTING.md |
lean_bridge.py |
software | healthy | logos/lean_bridge.py |
__init__.py |
software | healthy | logos/__init__.py |
sympy_bridge.py |
software | healthy | logos/sympy_bridge.py |
config.py |
software | healthy | logos/config.py |
z3_bridge.py |
software | healthy | logos/z3_bridge.py |
back_translation.py |
software | healthy | logos/back_translation.py |
validator.py |
software | healthy | logos/validator.py |
cli.py |
software | healthy | logos/cli.py |
models.py |
software | healthy | logos/models.py |
store.py |
software | healthy | logos/store.py |
numerical_bridge.py |
software | healthy | logos/numerical_bridge.py |
api.py |
software | healthy | logos/api.py |
multi_verifier.py |
software | healthy | logos/multi_verifier.py |
formaliser.py |
software | healthy | logos/formaliser.py |
prove.py |
software | healthy | logos/prompts/prove.py |
__init__.py |
software | healthy | logos/prompts/__init__.py |
detect_type.py |
software | healthy | logos/prompts/detect_type.py |
adversarial.py |
software | healthy | logos/prompts/adversarial.py |
lean_gen.py |
software | healthy | logos/prompts/lean_gen.py |
upgrade_lean_v2.py |
software | healthy | scripts/upgrade_lean_v2.py |
publish_paper_g.py |
software | healthy | scripts/publish_paper_g.py |
run_stage_a.py |
software | healthy | scripts/run_stage_a.py |
auto_commit.sh |
software | healthy | scripts/auto_commit.sh |
upgrade_proofs_v2.py |
software | healthy | scripts/upgrade_proofs_v2.py |
publish_tree_of_reality.py |
software | healthy | scripts/publish_tree_of_reality.py |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
Composer |
software | healthy | synthesis/composer.py:29 |
SynthesisConfig |
software | healthy | synthesis/config.py:12 |
CapstoneComposer |
software | healthy | synthesis/capstone.py:51 |
PaperSection |
software | healthy | synthesis/models.py:20 |
PaperConfidence |
software | healthy | synthesis/models.py:32 |
Citation |
software | healthy | synthesis/models.py:48 |
SectionDraft |
software | healthy | synthesis/models.py:62 |
PaperDraft |
software | healthy | synthesis/models.py:73 |
PaperBundle |
software | healthy | synthesis/models.py:119 |
BoundaryDecision |
software | healthy | synthesis/models.py:133 |
ReviewRequest |
software | healthy | synthesis/models.py:142 |
SynthesisRun |
software | healthy | synthesis/models.py:153 |
CapstoneContext |
software | healthy | synthesis/models.py:177 |
CandidateClaim |
software | healthy | synthesis/models.py:208 |
PaperPlan |
software | healthy | synthesis/models.py:240 |
CapstoneRun |
software | healthy | synthesis/models.py:260 |
PaperStore |
software | healthy | synthesis/store.py:14 |
APIStats |
software | healthy | synthesis/api.py:25 |
ClaudeAPI |
software | healthy | synthesis/api.py:44 |
LeanBridge |
software | healthy | logos/lean_bridge.py:47 |
SymPyBridge |
software | healthy | logos/sympy_bridge.py:99 |
LogosConfig |
software | healthy | logos/config.py:12 |
Z3Bridge |
software | healthy | logos/z3_bridge.py:93 |
BackTranslator |
software | healthy | logos/back_translation.py:75 |
ValidationResult |
software | healthy | logos/validator.py:24 |
ProofValidator |
software | healthy | logos/validator.py:35 |
FormalisationType |
software | healthy | logos/models.py:20 |
VerificationStatus |
software | healthy | logos/models.py:30 |
VerificationTier |
software | healthy | logos/models.py:38 |
ProofConfidence |
software | healthy | logos/models.py:67 |
ReviewPriority |
software | healthy | logos/models.py:82 |
ProofStep |
software | healthy | logos/models.py:90 |
LiteratureDependency |
software | healthy | logos/models.py:99 |
ValidationScores |
software | healthy | logos/models.py:110 |
ProofRecord |
software | healthy | logos/models.py:130 |
LogRecord |
software | healthy | logos/models.py:218 |
FlagRecord |
software | healthy | logos/models.py:236 |
LogosRun |
software | healthy | logos/models.py:257 |
ProofStore |
software | healthy | logos/store.py:14 |
NumericalBridge |
software | healthy | logos/numerical_bridge.py:69 |
APIStats |
software | healthy | logos/api.py:43 |
ClaudeAPI |
software | healthy | logos/api.py:62 |
MaxPlanAPI |
software | healthy | logos/api.py:204 |
MultiVerifier |
software | healthy | logos/multi_verifier.py:19 |
Formaliser |
software | healthy | logos/formaliser.py:27 |
CheckpointAction |
software | healthy | orchestrator/pipeline.py:31 |
PipelineStage |
software | healthy | orchestrator/pipeline.py:40 |
PipelineRun |
software | healthy | orchestrator/pipeline.py:54 |
Pipeline |
software | healthy | orchestrator/pipeline.py:81 |
| Label | Layer | Status | Path |
|---|---|---|---|
synthesis |
software | healthy | synthesis |
prompts |
software | healthy | synthesis/prompts |
docs |
software | healthy | docs |
logos |
software | healthy | logos |
prompts |
software | healthy | logos/prompts |
scripts |
software | healthy | scripts |
orchestrator |
software | healthy | orchestrator |
lean_verify |
software | healthy | lean_verify |
.github |
software | healthy | lean_verify/.github |
workflows |
software | healthy | lean_verify/.github/workflows |
paper_f |
software | healthy | lean_verify/paper_f |
.github |
software | healthy | .github |
workflows |
software | healthy | .github/workflows |
papers |
software | healthy | papers |
| Label | Layer | Status | Path |
|---|---|---|---|
lean-release-tag |
cicd | healthy | lean_verify/.github/workflows/create-release.yml |
check-for-updates |
cicd | healthy | lean_verify/.github/workflows/update.yml |
do-update |
cicd | healthy | lean_verify/.github/workflows/update.yml |
build |
cicd | healthy | lean_verify/.github/workflows/lean_action_ci.yml |
timestamp |
cicd | healthy | .github/workflows/bitcoin-timestamp.yml |
| Label | Layer | Status | Path |
|---|---|---|---|
gha::create-release |
cicd | healthy | lean_verify/.github/workflows/create-release.yml |
gha::update |
cicd | healthy | lean_verify/.github/workflows/update.yml |
gha::lean_action_ci |
cicd | healthy | lean_verify/.github/workflows/lean_action_ci.yml |
gha::bitcoin-timestamp |
cicd | healthy | .github/workflows/bitcoin-timestamp.yml |
| Label | Layer | Status | Path |
|---|---|---|---|
repobility-clone-hhuv1oz2 |
software | healthy | /tmp/repobility-clone-hhuv1oz2 |
| Label | Layer | Status | Path |
|---|---|---|---|
port:08 |
network | healthy | lean_verify/.github/workflows/update.yml |
| Label | Layer | Status | Path |
|---|---|---|---|
GITHUB_TOKEN |
cicd | healthy | — |
This page is publicly accessible at:
https://repobility.com/scan/26aa9035-0427-4b36-bfa6-1b7963875f31/
To check status programmatically (no auth required):
curl -s https://repobility.com/api/v1/public/scan/26aa9035-0427-4b36-bfa6-1b7963875f31/Important — please don't re-submit the same URL repeatedly. The submission endpoint is idempotent: re-submitting the same git URL returns this same scan_token, not a new one. To re-scan this repo, sign up free and use the dashboard.