Skip to content

docs(hackathon): refresh stale + overclaimed submission facts - #13

Merged
heyoub merged 1 commit into
mainfrom
docs/hackathon-refresh
Jul 16, 2026
Merged

docs(hackathon): refresh stale + overclaimed submission facts#13
heyoub merged 1 commit into
mainfrom
docs/hackathon-refresh

Conversation

@heyoub

@heyoub heyoub commented Jul 16, 2026

Copy link
Copy Markdown
Collaborator

Refreshes the hackathon submission docs so every present-tense claim is true today, ahead of the Jul 20 deadline. Docs-only; no code changes.

What changed

Fix Files
Deadline Jul 9 → Jul 20 (with Devpost extension link) HACKATHON.md
Repo URL heyoub/texofreebatteryfactory/texo (matches the real remote) HACKATHON.md
Deployment/Qwen claims softened to honest present tense — "is deployed on ECS" / "runs on qwen3.7-max" → scripted + committed, provisioning pending devpost-description.md, blog-post.md, ALIBABA-CLOUD-USAGE.md, HACKATHON.md
BatPak "ships on 0.9.0 by choice" → now builds on 0.10.0 (Cargo.toml is 0.10.0); blog narrative reconciled HACKATHON.md, blog-post.md
Dependency count 492→222 → 492→324 (current Cargo.lock) devpost-description.md, blog-post.md

Rationale

The submission docs asserted a live ECS deployment and a running Qwen config that don't exist yet (the Alibaba account is under risk-control review; nothing is provisioned). Claiming a live deployment to judges is an integrity risk, so those are reworded to truthful "ready/scripted, pending" framing, with a TODO marker to flip them back to present tense once the instance is live and a Qwen Cloud run is verified end-to-end.

Deliberately left alone

  • Historical changelog / migration narrative (past-tense 0.9.0 entries) — those describe real past events.
  • The relate pass's durable budget/cursor detail — an internal implementation nuance, not a doc error; out of scope for submission prose.

Follow-ups (not in this PR)

  • Flip deployment claims to present tense after the ECS instance is live.
  • Decide the verified production model id (qwen3.7-max is unverified end-to-end; qwen3.7-plus hangs the sync HTTP client — a flash-class model worked in fallback testing).

Summary by CodeRabbit

  • Documentation
    • Extended the hackathon submission deadline to July 20, 2026 and updated the submission repository link.
    • Updated deployment documentation to reflect the latest release and remaining roadmap work.
    • Refined Alibaba Cloud usage, deployment proof, and configuration guidance.
    • Updated project and Devpost descriptions with current architecture, dependency, model, and deployment details.

Greptile Summary

This PR refreshes the hackathon submission documents to match the project's current state. The main changes are:

  • Updates the submission deadline and repository URL.
  • Corrects the locked-package count and current BatPak family.
  • Reframes Qwen Cloud and ECS deployment as configured but pending provisioning.
  • Describes the ECS proof script as a future deployment check.

Confidence Score: 5/5

This looks safe to merge.

No blocking issues found in the changed documentation. The package count matches the current lockfile. The BatPak statement matches the current manifests. The cloud wording distinguishes committed configuration from a live deployment.

T-Rex T-Rex Logs

What T-Rex did

  • Compared the pre-change failure state with the post-change success state described in the contract-validation proof, noting that eight consistency assertions were failing before and all assertions pass after, with package_count=324, parsed_batpak_version=0.10.0, canonical origin https://github.com/freebatteryfactory/texo.git, tracked deployment scripts, and provisioning-pending language.
  • Verified the contract-validation proof includes a syntax check, with bash -n reported as passing.

View all artifacts

T-Rex Ran code and verified through T-Rex

Important Files Changed

Filename Overview
HACKATHON.md Updates the deadline, repository URL, deployment wording, and current BatPak version.
hackathon/ALIBABA-CLOUD-USAGE.md Removes live-deployment implications and marks the ECS proof as pending.
hackathon/blog-post.md Corrects dependency and BatPak claims and clarifies that cloud provisioning is pending.
hackathon/devpost-description.md Replaces unverified live-service claims with deployment-readiness language.

Reviews (1): Last reviewed commit: "docs(hackathon): refresh stale + overcla..." | Re-trigger Greptile

- deadline: Jul 9 -> Jul 20, 2026 (Devpost extension, with link)
- repo URL: github.com/heyoub/texo -> github.com/freebatteryfactory/texo
  (matches the actual git remote)
- deployment/Qwen: soften present-tense "is deployed on ECS" / "runs on
  qwen3.7-max" to honest framing (scripted + committed, provisioning
  pending) since nothing is provisioned yet; add a TODO to flip back to
  present tense once the instance is live and a Qwen Cloud run is verified
- BatPak: "ships/remains on 0.9.0 by choice" -> now builds on 0.10.0
  (Cargo.toml is 0.10.0); reconcile the blog narrative; historical
  changelog entries left past-tense
- dependency count: 492 -> 222 corrected to 492 -> 324 (current Cargo.lock)

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@coderabbitai

coderabbitai Bot commented Jul 16, 2026

Copy link
Copy Markdown

Review Change Stack

📝 Walkthrough

Walkthrough

Hackathon documentation was updated with the extended deadline, repository URL, batpak-family version, Alibaba Cloud deployment details, revised rebuild metrics, and current provisioning status.

Changes

Hackathon submission documentation

Layer / File(s) Summary
Submission and deployment records
HACKATHON.md
The deadline, public repository URL, batpak-family baseline, and remaining roadmap items were updated.
Cloud usage and deployment proof
hackathon/ALIBABA-CLOUD-USAGE.md
Model-routing, deployment wording, and deployment proof descriptions were revised while retaining the existing references and evidence details.
Project narrative and disclosure
hackathon/blog-post.md, hackathon/devpost-description.md
Rebuild metrics, journal persistence, 0.10.0 compatibility, DashScope runtime configuration, ECS provisioning status, and dependency counts were updated.

