Project Parva

Project Parva

ウェブサイト | API ドキュメント | クイックスタート | 公開ベンチマーク | ライセンス

Project Parva は、オープンソースのネパール暦の日付・時刻 API および適合性プロジェクトです。

BS から AD、AD から BS、ネパール暦の日付検証、祝日、営業日、 ネパール会計年度のロジック、BS 月のメタデータ、Panchanga の計算、証明 レシート、ローカル検証、SDK、MCP ツール、公開リグレッション用フィクスチャを網羅しています。

このプロジェクトが存在するのは、ネパール暦の日付のバグが境界に達するまで 隠れていることが多いためです。フロントエンドのカレンダーテーブルがバックエンドのデータと 食い違う、給与計算の月の日数が間違っている、日付ピッカーが無効な BS の日付を受け入れる、 あるいは将来の BS の日付が誰かがすでにワークフローで使用した後に変わる、といったケースです。

Parva は、これらのケースを単なる変換の問題ではなく、適合性の問題として扱います。 ソースと手法の来歴を記録し、正確な証拠とレビューが必要な証拠を分離し、 開発者が自身のネパール暦 API やネパール暦変換ツールが実際に何を行っているかを テストする手段を提供します。

3 つの公開された主張がこのプロジェクトを定義しています。

• 2026-08-05 付の文書化された市場調査では、BS 変換、位置情報に基づく天文 Panchanga、ネパールのビジネスルール、将来の BS の研究、リプレイ成果物、公開適合性を 組み合わせた、ネパールに焦点を当てた 2 つ目の API は見つかりませんでした。
• 将来の BS エンジンは、公式の 2078-2083 BS の範囲にわたる時系列の ローリング検証において、72/72 の月予測を正確に達成しており、各対象年はそれより前の年だけで 学習されています。
• 公開ベンチマークと適合性スイートには、フィクスチャ、ランナー、 名前付きツールの結果、ケースごとの出力が付属しています。

まずはここから

• クイックスタート: docs/QUICKSTART.md
• OpenAPI スナップショット: docs/api-docs/openapi.json
• API バージョニング: docs/API_VERSIONING_AND_DEPRECATION.md
• プルーフモード: docs/PROOF_MODE.md
• パンチャーンガエンジン: docs/PANCHANGA_ENGINE.md
• エージェントツーリングガイド: docs/AGENT_TOOLING_GUIDE.md
• アーキテクチャ: docs/architecture/ARCHITECTURE.md
• 移行状況: docs/architecture/MIGRATION_STATUS.md
• 成果物ポリシー: artifacts/POLICY.md
• 安全な主張: docs/SAFE_CLAIMS.md
• 公開ベンチマーク: public-benchmark/README.md
• 実ツール比較: public-benchmark/results/competitor-comparison.md
• ライセンス: docs/COMMERCIAL_LICENSING.md
• 公開適合性インデックス: docs/benchmarks/NEPALI_DATE_CONFORMANCE_INDEX.md
• 公開障害クラス: docs/benchmarks/PUBLIC_NEPALI_DATE_FAILURE_CLASSES.md
• ネパールコンプライアンスプロファイル: docs/conformance/nepal-compliance-profile.md
• Yarsa ソースドリフト事例研究: docs/case-studies/yarsa-calendar-source-drift.md
• 外部レビュアー向けパケット: docs/external/REVIEWER_PACKET.md

公開されている評価サーフェス:

• ウェブサイト: https://prabinghimire1.com.np
• API ドキュメント: https://api.prabinghimire1.com.np/docs
• OpenAPI: https://api.prabinghimire1.com.np/openapi.json

ホストされた API は公開評価用のデプロイです。インスタンスが起動する際、最初のリクエストは遅くなることがあります。

これが存在する理由

ネパールの日付に関するバグの多くは、紙の上では小さく、コンテキストの中では高くつきます。

多くのシステムは、ハードコードされたビクラム・サンワットの月テーブルを抱えています。バックエンドの CSV、フロントエンドのネパール日付ピッカーのバンドル、レポートジョブが、それぞれ独自のコピーを持っていることがあります。ある月が 1 日だけずれるまでは、どれも妥当に見えるかもしれません。

