Skip to content

site: Docs7 analytics - #64

Merged
bong-water-water-bong merged 1 commit into
mainfrom
docs7-analytics
Sep 25, 2026
Merged

bong-water-water-bong merged 1 commit into
mainfrom
docs7-analytics

Conversation

@bong-water-water-bong

Copy link
Copy Markdown
Collaborator

Adds the Docs7 analytics script to every page, next to GoatCounter:

<script defer src="https://context7.com/docs7-analytics.js" data-site="…"></script>

  • It's on only when the repository variable DOCS7_SITE holds the Docs7 site id. The variable is set to f172a149-d085-45bc-8c58-ae0de677b0bf.
  • The id is checked as a UUID, like the other site variables.
  • A local build with the variable renders the tag on all 26 pages, and GoatCounter is unchanged.

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@context7

context7 Bot commented Sep 25, 2026

Copy link
Copy Markdown

Docs7 for 1bit-monster/engine

Result Status Action
Deployment ➖ Not used —
Content review ➖ Did not run. This site has no agent runs available this month. Wait for the monthly reset or check your Docs7 plan. —

Commit 675de3c

@github-actions

Copy link
Copy Markdown

PR Reviewer Guide 🔍

Here are some key observations to aid the review process:

⏱️ Estimated effort to review: 2 🔵🔵⚪⚪⚪
🧪 No relevant tests
🔒 No security concerns identified
⚡ Recommended focus areas for review

Missing Input Validation for DOCS7_SITE

The DOCS7_SITE environment variable is validated as a UUID using a regular expression, but the validation does not ensure that the UUID is in the correct format (version 4). While the regex checks for the basic structure of a UUID, it does not verify that the UUID is a valid version 4 UUID, which could lead to unexpected behavior if an invalid UUID is passed. This could be a potential security or correctness issue if the analytics script is misconfigured.

if site:
    if not re.fullmatch(r"[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}", site):
        sys.exit(f"DOCS7_SITE must be the Docs7 site id (a UUID), not {site!r}")
    out.append(f'<script defer src="https://context7.com/docs7-analytics.js" data-site="{site}"></script>')
Potential Security Risk from DOCS7_SITE

The DOCS7_SITE variable is used directly in the HTML output without any additional sanitization or encoding. If the UUID contains unexpected characters or is malformed, it could potentially lead to XSS vulnerabilities or other security issues. Although the validation ensures it's a UUID, it's still important to ensure that the value is properly escaped when inserted into the HTML.

out.append(f'<script defer src="https://context7.com/docs7-analytics.js" data-site="{site}"></script>')

@bong-water-water-bong
bong-water-water-bong merged commit e840cee into main Sep 25, 2026
5 checks passed
@bong-water-water-bong
bong-water-water-bong deleted the docs7-analytics branch September 25, 2026 09:29
bong-water-water-bong added a commit that referenced this pull request Oct 2, 2026
…5 -> 90.9), MXFP4 weights (#282)

llama.cpp fork since d60cc4f:
- #64: a kernel for the MUL_MAT ggml hints as GGML_HINT_SRC0_IS_HADAMARD. Bonsai's 1024-point rotation
  of the 17408-wide FFN input ran on the CPU in every layer at prompt sizes. Ternary-Bonsai-2-27B,
  balanced mode: pp512 13.5 -> 90.9 tok/s, tg128 15.8 -> 19.0. test-hrx-hadamard: six shapes vs CPU
  and an exact product, x4, bitwise-identical repeats; 8 sanitizer-clean check.cases.
- #65: MXFP4 in the shared dequantizer, the E8M0 scale built exactly as GGML_E8M0_TO_FP32_HALF.
  test-hrx-mxfp4 bit-exact vs ggml on HRX0 (subnormal scales e = 0/1 flush to zero);
  test-backend-ops -b HRX0 1051/1051. MUL_MAT_ID admits only multiples of 256 (its kernels declare
  it): gpt-oss-20b's 2880-wide experts fall back to the CPU instead of failing the JIT.

Docs: docs/hrx.md Ternary Bonsai section and "Our patches". Registry regenerated (no mapping changes).

Co-authored-by: bong-water-water-bong <bong-water-water-bong@1bit.gg>
Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant