| 1.0.0 public release claim is scoped and evidence-guarded |
Proven |
output/.raw/release_readiness.json, output/.raw/claim_guard_validation.json, tools/validate_claim_guard.py; current allowed claim is evidence_backed_universal_react_web_static_governance |
| Final release proof is bound to the published source identity |
Proven |
PUBLIC_DISTRIBUTION_MANIFEST.json, config/release_identity.json, docs/EVIDENCE.md; the maintainer proof receipt and live workspace output are intentionally not shipped in the public source projection |
| Post-Atlas Architecture Oracle proposes blueprints without hard-blocking unsealed repositories |
Proven |
tools/engines/architecture_oracle.py, output/.raw/architecture_oracle.json, tools/validate_architecture_oracle.py, docs/POST_ATLAS_ARCHITECTURE_ORACLE.md |
| Architecture Oracle blueprint matching is externally calibrated |
Proven |
docs/ARCHITECTURE_ORACLE_BLUEPRINT_COVERAGE.md, docs/EXTERNAL_REPOSITORY_EVALUATION.md, tools/validate_architecture_oracle.py, existing output/external_targets/*/.raw/atlas.json evidence |
| Nexora SAGE is AI-native, not dashboard-first |
Proven |
docs/AI_AGENT_HITL_RUNBOOK.md, tools/mcp/server.py, output/.raw/nexora_surface_inventory.json |
| React findings carry evidence ladder fields |
Proven |
tools/core/react_evidence.py, output/.raw/react_runtime_intelligence.json, python tools/validate_react_fixtures.py |
| React edge-case coverage is explicitly matrixed and fixture-gated |
Proven |
config/react_edge_case_matrix.json, docs/REACT_EDGE_CASE_COVERAGE.md, tools/validate_react_edge_cases.py, output/.raw/react_edge_case_validation.json |
| React Compiler readiness is a first-class gate |
Proven |
tools/engines/react_compiler_readiness.py, output/.raw/react_compiler_readiness.json |
| RSC and Server Actions contracts are analyzed |
Proven |
tools/engines/next_boundary_analyzer.py, output/.raw/next_boundary_analysis.json |
| A11y/i18n contracts go beyond raw key counts |
Proven |
tools/engines/a11y_i18n_contract_analyzer.py, output/.raw/a11y_i18n_contracts.json |
| Merge decisions include confidence components |
Proven |
tools/engines/merge_simulation_engine.py, output/.raw/merge_simulation.json |
| AI task packs are verifiable and rollback-aware |
Proven |
tools/engines/ai_task_pack_generator.py, output/.raw/ai_task_packs.json |
| Runtime config carries provenance |
Proven |
tools/config_compiler.py, config/codemaps.config.json |
| Signal regression baseline requires intentional-change provenance |
Proven |
tools/validate_signal_regression.py, output/.raw/signal_regression_validation.json |
| Vendored TypeScript runtime is controlled dependency |
Proven |
docs/VENDORED_TYPESCRIPT_RUNTIME.md, tools/engines/package-lock.json |
| Security-adjacent capability claims are explicitly bounded |
Proven |
docs/SECURITY_CAPABILITY_MATRIX.md, docs/V1_RELEASE_BOUNDARY.md; SAGE does not claim to replace SAST, dependency-vulnerability scanning, runtime taint analysis or penetration testing |
| Polyglot governance substrate exists |
Proven |
config/language_registry.json, tools/core/language_registry.py, tools/orchestrators/discovery.py, tools/core/source_files.py, tools/core/polyglot_imports.py, tools/core/path_engine.py, tools/engines/generate_atlas.py, tools/engines/mcp_governance_engine.py, tools/tests/test_polyglot_atlas.py |
| Atlas/Genome carry language-agnostic symbol identity |
Proven |
config/language_agnostic_symbols.json, tools/core/language_agnostic_symbols.py, tools/validate_language_agnostic_symbols.py, output/.raw/language_agnostic_symbol_validation.json |
| TypeScript/React symbols carry logic-first DNA beside raw DNA |
Proven |
tools/engines/ast_sequencer.cjs, tools/engines/generate_atlas.py, tools/engines/nuclear_processor.py, output/.raw/atlas.json, output/.raw/genome.json |
| Polyglot source extensions and legacy path shims are config-governed |
Proven |
config/language_registry.json, config/schemas/language_registry.schema.json, tools/core/language_registry.py, tools/config_compiler.py, tools/validate_config_driven_governance.py, output/.raw/config_driven_governance_validation.json |
| Polyglot capability claims are conservatively bounded |
Proven |
config/polyglot_capabilities.json, docs/POLYGLOT_CAPABILITY_MATRIX.md, tools/validate_polyglot_capabilities.py, output/.raw/polyglot_capability_validation.json |
| Framework adapter claim boundaries are manifest-governed |
Proven |
config/framework_capabilities.json, docs/FRAMEWORK_ADAPTER_BOUNDARY.md, tools/core/framework_capabilities.py, tools/validate_framework_capabilities.py, output/.raw/framework_capability_validation.json |
| ContextOS provides watchdog-first surgical AI focus |
Proven |
tools/engines/quant_engine.py, tools/core/contextos_mcp.py, tools/validate_contextos_signals.py, tools/validate_contextos_contracts.py, output/.raw/signals.json |
| ContextOS explains why files are hot and expands first-ring halo context |
Proven |
output/.raw/signals.json, tools/engines/quant_engine.py, tools/core/contextos_mcp.py, tools/validate_contextos_contracts.py |
| AI agents can request one surgical operation packet and reverse upstream trace |
Proven |
tools/mcp/server.py, tools/core/contextos_mcp.py, tools/validate_mcp_agent_surface.py, tools/validate_contextos_contracts.py |
| React expertise is externally smoke-tested without host workspace dependency |
Proven |
tools/validate_external_react_smoke.py, tools/validate_external_target_smoke.py, output/.raw/external_react_smoke_validation.json, output/.raw/external_target_smoke_validation.json; includes isolated target-root Atlas/React capability detection plus MCP Markdown/YAML surgical, inspection, search, impact, test-impact, confidence, active-signal, patch-validation, and upstream-trace briefs/fail-closed checks |
| React v1 fixture evidence covers multiple required surfaces |
Proven |
config/react_fixture_matrix.json, tools/validate_react_fixtures.py, output/.raw/react_fixture_matrix_validation.json; required fixtures include current workspace, Vite, Next/App Router and router-oriented fixture artifacts |
| Test Gap Report prioritizes surgical test risks for agents |
Proven |
tools/generate_test_gap_report.py, config/artifact_registry.json, and the target-bound test_gap_report artifact contract |
| AI-Agent Readiness Report summarizes MCP, ContextOS, HITL and patch-safety readiness |
Proven |
tools/generate_ai_agent_readiness_report.py, config/agent_surface_contract.json, and the target-bound ai_agent_readiness_report artifact contract |
| v1 release boundary is explicit and conservative |
Proven |
docs/V1_RELEASE_BOUNDARY.md, docs/ANALYSIS_FAMILIES_MATRIX.md, README.md |
| Polyglot substrate is externally smoke-tested without host workspace dependency |
Proven |
tools/validate_external_polyglot_smoke.py, output/.raw/external_polyglot_smoke_validation.json |
| Python support uses real AST sequencing |
Proven |
tools/engines/ast_sequencer_python.py, tools/tests/test_polyglot_atlas.py |
| Java/Go/C# structural symbol extraction exists |
Proven |
tools/engines/ast_sequencer_java.py, tools/engines/ast_sequencer_go.py, tools/engines/ast_sequencer_cs.py |
| Java/Go/C# compiler-grade semantic analysis exists |
Roadmap |
current sequencers are structural extractors, not javac/go/types/Roslyn integrations |
| Auto-doctrine supports multiple project families |
Partially Proven |
tools/auto_doctrine.py, config/architecture_profiles.json; needs external fixture demos per profile |
| Local Dev Telemetry exists for explicit local traces |
Partially Proven |
tools/engines/local_telemetry_engine.py, config/schemas/local_telemetry_analysis.schema.json; production framework probes are not built yet |
| Public 5-minute onboarding is smooth |
Partially Proven |
README/Quickstart and independent clean-machine installation proof exist; unfamiliar-user time-to-value, comprehension and repeat use remain unproven |
| GitHub Actions integration is product-ready |
Roadmap |
planned workflow docs; first-class action is not built yet |
| VS Code extension / LSP exists |
Roadmap |
not built |
| Production runtime tracing exists |
Roadmap |
Vite/Rollup/browser probe not built yet |