その 1 日は、次のものを動かす可能性があります:

• 給与期間
• 会計年度の境界
• 証明書や生年月日の検証
• 請求書/レポートの日付
• 勤怠や休暇の記録
• 本来はレビュー要のままにしておくべき将来の BS 日付

ソフトウェアエージェントは、さらに別の障害モードを追加します。ツールがソース、信頼度、境界データを公開しない場合、モデルはその日付が確定しているかのように答えてしまうことがよくあります。Parva は、それらの境界を可視化するために作られています。

このプロジェクトは、公開されているネパールの日付の失敗を、証拠が十分に正確なフィクスチャとチェックに変換します。証拠が部分的である場合は、偽のアサーションにするのではなく、レビュー用のマークを付けたままにします。

無料のネパール日付リスク監査

ネパール向けの給与計算、ERP、会計、勤怠、学校、協同組合、公共サービス、政府様式、日付ピッカーのソフトウェアを保守している場合、小さなワークフローまたはサンプル出力を 1 つ送信できます。

統合は不要です。依存関係も不要です。営業電話も不要です。権威の主張もありません。

適切な入力:

• BS/AD 日付出力のサンプル 10 件
• 給与計算、会計年度、請求書、勤怠、レポート、証明書、生年月日のいずれか 1 つのワークフロー
• 公開リポジトリ、issue、ネパール日付ピッカー、またはライブラリのケース 1 件
• チームが本番環境またはテストで確認した実際のエッジケース 1 件

チェック項目:

• BS/AD 変換の境界
• 無効な BS 日付
• 月の日数
• フロントエンド/バックエンドのカレンダーソースのずれ
• 会計年度および給与計算の月境界
• 祝日および稼働日の前提
• レビューが必要とマークすべき将来の BS 日付

得られるもの:

• 短い技術レポート
• 合格、警告、レビューが必要な指摘
• 推奨される回帰テスト
• ソースと来歴の注記
• 権威境界の注記

リクエスト:

• GitHub: dantwoashim
• Email: [email protected]

迅速な適合パス:

py -3.11 tools\conformance_runner\run.py --suite public-nepali-date-issues
py -3.11 tools\conformance_runner\run.py --profile nepal-compliance
py -3.11 tools\conformance_runner\run.py --suite public-nepali-date-issues --write-report reports\conformance\public-issue-suite-summary.json

Parva が提供するもの

領域	提供内容
ネパール日付 API	BS から AD、AD から BS、今日、検証、月メタデータ、サポート範囲メタデータ
民事証明モード	変換、検証、祝日、稼働日、会計年度、BS 月のためのリプレイ検証可能なメンブレン
Panchanga エンジン	メソッドドケット付きの日の出、tithi、nakshatra、yoga、karana、paksha、vara、暦表メタデータ、証明レシート
給与計算/日付リスク監査	無効な日付、祝日、非稼働日、会計境界、レビュー必須ケースに対する CSV/API 指向の意思決定支援チェック
ローカル検証	共有証明フィクスチャと、オフラインリプレイチェック用のビルド可能な @project-parva/local-kernel npm パッケージ
SDK	証明モードと保守的な検証ヘルパーを備えた Python および JavaScript クライアント
エージェント/MCP	境界とレビューゲートを保持する、読み取り専用で公開安全なエージェントツールラッパーと MCP アダプターサーフェス
ベンチマーク	決定論的な日付推論、ソース認識、レビュー動作のための公開 Nepali Time Reliability Benchmark
ガバナンス	ソース/メソッドドケット、公開クレームチェッカー、ルート成熟度、OpenAPI ドリフトチェック、再現可能な公開検証
研究境界	将来の BS に関する研究は公開の権威主張から分離し、互換性シムは古いインポートが必要とする場合にのみ提供

公開適合作業

Parva は公開のネパール日付 issue を追跡し、証拠が十分に正確であればフィクスチャまたは実行可能なチェックに変換します。このスイートは、検証済みの公開 issue、報告された issue、部分的な証拠、業務ワークフローの証拠、将来日付のレビューケースを分離します。

Project Parva のベンチマーク作業は、yarsa/nepal-compliance にスタンドアロンのカレンダーソース整合性ガードを提供しました。

