Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
masarray
/
arsvin
Public
Notifications
You must be signed in to change notification settings
Fork
3
Star
3
Code
Issues
0
Pull requests
7
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
P3: generic SV explorer and SCL-driven semantics
- #50
#50
Closed
masarray
wants to merge 21 commits into
main
masarray/arsvin:main
from
agent/sv-evidence-context-p3
masarray/arsvin:agent/sv-evidence-context-p3
Copy head branch name to clipboard
Conversation
Commits
21
(21)
Checks
Files changed
Closed
P3: generic SV explorer and SCL-driven semantics
#50
masarray
wants to merge 21 commits into
main
masarray/arsvin:main
from
agent/sv-evidence-context-p3
masarray/arsvin:agent/sv-evidence-context-p3
Copy head branch name to clipboard
Commits
Commits on Jul 22, 2026
Add versioned declarative SV profile manifest engine
masarray
committed
3ccf92e
View commit details
Copy full SHA for 3ccf92e
Browse repository at this point
Add declarative SV profile manifest regression tests
masarray
committed
04f32a9
View commit details
Copy full SHA for 04f32a9
Browse repository at this point
Add safe declarative profile manifest example
masarray
committed
145f2b4
View commit details
Copy full SHA for 145f2b4
Browse repository at this point
Document declarative SV profile manifest safety model
masarray
committed
5a1634b
View commit details
Copy full SHA for 5a1634b
Browse repository at this point
Harden generic SV scaling evidence
masarray
committed
1bacb76
View commit details
Copy full SHA for 1bacb76
Browse repository at this point
Remove profile-manifest direction
masarray
committed
3f0529c
View commit details
Copy full SHA for 3f0529c
Browse repository at this point
Remove profile-manifest example
masarray
committed
98cddbb
View commit details
Copy full SHA for 98cddbb
Browse repository at this point
Remove declarative profile manifest engine
masarray
committed
24c267c
View commit details
Copy full SHA for 24c267c
Browse repository at this point
Remove profile-manifest tests
masarray
committed
ee9cd83
View commit details
Copy full SHA for ee9cd83
Browse repository at this point
Add generic SV seqOfData inspector
masarray
committed
8eefbef
View commit details
Copy full SHA for 8eefbef
Browse repository at this point
Test generic SV payload inspection contract
masarray
committed
b927457
View commit details
Copy full SHA for b927457
Browse repository at this point
Align scaling tests with generic SCL-driven policy
masarray
committed
771874f
View commit details
Copy full SHA for 771874f
Browse repository at this point
Add generic SV ASDU inspection model
masarray
committed
05ccc0b
View commit details
Copy full SHA for 05ccc0b
Browse repository at this point
Test generic SV ASDU inspection
masarray
committed
3f9420c
View commit details
Copy full SHA for 3f9420c
Browse repository at this point
Document generic ArSubsv audit and roadmap
masarray
committed
8609a38
View commit details
Copy full SHA for 8609a38
Browse repository at this point
Add generic Subscriber presentation layer
masarray
committed
4a4c008
View commit details
Copy full SHA for 4a4c008
Browse repository at this point
Present unbound SV payloads generically in Subscriber UI
masarray
committed
7171d47
View commit details
Copy full SHA for 7171d47
Browse repository at this point
Keep generic explorer roadmap vendor-neutral
masarray
committed
b03c5e8
View commit details
Copy full SHA for b03c5e8
Browse repository at this point
Test generic Subscriber presentation contract
masarray
committed
841ccec
View commit details
Copy full SHA for 841ccec
Browse repository at this point
Keep generic payload contract terminology neutral
masarray
committed
7082bb2
View commit details
Copy full SHA for 7082bb2
Browse repository at this point
Remove Subscriber-only test from engine test project
masarray
committed
12dd0ab
View commit details
Copy full SHA for 12dd0ab
Browse repository at this point
You can’t perform that action at this time.