Skip to content

docs: stdlib architecture truth (kill never-built .my-module/@ffi sketch)#52

Merged
hyperpolymath merged 1 commit into
mainfrom
docs/stdlib-architecture-truth
May 18, 2026
Merged

docs: stdlib architecture truth (kill never-built .my-module/@ffi sketch)#52
hyperpolymath merged 1 commit into
mainfrom
docs/stdlib-architecture-truth

Conversation

@hyperpolymath
Copy link
Copy Markdown
Owner

Removes a sharp documentation lie flagged during the Map-builtins (#46/PR #49) reconciliation.

Problem

  • IMPLEMENTATION.md §2.1/§2.2 showed a stdlib/std/*.my module tree + @ffi("my_fs_read_file", …) strategy. Never built. The stdlib is native Rust builtins in crates/my-lang/src/stdlib.rs; there are no .my stdlib modules and no @ffi surface.
  • docs/wiki/roadmap/ecosystem.md listed std::io/fs/env/fmt/random as "🔄 Planned" — all shipped (PR feat(stdlib): add fs_*/env_args/format builtins + my-cli argv forwarding #10), under the same fictional std::* module naming.

Fix

Both surfaces rewritten to the real architecture (native builtins, snake-case area-prefixed names, register_stdlib/stdlib_functions()), with a capability roadmap and an explicit pointer naming the GitHub Phase-2 tracker (#45) as the single live source of truth — so docs state the plan, the tracker states what landed, and they can't contradict.

Scope

playground/hives/me/docs/specs/LANGUAGE_SPECIFICATION.md (sidelined exploratory Me-dialect spec) deliberately left alone — generic wishlist, not a sharp architecture claim.

Refs #45

🤖 Generated with Claude Code

IMPLEMENTATION.md §2.1/§2.2 described a `stdlib/std/*.my` source-module
tree and an `@ffi(...)` binding strategy that was never built and
contradicted the actual architecture (native Rust builtins in
crates/my-lang/src/stdlib.rs, no .my stdlib modules, no @ffi surface).
docs/wiki/roadmap/ecosystem.md likewise listed shipped capabilities
(io/fs/env/fmt/random) as "Planned" under fictional `std::*` modules.

Both rewritten to the real native-builtin architecture and capability
roadmap, with the GitHub Phase-2 tracker (#45) named as the single live
source of truth so the docs cannot silently drift into a lie again.

Scope: playground/hives/me/docs/specs (sidelined exploratory Me-dialect
spec) intentionally left untouched.

Refs #45

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath hyperpolymath merged commit 502b058 into main May 18, 2026
10 of 11 checks passed
@hyperpolymath hyperpolymath deleted the docs/stdlib-architecture-truth branch May 18, 2026 09:51
@github-actions
Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 35 issues detected

Severity Count
🔴 Critical 6
🟠 High 11
🟡 Medium 18

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Issue in quality.yml",
    "type": "missing_workflow",
    "file": "quality.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in security-policy.yml",
    "type": "missing_workflow",
    "file": "security-policy.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (1 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/my-lang/my-lang/_exploratory/me-scaffolding/crates/parser/src/lib.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "expect() in hot path (80 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/my-lang/my-lang/_exploratory/me-scaffolding/crates/parser/src/lib.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (1 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/my-lang/my-lang/my-ssg/src/generator.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "expect() in hot path (5 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/my-lang/my-lang/crates/my-mir/src/lib.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (26 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/my-lang/my-lang/crates/my-fmt/src/lib.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (1 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/my-lang/my-lang/crates/my-hir/src/lib.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (3 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/my-lang/my-lang/crates/my-llvm/src/lib.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

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