そのチェックは、重複したフロントエンド/バックエンドの BS 月テーブルを比較しました。Parva の依存関係を追加したり、上流のランタイム動作を変更したり、本番環境への影響を証明したりするものではありません。

公開 issue 適合スイートを実行:

py -3.11 tools\conformance_runner\run.py --suite public-nepali-date-issues
py -3.11 tools\conformance_runner\run.py --profile nepal-compliance
py -3.11 tools\conformance_runner\run.py --suite public-nepali-date-issues --write-report reports\conformance\public-issue-suite-summary.json
py -3.11 -m pytest tests/conformance -q

適合ドキュメント:

• 公開適合インデックス
• 公開 issue からの障害クラス
• 生成された成果物: 公開 issue サマリー
• ネパールコンプライアンスプロファイル
• Yarsa ソースドリフトのケーススタディ
• 適合マイルストーン 001

これらのフィクスチャは公開の回帰およびレビューの成果物です。それらはカレンダーの公表、法的ガイダンス、税務ガイダンス、給与計算の承認、銀行業務のガイダンス、儀礼上の権威ではありません。

対象となるユーザー

• 実際の公開 issue から回帰テストケースを得たい日付ライブラリのメンテナー。
• より安全な BS/AD の境界を必要とする ERP、給与、会計、学校、協同組合、勤怠の各チーム。
• 不正な BS 日付がすり抜けてはならない公共サービスや行政帳票のワークフローのレビュアー。
• ネパール暦 API、ビクラム・サンバット API、ネパール語の日付ピッカーの回帰テストスイートを構築する開発者。
• 推測された日付ではなく、証明レシートを伴う決定論的な回答を必要とするソフトウェアエージェントおよび MCP ツールの開発者。
• 大まかな主張ではなく、ソースの注記を必要とする監査担当者やメンテナー。

クイックスタート

ベース URL:

https://api.prabinghimire1.com.np/v3/api

AD から BS へ:

curl "https://api.prabinghimire1.com.np/v3/api/calendar/convert?date=2025-04-14"

BS から AD へ:

curl -X POST "https://api.prabinghimire1.com.np/v3/api/calendar/bs-to-gregorian" \
  -H "Content-Type: application/json" \
  -d '{"year":2082,"month":1,"day":1}'

BS 日付を検証する:

curl "https://api.prabinghimire1.com.np/v3/api/calendar/validate-bs-date?year=2082&month=1&day=32"

祝日の判定:

curl "https://api.prabinghimire1.com.np/v3/api/compliance/holiday?bs_date=2082-01-01"

営業日の意思決定支援:

curl -X POST "https://api.prabinghimire1.com.np/v3/api/compliance/evaluate-date" \
  -H "Content-Type: application/json" \
  -d '{"profile_id":"nepal_private_company_default","bs_date":"2082-01-01","decision_intent":"general"}'

会計年度:

curl "https://api.prabinghimire1.com.np/v3/api/enterprise/fiscal-year/2082"

BS 月のメタデータ:

curl "https://api.prabinghimire1.com.np/v3/api/enterprise/bs-months/2082?mode=compare"

パンチャンガのサマリー:

curl "https://api.prabinghimire1.com.np/v3/api/calendar/panchanga?date=2025-04-14"

証明モード

安定したシビルルートとパンチャンガは証明レシートを返すことができます:

curl "https://api.prabinghimire1.com.np/v3/api/calendar/convert?date=2025-04-14&proof=replay"

curl "https://api.prabinghimire1.com.np/v3/api/calendar/panchanga?date=2025-04-14&proof=replay&lat=27.7172&lon=85.324&tz=Asia/Kathmandu"

証明レスポンスには、メンブレンカプセル、アイデンティティハッシュ、ウィットネスハッシュ、フィールドの来歴、境界ベクトル、ソースまたはメソッドのドケット参照、ポリシートレース、リプレイ手順が含まれます。検証者は操作セマンティクスをリプレイするか、固定された証明コンテンツを検証する必要があります。ハッシュの存在だけでは十分ではありません。

証明がサポートするシビル操作:

• convert_bs_to_ad
• ad_to_bs
• validate_bs_date
• holiday
• working_day
• fiscal_year
• bs_months

パンチャンガの証明は現在、固定されたフィクスチャのリプレイと明示的な天体暦メタデータを伴う、メソッドドケット化された panchanga_summary を対象としています。

パンチャンガエンジン

Parva はパンチャンガのシグナルを、最終的な暦、出版物、儀式の決定ソースとしてではなく、メソッドに裏付けられた天文出力として計算します。

証明を伴うパンチャンガ層は以下を記録します:

• 日付、緯度、経度、タイムゾーン
• 天体暦プロバイダーとプロバイダーの種類
• 該当する場合のフィクスチャまたはカーネルハッシュ
• アヤナムシャとサイデリアルモード
• 日の出の帰属ルール
• 日の出、ティティ、ナクシャトラ、ヨーガ、カラナ、および関連する計算のメソッドドケット
• フィールドの来歴と境界ベクトル
• computed_not_official、not_panchanga_authority、not_ritual_final_authority

JPL サポートは明示的かつ限定的です。このリポジトリは JPL DE440 ファミリーのプロバイダーインターフェースとカーネルハッシュ開示パスを公開しています。大規模な JPL カーネルは同梱されていません。カーネルが構成されていない場合、Parva は JPL に裏付けられた出力であると暗黙的に主張してはなりません。

docs/PANCHANGA_ENGINE.md、docs/spec/PARVA_EPHEMERIS_PROVIDER_v1.md、docs/spec/PARVA_PANCHANGA_PROOF_v1.md を参照してください。

給与と日付リスクの監査

Parva には、意思決定支援のための証明を伴う給与/日付リスクのワークフローが含まれています。これは行を以下の観点でチェックします:

• 不正な BS 日付
• BS/AD の不一致
• 祝日との競合
• 非営業日との競合
• 会計年度の境界の問題
• サポートされていない、またはレビューが必要な範囲
• ソースまたはメソッドの権威の弱さ

このワークフローは行レベルの証明パックと Timepack 形式の集約レポートを出力できます。これは事前チェック/監査の補助であり、法律、税務、給与、銀行、コンプライアンスの権威ではありません。

ローカルおよびオフラインでの検証

共有の証明フィクスチャを生成します:

py -3.11 scripts/release/generate_proof_fixtures.py

バックエンドのフィクスチャリプレイを実行します:

py -3.11 -m pytest tests/integration/test_shared_proof_fixtures.py -q

ローカルカーネルを実行します:

cd packages/parva-local-kernel
npm install
npm test

ローカルカーネルはビルド可能な npm パッケージです: @project-parva/local-kernel。これはライブ API を呼び出すことなく、共有のシビルフィクスチャ、パンチャンガフィクスチャ、証明パック、Timepack 形式の成果物を検証します。

SDK

Python:

from parva import ParvaClient

client = ParvaClient()
payload = client.ad_to_bs("2025-04-14", proof="replay")
print(payload["proof"]["identity_hash"])

JavaScript:

import { ParvaClient } from "@project-parva/parva-js";

const client = new ParvaClient();
const payload = await client.getPanchanga({
  date: "2025-04-14",
  proof: "replay",
  lat: 27.7172,
  lon: 85.324,
  tz: "Asia/Kathmandu",
});
console.log(payload.proof.identity_hash);

このリポジトリ内のパッケージは、パブリックベータのドライラン向けに準備されています。この README は、PyPI への公開、npm への公開、レジストリへの受理、外部認証、顧客による採用を主張するものではありません。

エージェントと MCP の使用

Parva は、モデルにネパール暦の日付を推測させるのではなく、決定論的な時間ツールを提供するため、ソフトウェアエージェントにとって有用です。

エージェントにとって安全なサーフェスは、以下を保持しなければなりません:

• ソースまたはメソッドのステータス
• 信頼度と境界ベクトル
• review_required
• not_authority
• フィールドの来歴
• 利用可能な場合は証明リンクまたはレシート

パッケージ:

• エージェントツール: packages/parva-agent-tools
• MCP サーバー: packages/parva-mcp-server
• エージェントガイド: docs/AGENT_TOOLING_GUIDE.md

将来の BS 研究予測

Parva は、2084-2200 BS に関する決定論的な研究スナップショットを、3 つの読み取り専用エンドポイントを通じて公開しています:

GET /v4/api/future-bs/capabilities
GET /v4/api/future-bs/methodology
GET /v4/api/future-bs/forecast/{bs_year}

選択されたパイプラインは、恒星太陽の侵入角の求解、ネパールの市民時間の割り当て、広範な参照用と公式権威用の別々のタワー、過去のみの市民ルール学習、ソースを考慮した月初の突き合わせ、通年制約、予測セット、および境界リスクのラベルを組み合わせています。予測レスポンスには、12 か月すべての月の長さ、正規化されたモデルサポート、一致度、境界距離、リスクフラグ、メソッドのバージョン、および検証スコープが含まれます。

公式の 2078-2083 BS ウィンドウは、時系列のローリング検証のもとで 72/72 の完全一致した月に到達しており、各対象年はそれより前の年のみで学習されています。これは広範な独立した精度の証明ではなく、小規模な開発ウィンドウでの結果にとどまります。広範な検証は、プロジェクトの 528 検証済み月という証拠のしきい値を依然として下回っています。すべての予測には computed_prediction_not_official、review_required=true、および権威ある公開によるオーバーライドが付随します。

v7 の予測は現在、公開ソースコミット、スナップショットダイジェスト、117 件の年ごとのコミットメント、および Merkle ルートによってロックされています。その後の公式カレンダーは、2 名がレビューしたハッシュ化されたソース成果物からのみスコアリングされます。歴史的なソースの復元は、引き続き別個の来歴レーンです。

• 公開 API コントラクト: docs/future_bs/API.md
• 選択された手法: docs/future_bs/METHODOLOGY.md
• 凍結された v7 予測: docs/future_bs/V7_FORECAST_FREEZE.md
• 公式ソースの取得: docs/future_bs/OFFICIAL_CALENDAR_ACQUISITION_PROTOCOL.md
• BS 2082 境界診断: docs/future_bs/2082_BOUNDARY_DIAGNOSIS.md
• 研究上の境界: docs/future_bs/RESEARCH_BOUNDARY.md

アーキテクチャの概要

現在のコードは責務ごとに分割されています：

• 公開 API／ランタイムコードは backend/app 配下の calendar、panchanga、sources、membranes、rules、timegraph、trust、services といったレーンに配置されています
• Future-BS の研究およびモデルリスク関連の作業は backend/app/research/future_bs 配下にあります
• backend/app/future_bs は互換性のための名前空間であり、正規の実装場所ではありません
• バックエンドランタイムのテストは tests/backend_runtime 配下にあります
• ローカルカーネルのテストは tests/local_kernel 配下にあります
• 追跡対象の MoHA 祝日ソース PDF は data/source_archive/moha に data/source_archive/moha/manifest.json とともに配置されています
• 生成物またはリリースに影響する成果物は artifacts/POLICY.md に従います

public route / SDK / MCP tool
  -> canonical query
  -> source or method coverage resolution
  -> policy decision trace
  -> field-level provenance
  -> boundary vector
  -> membrane capsule
  -> proof pack / Timepack
  -> backend replay verifier and local-kernel verifier

中核となるアーキテクチャファイル：

• アーキテクチャマップ：docs/architecture/ARCHITECTURE.md
• 移行状況：docs/architecture/MIGRATION_STATUS.md
• メンブレンとリプレイ：backend/app/membranes
• ソースカバレッジ：backend/app/sources/coverage.py
• Panchanga の証明：backend/app/panchanga
• Future-BS 研究境界：backend/app/research/future_bs
• ローカルカーネル：packages/parva-local-kernel
• 公開検証：scripts/release/verify_public.py
• セマンティック深度ゲート：scripts/release/check_ceiling_depth_semantics.py

公開検証

実行：

py -3.11 scripts/release/verify_public.py

個別チェック：

py -3.11 scripts/release/check_public_claims.py
py -3.11 scripts/check_path_leaks.py
py -3.11 scripts/check_future_bs_public_leakage.py
py -3.11 scripts/release/check_public_openapi_drift.py
py -3.11 scripts/release/check_ceiling_depth_semantics.py

