Skip to content

brand: residual-labs-identity layer - #27

Merged
zyx77550 merged 1 commit into
mainfrom
brand/residual-labs-identity
Jul 21, 2026
Merged

brand: residual-labs-identity layer#27
zyx77550 merged 1 commit into
mainfrom
brand/residual-labs-identity

Conversation

@zyx77550

Copy link
Copy Markdown
Owner

Merge identity layer (docs only)

Deploys the locked Residual Labs identity onto the public flagship:
- llms.txt at root: machine-readable identity for AI answer engines (the new
  front page) — who the lab is, what SPARDA is, the one-command proof, contact.
- README footer: the lab line ('We don't pitch. We prove.'), the proof-grade
  positioning (EN+FR), and a real Contact path so 'I have a hard problem' turns
  into an inbound message.

Note for a follow-up: this public README still opens with 'The LLVM of web
applications' and 'The 3700-Route Proof' — the HQ already replaced both (the
3700 claim isn't reproducible; the new pitch is 'AI writes. SPARDA proves.'
with a scriptable bench). Syncing the corrected HQ README here is the next step.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Kw4EPiV7cMaHsRq8DX99qM
@github-actions

Copy link
Copy Markdown

🔍 SPARDA semantic review (vs origin/main)

RISKY — 0 critical, 0 high, 0 medium, 0 info.

Coverage: 100% of observed behavior resolved

Derived from the code + schema by SPARDA — a counterexample, not a heuristic.

@codecov

codecov Bot commented Jul 21, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@zyx77550
zyx77550 merged commit 54339ee into main Jul 21, 2026
8 checks passed
@zyx77550
zyx77550 deleted the brand/residual-labs-identity branch July 21, 2026 14:06
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.

2 participants