Public scan — anyone with this URL can view this analysis. Sign up to track your own repos privately, run scheduled re-scans, and get AI fix prompts via your dashboard.

SubTropica/SubTropica

https://github.com/SubTropica/SubTropica · scanned 2026-06-16 00:25 UTC (2 months, 2 weeks ago)

35 raw signals (0 security + 35 graph)

File as issue Image

UNIFIED Repobility · multi-layer engine · AI coders

Complete repo analysis

Last scanned 2 months, 2 weeks ago · v1 · 29 actionable findings from 1 signal source. 6 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON

66.7% cov · 29 findings

Severity distribution — click a segment to filter

Active filters: excluding tests × Reset all

Severity: Critical 0 High 0 Medium 9 Low 9 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 29 Crowd 0 Layer: Software 3 Frontend 2 Security 4 Cicd 3 Quality 17

Exclude dismissed / FP Exclude test files

All 4114 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
`README.md`	software	healthy	`README.md`
`LICENSE`	software	healthy	`LICENSE`
`CHANGELOG.md`	software	healthy	`CHANGELOG.md`
`README.md`	software	healthy	`HyperFLINT/README.md`
`CMakePresets.json`	software	healthy	`HyperFLINT/CMakePresets.json`
`LICENSE`	software	healthy	`HyperFLINT/LICENSE`
`test_op_memo_evict.cpp`	software	healthy	`HyperFLINT/test/test_op_memo_evict.cpp`
`test_integration_structural_sharing_probe.cpp`	software	healthy	`HyperFLINT/test/test_integration_structural_sharing_probe.c…`
`test_factored_rat.cpp`	software	healthy	`HyperFLINT/test/test_factored_rat.cpp`
`test_lf_perfpow.cpp`	software	healthy	`HyperFLINT/test/test_lf_perfpow.cpp`
`test_operator_memo_tsan.cpp`	software	healthy	`HyperFLINT/test/test_operator_memo_tsan.cpp`
`test_merge_sorted_canonical.cpp`	software	healthy	`HyperFLINT/test/test_merge_sorted_canonical.cpp`
`test_lr_scan.cpp`	software	healthy	`HyperFLINT/test/test_lr_scan.cpp`
`test_univar_rat.cpp`	software	healthy	`HyperFLINT/test/test_univar_rat.cpp`
`test_linear_factors_cache_key_thread_invariant.cpp`	software	healthy	`HyperFLINT/test/test_linear_factors_cache_key_thread_invari…`
`test_euler_filter.cpp`	software	healthy	`HyperFLINT/test/test_euler_filter.cpp`
`test_evict_compose_with_size_cap.cpp`	software	healthy	`HyperFLINT/test/test_evict_compose_with_size_cap.cpp`
`test_gmp_slab.cpp`	software	healthy	`HyperFLINT/test/test_gmp_slab.cpp`
`test_mimalloc_per_arena.cpp`	software	healthy	`HyperFLINT/test/test_mimalloc_per_arena.cpp`
`test_transform_zw_tab_readonly_under_cap.cpp`	software	healthy	`HyperFLINT/test/test_transform_zw_tab_readonly_under_cap.cpp`
`test_operator_memo.cpp`	software	healthy	`HyperFLINT/test/test_operator_memo.cpp`
`test_rec1_mpz_pool_probe.cpp`	software	healthy	`HyperFLINT/test/test_rec1_mpz_pool_probe.cpp`
`test_evict_dispatch_wiring.cpp`	software	healthy	`HyperFLINT/test/test_evict_dispatch_wiring.cpp`
`test_integration_section_6d_dfs_cap.cpp`	software	healthy	`HyperFLINT/test/test_integration_section_6d_dfs_cap.cpp`
`test_euler_chi.cpp`	software	healthy	`HyperFLINT/test/test_euler_chi.cpp`
`test_rat_add_equivalence.cpp`	software	healthy	`HyperFLINT/test/test_rat_add_equivalence.cpp`
`test_integration_node_rss_4col.cpp`	software	healthy	`HyperFLINT/test/test_integration_node_rss_4col.cpp`
`test_partial_fractions_characterization.cpp`	software	healthy	`HyperFLINT/test/test_partial_fractions_characterization.cpp`
`test_omp_e2e_determinism.py`	software	healthy	`HyperFLINT/test/integration/test_omp_e2e_determinism.py`
`test_mzv_expansion.cpp`	software	healthy	`HyperFLINT/test/unit/test_mzv_expansion.cpp`
`test_rat_split_roundtrip.cpp`	software	healthy	`HyperFLINT/test/unit/test_rat_split_roundtrip.cpp`
`test_period_tuples.cpp`	software	healthy	`HyperFLINT/test/unit/test_period_tuples.cpp`
`test_env_flag_registry.cpp`	software	healthy	`HyperFLINT/test/unit/test_env_flag_registry.cpp`
`test_dag_hashcons_probe_ndjson_emit.cpp`	software	healthy	`HyperFLINT/test/unit/test_dag_hashcons_probe_ndjson_emit.cpp`
`test_step_strategy_dispatch.cpp`	software	healthy	`HyperFLINT/test/unit/test_step_strategy_dispatch.cpp`
`test_c_abi_find_lr_orders_scan_cli_snapshot.cpp`	software	healthy	`HyperFLINT/test/unit/test_c_abi_find_lr_orders_scan_cli_sna…`
`test_sharded_flat_map.cpp`	software	healthy	`HyperFLINT/test/unit/test_sharded_flat_map.cpp`
`test_poles_bucket_flush.cpp`	software	healthy	`HyperFLINT/test/unit/test_poles_bucket_flush.cpp`
`test_construction_path_dedup_rate_omp_invariance.cpp`	software	healthy	`HyperFLINT/test/unit/test_construction_path_dedup_rate_omp_…`
`test_hyperflint_sym_response_determinism.cpp`	software	healthy	`HyperFLINT/test/unit/test_hyperflint_sym_response_determini…`
`test_parse_unary_precedence.cpp`	software	healthy	`HyperFLINT/test/unit/test_parse_unary_precedence.cpp`
`test_step_trace_rss.cpp`	software	healthy	`HyperFLINT/test/unit/test_step_trace_rss.cpp`
`test_operand_sparsity.cpp`	software	healthy	`HyperFLINT/test/unit/test_operand_sparsity.cpp`
`test_c_abi_pfrac_cli_snapshot.cpp`	software	healthy	`HyperFLINT/test/unit/test_c_abi_pfrac_cli_snapshot.cpp`
`test_pool_force_collect_omp_safety.cpp`	software	healthy	`HyperFLINT/test/unit/test_pool_force_collect_omp_safety.cpp`
`test_c_abi_find_lr_orders_cli_snapshot.cpp`	software	healthy	`HyperFLINT/test/unit/test_c_abi_find_lr_orders_cli_snapshot…`
`test_zw_table_basic.cpp`	software	healthy	`HyperFLINT/test/unit/test_zw_table_basic.cpp`
`test_sym_coef_split_roundtrip.cpp`	software	healthy	`HyperFLINT/test/unit/test_sym_coef_split_roundtrip.cpp`
`test_sym_coef_canonical_string.cpp`	software	healthy	`HyperFLINT/test/unit/test_sym_coef_canonical_string.cpp`
`test_find_lr_orders_carry_discharge.cpp`	software	healthy	`HyperFLINT/test/unit/test_find_lr_orders_carry_discharge.cpp`

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

Label	Layer	Status	Path
`HyperFLINT`	software	healthy	`HyperFLINT`
`test`	software	healthy	`HyperFLINT/test`
`integration`	software	healthy	`HyperFLINT/test/integration`
`unit`	software	healthy	`HyperFLINT/test/unit`
`scripts`	software	healthy	`HyperFLINT/test/scripts`
`smoke`	software	healthy	`HyperFLINT/test/smoke`
`Smirnov`	software	healthy	`HyperFLINT/test/Smirnov`
`diagnostics`	software	healthy	`HyperFLINT/test/Smirnov/diagnostics`
`abi`	software	healthy	`HyperFLINT/test/abi`
`scripts`	software	healthy	`HyperFLINT/scripts`
`bench`	software	healthy	`HyperFLINT/bench`
`include`	software	healthy	`HyperFLINT/include`
`hyperflint`	software	healthy	`HyperFLINT/include/hyperflint`
`algebra`	software	healthy	`HyperFLINT/include/hyperflint/algebra`
`integrator`	software	healthy	`HyperFLINT/include/hyperflint/integrator`
`series`	software	healthy	`HyperFLINT/include/hyperflint/series`
`reduce`	software	healthy	`HyperFLINT/include/hyperflint/reduce`
`instrumentation`	software	healthy	`HyperFLINT/include/hyperflint/instrumentation`
`runtime`	software	healthy	`HyperFLINT/include/hyperflint/runtime`
`diagnostics`	software	healthy	`HyperFLINT/include/hyperflint/diagnostics`
`core`	software	healthy	`HyperFLINT/include/hyperflint/core`
`symbols`	software	healthy	`HyperFLINT/include/hyperflint/symbols`
`bridge`	software	healthy	`HyperFLINT/include/hyperflint/bridge`
`convert`	software	healthy	`HyperFLINT/include/hyperflint/convert`
`third_party`	software	healthy	`HyperFLINT/third_party`
`xxhash`	software	healthy	`HyperFLINT/third_party/xxhash`
`bridge`	software	healthy	`HyperFLINT/bridge`
`librarylink`	software	healthy	`HyperFLINT/bridge/librarylink`
`cli`	software	healthy	`HyperFLINT/bridge/cli`
`src`	software	healthy	`HyperFLINT/src`
`algebra`	software	healthy	`HyperFLINT/src/algebra`
`integrator`	software	healthy	`HyperFLINT/src/integrator`
`series`	software	healthy	`HyperFLINT/src/series`
`reduce`	software	healthy	`HyperFLINT/src/reduce`
`instrumentation`	software	healthy	`HyperFLINT/src/instrumentation`
`runtime`	software	healthy	`HyperFLINT/src/runtime`
`diagnostics`	software	healthy	`HyperFLINT/src/diagnostics`
`core`	software	healthy	`HyperFLINT/src/core`
`bridge`	software	healthy	`HyperFLINT/src/bridge`
`convert`	software	healthy	`HyperFLINT/src/convert`
`ui`	software	healthy	`ui`
`notebook`	software	healthy	`ui/notebook`
`scripts`	software	healthy	`scripts`
`library_audit`	software	healthy	`scripts/library_audit`
`library-bundled`	software	healthy	`library-bundled`
`123_24_e_45_6_67_7_e_`	software	healthy	`library-bundled/123_24_e_45_6_67_7_e_`
`000_00_1_00_0_00_0_1_`	software	healthy	`library-bundled/123_24_e_45_6_67_7_e_/000_00_1_00_0_00_0_1_`
`000_00_0_00_0_00_0_0_`	software	healthy	`library-bundled/123_24_e_45_6_67_7_e_/000_00_0_00_0_00_0_0_`
`1112_3_44_e5_55_e_`	software	healthy	`library-bundled/1112_3_44_e5_55_e_`
`0000_0_00_10_00_1_`	software	healthy	`library-bundled/1112_3_44_e5_55_e_/0000_0_00_10_00_1_`

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

Label	Layer	Status	Path
`build_request_envelope`	software	healthy	`HyperFLINT/test/integration/test_omp_e2e_determinism.py:72`
`run_one_cell`	software	healthy	`HyperFLINT/test/integration/test_omp_e2e_determinism.py:94`
`main`	software	healthy	`HyperFLINT/test/integration/test_omp_e2e_determinism.py:151`
`parse_nickel`	software	healthy	`ui/build_subtopology_index.py:42`
`contract_edge`	software	healthy	`ui/build_subtopology_index.py:83`
`_vertices_from_edges`	software	healthy	`ui/build_subtopology_index.py:143`
`_is_connected`	software	healthy	`ui/build_subtopology_index.py:152`
`is_one_vertex_irreducible`	software	healthy	`ui/build_subtopology_index.py:181`
`_adjacent_nodes`	software	healthy	`ui/build_subtopology_index.py:215`
`_compare_lists`	software	healthy	`ui/build_subtopology_index.py:226`
`_compare_nickel_lists`	software	healthy	`ui/build_subtopology_index.py:236`
`_map_nodes`	software	healthy	`ui/build_subtopology_index.py:245`
`_map_edges`	software	healthy	`ui/build_subtopology_index.py:250`
`__init__`	software	healthy	`ui/build_subtopology_index.py:267`
`compare_to`	software	healthy	`ui/build_subtopology_index.py:281`
`expand`	software	healthy	`ui/build_subtopology_index.py:287`
`_nickel_list_to_string`	software	healthy	`ui/build_subtopology_index.py:320`
`canonical_nickel`	software	healthy	`ui/build_subtopology_index.py:335`
`shift`	software	healthy	`ui/build_subtopology_index.py:379`
`all_subtopologies`	software	healthy	`ui/build_subtopology_index.py:434`
`build_subtopology_index`	software	healthy	`ui/build_subtopology_index.py:522`
`main`	software	healthy	`ui/build_subtopology_index.py:580`
`flatten`	software	healthy	`ui/nickel.js:flatten`
`sortedEdge`	software	healthy	`ui/nickel.js:sortedEdge`
`adjacentNodes`	software	healthy	`ui/nickel.js:adjacentNodes`
`isConnected`	software	healthy	`ui/nickel.js:isConnected`
`mapNodes1`	software	healthy	`ui/nickel.js:mapNodes1`
`mapNodes2`	software	healthy	`ui/nickel.js:mapNodes2`
`compareLists`	software	healthy	`ui/nickel.js:compareLists`
`compareNickelLists`	software	healthy	`ui/nickel.js:compareNickelLists`
`V`	software	healthy	`ui/nickel.js:V`
`canonicalize`	software	healthy	`ui/nickel.js:canonicalize`
`shift`	software	healthy	`ui/nickel.js:shift`
`getStarterTemplate`	software	healthy	`ui/app.js:getStarterTemplate`
`_ensureTipEl`	software	healthy	`ui/app.js:_ensureTipEl`
`_positionTip`	software	healthy	`ui/app.js:_positionTip`
`_showTip`	software	healthy	`ui/app.js:_showTip`
`_hideTip`	software	healthy	`ui/app.js:_hideTip`
`_tourSleep`	software	healthy	`ui/app.js:_tourSleep`
`_isMobileTour`	software	healthy	`ui/app.js:_isMobileTour`
`_tourStepProp`	software	healthy	`ui/app.js:_tourStepProp`
`_tourMakeGhost`	software	healthy	`ui/app.js:_tourMakeGhost`
`_tourRemoveGhost`	software	healthy	`ui/app.js:_tourRemoveGhost`
`_svgToScreen`	software	healthy	`ui/app.js:_svgToScreen`
`_tourEase`	software	healthy	`ui/app.js:_tourEase`
`_tourGhostSet`	software	healthy	`ui/app.js:_tourGhostSet`
`_tourGhostTo`	software	healthy	`ui/app.js:_tourGhostTo`
`_tourGhostToScreen`	software	healthy	`ui/app.js:_tourGhostToScreen`
`_tourGhostPress`	software	healthy	`ui/app.js:_tourGhostPress`
`_tourDragTween`	software	healthy	`ui/app.js:_tourDragTween`

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

Label	Layer	Status	Path
`_Expander`	software	healthy	`ui/build_subtopology_index.py:262`
`Nickel`	software	healthy	`ui/nickel.js:Nickel`
`Expander`	software	healthy	`ui/nickel.js:Expander`
`fades`	software	healthy	`ui/app.js:fades`
`digit`	software	healthy	`ui/app.js:digit`
`string`	software	healthy	`ui/app.js:string`
`toggles`	software	healthy	`ui/app.js:toggles`
`into`	software	healthy	`ui/app.js:into`
`is`	software	healthy	`ui/app.js:is`
`found`	software	healthy	`ui/app.js:found`
`const`	software	healthy	`ui/app.js:const`
`SplitError`	software	healthy	`scripts/_results_split_common.py:23`

Label	Layer	Status	Path
`create-issue`	cicd	healthy	`.github/workflows/paper-request.yml`
`core`	cicd	healthy	`.github/workflows/release-paclet.yml`
`hf-build`	cicd	healthy	`.github/workflows/release-paclet.yml`
`hf-build-linux`	cicd	healthy	`.github/workflows/release-paclet.yml`
`assemble`	cicd	healthy	`.github/workflows/release-paclet.yml`
`create-pr`	cicd	healthy	`.github/workflows/submit.yml`
`validate`	cicd	healthy	`.github/workflows/validate.yml`
`tex-parseability`	cicd	healthy	`.github/workflows/validate.yml`
`create-issue`	cicd	healthy	`.github/workflows/correction.yml`

Label	Layer	Status	Path
`gha::paper-request`	cicd	healthy	`.github/workflows/paper-request.yml`
`gha::release-paclet`	cicd	healthy	`.github/workflows/release-paclet.yml`
`gha::submit`	cicd	healthy	`.github/workflows/submit.yml`
`gha::validate`	cicd	healthy	`.github/workflows/validate.yml`
`gha::correction`	cicd	healthy	`.github/workflows/correction.yml`

Label	Layer	Status	Path
`GITHUB_TOKEN`	cicd	healthy	`—`
`STAGED_TOKEN`	cicd	healthy	`—`

Label	Layer	Status	Path
`repobility-clone-_40o74gk`	software	healthy	`/tmp/repobility-clone-_40o74gk`

Label	Layer	Status	Path
`gpu (detected)`	hardware	healthy	`library-bundled/1123_23_e_e_/1111_11_2_2_/entry.json`

For AI agents: Voting guide (TP/FP) MCP manifest Stdio wrapper SARIF Integrate Findings queue Vote TP/FP on findings to calibrate the engine.

For AI agents + API integrations

Email me when this repo regresses

Free. We re-scan periodically; new criticals → your inbox. No signup required for the scan itself.

API access

This page is publicly accessible at: https://repobility.com/scan/61187b84-9fd6-48da-a3cb-ba9fe8b62086/

To check status programmatically (no auth required):

curl -s https://repobility.com/api/v1/public/scan/61187b84-9fd6-48da-a3cb-ba9fe8b62086/

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.

SubTropica/SubTropica

Complete repo analysis

file 50+

directory 50+

function 50+

class 12

job 9

pipeline 5

env_var 2

repo 1

gpu 1