フロントエンド：

cd frontend
npm test -- --run
npm run build

安全に主張できる事項

関連する検証コマンドが成功した場合に安全に主張できる事項：

• Parva はソースを考慮したネパール時間 API を提供します。
• Parva は安定した民事時間演算に対する証明レシートをサポートします。
• Parva は明示的な非権限境界を伴う、メソッドドケット付きの Panchanga 計算をサポートします。
• Parva はコミットされた証明フィクスチャに対してローカル／オフライン検証を実行できます。
• Parva はソフトウェアエージェントがネパールの日付を推測することを避けるのに役立ちます。
• Parva は給与計算／日付リスクの事前チェックやベンダー適合性レビューを支援できます。

禁止される主張

以下を主張しないでください：

• 政府の承認または公的機関のお墨付き
• 法律、税務、給与計算、または銀行業務に関する意思決定権限
• 宗教的または儀礼的な最終権限
• 裏付けのない将来の BS 日付に対する確定した権限
• 最終的な Panchanga または儀礼の権限
• 外部認証
• パッケージが実際に公開されていない限り、PyPI／npm での公開
• レジストリに受理されていない限り、MCP レジストリへの受理
• 実際の証拠が存在しない限り、顧客、採用、または設計パートナー
• 無条件の Future-BS の確実性または権限に関する主張

プロジェクトの状況

公開再現性ゲートがリリース準備状況の信頼できる情報源です：

py -3.11 scripts/release/verify_public.py

民事時間コアは、リプレイ検証可能な証明サポートとローカルフィクスチャを備えています。Panchanga は、フィクスチャリプレイと境界付きの JPL プロバイダーインターフェースを備えた、証明を伴うメソッドドケット付きのパスを有しています。Future-BS は、生のモデルワークフローが制御されたまま、キュレーションされた研究スナップショットを公開します。

外部天井は完了していません。このリポジトリには、実際の外部証人、機関の署名、公式の承認、第三者による認証、または顧客／採用の証拠は存在しません。

ライセンスとソースの入手可能性

Project Parva は AGPL-3.0-or-later の下でライセンスされています。ネットワーク配備では、 デプロイされたバージョンに対応するソースリポジトリまたはソースアーカイブを PARVA_SOURCE_URL に設定する必要があります。アプリケーションは /source を その設定された場所へのリダイレクトとして公開し、HTTP レスポンスに rel="source" リンクを追加します。

商用組み込みライセンスは、プロプライエタリ製品向けに、特定の製品範囲に基づき ベンダーあたり年間 NPR 100,000～300,000 でも提供されています。詳細は docs/COMMERCIAL_LICENSING.md を参照してください。

配備の詳細は docs/DEPLOYMENT.md に記載されています。

ロードマップ

近期的な取り組み:

• 現在のフィクスチャを超えてローカルカーネルリプレイを拡大する
• Panchanga の証明フィクスチャとプロバイダーカバレッジを拡充する
• 証明パックと Timepack CLI ワークフローを深化させる
• 外部レビューに向けて給与/日付リスク監査レポートを堅牢化する
• 証明を考慮した UI サーフェスをさらに追加する
• ベンチマークと適合性テストケースを拡充する
• 権限を過大に主張することなく、範囲を限定した外部技術レビューを収集する

コントリビューション

コントリビューションは Parva の中核ルールを維持する必要があります:

• 低権限のデータが高権限の出力になってはならない
• 証明検証ツールはオブジェクトの形状やハッシュの存在のみをチェックしてはならない
• 証明に裏付けられた操作にはリプレイテストと改ざんテストが必要である
• 公開ドキュメントは権限を過大に主張してはならない
• 将来に敏感な出力はレビューを考慮した状態を保たなければならない

プルリクエストを作成する前に、次を実行してください:

py -3.11 -m pytest -q -m "not private_source and not wide_corpus and not research_artifact" --maxfail=20
py -3.11 scripts/release/check_public_claims.py
py -3.11 scripts/release/check_ceiling_depth_semantics.py

再現可能な検証には Python 3.11 と Node 20 を使用してください。