Estimated code review effort: 1 (Trivial) | ~5 minutes

🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.
Description Check ✅ Passed Check skipped - CodeRabbit’s high-level summary is enabled.
Title check ✅ Passed The title accurately reflects the documentation refresh and the correction of overstated submission claims.
✨ Finishing Touches
📝 Generate docstrings
  • Create stacked PR
  • Commit on current branch
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch docs/hackathon-refresh

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: d680b2bea4

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread HACKATHON.md
## Deployment update (Jul 6 rebuild closeout)

The deployed service is now one binary: `/opt/texo/bin/texo serve`. The systemd
The deploy ships a single binary: `/opt/texo/bin/texo serve`. The systemd

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Describe all binaries shipped by the deploy

The current deployment does not ship a single binary: deploy/deploy.sh builds and copies texo, texo-bvisor-extractor, and bvisor-linux-launcher (lines 12–17 and 33–37). This statement therefore gives submission readers an inaccurate description of the deployment artifact set; describe texo as the single service entrypoint while acknowledging its two confinement companion binaries.

Useful? React with 👍 / 👎.


All three LLM roles — claim extraction, the relation judge, and chat — run on `qwen3.7-max`; the cosine prefilter uses `text-embedding-v4`. Both are served through Qwen Cloud's DashScope OpenAI-compatible mode (`dashscope-intl`, Singapore). The agent backend is deployed on an Alibaba Cloud ECS instance in Singapore (`ap-southeast-1`), same region as the model endpoint; the deploy configuration is committed in the repo.
<!-- TODO: confirm ECS deployment details + repo path of deploy script before submitting -->
All three LLM roles — claim extraction, the relation judge, and chat — are wired to Qwen models on Qwen Cloud's DashScope OpenAI-compatible mode (`dashscope-intl`, Singapore); the cosine prefilter uses `text-embedding-v4`. The agent backend targets an Alibaba Cloud ECS instance in the same Singapore region (`ap-southeast-1`) as the model endpoint; the deployment is fully scripted and committed to the repo (`deploy/provision-ecs.sh`, `deploy/deploy.sh`), with provisioning pending.

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Build the UI before calling deployment fully scripted

From a fresh checkout, the cited deployment script is not yet complete: ui/dist is ignored and untracked, while deploy/deploy.sh:40 attempts to copy it without running the UI build or documenting that prerequisite. In that environment the advertised deployment stops at scp, so either add the UI build to the script/documented workflow or avoid claiming that provisioning is the only remaining step.

Useful? React with 👍 / 👎.

Comment thread HACKATHON.md
Comment on lines +233 to +235
texo now builds on batpak family 0.10.0; see ROADMAP.md for the remaining
substrate work (hostbat manifest remount, MemFs/SimFs test stores, and SSE
replay).

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Remove the completed hostbat remount from remaining work

The hostbat manifest remount is no longer remaining work: src/host/module.rs:25-31 builds a HostModule, and src/host/mod.rs:245-247 mounts it into HostBuilder before deriving the hostbat fingerprints. The referenced ROADMAP.md item is stale, so repeating it here contradicts the current implementation and the updated blog statement that the interim fingerprint has served its purpose.

Useful? React with 👍 / 👎.

@coderabbitai coderabbitai Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 1

🤖 Prompt for all review comments with AI agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

Inline comments:
In `@HACKATHON.md`:
- Around line 227-231: Update the deployment artifact description in
HACKATHON.md to state that texo is the service binary while the deployment also
includes the supporting texo-bvisor-extractor and bvisor-linux-launcher
executables; remove the inaccurate “only the texo binary” wording.
🪄 Autofix (Beta)

Fix all unresolved CodeRabbit comments on this PR:

  • Push a commit to this branch (recommended)
  • Create a new PR with the fixes

ℹ️ Review info
⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: 4dc2df23-70cc-4f5d-8454-c3b26d7dd333

📥 Commits

Reviewing files that changed from the base of the PR and between 9b23d12 and d680b2b.

📒 Files selected for processing (4)
  • HACKATHON.md
  • hackathon/ALIBABA-CLOUD-USAGE.md
  • hackathon/blog-post.md
  • hackathon/devpost-description.md

Comment thread HACKATHON.md
Comment on lines +227 to 231
The deploy ships a single binary: `/opt/texo/bin/texo serve`. The systemd
unit still uses the `texo-agent` service name for operational continuity, but
the workspace and env file move to `/opt/texo/`. The deploy script stops the
old service, preserves the durable journal workspace, migrates a live env file
when present, and ships only the `texo` binary.

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🎯 Functional Correctness | 🟡 Minor | ⚡ Quick win

Correct the deployment artifact description.

deploy/deploy.sh also copies texo-bvisor-extractor and bvisor-linux-launcher into /opt/texo/bin/, so “ships only the texo binary” is inaccurate. Clarify that texo is the service binary while the deployment includes these supporting executables.

🤖 Prompt for AI Agents
Verify each finding against current code. Fix only still-valid issues, skip the
rest with a brief reason, keep changes minimal, and validate.

In `@HACKATHON.md` around lines 227 - 231, Update the deployment artifact
description in HACKATHON.md to state that texo is the service binary while the
deployment also includes the supporting texo-bvisor-extractor and
bvisor-linux-launcher executables; remove the inaccurate “only the texo binary”
wording.

@heyoub
heyoub merged commit c11e04c into main Jul 16, 2026
4 checks passed
@heyoub
heyoub deleted the docs/hackathon-refresh branch July 16, 2026 20:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant