Repository navigation
Conversation
A manuscript-styled banner (light and dark), a terminal recording of theosc checking Gödel's argument, rejecting an overreaching edit and a fallacy, then compiling to .theos; a playground recording; a byte map of a .theos file; native Mermaid graphs of Gödel's argument and the pipeline; a library table with real verdicts; and collapsible depth. Every image is rendered from the real tool by tools/readme/render.cjs. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019WEmxyo9CRKSbjbEdCuJTG
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Stacked on #12: once #12 merges, retarget this PR to
main.What changes
A rewritten
README.mdfor engineers and recruiters first, with an openly apologetic framing and a manuscript look that matches the playground and gallery.<picture>), live CI/Pages/release/license badges, a stats strip, and buttons for the playground and gallery.theosc checkpasses Gödel's argument, rejects an edit that claims too much (T1 line 24 with◇removed) and rejects affirming the consequent with a counterexample, then compiles to.theosand inspects the chunks. Every line is realtheoscoutput.theosc analyze, including the two arguments whose recorded objections still stand..theosbyte map: every byte of the 452-byte spec example, coloured by chunk. It matchesdocs/spec/theos-v2.mdbyte for byte.theosc check), scripture-check output, a CLI reference and the project layout.tools/readme/render.cjsregenerates every image indocs/assets/frombuild/theoscandweb/dist, using Playwright and ffmpeg. CLAUDE.md documents the command.Checks
v1.0.0is tagged.Generated by Claude Code